Details

Time bar (total: 13.3s)

sample67.0ms

Algorithm
intervals
Results
29.0ms335×body80valid

simplify2.0s

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01115
12415
25415
39315
414515
530015
679115
7264215
done500015

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 4.0b

localize19.0ms

Local error

Found 3 expressions with local error:

0.2b
(* (* z 3.0) y)
0.2b
(/ y (* z 3.0))
7.1b
(/ t (* (* z 3.0) y))

rewrite90.0ms

Algorithm
rewrite-expression-head
Rules
22×add-exp-log add-cbrt-cube
8×pow1 add-sqr-sqrt add-cube-cbrt *-un-lft-identity
7×prod-exp cbrt-unprod
6×times-frac associate-/l*
5×cbrt-undiv div-exp
3×expm1-log1p-u associate-*r* pow-prod-down log1p-expm1-u add-log-exp
2×frac-2neg clear-num associate-/r* div-inv
1×associate-*l* *-commutative
Counts
3 → 68
Calls
3 calls:
31.0ms
(* (* z 3.0) y)
17.0ms
(/ y (* z 3.0))
39.0ms
(/ t (* (* z 3.0) y))

series119.0ms

Counts
3 → 9
Calls
3 calls:
42.0ms
(* (* z 3.0) y)
26.0ms
(/ y (* z 3.0))
51.0ms
(/ t (* (* z 3.0) y))

simplify1.2s

Counts
77 → 77
Iterations

Useful iterations: done (1.2s)

IterNodesCost
0108663
1268649
21685555
done5000547

prune444.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize34.0ms

Local error

Found 3 expressions with local error:

0.2b
(/ t (* z 3.0))
0.2b
(/ y (* z 3.0))
5.6b
(/ (/ t (* z 3.0)) y)

rewrite70.0ms

Algorithm
rewrite-expression-head
Rules
39×times-frac
23×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
22×add-exp-log add-cbrt-cube
13×associate-/l*
9×cbrt-undiv div-exp
7×div-inv
5×associate-/r*
3×pow1 expm1-log1p-u frac-2neg prod-exp clear-num cbrt-unprod log1p-expm1-u add-log-exp
1×associate-/l/
Counts
3 → 96
Calls
3 calls:
17.0ms
(/ t (* z 3.0))
17.0ms
(/ y (* z 3.0))
30.0ms
(/ (/ t (* z 3.0)) y)

series118.0ms

Counts
3 → 9
Calls
3 calls:
26.0ms
(/ t (* z 3.0))
39.0ms
(/ y (* z 3.0))
53.0ms
(/ (/ t (* z 3.0)) y)

simplify1.1s

Counts
105 → 105
Iterations

Useful iterations: done (1.1s)

IterNodesCost
01541043
13601015
21738919
done5001911

prune1.2s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize28.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ t (* z 3.0))
0.2b
(/ (* z 3.0) y)
0.7b
(/ 1 (/ (* z 3.0) y))
5.6b
(/ (/ t (* z 3.0)) y)

rewrite92.0ms

Algorithm
rewrite-expression-head
Rules
72×times-frac
44×add-exp-log
40×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
32×add-cbrt-cube
21×div-exp
14×cbrt-undiv associate-/r* associate-/l*
12×div-inv
6×prod-exp
5×pow1
4×expm1-log1p-u frac-2neg clear-num cbrt-unprod log1p-expm1-u add-log-exp
3×rec-exp 1-exp
1×pow-flip associate-/r/ associate-/l/ inv-pow
Counts
4 → 154
Calls
4 calls:
17.0ms
(/ t (* z 3.0))
21.0ms
(/ (* z 3.0) y)
25.0ms
(/ 1 (/ (* z 3.0) y))
17.0ms
(/ (/ t (* z 3.0)) y)

series169.0ms

Counts
4 → 12
Calls
4 calls:
34.0ms
(/ t (* z 3.0))
48.0ms
(/ (* z 3.0) y)
24.0ms
(/ 1 (/ (* z 3.0) y))
63.0ms
(/ (/ t (* z 3.0)) y)

simplify1.8s

Counts
166 → 166
Iterations

Useful iterations: 2 (545.0ms)

IterNodesCost
02301745
15871593
230551461
done50001461

prune771.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize43.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ (* z 3.0) y)
0.3b
(* (/ 1 z) (/ t 3.0))
0.7b
(/ 1 (/ (* z 3.0) y))
5.6b
(/ (* (/ 1 z) (/ t 3.0)) y)

rewrite98.0ms

Algorithm
rewrite-expression-head
Rules
84×add-exp-log
64×times-frac
55×add-sqr-sqrt
48×add-cbrt-cube
40×*-un-lft-identity
39×div-exp
38×add-cube-cbrt
20×cbrt-undiv prod-exp
13×associate-*r* associate-*l* associate-/r*
10×cbrt-unprod
9×div-inv
7×pow1 rec-exp 1-exp
6×unswap-sqr
5×associate-/l*
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×frac-2neg clear-num associate-/l/
2×frac-times associate-*r/ associate-*l/
1×pow-flip pow-prod-down associate-/r/ *-commutative inv-pow
Counts
4 → 175
Calls
4 calls:
12.0ms
(/ (* z 3.0) y)
28.0ms
(* (/ 1 z) (/ t 3.0))
29.0ms
(/ 1 (/ (* z 3.0) y))
21.0ms
(/ (* (/ 1 z) (/ t 3.0)) y)

series180.0ms

Counts
4 → 12
Calls
4 calls:
42.0ms
(/ (* z 3.0) y)
39.0ms
(* (/ 1 z) (/ t 3.0))
37.0ms
(/ 1 (/ (* z 3.0) y))
62.0ms
(/ (* (/ 1 z) (/ t 3.0)) y)

simplify605.0ms

Counts
187 → 187
Iterations

Useful iterations: done (595.0ms)

IterNodesCost
02722052
18151846
done50001500

prune977.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

regimes398.0ms

Accuracy

26.3% (1.2b remaining)

Error of 1.2b against oracle of 0.0b and baseline of 1.6b

bsearch55.0ms

Steps
ItersRangePoint
7
1.1283271502344792e-18
2.5422340747188287e-16
1.5801305016597386e-18

simplify6.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02338
12938
done2938

end0.0ms

sample1.6s

Algorithm
intervals
Results
819.0ms11068×body80valid