Details

Time bar (total: 3.9s)

sample38.0ms

Algorithm
intervals
Results
10.0ms235×body80valid
2.0ms17×body640valid
1.0ms7×body1280valid
1.0ms10×body320valid
1.0ms10×body160valid

simplify117.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0226
1526
21096
31956
44456
58286
614346
725206
848306
950016

prune4.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 15.7b

Counts
2 → 1

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b
(* (- z t) y)
2.5b
(- (+ x y) (/ (* (- z t) y) (- a t)))
10.0b
(/ (* (- z t) y) (- a t))

rewrite25.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)
9.0ms
(- (+ x y) (/ (* (- z t) y) (- a t)))
8.0ms
(/ (* (- z t) y) (- a t))

series76.0ms

Counts
3 → 9
Calls
3 calls:
11.0ms
(* (- z t) y)
49.0ms
(- (+ x y) (/ (* (- z t) y) (- a t)))
15.0ms
(/ (* (- z t) y) (- a t))

simplify66.0ms

Algorithm
egg-herbie
Counts
79 → 79
Iterations

Useful iterations: 1 (14.0ms)

IterNodesCost
0383461
11704422
25001422

prune333.0ms

Filtered
56 candidates to 79 candidates (-41.1%)
Pruning

11 alts after pruning (11 fresh and 0 done)

PrunedKeptTotal
New681179
Fresh000
Picked101
Done000
Total691180

Merged error: 3.2b

Counts
80 → 11

localize12.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (- a t))
0.6b
(cbrt (- a t))
3.6b
(* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t))))
5.9b
(- (+ x y) (* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t)))))

rewrite44.0ms

Algorithm
rewrite-expression-head
Rules
51×add-sqr-sqrt
36×times-frac
35×*-un-lft-identity
30×associate-*r*
27×cbrt-prod
25×add-exp-log
23×add-cube-cbrt
18×cbrt-div add-cbrt-cube
17×associate-*l*
10×flip3-- associate-/r/ flip--
9×add-log-exp
8×prod-exp cbrt-unprod
7×cbrt-undiv frac-times div-exp
6×pow1 frac-sub distribute-lft-out-- difference-of-squares unswap-sqr
5×associate-*r/ associate-*l/
3×flip3-+ flip-+
2×pow1/3 diff-log div-inv
1×sub-neg pow-prod-down associate--l+ sum-log *-commutative
Counts
4 → 127
Calls
4 calls:
3.0ms
(cbrt (- a t))
3.0ms
(cbrt (- a t))
27.0ms
(* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t))))
5.0ms
(- (+ x y) (* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t)))))

series112.0ms

Counts
4 → 12
Calls
4 calls:
28.0ms
(cbrt (- a t))
26.0ms
(cbrt (- a t))
22.0ms
(* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t))))
37.0ms
(- (+ x y) (* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t)))))

simplify84.0ms

Algorithm
egg-herbie
Counts
139 → 139
Iterations

Useful iterations: 2 (70.0ms)

IterNodesCost
07931744
133531585
250011502

prune195.0ms

Filtered
104 candidates to 139 candidates (-33.7%)
Pruning

13 alts after pruning (12 fresh and 1 done)

PrunedKeptTotal
New1336139
Fresh4610
Picked011
Done000
Total13713150

Merged error: 3.2b

Counts
150 → 13

localize24.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (- a t))
0.6b
(cbrt (- a t))
0.8b
(* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ (* (cbrt y) (cbrt y)) (cbrt (* (cbrt (- a t)) (cbrt (- a t))))))
7.8b
(- (+ x y) (* (* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ (* (cbrt y) (cbrt y)) (cbrt (* (cbrt (- a t)) (cbrt (- a t)))))) (/ (cbrt y) (cbrt (cbrt (- a t))))))

rewrite42.0ms

Algorithm
rewrite-expression-head
Rules
40×add-exp-log
36×cbrt-div
26×add-sqr-sqrt
22×add-cbrt-cube
19×frac-times
17×associate-*l*
16×*-un-lft-identity times-frac associate-*r* associate-/r/
15×flip3-- associate-*l/ prod-exp flip-- cbrt-unprod
14×frac-sub
13×cbrt-prod
12×cbrt-undiv div-exp
11×associate-*r/
10×add-cube-cbrt
9×add-log-exp
7×flip3-+ flip-+
6×pow1 unswap-sqr
3×distribute-lft-out-- difference-of-squares
2×pow1/3 diff-log div-inv
1×sub-neg pow-prod-down associate--l+ sum-log *-commutative
Counts
4 → 127
Calls
4 calls:
3.0ms
(cbrt (- a t))
3.0ms
(cbrt (- a t))
24.0ms
(* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ (* (cbrt y) (cbrt y)) (cbrt (* (cbrt (- a t)) (cbrt (- a t))))))
6.0ms
(- (+ x y) (* (* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ (* (cbrt y) (cbrt y)) (cbrt (* (cbrt (- a t)) (cbrt (- a t)))))) (/ (cbrt y) (cbrt (cbrt (- a t))))))

series217.0ms

Counts
4 → 12
Calls
4 calls:
26.0ms
(cbrt (- a t))
29.0ms
(cbrt (- a t))
117.0ms
(* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ (* (cbrt y) (cbrt y)) (cbrt (* (cbrt (- a t)) (cbrt (- a t))))))
45.0ms
(- (+ x y) (* (* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ (* (cbrt y) (cbrt y)) (cbrt (* (cbrt (- a t)) (cbrt (- a t)))))) (/ (cbrt y) (cbrt (cbrt (- a t))))))

simplify120.0ms

Algorithm
egg-herbie
Counts
139 → 139
Iterations

Useful iterations: 2 (95.0ms)

IterNodesCost
011363050
145462732
250012730

prune213.0ms

Filtered
113 candidates to 139 candidates (-23.0%)
Pruning

13 alts after pruning (11 fresh and 2 done)

PrunedKeptTotal
New1390139
Fresh01111
Picked011
Done011
Total13913152

Merged error: 3.2b

Counts
152 → 13

localize20.0ms

Local error

Found 4 expressions with local error:

4.9b
(cbrt (/ y (cbrt (- a t))))
4.9b
(cbrt (/ y (cbrt (- a t))))
4.9b
(cbrt (/ y (cbrt (- a t))))
8.1b
(- (+ 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))))))

rewrite35.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))))
6.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))))))

series196.0ms

Counts
4 → 12
Calls
4 calls:
49.0ms
(cbrt (/ y (cbrt (- a t))))
53.0ms
(cbrt (/ y (cbrt (- a t))))
47.0ms
(cbrt (/ y (cbrt (- a t))))
47.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))))))

simplify91.0ms

Algorithm
egg-herbie
Counts
173 → 173
Iterations

Useful iterations: 2 (62.0ms)

IterNodesCost
08503223
127393016
250012967

prune196.0ms

Filtered
137 candidates to 173 candidates (-26.3%)
Pruning

13 alts after pruning (10 fresh and 3 done)

PrunedKeptTotal
New1730173
Fresh01010
Picked011
Done022
Total17313186

Merged error: 3.2b

Counts
186 → 13

regimes620.0ms

Accuracy

26.4% (5.4b remaining)

Error of 9.1b against oracle of 3.7b and baseline of 11.0b

bsearch49.0ms

Steps
ItersRangePoint
7
1.9504027828061687e-54
2.1832296518337096e-52
2.749309594003738e-54
9
-5.056688644657106e-94
-7.269990708290824e-100
-2.7145987870001197e-98

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03842
13842

end0.0ms

sample957.0ms

Algorithm
intervals
Results
288.0ms7364×body80valid
65.0ms416×body640valid
46.0ms404×body320valid
44.0ms225×body1280valid
20.0ms269×body160valid
3.0ms15×body2560valid

Profiling

Loading profile data...