Details

Time bar (total: 14.7s)

sample40.0ms

Algorithm
intervals
Results
21.0ms256×body80valid

simplify3.8s

Counts
1 → 1
Iterations

Useful iterations: 6 (1.8s)

IterNodesCost
01317
12617
26117
314717
435217
576815
6260113
done500013

prune12.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.5b

localize18.0ms

Local error

Found 2 expressions with local error:

2.6b
(fma (/ t z) (- (/ y 2.0)) z)
7.1b
(/ y (fma (/ t z) (- (/ y 2.0)) z))

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
9×times-frac
4×add-exp-log add-cbrt-cube
3×associate-/r* associate-/l*
2×pow1 expm1-log1p-u log1p-expm1-u add-log-exp
1×cbrt-undiv frac-2neg div-exp clear-num fma-udef div-inv
Counts
2 → 39
Calls
2 calls:
0.0ms
(fma (/ t z) (- (/ y 2.0)) z)
9.0ms
(/ y (fma (/ t z) (- (/ y 2.0)) z))

series177.0ms

Counts
2 → 6
Calls
2 calls:
61.0ms
(fma (/ t z) (- (/ y 2.0)) z)
116.0ms
(/ y (fma (/ t z) (- (/ y 2.0)) z))

simplify1.5s

Counts
45 → 45
Iterations

Useful iterations: 3 (117.0ms)

IterNodesCost
067697
1113688
2247626
3575625
41846625
done5001625

prune211.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.5b

localize28.0ms

Local error

Found 4 expressions with local error:

7.1b
(/ y (fma (/ t z) (- (/ y 2.0)) z))
14.9b
(cbrt (/ y (fma (/ t z) (- (/ y 2.0)) z)))
14.9b
(cbrt (/ y (fma (/ t z) (- (/ y 2.0)) z)))
14.9b
(cbrt (/ y (fma (/ t z) (- (/ y 2.0)) z)))

rewrite22.0ms

Algorithm
rewrite-expression-head
Rules
39×cbrt-prod
36×times-frac
33×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
6×add-exp-log add-cbrt-cube
4×pow1 expm1-log1p-u log1p-expm1-u div-inv add-log-exp
3×cbrt-div pow1/3 associate-/r* associate-/l*
1×cbrt-undiv frac-2neg div-exp clear-num
Counts
4 → 101
Calls
4 calls:
11.0ms
(/ y (fma (/ t z) (- (/ y 2.0)) z))
2.0ms
(cbrt (/ y (fma (/ t z) (- (/ y 2.0)) z)))
3.0ms
(cbrt (/ y (fma (/ t z) (- (/ y 2.0)) z)))
2.0ms
(cbrt (/ y (fma (/ t z) (- (/ y 2.0)) z)))

series873.0ms

Counts
4 → 12
Calls
4 calls:
91.0ms
(/ y (fma (/ t z) (- (/ y 2.0)) z))
272.0ms
(cbrt (/ y (fma (/ t z) (- (/ y 2.0)) z)))
247.0ms
(cbrt (/ y (fma (/ t z) (- (/ y 2.0)) z)))
261.0ms
(cbrt (/ y (fma (/ t z) (- (/ y 2.0)) z)))

simplify1.1s

Counts
113 → 113
Iterations

Useful iterations: done (1.1s)

IterNodesCost
01602549
12942489
27242358
319892315
done50002237

prune647.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.5b

localize19.0ms

Local error

Found 3 expressions with local error:

0.0b
(* 0.5 (/ (* t y) z))
7.1b
(/ y (- z (* 0.5 (/ (* t y) z))))
7.3b
(/ (* t y) z)

rewrite72.0ms

Algorithm
rewrite-expression-head
Rules
19×add-exp-log add-cbrt-cube
18×add-sqr-sqrt
16×add-cube-cbrt *-un-lft-identity
15×times-frac
7×associate-*r*
6×associate-/r*
5×pow1 cbrt-undiv div-exp prod-exp cbrt-unprod
4×associate-/l*
3×expm1-log1p-u associate-*l* log1p-expm1-u div-inv add-log-exp
2×frac-2neg clear-num associate-/r/
1×flip3-- associate-*r/ pow-prod-down *-commutative flip-- unswap-sqr
Counts
3 → 83
Calls
3 calls:
33.0ms
(* 0.5 (/ (* t y) z))
17.0ms
(/ y (- z (* 0.5 (/ (* t y) z))))
19.0ms
(/ (* t y) z)

series349.0ms

Counts
3 → 9
Calls
3 calls:
54.0ms
(* 0.5 (/ (* t y) z))
272.0ms
(/ y (- z (* 0.5 (/ (* t y) z))))
22.0ms
(/ (* t y) z)

simplify1.3s

Counts
92 → 92
Iterations

Useful iterations: done (1.3s)

IterNodesCost
01361096
13031048
21022940
done5000939

prune366.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0.5b

localize22.0ms

Local error

Found 3 expressions with local error:

0.2b
(* (* y 2.0) z)
0.9b
(- (* (* z 2.0) z) (* y t))
18.4b
(/ (* (* y 2.0) z) (- (* (* z 2.0) z) (* y t)))

rewrite102.0ms

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

series293.0ms

Counts
3 → 9
Calls
3 calls:
27.0ms
(* (* y 2.0) z)
46.0ms
(- (* (* z 2.0) z) (* y t))
220.0ms
(/ (* (* y 2.0) z) (- (* (* z 2.0) z) (* y t)))

simplify1.7s

Counts
72 → 72
Iterations

Useful iterations: done (1.7s)

IterNodesCost
01131041
13061016
21391847
done5000820

prune265.0ms

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0b

regimes177.0ms

Accuracy

0% (0.1b remaining)

Error of 0.1b against oracle of 0.0b and baseline of 0.1b

bsearch0.0ms

simplify6.0ms

Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
01416
11915
22115
done2115

end0.0ms

sample1.5s

Algorithm
intervals
Results
1.2s8000×body80valid