Details

Time bar (total: 9.8s)

sample116.0ms

Algorithm
intervals
Results
49.0ms106×body1280valid
23.0ms87×body640valid
11.0ms267×body80valid
5.0ms33×body320valid
2.0ms21×body160valid

simplify8.0ms

Counts
1 → 1
Iterations
IterNodes
done15
215
19
05

prune13.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 57.9b

localize43.0ms

Local error

Found 1 expressions with local error:

5.8b
(- (exp x) (exp (- x)))

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
add-sqr-sqrt *-un-lft-identity add-log-exp
pow1 sub-neg flip3-- add-cbrt-cube diff-log add-exp-log add-cube-cbrt flip-- distribute-lft-out-- difference-of-squares
Counts
1 → 14
Calls
1 calls:
28.0ms
(- (exp x) (exp (- x)))

series70.0ms

Counts
1 → 3
Calls
1 calls:
70.0ms
(- (exp x) (exp (- x)))

simplify1.6s

Counts
17 → 17
Iterations
IterNodes
done5001
31372
2333
1109
046

prune131.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize42.0ms

Local error

Found 4 expressions with local error:

0.0b
(* x (+ (* (* x 1/3) x) 2))
0.0b
(* (pow x 5) 1/60)
0.1b
(* (* x 1/3) x)
0.3b
(* x 1/3)

rewrite199.0ms

Algorithm
rewrite-expression-head
Rules
21×add-sqr-sqrt
18×add-exp-log
15×add-cbrt-cube
14×associate-*l*
13×pow1
12×*-un-lft-identity associate-*r* add-cube-cbrt
prod-exp
cbrt-unprod
pow-prod-down unswap-sqr
unpow-prod-down *-commutative add-log-exp
associate-*r/ sqr-pow
distribute-rgt-in pow-to-exp distribute-lft-in flip3-+ pow-exp flip-+
Counts
4 → 83
Calls
4 calls:
122.0ms
(* x (+ (* (* x 1/3) x) 2))
22.0ms
(* (pow x 5) 1/60)
35.0ms
(* (* x 1/3) x)
15.0ms
(* x 1/3)

series352.0ms

Counts
4 → 12
Calls
4 calls:
170.0ms
(* x (+ (* (* x 1/3) x) 2))
98.0ms
(* (pow x 5) 1/60)
55.0ms
(* (* x 1/3) x)
29.0ms
(* x 1/3)

simplify2.4s

Counts
95 → 95
Iterations
IterNodes
done5001
22129
1361
0129

prune596.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

regimes101.0ms

Accuracy

0% (0.6b remaining)

Error of 0.6b against oracle of 0.0b and baseline of 0.6b

bsearch0.0ms

simplify4.0ms

Iterations
IterNodes
done18
118
012

end0.0ms

sample4.0s

Algorithm
intervals
Results
1.8s3369×body1280valid
790.0ms2502×body640valid
550.0ms8259×body80valid
260.0ms1227×body320valid
64.0ms607×body160valid