Details

Time bar (total: 13.0s)

sample25.0ms

Algorithm
intervals
Results
8.0ms291×body80valid

simplify1.4s

Counts
1 → 1
Iterations
IterNodes
done5001
81908
7651
6240
5102
473
344
222
111
06

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 13.6b

localize24.0ms

Local error

Found 2 expressions with local error:

0.0b
(* x (- y z))
12.8b
(/ (* x (- y z)) y)

rewrite40.0ms

Algorithm
rewrite-expression-head
Rules
22×add-sqr-sqrt
20×*-un-lft-identity
18×prod-diff add-cube-cbrt
11×distribute-rgt-in distribute-lft-in
9×add-cbrt-cube add-exp-log
5×associate-*r*
4×pow1 associate-*r/
3×associate-/r* times-frac associate-*l*
2×expm1-log1p-u cbrt-undiv sub-neg flip3-- div-exp prod-exp cbrt-unprod log1p-expm1-u flip-- add-log-exp associate-/l/
1×clear-num frac-2neg pow-prod-down *-commutative div-inv associate-/l* distribute-lft-out-- difference-of-squares unswap-sqr
Counts
2 → 71
Calls
2 calls:
18.0ms
(* x (- y z))
19.0ms
(/ (* x (- y z)) y)

series151.0ms

Counts
2 → 6
Calls
2 calls:
56.0ms
(* x (- y z))
95.0ms
(/ (* x (- y z)) y)

simplify1.1s

Counts
77 → 77
Iterations
IterNodes
done5002
21627
1351
0140

prune308.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize17.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ y (- y z))
2.4b
(/ x (/ y (- y z)))

rewrite39.0ms

Algorithm
rewrite-expression-head
Rules
138×times-frac
102×add-sqr-sqrt *-un-lft-identity
70×add-cube-cbrt
26×associate-/r*
16×distribute-lft-out-- difference-of-squares
11×associate-/r/
9×add-cbrt-cube add-exp-log
6×div-inv associate-/l*
5×flip3-- flip--
4×cbrt-undiv div-exp
2×expm1-log1p-u pow1 clear-num frac-2neg log1p-expm1-u add-log-exp
Counts
2 → 143
Calls
2 calls:
9.0ms
(/ y (- y z))
23.0ms
(/ x (/ y (- y z)))

series129.0ms

Counts
2 → 6
Calls
2 calls:
61.0ms
(/ y (- y z))
68.0ms
(/ x (/ y (- y z)))

simplify1.5s

Counts
149 → 149
Iterations
IterNodes
done5000
22812
1565
0222

prune711.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize11.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ 1 (- y z))
11.0b
(/ (/ x y) (/ 1 (- y z)))

rewrite85.0ms

Algorithm
rewrite-expression-head
Rules
696×times-frac
384×add-sqr-sqrt *-un-lft-identity
292×add-cube-cbrt
46×distribute-lft-out-- difference-of-squares
38×div-inv
31×associate-/r/
28×add-exp-log
26×associate-/r*
18×div-exp
16×add-cbrt-cube associate-/l*
15×flip3-- flip--
9×cbrt-undiv
3×pow1 rec-exp 1-exp
2×expm1-log1p-u clear-num frac-2neg log1p-expm1-u add-log-exp
1×pow-flip inv-pow associate-/l/
Counts
2 → 376
Calls
2 calls:
21.0ms
(/ 1 (- y z))
25.0ms
(/ (/ x y) (/ 1 (- y z)))

series154.0ms

Counts
2 → 6
Calls
2 calls:
54.0ms
(/ 1 (- y z))
100.0ms
(/ (/ x y) (/ 1 (- y z)))

simplify1.3s

Counts
382 → 382
Iterations
IterNodes
done5000
11880
0570

prune1.2s

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

localize33.0ms

Local error

Found 3 expressions with local error:

5.1b
(- (* y y) (* z z))
7.5b
(* x (- (* y y) (* z z)))
33.6b
(/ (* x (- (* y y) (* z z))) (* y (+ y z)))

rewrite76.0ms

Algorithm
rewrite-expression-head
Rules
17×add-cbrt-cube add-exp-log
7×add-sqr-sqrt
6×associate-*r/
5×pow1 *-un-lft-identity prod-exp add-cube-cbrt cbrt-unprod add-log-exp
4×cbrt-undiv div-exp associate-*r*
3×distribute-rgt-in expm1-log1p-u sub-neg distribute-lft-in flip3-- associate-*l* prod-diff log1p-expm1-u flip--
2×associate-/r/ difference-of-squares associate-/l/
1×clear-num associate-/r* frac-2neg flip3-+ times-frac fma-neg diff-log pow-prod-down *-commutative flip-+ div-inv associate-/l* unswap-sqr
Counts
3 → 73
Calls
3 calls:
7.0ms
(- (* y y) (* z z))
29.0ms
(* x (- (* y y) (* z z)))
37.0ms
(/ (* x (- (* y y) (* z z))) (* y (+ y z)))

series295.0ms

Counts
3 → 9
Calls
3 calls:
39.0ms
(- (* y y) (* z z))
111.0ms
(* x (- (* y y) (* z z)))
145.0ms
(/ (* x (- (* y y) (* z z))) (* y (+ y z)))

simplify2.3s

Counts
82 → 82
Iterations
IterNodes
done5000
23098
1414
0127

prune354.0ms

Pruning

4 alts after pruning (0 fresh and 4 done)

Merged error: 0b

regimes328.0ms

Accuracy

86.7% (0.4b remaining)

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

bsearch2.0ms

simplify880.0ms

Iterations
IterNodes
done5001
142041
131311
12581
11393
10203
9147
897
771
655
542
436
333
227
124
020

end0.0ms

sample675.0ms

Algorithm
intervals
Results
389.0ms9603×body80valid