Details

Time bar (total: 10.4s)

sample53.0ms

Algorithm
intervals
Results
38.0ms256×body80valid

simplify277.0ms

Counts
1 → 1
Iterations
IterNodes
9170
8170
7168
6155
5144
4114
377
236
117
07

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 8.5b

localize23.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ (- x y) y)
8.5b
(/ (* 2 x) (/ (- x y) y))

rewrite75.0ms

Algorithm
rewrite-expression-head
Rules
64×times-frac
50×add-sqr-sqrt *-un-lft-identity
30×add-cube-cbrt
22×associate-/r*
16×add-cbrt-cube add-exp-log
10×distribute-lft-out-- difference-of-squares
cbrt-undiv div-exp
associate-/l*
div-inv
pow1 clear-num frac-2neg prod-exp cbrt-unprod insert-posit16 add-log-exp associate-/l/
flip3-- div-sub associate-/r/ flip--
Counts
2 → 98
Calls
2 calls:
36.0ms
(/ (- x y) y)
36.0ms
(/ (* 2 x) (/ (- x y) y))

series185.0ms

Counts
2 → 6
Calls
2 calls:
55.0ms
(/ (- x y) y)
130.0ms
(/ (* 2 x) (/ (- x y) y))

simplify3.4s

Counts
104 → 104
Iterations
IterNodes
35421
21310
1407
0153

prune1.1s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize21.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ (* 2 x) (- x y))
6.8b
(* (/ (* 2 x) (- x y)) y)

rewrite99.0ms

Algorithm
rewrite-expression-head
Rules
16×add-cbrt-cube add-exp-log
15×add-sqr-sqrt
13×*-un-lft-identity
11×associate-*l*
10×times-frac
add-cube-cbrt
associate-/r* prod-exp cbrt-unprod
pow1 cbrt-undiv div-exp associate-/r/
associate-*r* distribute-lft-out-- difference-of-squares
flip3-- insert-posit16 div-inv flip-- add-log-exp
clear-num frac-2neg pow-prod-down associate-*l/ *-commutative associate-/l* unswap-sqr
Counts
2 → 60
Calls
2 calls:
32.0ms
(/ (* 2 x) (- x y))
66.0ms
(* (/ (* 2 x) (- x y)) y)

series248.0ms

Counts
2 → 6
Calls
2 calls:
104.0ms
(/ (* 2 x) (- x y))
143.0ms
(* (/ (* 2 x) (- x y)) y)

simplify2.7s

Counts
66 → 66
Iterations
IterNodes
34230
2960
1268
0103

prune651.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

regimes109.0ms

Accuracy

95.4% (0.3b remaining)

Error of 0.4b against oracle of 0.0b and baseline of 7.1b

bsearch137.0ms

Steps
ItersRangePoint
9
3.9669555359630593e-25
1.0413329420501362e-16
1.71649334501874e-21
7
-1.306000997926655e+95
-5.01434520362583e+93
-5.091827858905314e+93

simplify5.0ms

Iterations
IterNodes
221
121
015

end0.0ms

sample1.3s

Algorithm
intervals
Results
1.1s8000×body80valid