Details

Time bar (total: 16.1s)

sample69.0ms

Algorithm
intervals
Results
47.0ms379×body80valid
1.0ms14×body80nan

simplify6.0s

Counts
1 → 1
Iterations
IterNodes
65022
51393
4407
3138
249
122
09

prune16.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 16.6b

localize27.0ms

Local error

Found 2 expressions with local error:

2.2b
(pow x (+ -2 y))
16.5b
(* (- (* y y) y) (pow x (+ -2 y)))

rewrite98.0ms

Algorithm
rewrite-expression-head
Rules
13×add-sqr-sqrt
10×*-un-lft-identity
associate-*r* add-exp-log
unpow-prod-down add-cube-cbrt
associate-*l*
pow-unpow add-cbrt-cube
pow1 prod-exp unswap-sqr sqr-pow
pow-to-exp unpow-prod-up associate-*l/ pow-exp insert-posit16 add-log-exp
pow-pow flip3-- distribute-rgt-out-- *-commutative cbrt-unprod flip-- distribute-lft-out difference-of-squares
Counts
2 → 51
Calls
2 calls:
11.0ms
(pow x (+ -2 y))
86.0ms
(* (- (* y y) y) (pow x (+ -2 y)))

series278.0ms

Counts
2 → 6
Calls
2 calls:
115.0ms
(pow x (+ -2 y))
163.0ms
(* (- (* y y) y) (pow x (+ -2 y)))

simplify2.6s

Counts
57 → 57
Iterations
IterNodes
33579
2922
1285
0113

prune751.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize26.0ms

Local error

Found 2 expressions with local error:

2.2b
(pow x (+ -2 y))
2.9b
(* y (* (- y 1) (pow x (+ -2 y))))

rewrite110.0ms

Algorithm
rewrite-expression-head
Rules
13×add-exp-log
*-un-lft-identity add-cbrt-cube prod-exp
add-sqr-sqrt pow1 add-cube-cbrt
pow-unpow
unpow-prod-down associate-*l* cbrt-unprod
pow-to-exp associate-*l/ pow-exp associate-*r/ insert-posit16 add-log-exp
unpow-prod-up pow-pow flip3-- associate-*r* pow-prod-down *-commutative flip-- distribute-lft-out sqr-pow
Counts
2 → 42
Calls
2 calls:
11.0ms
(pow x (+ -2 y))
98.0ms
(* y (* (- y 1) (pow x (+ -2 y))))

series271.0ms

Counts
2 → 6
Calls
2 calls:
111.0ms
(pow x (+ -2 y))
160.0ms
(* y (* (- y 1) (pow x (+ -2 y))))

simplify2.8s

Counts
48 → 48
Iterations
IterNodes
34003
2876
1289
0111

prune624.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

regimes187.0ms

Accuracy

85.8% (0.8b remaining)

Error of 0.9b against oracle of 0.1b and baseline of 5.6b

bsearch139.0ms

Steps
ItersRangePoint
8
1.2824997824127301e-72
1.808820966258063e-69
7.78563079656421e-72
4
-2.7926418996981415e-142
-1.9200463680353713e-142
-2.76537328933368e-142

simplify9.0ms

Iterations
IterNodes
232
132
025

end0.0ms

sample2.1s

Algorithm
intervals
Results
1.7s11563×body80valid
38.0ms365×body80nan