Details

Time bar (total: 6.7s)

sample59.0ms

Algorithm
intervals
Results
24.0ms401×body80valid

simplify56.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (55.0ms)

IterNodesCost
098217
198217

prune10.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112

Merged error: 0.0b

Counts
2 → 1

localize12.0ms

Local error

Found 1 expressions with local error:

0.0b
(- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
6×add-log-exp
3×add-sqr-sqrt *-un-lft-identity
2×diff-log frac-sub
1×pow1 add-exp-log add-cube-cbrt sub-neg flip3-- flip3-+ associate--l+ sum-log add-cbrt-cube flip-- flip-+ distribute-lft-out-- difference-of-squares
Counts
1 → 18
Calls
1 calls:
10.0ms
(- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))

series25.0ms

Counts
1 → 3
Calls
1 calls:
25.0ms
(- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))

simplify38.0ms

Algorithm
egg-herbie
Counts
21 → 21
Iterations

Useful iterations: 0 (34.0ms)

IterNodesCost
05033471

prune51.0ms

Filtered
17 candidates to 21 candidates (-23.5%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New18321
Fresh000
Picked011
Done000
Total18422

Merged error: 0b

Counts
22 → 4

localize21.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* b (/ a 4.0)) (* b (/ a 4.0)))
0.3b
(* (+ (* x y) (* t (/ z 16.0))) (+ (* x y) (* t (/ z 16.0))))
3.1b
(- (* (+ (* x y) (* t (/ z 16.0))) (+ (* x y) (* t (/ z 16.0)))) (* (* b (/ a 4.0)) (* b (/ a 4.0))))
28.1b
(/ (- (* (+ (* x y) (* t (/ z 16.0))) (+ (* x y) (* t (/ z 16.0)))) (* (* b (/ a 4.0)) (* b (/ a 4.0)))) (+ (* x y) (+ (* t (/ z 16.0)) (* b (/ a 4.0)))))

rewrite68.0ms

Algorithm
rewrite-expression-head
Rules
99×associate-*r/
50×pow1
48×frac-sub
45×frac-times
44×add-exp-log add-cbrt-cube
43×flip3-+ flip-+
31×associate-*l/
26×associate-/l/
22×prod-exp cbrt-unprod
19×add-sqr-sqrt
18×pow-prod-down
17×add-cube-cbrt *-un-lft-identity
12×times-frac
7×cbrt-undiv div-exp
6×add-log-exp
5×pow-sqr pow-prod-up difference-of-squares
4×swap-sqr associate-*r* associate-*l* associate-/l*
3×pow-plus associate-/r*
2×pow2 distribute-rgt-in flip3-- distribute-lft-in associate--l+ associate-/r/ *-commutative flip--
1×sub-neg frac-2neg diff-log div-sub clear-num div-inv unswap-sqr
Counts
4 → 181
Calls
4 calls:
10.0ms
(* (* b (/ a 4.0)) (* b (/ a 4.0)))
10.0ms
(* (+ (* x y) (* t (/ z 16.0))) (+ (* x y) (* t (/ z 16.0))))
13.0ms
(- (* (+ (* x y) (* t (/ z 16.0))) (+ (* x y) (* t (/ z 16.0)))) (* (* b (/ a 4.0)) (* b (/ a 4.0))))
24.0ms
(/ (- (* (+ (* x y) (* t (/ z 16.0))) (+ (* x y) (* t (/ z 16.0)))) (* (* b (/ a 4.0)) (* b (/ a 4.0)))) (+ (* x y) (+ (* t (/ z 16.0)) (* b (/ a 4.0)))))

series289.0ms

Counts
4 → 12
Calls
4 calls:
8.0ms
(* (* b (/ a 4.0)) (* b (/ a 4.0)))
17.0ms
(* (+ (* x y) (* t (/ z 16.0))) (+ (* x y) (* t (/ z 16.0))))
168.0ms
(- (* (+ (* x y) (* t (/ z 16.0))) (+ (* x y) (* t (/ z 16.0)))) (* (* b (/ a 4.0)) (* b (/ a 4.0))))
95.0ms
(/ (- (* (+ (* x y) (* t (/ z 16.0))) (+ (* x y) (* t (/ z 16.0)))) (* (* b (/ a 4.0)) (* b (/ a 4.0)))) (+ (* x y) (+ (* t (/ z 16.0)) (* b (/ a 4.0)))))

simplify83.0ms

Algorithm
egg-herbie
Counts
193 → 193
Iterations

Useful iterations: 0 (51.0ms)

IterNodesCost
050026542

prune416.0ms

Filtered
122 candidates to 193 candidates (-58.2%)
Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New1930193
Fresh022
Picked011
Done011
Total1934197

Merged error: 0b

Counts
197 → 4

localize14.0ms

Local error

Found 4 expressions with local error:

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

rewrite46.0ms

Algorithm
rewrite-expression-head
Rules
28×add-sqr-sqrt
24×sqrt-prod
21×pow1
16×sqrt-div
14×add-cube-cbrt *-un-lft-identity
10×sqrt-pow1 pow1/2
9×flip3-+ flip-+ add-log-exp
8×swap-sqr
6×add-exp-log associate-*r* associate-*l* add-cbrt-cube
5×pow-prod-up
4×frac-times unswap-sqr
3×pow-prod-down pow-sqr
2×rem-sqrt-square associate-+r+ associate-*r/ associate-*l/ sum-log
1×+-commutative pow2 associate-+r- sub-neg pow-plus sqrt-unprod diff-log prod-exp rem-square-sqrt *-commutative cbrt-unprod
Counts
4 → 102
Calls
4 calls:
8.0ms
(+ (* x y) (- (* t (/ z 16.0)) (* b (/ a 4.0))))
7.0ms
(sqrt (+ (* x y) (- (* t (/ z 16.0)) (* b (/ a 4.0)))))
7.0ms
(sqrt (+ (* x y) (- (* t (/ z 16.0)) (* b (/ a 4.0)))))
19.0ms
(* (sqrt (+ (* x y) (- (* t (/ z 16.0)) (* b (/ a 4.0))))) (sqrt (+ (* x y) (- (* t (/ z 16.0)) (* b (/ a 4.0))))))

series346.0ms

Counts
4 → 12
Calls
4 calls:
25.0ms
(+ (* x y) (- (* t (/ z 16.0)) (* b (/ a 4.0))))
147.0ms
(sqrt (+ (* x y) (- (* t (/ z 16.0)) (* b (/ a 4.0)))))
147.0ms
(sqrt (+ (* x y) (- (* t (/ z 16.0)) (* b (/ a 4.0)))))
28.0ms
(* (sqrt (+ (* x y) (- (* t (/ z 16.0)) (* b (/ a 4.0))))) (sqrt (+ (* x y) (- (* t (/ z 16.0)) (* b (/ a 4.0))))))

simplify49.0ms

Algorithm
egg-herbie
Counts
114 → 114
Iterations

Useful iterations: 0 (31.0ms)

IterNodesCost
049732599
149732599

prune182.0ms

Filtered
71 candidates to 114 candidates (-60.6%)
Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New1140114
Fresh011
Picked011
Done022
Total1144118

Merged error: 0b

Counts
118 → 4

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* t (/ z 16.0)) (* b (/ a 4.0)))
0.0b
(+ (* x y) (- (* t (/ z 16.0)) (* b (/ a 4.0))))
0.3b
(pow (+ (* x y) (- (* t (/ z 16.0)) (* b (/ a 4.0)))) 3)
38.2b
(cbrt (pow (+ (* x y) (- (* t (/ z 16.0)) (* b (/ a 4.0)))) 3))

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
12×cbrt-prod
11×add-log-exp
10×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
6×unpow-prod-down cube-prod
5×pow1 add-exp-log add-cbrt-cube
4×cube-div
3×pow-unpow flip3-+ flip-+
2×cube-mult sub-neg cbrt-div associate-+r+ diff-log unpow3 associate-*r/ sum-log sqr-pow
1×+-commutative pow-to-exp associate-+r- flip3-- pow-pow pow1/3 pow-exp frac-sub flip-- rem-cbrt-cube rem-cube-cbrt
Counts
4 → 76
Calls
4 calls:
6.0ms
(- (* t (/ z 16.0)) (* b (/ a 4.0)))
8.0ms
(+ (* x y) (- (* t (/ z 16.0)) (* b (/ a 4.0))))
11.0ms
(pow (+ (* x y) (- (* t (/ z 16.0)) (* b (/ a 4.0)))) 3)
9.0ms
(cbrt (pow (+ (* x y) (- (* t (/ z 16.0)) (* b (/ a 4.0)))) 3))

series1.9s

Counts
4 → 12
Calls
4 calls:
14.0ms
(- (* t (/ z 16.0)) (* b (/ a 4.0)))
31.0ms
(+ (* x y) (- (* t (/ z 16.0)) (* b (/ a 4.0))))
1.8s
(pow (+ (* x y) (- (* t (/ z 16.0)) (* b (/ a 4.0)))) 3)
26.0ms
(cbrt (pow (+ (* x y) (- (* t (/ z 16.0)) (* b (/ a 4.0)))) 3))

simplify29.0ms

Algorithm
egg-herbie
Counts
88 → 88
Iterations

Useful iterations: 0 (17.0ms)

IterNodesCost
051861764

prune115.0ms

Filtered
56 candidates to 88 candidates (-57.1%)
Pruning

4 alts after pruning (0 fresh and 4 done)

PrunedKeptTotal
New88088
Fresh000
Picked011
Done033
Total88492

Merged error: 0b

Counts
92 → 4

regimes1.3s

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
05517
15517

end0.0ms

sample1.5s

Algorithm
intervals
Results
652.0ms12069×body80valid

Profiling

Loading profile data...