Details

Time bar (total: 3.6s)

sample42.0ms

Algorithm
intervals
Results
18.0ms505×body80valid

simplify70.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0196
1506
21596
33516
46096
57336
610686
713426
815066
915536
1015536

prune7.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 5.3b

Counts
2 → 1

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (* z z) t)
0.0b
(- (* x x) (* (* y 4.0) (- (* z z) t)))
5.0b
(* (* y 4.0) (- (* z z) t))

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
8×pow1 add-exp-log add-cbrt-cube
7×add-log-exp
6×add-sqr-sqrt sub-neg
4×distribute-rgt-in add-cube-cbrt *-un-lft-identity distribute-lft-in associate-*r* associate--r+
3×flip3-- pow-prod-down prod-exp flip-- cbrt-unprod
2×diff-log associate-*r/ difference-of-squares
1×associate-*l* *-commutative
Counts
3 → 54
Calls
3 calls:
4.0ms
(- (* z z) t)
3.0ms
(- (* x x) (* (* y 4.0) (- (* z z) t)))
8.0ms
(* (* y 4.0) (- (* z z) t))

series35.0ms

Counts
3 → 9
Calls
3 calls:
4.0ms
(- (* z z) t)
19.0ms
(- (* x x) (* (* y 4.0) (- (* z z) t)))
12.0ms
(* (* y 4.0) (- (* z z) t))

simplify40.0ms

Algorithm
egg-herbie
Counts
63 → 63
Iterations

Useful iterations: 2 (35.0ms)

IterNodesCost
0292385
11348342
25001337

prune82.0ms

Filtered
41 candidates to 63 candidates (-53.7%)
Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New57663
Fresh000
Picked011
Done000
Total57764

Merged error: 3.0b

Counts
64 → 7

localize13.0ms

Local error

Found 4 expressions with local error:

5.0b
(* (* y 4.0) (- (* z z) t))
5.5b
(cbrt (* (* y 4.0) (- (* z z) t)))
5.5b
(cbrt (* (* y 4.0) (- (* z z) t)))
5.5b
(cbrt (* (* y 4.0) (- (* z z) t)))

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
9×pow1 add-exp-log add-cbrt-cube
8×associate-*r/
6×add-sqr-sqrt cbrt-div
5×add-cube-cbrt *-un-lft-identity
4×flip3-- associate-*r* flip-- add-log-exp
3×cbrt-prod pow1/3 pow-prod-down prod-exp cbrt-unprod
2×distribute-rgt-in sub-neg distribute-lft-in
1×associate-*l* *-commutative difference-of-squares
Counts
4 → 58
Calls
4 calls:
7.0ms
(* (* y 4.0) (- (* z z) t))
6.0ms
(cbrt (* (* y 4.0) (- (* z z) t)))
6.0ms
(cbrt (* (* y 4.0) (- (* z z) t)))
6.0ms
(cbrt (* (* y 4.0) (- (* z z) t)))

series120.0ms

Counts
4 → 12
Calls
4 calls:
14.0ms
(* (* y 4.0) (- (* z z) t))
34.0ms
(cbrt (* (* y 4.0) (- (* z z) t)))
34.0ms
(cbrt (* (* y 4.0) (- (* z z) t)))
37.0ms
(cbrt (* (* y 4.0) (- (* z z) t)))

simplify41.0ms

Algorithm
egg-herbie
Counts
70 → 70
Iterations

Useful iterations: 2 (34.0ms)

IterNodesCost
0289540
11143478
25002471

prune150.0ms

Filtered
55 candidates to 70 candidates (-27.3%)
Pruning

8 alts after pruning (6 fresh and 2 done)

PrunedKeptTotal
New69170
Fresh055
Picked011
Done011
Total69877

Merged error: 3.0b

Counts
77 → 8

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b
(- z (sqrt t))
0.0b
(- (* x x) (* (* (* y 4.0) (+ z (sqrt t))) (- z (sqrt t))))
0.1b
(* (* y 4.0) (+ z (sqrt t)))
0.2b
(* (* (* y 4.0) (+ z (sqrt t))) (- z (sqrt t)))

rewrite29.0ms

Algorithm
rewrite-expression-head
Rules
18×pow1 add-exp-log add-cbrt-cube
14×add-sqr-sqrt
12×*-un-lft-identity
10×associate-*r/ associate-*r*
9×pow-prod-down prod-exp cbrt-unprod
8×add-log-exp
6×add-cube-cbrt sub-neg
5×distribute-rgt-in flip3-- distribute-lft-in flip--
4×frac-times flip3-+ flip-+ associate--r+ difference-of-squares
2×diff-log associate-*l* associate-*l/ sqrt-prod *-commutative distribute-lft-out--
1×distribute-lft-out
Counts
4 → 90
Calls
4 calls:
4.0ms
(- z (sqrt t))
3.0ms
(- (* x x) (* (* (* y 4.0) (+ z (sqrt t))) (- z (sqrt t))))
7.0ms
(* (* y 4.0) (+ z (sqrt t)))
13.0ms
(* (* (* y 4.0) (+ z (sqrt t))) (- z (sqrt t)))

series57.0ms

Counts
4 → 12
Calls
4 calls:
7.0ms
(- z (sqrt t))
22.0ms
(- (* x x) (* (* (* y 4.0) (+ z (sqrt t))) (- z (sqrt t))))
9.0ms
(* (* y 4.0) (+ z (sqrt t)))
18.0ms
(* (* (* y 4.0) (+ z (sqrt t))) (- z (sqrt t)))

simplify90.0ms

Algorithm
egg-herbie
Counts
102 → 102
Iterations

Useful iterations: 2 (81.0ms)

IterNodesCost
0563864
13296727
25001718

prune123.0ms

Filtered
70 candidates to 102 candidates (-45.7%)
Pruning

9 alts after pruning (6 fresh and 3 done)

PrunedKeptTotal
New1011102
Fresh055
Picked011
Done022
Total1019110

Merged error: 3.0b

Counts
110 → 9

localize14.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (cbrt (- z (sqrt t))) (cbrt (- z (sqrt t))))
0.3b
(cbrt (- z (sqrt t)))
0.3b
(cbrt (- z (sqrt t)))
0.3b
(cbrt (- z (sqrt t)))

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
59×add-sqr-sqrt
54×cbrt-prod
35×*-un-lft-identity
18×cbrt-div difference-of-squares
15×add-cube-cbrt
13×swap-sqr
11×pow1
9×flip3-- pow1/3 associate-*r* associate-*l* sqrt-prod flip-- distribute-lft-out--
6×add-exp-log
4×frac-times add-cbrt-cube add-log-exp unswap-sqr
2×associate-*r/ pow-prod-down associate-*l/ pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 109
Calls
4 calls:
12.0ms
(* (cbrt (- z (sqrt t))) (cbrt (- z (sqrt t))))
4.0ms
(cbrt (- z (sqrt t)))
4.0ms
(cbrt (- z (sqrt t)))
4.0ms
(cbrt (- z (sqrt t)))

series82.0ms

Counts
4 → 12
Calls
4 calls:
24.0ms
(* (cbrt (- z (sqrt t))) (cbrt (- z (sqrt t))))
19.0ms
(cbrt (- z (sqrt t)))
18.0ms
(cbrt (- z (sqrt t)))
21.0ms
(cbrt (- z (sqrt t)))

simplify52.0ms

Algorithm
egg-herbie
Counts
121 → 121
Iterations

Useful iterations: 2 (38.0ms)

IterNodesCost
04271333
115631278
250011190

prune135.0ms

Filtered
81 candidates to 121 candidates (-49.4%)
Pruning

9 alts after pruning (5 fresh and 4 done)

PrunedKeptTotal
New1210121
Fresh055
Picked011
Done033
Total1219130

Merged error: 3.0b

Counts
130 → 9

regimes1.1s

Accuracy

82.3% (0.6b remaining)

Error of 3.2b against oracle of 2.6b and baseline of 5.9b

bsearch1.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02516
12516

end0.0ms

sample1.3s

Algorithm
intervals
Results
582.0ms15882×body80valid

Profiling

Loading profile data...