Details

Time bar (total: 10.2s)

sample116.0ms

Algorithm
intervals
Results
55.0ms515×body80valid
25.0ms491×body80nan

simplify2.0s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
079
1139
2269
3439
4959
52799
615089
done50009

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize14.0ms

Local error

Found 3 expressions with local error:

0.0b
(exp (* x 0.1))
0.0b
(* (- (sqrt x) (exp (* x 0.1))) 0.1)
0.1b
(- (sqrt x) (exp (* x 0.1)))

rewrite118.0ms

Algorithm
rewrite-expression-head
Rules
15×add-sqr-sqrt
*-un-lft-identity
add-log-exp
associate-*l*
pow1 add-cbrt-cube add-exp-log add-cube-cbrt
difference-of-squares
associate-*r*
flip3-- associate-*l/ sqrt-prod flip-- distribute-lft-out--
exp-prod sub-neg exp-to-pow diff-log pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr rem-exp-log
Counts
3 → 48
Calls
3 calls:
8.0ms
(exp (* x 0.1))
78.0ms
(* (- (sqrt x) (exp (* x 0.1))) 0.1)
30.0ms
(- (sqrt x) (exp (* x 0.1)))

series199.0ms

Counts
3 → 9
Calls
3 calls:
26.0ms
(exp (* x 0.1))
92.0ms
(* (- (sqrt x) (exp (* x 0.1))) 0.1)
82.0ms
(- (sqrt x) (exp (* x 0.1)))

simplify791.0ms

Counts
57 → 57
Iterations

Useful iterations: done (788.0ms)

IterNodesCost
094686
1212641
2758573
done5000565

prune276.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize34.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (sqrt x) (exp (* x 0.1)))
0.0b
(* (/ (- x (exp (* 2 (* x 0.1)))) (+ (sqrt x) (exp (* x 0.1)))) 0.1)
0.1b
(- x (exp (* 2 (* x 0.1))))
0.1b
(/ (- x (exp (* 2 (* x 0.1)))) (+ (sqrt x) (exp (* x 0.1))))

rewrite279.0ms

Algorithm
rewrite-expression-head
Rules
70×*-un-lft-identity
51×add-sqr-sqrt
41×times-frac
26×associate-*l* add-cube-cbrt
12×distribute-lft-out
11×add-cbrt-cube add-exp-log
10×distribute-lft-out-- difference-of-squares
add-log-exp
pow1
associate-/l*
associate-/r* associate-/r/
flip3-+ associate-*r* flip-+
cbrt-undiv flip3-- div-exp prod-exp cbrt-unprod div-inv flip-- unswap-sqr associate-/l/
+-commutative clear-num sum-log sub-neg frac-2neg diff-log div-sub pow-prod-down associate-*l/ *-commutative
Counts
4 → 117
Calls
4 calls:
18.0ms
(+ (sqrt x) (exp (* x 0.1)))
154.0ms
(* (/ (- x (exp (* 2 (* x 0.1)))) (+ (sqrt x) (exp (* x 0.1)))) 0.1)
18.0ms
(- x (exp (* 2 (* x 0.1))))
80.0ms
(/ (- x (exp (* 2 (* x 0.1)))) (+ (sqrt x) (exp (* x 0.1))))

series417.0ms

Counts
4 → 12
Calls
4 calls:
69.0ms
(+ (sqrt x) (exp (* x 0.1)))
150.0ms
(* (/ (- x (exp (* 2 (* x 0.1)))) (+ (sqrt x) (exp (* x 0.1)))) 0.1)
54.0ms
(- x (exp (* 2 (* x 0.1))))
143.0ms
(/ (- x (exp (* 2 (* x 0.1)))) (+ (sqrt x) (exp (* x 0.1))))

simplify1.9s

Counts
129 → 129
Iterations

Useful iterations: done (1.9s)

IterNodesCost
02043004
15662916
222442670
done50012618

prune722.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

regimes42.0ms

Accuracy

0% (0.1b remaining)

Error of 0.2b against oracle of 0.1b and baseline of 0.2b

bsearch0.0ms

simplify4.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01829
12429
done2429

end0.0ms

sample3.3s

Algorithm
intervals
Results
1.3s15901×body80valid
1.1s15796×body80nan