Details

Time bar (total: 15.6s)

sample38.0ms

Algorithm
intervals
Results
18.0ms256×body80valid

simplify901.0ms

Counts
1 → 1
Iterations
IterNodes
done5001
51610
4348
3141
260
125
013

prune22.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.8b

localize28.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* 2.0 z) (/ (* y t) z))
0.0b
(* (/ y (- (* 2.0 z) (/ (* y t) z))) 2.0)
5.1b
(/ (* y t) z)
5.3b
(/ y (- (* 2.0 z) (/ (* y t) z)))

rewrite96.0ms

Algorithm
rewrite-expression-head
Rules
27×add-sqr-sqrt
22×*-un-lft-identity times-frac add-cube-cbrt
16×add-cbrt-cube add-exp-log
15×associate-*l*
6×pow1 associate-/r* add-log-exp
4×cbrt-undiv div-exp associate-/r/ associate-/l*
3×flip3-- associate-*r* prod-exp cbrt-unprod div-inv flip--
2×clear-num frac-2neg unswap-sqr
1×sub-neg diff-log pow-prod-down associate-*l/ *-commutative
Counts
4 → 96
Calls
4 calls:
11.0ms
(- (* 2.0 z) (/ (* y t) z))
53.0ms
(* (/ y (- (* 2.0 z) (/ (* y t) z))) 2.0)
11.0ms
(/ (* y t) z)
19.0ms
(/ y (- (* 2.0 z) (/ (* y t) z)))

series467.0ms

Counts
4 → 12
Calls
4 calls:
45.0ms
(- (* 2.0 z) (/ (* y t) z))
178.0ms
(* (/ y (- (* 2.0 z) (/ (* y t) z))) 2.0)
20.0ms
(/ (* y t) z)
224.0ms
(/ y (- (* 2.0 z) (/ (* y t) z)))

simplify1.6s

Counts
108 → 108
Iterations
IterNodes
done5000
21857
1382
0150

prune665.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.2b

localize34.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* 2.0 z) (/ y (/ z t)))
0.0b
(* (/ y (- (* 2.0 z) (/ y (/ z t)))) 2.0)
5.3b
(/ y (- (* 2.0 z) (/ y (/ z t))))
6.9b
(/ y (/ z t))

rewrite158.0ms

Algorithm
rewrite-expression-head
Rules
94×times-frac
67×add-sqr-sqrt
62×*-un-lft-identity add-cube-cbrt
16×associate-/r* add-cbrt-cube add-exp-log
15×associate-*l*
7×div-inv
6×pow1 associate-/l* add-log-exp
5×cbrt-undiv div-exp associate-/r/
3×flip3-- associate-*r* flip--
2×clear-num frac-2neg prod-exp cbrt-unprod unswap-sqr
1×sub-neg diff-log pow-prod-down associate-*l/ *-commutative
Counts
4 → 145
Calls
4 calls:
20.0ms
(- (* 2.0 z) (/ y (/ z t)))
83.0ms
(* (/ y (- (* 2.0 z) (/ y (/ z t)))) 2.0)
38.0ms
(/ y (- (* 2.0 z) (/ y (/ z t))))
11.0ms
(/ y (/ z t))

series581.0ms

Counts
4 → 12
Calls
4 calls:
69.0ms
(- (* 2.0 z) (/ y (/ z t)))
231.0ms
(* (/ y (- (* 2.0 z) (/ y (/ z t)))) 2.0)
258.0ms
(/ y (- (* 2.0 z) (/ y (/ z t))))
22.0ms
(/ y (/ z t))

simplify2.0s

Counts
157 → 157
Iterations
IterNodes
done5001
22866
1622
0243

prune1.2s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.2b

localize72.0ms

Local error

Found 4 expressions with local error:

6.9b
(/ y (/ z t))
6.9b
(/ y (/ z t))
6.9b
(/ y (/ z t))
25.3b
(cbrt (* (* (/ y (- (* 2.0 z) (/ y (/ z t)))) (/ y (- (* 2.0 z) (/ y (/ z t))))) (/ y (- (* 2.0 z) (/ y (/ z t))))))

rewrite335.0ms

Algorithm
rewrite-expression-head
Rules
225×times-frac
130×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
39×associate-/r*
19×add-cbrt-cube add-exp-log
15×div-inv
9×cbrt-undiv div-exp associate-/l*
7×cbrt-div
5×frac-times associate-*l/
4×pow1 add-log-exp
3×clear-num frac-2neg associate-*r/ associate-/r/
1×cbrt-prod pow1/3 pow3 rem-cbrt-cube
Counts
4 → 227
Calls
4 calls:
15.0ms
(/ y (/ z t))
14.0ms
(/ y (/ z t))
15.0ms
(/ y (/ z t))
271.0ms
(cbrt (* (* (/ y (- (* 2.0 z) (/ y (/ z t)))) (/ y (- (* 2.0 z) (/ y (/ z t))))) (/ y (- (* 2.0 z) (/ y (/ z t))))))

series435.0ms

Counts
4 → 12
Calls
4 calls:
43.0ms
(/ y (/ z t))
38.0ms
(/ y (/ z t))
36.0ms
(/ y (/ z t))
318.0ms
(cbrt (* (* (/ y (- (* 2.0 z) (/ y (/ z t)))) (/ y (- (* 2.0 z) (/ y (/ z t))))) (/ y (- (* 2.0 z) (/ y (/ z t))))))

simplify1.2s

Counts
239 → 239
Iterations
IterNodes
done5001
21977
1452
0187

prune2.0s

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0.2b

localize32.0ms

Local error

Found 2 expressions with local error:

1.1b
(- (* (* z 2.0) z) (* y t))
20.9b
(/ (* (* y 2.0) z) (- (* (* z 2.0) z) (* y t)))

rewrite90.0ms

Algorithm
rewrite-expression-head
Rules
11×add-cbrt-cube add-exp-log
4×add-sqr-sqrt *-un-lft-identity add-cube-cbrt add-log-exp
3×cbrt-undiv associate-/r* times-frac div-exp prod-exp cbrt-unprod
2×pow1 flip3-- associate-/r/ flip--
1×clear-num sub-neg frac-2neg diff-log div-inv associate-/l*
Counts
2 → 37
Calls
2 calls:
29.0ms
(- (* (* z 2.0) z) (* y t))
59.0ms
(/ (* (* y 2.0) z) (- (* (* z 2.0) z) (* y t)))

series371.0ms

Counts
2 → 6
Calls
2 calls:
68.0ms
(- (* (* z 2.0) z) (* y t))
303.0ms
(/ (* (* y 2.0) z) (- (* (* z 2.0) z) (* y t)))

simplify1.6s

Counts
43 → 43
Iterations
IterNodes
done5000
21692
1271
090

prune279.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0.2b

regimes273.0ms

Accuracy

0% (0.6b remaining)

Error of 1.1b against oracle of 0.5b and baseline of 1.1b

bsearch0.0ms

simplify3.0ms

Iterations
IterNodes
done14
114
012

end0.0ms

sample1.1s

Algorithm
intervals
Results
774.0ms8000×body80valid