Details

Time bar (total: 13.1s)

sample30.0ms

Algorithm
intervals
Results
8.0ms230×body80valid
5.0ms24×body640valid
2.0ms11×body1280valid
1.0ms13×body320valid
0.0ms6×body160valid

simplify120.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0226
1526
21096
31956
44456
58286
614346
725206
848306
950016

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: 17.7b

Counts
2 → 1

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b
(* (- z t) y)
1.2b
(- (+ x y) (/ (* (- z t) y) (- a t)))
11.1b
(/ (* (- z t) y) (- a t))

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
18×*-un-lft-identity
17×add-sqr-sqrt
10×add-exp-log add-cbrt-cube
8×add-log-exp
7×add-cube-cbrt
5×pow1 times-frac associate-*l* associate-/r* distribute-lft-out--
4×flip3-- associate-*l/ flip-- difference-of-squares
3×associate-*r*
2×cbrt-undiv diff-log div-exp prod-exp associate-/r/ frac-sub cbrt-unprod associate-/l/
1×sub-neg frac-2neg flip3-+ pow-prod-down associate--l+ clear-num sum-log *-commutative flip-+ div-inv distribute-lft-out associate-/l* unswap-sqr
Counts
3 → 70
Calls
3 calls:
6.0ms
(* (- z t) y)
10.0ms
(- (+ x y) (/ (* (- z t) y) (- a t)))
9.0ms
(/ (* (- z t) y) (- a t))

series197.0ms

Counts
3 → 9
Calls
3 calls:
28.0ms
(* (- z t) y)
108.0ms
(- (+ x y) (/ (* (- z t) y) (- a t)))
62.0ms
(/ (* (- z t) y) (- a t))

simplify48.0ms

Algorithm
egg-herbie
Counts
79 → 79
Iterations

Useful iterations: 1 (10.0ms)

IterNodesCost
0383461
11704422
25001422

prune180.0ms

Filtered
79 candidates to 56 candidates (70.9%)
Pruning

11 alts after pruning (11 fresh and 0 done)

PrunedKeptTotal
New681179
Fresh000
Picked101
Done000
Total691180

Merged error: 5.7b

Counts
80 → 11

localize12.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt (- a t))
0.5b
(* (cbrt (- a t)) (cbrt (- a t)))
4.5b
(* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t))))
9.0b
(- (+ x y) (* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t)))))

rewrite57.0ms

Algorithm
rewrite-expression-head
Rules
72×add-sqr-sqrt
54×*-un-lft-identity
50×cbrt-prod
38×associate-*r*
36×times-frac
30×add-cube-cbrt
28×cbrt-div
27×add-exp-log
25×associate-*l*
18×add-cbrt-cube
15×flip3-- flip--
13×pow1
11×frac-times distribute-lft-out--
10×swap-sqr associate-/r/ unswap-sqr
9×prod-exp cbrt-unprod add-log-exp difference-of-squares
7×cbrt-undiv pow1/3 associate-*r/ div-exp associate-*l/
6×frac-sub
3×flip3-+ pow-prod-down flip-+
2×diff-log pow-sqr *-commutative pow-prod-up div-inv
1×pow2 sub-neg pow-plus associate--l+ sum-log
Counts
4 → 168
Calls
4 calls:
3.0ms
(cbrt (- a t))
13.0ms
(* (cbrt (- a t)) (cbrt (- a t)))
28.0ms
(* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t))))
6.0ms
(- (+ x y) (* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t)))))

series481.0ms

Counts
4 → 12
Calls
4 calls:
142.0ms
(cbrt (- a t))
128.0ms
(* (cbrt (- a t)) (cbrt (- a t)))
100.0ms
(* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t))))
111.0ms
(- (+ x y) (* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t)))))

simplify121.0ms

Algorithm
egg-herbie
Counts
180 → 180
Iterations

Useful iterations: 2 (103.0ms)

IterNodesCost
08862068
143261890
250031779

prune499.0ms

Filtered
180 candidates to 125 candidates (69.4%)
Pruning

16 alts after pruning (16 fresh and 0 done)

PrunedKeptTotal
New1719180
Fresh3710
Picked101
Done000
Total17516191

Merged error: 5.7b

Counts
191 → 16

localize26.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (* (cbrt (- a t)) (cbrt (- a t))))
0.6b
(cbrt (* (cbrt (- a t)) (cbrt (- a t))))
4.5b
(* (/ (- z t) (* (* (cbrt (* (cbrt (- a t)) (cbrt (- a t)))) (cbrt (* (cbrt (- a t)) (cbrt (- a t))))) (cbrt (* (cbrt (- a t)) (cbrt (- a t)))))) (/ y (cbrt (- a t))))
9.5b
(- (+ x y) (* (/ (- z t) (* (* (cbrt (* (cbrt (- a t)) (cbrt (- a t)))) (cbrt (* (cbrt (- a t)) (cbrt (- a t))))) (cbrt (* (cbrt (- a t)) (cbrt (- a t)))))) (/ y (cbrt (- a t)))))

rewrite612.0ms

Algorithm
rewrite-expression-head
Rules
4902×cbrt-div
2199×frac-times
1472×flip3-- flip--
737×associate-*l*
730×associate-/r/
645×associate-*l/
573×associate-*r/
37×add-sqr-sqrt
36×add-exp-log
31×times-frac
30×associate-*r*
29×*-un-lft-identity
24×add-cbrt-cube
21×add-cube-cbrt
18×cbrt-prod
14×prod-exp cbrt-unprod
10×cbrt-undiv div-exp
9×add-log-exp
6×pow1 frac-sub
4×distribute-lft-out-- difference-of-squares
3×flip3-+ flip-+ unswap-sqr
2×pow1/3 diff-log div-inv
1×sub-neg pow-prod-down associate--l+ sum-log *-commutative
Counts
4 → 852
Calls
4 calls:
9.0ms
(cbrt (* (cbrt (- a t)) (cbrt (- a t))))
9.0ms
(cbrt (* (cbrt (- a t)) (cbrt (- a t))))
366.0ms
(* (/ (- z t) (* (* (cbrt (* (cbrt (- a t)) (cbrt (- a t)))) (cbrt (* (cbrt (- a t)) (cbrt (- a t))))) (cbrt (* (cbrt (- a t)) (cbrt (- a t)))))) (/ y (cbrt (- a t))))
6.0ms
(- (+ x y) (* (/ (- z t) (* (* (cbrt (* (cbrt (- a t)) (cbrt (- a t)))) (cbrt (* (cbrt (- a t)) (cbrt (- a t))))) (cbrt (* (cbrt (- a t)) (cbrt (- a t)))))) (/ y (cbrt (- a t)))))

series466.0ms

Counts
4 → 12
Calls
4 calls:
130.0ms
(cbrt (* (cbrt (- a t)) (cbrt (- a t))))
123.0ms
(cbrt (* (cbrt (- a t)) (cbrt (- a t))))
100.0ms
(* (/ (- z t) (* (* (cbrt (* (cbrt (- a t)) (cbrt (- a t)))) (cbrt (* (cbrt (- a t)) (cbrt (- a t))))) (cbrt (* (cbrt (- a t)) (cbrt (- a t)))))) (/ y (cbrt (- a t))))
112.0ms
(- (+ x y) (* (/ (- z t) (* (* (cbrt (* (cbrt (- a t)) (cbrt (- a t)))) (cbrt (* (cbrt (- a t)) (cbrt (- a t))))) (cbrt (* (cbrt (- a t)) (cbrt (- a t)))))) (/ y (cbrt (- a t)))))

simplify231.0ms

Algorithm
egg-herbie
Counts
864 → 864
Iterations

Useful iterations: 1 (52.0ms)

IterNodesCost
0256822231
1500221228

prune7.1s

Filtered
864 candidates to 835 candidates (96.6%)
Pruning

17 alts after pruning (16 fresh and 1 done)

PrunedKeptTotal
New8622864
Fresh11415
Picked011
Done000
Total86317880

Merged error: 5.7b

Counts
880 → 17

localize17.0ms

Local error

Found 4 expressions with local error:

4.4b
(cbrt (/ y (cbrt (- a t))))
4.4b
(cbrt (/ y (cbrt (- a t))))
4.4b
(cbrt (/ y (cbrt (- a t))))
11.0b
(- (+ x y) (* (* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (* (cbrt (/ y (cbrt (- a t)))) (cbrt (/ y (cbrt (- a t)))))) (cbrt (/ y (cbrt (- a t))))))

rewrite40.0ms

Algorithm
rewrite-expression-head
Rules
135×cbrt-prod
72×times-frac
67×add-sqr-sqrt *-un-lft-identity
57×cbrt-div
49×add-cube-cbrt
34×frac-times
30×frac-sub
26×associate-*l/
22×associate-*r/
15×flip3-+ flip-+
9×distribute-lft-out-- add-log-exp difference-of-squares
6×associate-/r/
4×pow1 add-exp-log flip3-- add-cbrt-cube flip--
3×pow1/3 div-inv
2×diff-log
1×sub-neg associate--l+ sum-log
Counts
4 → 161
Calls
4 calls:
6.0ms
(cbrt (/ y (cbrt (- a t))))
10.0ms
(cbrt (/ y (cbrt (- a t))))
6.0ms
(cbrt (/ y (cbrt (- a t))))
9.0ms
(- (+ x y) (* (* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (* (cbrt (/ y (cbrt (- a t)))) (cbrt (/ y (cbrt (- a t)))))) (cbrt (/ y (cbrt (- a t))))))

series848.0ms

Counts
4 → 12
Calls
4 calls:
236.0ms
(cbrt (/ y (cbrt (- a t))))
250.0ms
(cbrt (/ y (cbrt (- a t))))
195.0ms
(cbrt (/ y (cbrt (- a t))))
167.0ms
(- (+ x y) (* (* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (* (cbrt (/ y (cbrt (- a t)))) (cbrt (/ y (cbrt (- a t)))))) (cbrt (/ y (cbrt (- a t))))))

simplify96.0ms

Algorithm
egg-herbie
Counts
173 → 173
Iterations

Useful iterations: 2 (69.0ms)

IterNodesCost
08073157
128592947
250012916

prune633.0ms

Filtered
173 candidates to 137 candidates (79.2%)
Pruning

17 alts after pruning (15 fresh and 2 done)

PrunedKeptTotal
New1730173
Fresh01515
Picked011
Done011
Total17317190

Merged error: 5.7b

Counts
190 → 17

regimes428.0ms

Accuracy

31.6% (5.2b remaining)

Error of 9.3b against oracle of 4.1b and baseline of 11.7b

bsearch77.0ms

Steps
ItersRangePoint
9
1.0263684644855673e-122
2.465291884924535e-114
7.9959860080321575e-115
4
-1.4563242510325553e-92
-8.252401528422764e-93
-1.1605035800058621e-92

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03955
13955

end0.0ms

sample737.0ms

Algorithm
intervals
Results
295.0ms7316×body80valid
63.0ms433×body640valid
47.0ms269×body1280valid
43.0ms404×body320valid
21.0ms288×body160valid
4.0ms16×body2560valid

Profiling

Loading profile data...