Details

Time bar (total: 3.4s)

sample22.0ms

Algorithm
intervals
Results
11.0ms256×body80valid

simplify33.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0268
1618
21418
33478
47928
550028

prune2.0ms

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 13.8b

Counts
2 → 1

localize16.0ms

Local error

Found 3 expressions with local error:

0.0b
(- x (/ (* (* y 2.0) z) (- (* (* z 2.0) z) (* y t))))
1.1b
(- (* (* z 2.0) z) (* y t))
19.4b
(/ (* (* y 2.0) z) (- (* (* z 2.0) z) (* y t)))

rewrite22.0ms

Algorithm
rewrite-expression-head
Rules
12×add-exp-log add-cbrt-cube
7×add-sqr-sqrt *-un-lft-identity add-log-exp
5×add-cube-cbrt
3×pow1 cbrt-undiv flip3-- times-frac div-exp prod-exp associate-/r* flip-- cbrt-unprod
2×sub-neg diff-log associate-/r/
1×frac-2neg clear-num div-inv associate-/l* distribute-lft-out-- difference-of-squares
Counts
3 → 51
Calls
3 calls:
7.0ms
(- x (/ (* (* y 2.0) z) (- (* (* z 2.0) z) (* y t))))
4.0ms
(- (* (* z 2.0) z) (* y t))
9.0ms
(/ (* (* y 2.0) z) (- (* (* z 2.0) z) (* y t)))

series312.0ms

Counts
3 → 9
Calls
3 calls:
85.0ms
(- x (/ (* (* y 2.0) z) (- (* (* z 2.0) z) (* y t))))
36.0ms
(- (* (* z 2.0) z) (* y t))
190.0ms
(/ (* (* y 2.0) z) (- (* (* z 2.0) z) (* y t)))

simplify53.0ms

Algorithm
egg-herbie
Counts
60 → 60
Iterations

Useful iterations: 1 (10.0ms)

IterNodesCost
0318564
11519493
25002493

prune145.0ms

Filtered
60 candidates to 42 candidates (70.0%)
Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New52860
Fresh000
Picked101
Done000
Total53861

Merged error: 5.1b

Counts
61 → 8

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(* 2.0 (pow z 2))
1.1b
(- (* 2.0 (pow z 2)) (* t y))
3.9b
(* (* y 2.0) (/ z (- (* 2.0 (pow z 2)) (* t y))))
19.0b
(/ z (- (* 2.0 (pow z 2)) (* t y)))

rewrite29.0ms

Algorithm
rewrite-expression-head
Rules
28×add-sqr-sqrt
23×add-exp-log associate-*r*
22×add-cube-cbrt *-un-lft-identity
20×add-cbrt-cube
18×times-frac
9×pow1 prod-exp
7×cbrt-unprod
6×add-log-exp
4×unpow-prod-down associate-*l* associate-/r/ unswap-sqr
3×cbrt-undiv flip3-- div-exp pow-prod-down associate-/r* flip-- associate-/l*
2×*-commutative div-inv unpow2 sqr-pow
1×pow-to-exp sub-neg frac-2neg diff-log associate-*r/ pow-exp clear-num
Counts
4 → 103
Calls
4 calls:
5.0ms
(* 2.0 (pow z 2))
4.0ms
(- (* 2.0 (pow z 2)) (* t y))
10.0ms
(* (* y 2.0) (/ z (- (* 2.0 (pow z 2)) (* t y))))
6.0ms
(/ z (- (* 2.0 (pow z 2)) (* t y)))

series319.0ms

Counts
4 → 12
Calls
4 calls:
25.0ms
(* 2.0 (pow z 2))
45.0ms
(- (* 2.0 (pow z 2)) (* t y))
192.0ms
(* (* y 2.0) (/ z (- (* 2.0 (pow z 2)) (* t y))))
56.0ms
(/ z (- (* 2.0 (pow z 2)) (* t y)))

simplify68.0ms

Algorithm
egg-herbie
Counts
115 → 115
Iterations

Useful iterations: 2 (58.0ms)

IterNodesCost
0413827
12147710
25001709

prune235.0ms

Filtered
115 candidates to 77 candidates (67.0%)
Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New1141115
Fresh167
Picked011
Done000
Total1158123

Merged error: 5.1b

Counts
123 → 8

localize20.0ms

Local error

Found 4 expressions with local error:

7.2b
(/ (* (cbrt z) (cbrt z)) (* (cbrt (- (* 2.0 (pow z 2)) (* t y))) (cbrt (- (* 2.0 (pow z 2)) (* t y)))))
22.8b
(cbrt (- (* 2.0 (pow z 2)) (* t y)))
22.8b
(cbrt (- (* 2.0 (pow z 2)) (* t y)))
22.8b
(cbrt (- (* 2.0 (pow z 2)) (* t y)))

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
18×cbrt-div
16×add-exp-log
9×cbrt-prod flip3-- flip--
8×associate-/r/ add-cbrt-cube
7×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×pow1 cbrt-undiv frac-times div-exp prod-exp cbrt-unprod add-log-exp
3×pow1/3
2×associate-*r/ associate-*l/
1×frac-2neg times-frac clear-num associate-/r* div-inv associate-/l*
Counts
4 → 68
Calls
4 calls:
19.0ms
(/ (* (cbrt z) (cbrt z)) (* (cbrt (- (* 2.0 (pow z 2)) (* t y))) (cbrt (- (* 2.0 (pow z 2)) (* t y)))))
4.0ms
(cbrt (- (* 2.0 (pow z 2)) (* t y)))
4.0ms
(cbrt (- (* 2.0 (pow z 2)) (* t y)))
4.0ms
(cbrt (- (* 2.0 (pow z 2)) (* t y)))

series542.0ms

Counts
4 → 12
Calls
4 calls:
169.0ms
(/ (* (cbrt z) (cbrt z)) (* (cbrt (- (* 2.0 (pow z 2)) (* t y))) (cbrt (- (* 2.0 (pow z 2)) (* t y)))))
131.0ms
(cbrt (- (* 2.0 (pow z 2)) (* t y)))
122.0ms
(cbrt (- (* 2.0 (pow z 2)) (* t y)))
121.0ms
(cbrt (- (* 2.0 (pow z 2)) (* t y)))

simplify107.0ms

Algorithm
egg-herbie
Counts
80 → 80
Iterations

Useful iterations: 3 (97.0ms)

IterNodesCost
03781089
11208939
24610890
35001866

prune344.0ms

Filtered
80 candidates to 67 candidates (83.8%)
Pruning

9 alts after pruning (7 fresh and 2 done)

PrunedKeptTotal
New79180
Fresh066
Picked011
Done011
Total79988

Merged error: 5.1b

Counts
88 → 9

localize1.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify3.0ms

Algorithm
egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
000

prune0.0ms

Pruning

9 alts after pruning (6 fresh and 3 done)

PrunedKeptTotal
New000
Fresh066
Picked011
Done022
Total099

Merged error: 5.1b

Counts
9 → 9

regimes485.0ms

Accuracy

50.1% (1.0b remaining)

Error of 5.6b against oracle of 4.7b and baseline of 6.6b

bsearch2.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03633
13633

end0.0ms

sample561.0ms

Algorithm
intervals
Results
363.0ms8000×body80valid

Profiling

Loading profile data...