Details

Time bar (total: 12.8s)

sample43.0ms

Algorithm
intervals
Results
20.0ms256×body80valid

simplify998.0ms

Counts
1 → 1
Iterations

Useful iterations: 2 (14.0ms)

IterNodesCost
013325
126325
262285
3148285
4360285
51678285
done5001285

prune15.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 5.6b

localize16.0ms

Local error

Found 3 expressions with local error:

0.7b
(- (* (* z 2.0) z) (* y t))
5.0b
(/ y (/ (- (* (* z 2.0) z) (* y t)) (* z 2.0)))
14.2b
(/ (- (* (* z 2.0) z) (* y t)) (* z 2.0))

rewrite115.0ms

Algorithm
rewrite-expression-head
Rules
36×times-frac
21×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
17×add-cbrt-cube add-exp-log
8×associate-/r*
7×cbrt-undiv div-exp
6×div-inv associate-/l*
5×add-log-exp
3×expm1-log1p-u pow1 log1p-expm1-u
2×clear-num frac-2neg flip3-- prod-exp cbrt-unprod flip-- associate-/l/
1×sub-neg fma-neg diff-log div-sub prod-diff associate-/r/
Counts
3 → 92
Calls
3 calls:
24.0ms
(- (* (* z 2.0) z) (* y t))
46.0ms
(/ y (/ (- (* (* z 2.0) z) (* y t)) (* z 2.0)))
41.0ms
(/ (- (* (* z 2.0) z) (* y t)) (* z 2.0))

series339.0ms

Counts
3 → 9
Calls
3 calls:
63.0ms
(- (* (* z 2.0) z) (* y t))
205.0ms
(/ y (/ (- (* (* z 2.0) z) (* y t)) (* z 2.0)))
72.0ms
(/ (- (* (* z 2.0) z) (* y t)) (* z 2.0))

simplify1.8s

Counts
101 → 101
Iterations

Useful iterations: 2 (502.0ms)

IterNodesCost
016535276
146433288
2220832172
done500232172

prune515.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 1.2b

localize17.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (* 1.0 z) (* 0.5 (/ (* t y) z)))
5.0b
(/ y (- (* 1.0 z) (* 0.5 (/ (* t y) z))))
5.3b
(/ (* t y) z)

rewrite32.0ms

Algorithm
rewrite-expression-head
Rules
13×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
12×times-frac
10×add-cbrt-cube add-exp-log
6×associate-/r*
5×add-log-exp
4×associate-/l*
3×expm1-log1p-u pow1 cbrt-undiv div-exp log1p-expm1-u
2×clear-num frac-2neg flip3-- associate-/r/ div-inv flip--
1×sub-neg fma-neg diff-log prod-diff prod-exp cbrt-unprod
Counts
3 → 70
Calls
3 calls:
8.0ms
(- (* 1.0 z) (* 0.5 (/ (* t y) z)))
14.0ms
(/ y (- (* 1.0 z) (* 0.5 (/ (* t y) z))))
7.0ms
(/ (* t y) z)

series355.0ms

Counts
3 → 9
Calls
3 calls:
70.0ms
(- (* 1.0 z) (* 0.5 (/ (* t y) z)))
254.0ms
(/ y (- (* 1.0 z) (* 0.5 (/ (* t y) z))))
32.0ms
(/ (* t y) z)

simplify1.3s

Counts
79 → 79
Iterations

Useful iterations: done (1.3s)

IterNodesCost
012622301
131221039
2151620879
done500020704

prune428.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize21.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (* 1.0 z) (* 0.5 (/ t (/ z y))))
3.5b
(/ t (/ z y))
5.0b
(/ y (- (* 1.0 z) (* 0.5 (/ t (/ z y)))))

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
84×times-frac
53×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
16×associate-/r*
10×add-cbrt-cube add-exp-log
6×div-inv associate-/l*
5×add-log-exp
4×cbrt-undiv div-exp
3×expm1-log1p-u pow1 associate-/r/ log1p-expm1-u
2×clear-num frac-2neg flip3-- flip--
1×sub-neg fma-neg diff-log prod-diff
Counts
3 → 119
Calls
3 calls:
7.0ms
(- (* 1.0 z) (* 0.5 (/ t (/ z y))))
7.0ms
(/ t (/ z y))
10.0ms
(/ y (- (* 1.0 z) (* 0.5 (/ t (/ z y)))))

series340.0ms

Counts
3 → 9
Calls
3 calls:
69.0ms
(- (* 1.0 z) (* 0.5 (/ t (/ z y))))
39.0ms
(/ t (/ z y))
232.0ms
(/ y (- (* 1.0 z) (* 0.5 (/ t (/ z y)))))

simplify1.3s

Counts
128 → 128
Iterations

Useful iterations: done (1.3s)

IterNodesCost
022639625
156837271
2271136418
done500036298

prune781.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize29.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (* 1.0 z) (* 0.5 (* (/ t z) y)))
5.0b
(/ y (- (* 1.0 z) (* 0.5 (* (/ t z) y))))
5.4b
(* (/ t z) y)

rewrite40.0ms

Algorithm
rewrite-expression-head
Rules
24×add-sqr-sqrt
19×*-un-lft-identity times-frac add-cube-cbrt
13×associate-*l*
10×add-cbrt-cube add-exp-log
5×pow1 add-log-exp
3×expm1-log1p-u associate-/r* associate-*r* log1p-expm1-u associate-/l*
2×cbrt-undiv flip3-- div-exp prod-exp associate-/r/ cbrt-unprod div-inv flip-- unswap-sqr
1×clear-num sub-neg frac-2neg fma-neg diff-log prod-diff pow-prod-down associate-*l/ *-commutative
Counts
3 → 81
Calls
3 calls:
7.0ms
(- (* 1.0 z) (* 0.5 (* (/ t z) y)))
16.0ms
(/ y (- (* 1.0 z) (* 0.5 (* (/ t z) y))))
13.0ms
(* (/ t z) y)

series360.0ms

Counts
3 → 9
Calls
3 calls:
89.0ms
(- (* 1.0 z) (* 0.5 (* (/ t z) y)))
247.0ms
(/ y (- (* 1.0 z) (* 0.5 (* (/ t z) y))))
24.0ms
(* (/ t z) y)

simplify1.8s

Counts
90 → 90
Iterations

Useful iterations: done (1.8s)

IterNodesCost
014424255
136423034
2175222833
done500022673

prune558.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

regimes338.0ms

Accuracy

0% (0.5b remaining)

Error of 0.9b against oracle of 0.4b and baseline of 0.9b

bsearch0.0ms

simplify5.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
013286
116286
done16286

end0.0ms

sample1.2s

Algorithm
intervals
Results
812.0ms8000×body80valid