Details

Time bar (total: 5.3s)

sample26.0ms

Algorithm
intervals
Results
11.0ms272×body80valid

simplify114.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0238
1378
2658
3948
41088
51328
62018
73598
88258
932128
1050018

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 19.4b

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(* z (- t a))
0.0b
(+ y (* z (- b y)))
0.9b
(+ (* x y) (* z (- t a)))
18.9b
(/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y))))

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
18×add-sqr-sqrt
16×*-un-lft-identity
14×add-cube-cbrt
9×times-frac
8×add-exp-log associate-+r+ add-cbrt-cube add-log-exp
6×pow1 distribute-rgt-in sub-neg distribute-lft-in
5×associate-*r*
4×flip3-+ flip-+
3×associate-*l* associate-/r* associate-/l*
2×+-commutative associate-*r/ sum-log associate-/r/ associate-/l/
1×cbrt-undiv flip3-- frac-2neg div-exp pow-prod-down prod-exp clear-num *-commutative flip-- cbrt-unprod div-inv distribute-lft-out-- difference-of-squares unswap-sqr
Counts
4 → 87
Calls
4 calls:
6.0ms
(* z (- t a))
3.0ms
(+ y (* z (- b y)))
4.0ms
(+ (* x y) (* z (- t a)))
7.0ms
(/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y))))

series454.0ms

Counts
4 → 12
Calls
4 calls:
59.0ms
(* z (- t a))
42.0ms
(+ y (* z (- b y)))
58.0ms
(+ (* x y) (* z (- t a)))
295.0ms
(/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y))))

simplify68.0ms

Algorithm
egg-herbie
Counts
99 → 99
Iterations

Useful iterations: 1 (17.0ms)

IterNodesCost
0359708
11499648
25001648

prune296.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 18.9b

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(* z (- t a))
0.0b
(+ y (* z (- b y)))
0.9b
(+ (* z (- t a)) (* x y))
18.9b
(/ (+ (* z (- t a)) (* x y)) (+ y (* z (- b y))))

rewrite30.0ms

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

series336.0ms

Counts
4 → 12
Calls
4 calls:
36.0ms
(* z (- t a))
26.0ms
(+ y (* z (- b y)))
41.0ms
(+ (* z (- t a)) (* x y))
232.0ms
(/ (+ (* z (- t a)) (* x y)) (+ y (* z (- b y))))

simplify44.0ms

Algorithm
egg-herbie
Counts
99 → 99
Iterations

Useful iterations: 1 (9.0ms)

IterNodesCost
0361714
11497650
25002650

prune272.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 15.5b

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ y (* z (- b y)))
0.3b
(/ 1 (+ y (* z (- b y))))
0.9b
(+ (* z (- t a)) (* x y))
18.6b
(* (+ (* z (- t a)) (* x y)) (/ 1 (+ y (* z (- b y)))))

rewrite30.0ms

Algorithm
rewrite-expression-head
Rules
27×add-sqr-sqrt
21×*-un-lft-identity
20×add-cube-cbrt times-frac
17×add-exp-log
15×associate-*r*
11×add-cbrt-cube
8×add-log-exp
7×pow1
6×flip3-+ flip-+
4×distribute-rgt-in sub-neg associate-+l+ associate-+r+ distribute-lft-in div-exp prod-exp associate-/r/
3×associate-*l* associate-/r* associate-/l* unswap-sqr
2×cbrt-undiv +-commutative frac-times rec-exp 1-exp associate-*l/ sum-log cbrt-unprod div-inv
1×pow-flip frac-2neg associate-*r/ pow-prod-down clear-num un-div-inv *-commutative inv-pow
Counts
4 → 105
Calls
4 calls:
3.0ms
(+ y (* z (- b y)))
4.0ms
(/ 1 (+ y (* z (- b y))))
6.0ms
(+ (* z (- t a)) (* x y))
13.0ms
(* (+ (* z (- t a)) (* x y)) (/ 1 (+ y (* z (- b y)))))

series390.0ms

Counts
4 → 12
Calls
4 calls:
33.0ms
(+ y (* z (- b y)))
80.0ms
(/ 1 (+ y (* z (- b y))))
39.0ms
(+ (* z (- t a)) (* x y))
239.0ms
(* (+ (* z (- t a)) (* x y)) (/ 1 (+ y (* z (- b y)))))

simplify54.0ms

Algorithm
egg-herbie
Counts
117 → 117
Iterations

Useful iterations: 2 (44.0ms)

IterNodesCost
0405957
11815840
25003814

prune373.0ms

Pruning

14 alts after pruning (13 fresh and 1 done)

Merged error: 15.5b

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ y (* z (- b y)))
0.3b
(/ 1 (/ (+ y (* z (- b y))) (+ (* z (- t a)) (* x y))))
0.9b
(+ (* z (- t a)) (* x y))
18.9b
(/ (+ y (* z (- b y))) (+ (* z (- t a)) (* x y)))

rewrite39.0ms

Algorithm
rewrite-expression-head
Rules
90×times-frac
56×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
18×associate-/r*
17×add-exp-log
11×associate-/r/ add-cbrt-cube
8×flip3-+ div-exp flip-+ add-log-exp
6×div-inv associate-/l*
5×pow1
4×cbrt-undiv distribute-rgt-in sub-neg associate-+l+ associate-+r+ distribute-lft-in
2×+-commutative rec-exp frac-2neg 1-exp clear-num sum-log associate-/l/
1×pow-flip inv-pow
Counts
4 → 145
Calls
4 calls:
4.0ms
(+ y (* z (- b y)))
11.0ms
(/ 1 (/ (+ y (* z (- b y))) (+ (* z (- t a)) (* x y))))
6.0ms
(+ (* z (- t a)) (* x y))
13.0ms
(/ (+ y (* z (- b y))) (+ (* z (- t a)) (* x y)))

series1.1s

Counts
4 → 12
Calls
4 calls:
27.0ms
(+ y (* z (- b y)))
771.0ms
(/ 1 (/ (+ y (* z (- b y))) (+ (* z (- t a)) (* x y))))
37.0ms
(+ (* z (- t a)) (* x y))
301.0ms
(/ (+ y (* z (- b y))) (+ (* z (- t a)) (* x y)))

simplify63.0ms

Algorithm
egg-herbie
Counts
157 → 157
Iterations

Useful iterations: 2 (46.0ms)

IterNodesCost
05302053
123691873
250011786

prune375.0ms

Pruning

14 alts after pruning (12 fresh and 2 done)

Merged error: 15.5b

regimes423.0ms

Accuracy

-3.7% (5.0b remaining)

Error of 23.0b against oracle of 18.0b and baseline of 22.8b

bsearch46.0ms

Steps
ItersRangePoint
9
-1.944178778606117e+233
-8.327798474999817e+226
-1.9236088996838678e+233

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0279
1279

end0.0ms

sample653.0ms

Algorithm
intervals
Results
351.0ms8436×body80valid