Details

Time bar (total: 10.2s)

sample74.0ms

Algorithm
intervals
Results
40.0ms577×body80valid

simplify94.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 1 (4.0ms)

IterNodesCost
04714
111013
233513
3105913
4344213
5500113

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 10.2b

localize25.0ms

Local error

Found 4 expressions with local error:

0.3b
(- (* c z) (* t i))
3.7b
(fma (- (* c a) (* y i)) j (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))))
4.4b
(* b (- (* c z) (* t i)))
4.5b
(* x (- (* y z) (* t a)))

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt
8×pow1 add-exp-log add-cube-cbrt *-un-lft-identity add-cbrt-cube
6×distribute-rgt-in distribute-lft-in associate-*r* associate-*l* add-log-exp
5×sub-neg prod-diff
4×expm1-log1p-u associate-*r/ log1p-expm1-u
3×flip3-- flip--
2×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
1×fma-neg diff-log fma-udef
Counts
4 → 82
Calls
4 calls:
3.0ms
(- (* c z) (* t i))
0.0ms
(fma (- (* c a) (* y i)) j (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))))
11.0ms
(* b (- (* c z) (* t i)))
10.0ms
(* x (- (* y z) (* t a)))

series784.0ms

Counts
4 → 12
Calls
4 calls:
45.0ms
(- (* c z) (* t i))
596.0ms
(fma (- (* c a) (* y i)) j (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))))
70.0ms
(* b (- (* c z) (* t i)))
74.0ms
(* x (- (* y z) (* t a)))

simplify51.0ms

Algorithm
egg-herbie
Counts
94 → 94
Iterations

Useful iterations: 1 (12.0ms)

IterNodesCost
0376645
11499568
25001568

prune456.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 5.8b

localize25.0ms

Local error

Found 4 expressions with local error:

1.8b
(* (* (cbrt x) (cbrt x)) (* (cbrt x) (- (* y z) (* t a))))
3.0b
(* (cbrt x) (- (* y z) (* t a)))
3.7b
(fma (- (* c a) (* y i)) j (- (* (* (cbrt x) (cbrt x)) (* (cbrt x) (- (* y z) (* t a)))) (* b (- (* c z) (* t i)))))
4.4b
(* b (- (* c z) (* t i)))

rewrite54.0ms

Algorithm
rewrite-expression-head
Rules
20×pow1 add-exp-log
18×distribute-rgt-in distribute-lft-in
15×add-sqr-sqrt
13×add-cbrt-cube
10×associate-*l* pow-prod-down prod-exp cbrt-unprod
9×add-cube-cbrt *-un-lft-identity
8×sub-neg associate-*r/ prod-diff
7×associate-*r*
4×cbrt-prod expm1-log1p-u log1p-expm1-u add-log-exp
3×flip3-- *-commutative flip-- unswap-sqr
1×fma-udef
Counts
4 → 108
Calls
4 calls:
26.0ms
(* (* (cbrt x) (cbrt x)) (* (cbrt x) (- (* y z) (* t a))))
11.0ms
(* (cbrt x) (- (* y z) (* t a)))
0.0ms
(fma (- (* c a) (* y i)) j (- (* (* (cbrt x) (cbrt x)) (* (cbrt x) (- (* y z) (* t a)))) (* b (- (* c z) (* t i)))))
10.0ms
(* b (- (* c z) (* t i)))

series1.1s

Counts
4 → 12
Calls
4 calls:
106.0ms
(* (* (cbrt x) (cbrt x)) (* (cbrt x) (- (* y z) (* t a))))
283.0ms
(* (cbrt x) (- (* y z) (* t a)))
686.0ms
(fma (- (* c a) (* y i)) j (- (* (* (cbrt x) (cbrt x)) (* (cbrt x) (- (* y z) (* t a)))) (* b (- (* c z) (* t i)))))
70.0ms
(* b (- (* c z) (* t i)))

simplify93.0ms

Algorithm
egg-herbie
Counts
120 → 120
Iterations

Useful iterations: 2 (77.0ms)

IterNodesCost
05571206
12447956
25002877

prune525.0ms

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 5.8b

localize23.0ms

Local error

Found 4 expressions with local error:

1.3b
(* (cbrt b) (- (* c z) (* t i)))
3.4b
(* (* (cbrt b) (cbrt b)) (* (cbrt b) (- (* c z) (* t i))))
3.7b
(fma (- (* c a) (* y i)) j (- (* x (- (* y z) (* t a))) (* (* (cbrt b) (cbrt b)) (* (cbrt b) (- (* c z) (* t i))))))
4.5b
(* x (- (* y z) (* t a)))

rewrite54.0ms

Algorithm
rewrite-expression-head
Rules
20×pow1 add-exp-log
18×distribute-rgt-in distribute-lft-in
15×add-sqr-sqrt
13×add-cbrt-cube
10×associate-*l* pow-prod-down prod-exp cbrt-unprod
9×add-cube-cbrt *-un-lft-identity
8×sub-neg associate-*r/ prod-diff
7×associate-*r*
4×cbrt-prod expm1-log1p-u log1p-expm1-u add-log-exp
3×flip3-- *-commutative flip-- unswap-sqr
1×fma-udef
Counts
4 → 108
Calls
4 calls:
11.0ms
(* (cbrt b) (- (* c z) (* t i)))
26.0ms
(* (* (cbrt b) (cbrt b)) (* (cbrt b) (- (* c z) (* t i))))
0.0ms
(fma (- (* c a) (* y i)) j (- (* x (- (* y z) (* t a))) (* (* (cbrt b) (cbrt b)) (* (cbrt b) (- (* c z) (* t i))))))
12.0ms
(* x (- (* y z) (* t a)))

series1.2s

Counts
4 → 12
Calls
4 calls:
288.0ms
(* (cbrt b) (- (* c z) (* t i)))
106.0ms
(* (* (cbrt b) (cbrt b)) (* (cbrt b) (- (* c z) (* t i))))
704.0ms
(fma (- (* c a) (* y i)) j (- (* x (- (* y z) (* t a))) (* (* (cbrt b) (cbrt b)) (* (cbrt b) (- (* c z) (* t i))))))
71.0ms
(* x (- (* y z) (* t a)))

simplify84.0ms

Algorithm
egg-herbie
Counts
120 → 120
Iterations

Useful iterations: 2 (73.0ms)

IterNodesCost
05631204
12492956
25001877

prune552.0ms

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 5.6b

localize30.0ms

Local error

Found 4 expressions with local error:

1.8b
(* (* (cbrt x) (cbrt x)) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (* (cbrt (cbrt x)) (- (* y z) (* t a)))))
2.0b
(* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (* (cbrt (cbrt x)) (- (* y z) (* t a))))
3.7b
(fma (- (* c a) (* y i)) j (- (* (* (cbrt x) (cbrt x)) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (* (cbrt (cbrt x)) (- (* y z) (* t a))))) (* b (- (* c z) (* t i)))))
4.4b
(* b (- (* c z) (* t i)))

rewrite147.0ms

Algorithm
rewrite-expression-head
Rules
59×pow1 add-exp-log
51×distribute-rgt-in distribute-lft-in
40×pow-prod-down prod-exp cbrt-unprod
31×add-cbrt-cube
14×sub-neg prod-diff
12×associate-*r/
8×add-sqr-sqrt
6×add-cube-cbrt *-un-lft-identity
5×associate-*r* associate-*l*
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×flip3-- *-commutative flip--
1×fma-udef unswap-sqr
Counts
4 → 144
Calls
4 calls:
96.0ms
(* (* (cbrt x) (cbrt x)) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (* (cbrt (cbrt x)) (- (* y z) (* t a)))))
33.0ms
(* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (* (cbrt (cbrt x)) (- (* y z) (* t a))))
0.0ms
(fma (- (* c a) (* y i)) j (- (* (* (cbrt x) (cbrt x)) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (* (cbrt (cbrt x)) (- (* y z) (* t a))))) (* b (- (* c z) (* t i)))))
10.0ms
(* b (- (* c z) (* t i)))

series1.2s

Counts
4 → 12
Calls
4 calls:
109.0ms
(* (* (cbrt x) (cbrt x)) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (* (cbrt (cbrt x)) (- (* y z) (* t a)))))
292.0ms
(* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (* (cbrt (cbrt x)) (- (* y z) (* t a))))
700.0ms
(fma (- (* c a) (* y i)) j (- (* (* (cbrt x) (cbrt x)) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (* (cbrt (cbrt x)) (- (* y z) (* t a))))) (* b (- (* c z) (* t i)))))
72.0ms
(* b (- (* c z) (* t i)))

simplify116.0ms

Algorithm
egg-herbie
Counts
156 → 156
Iterations

Useful iterations: 2 (98.0ms)

IterNodesCost
08252883
134861832
250011476

prune484.0ms

Pruning

12 alts after pruning (10 fresh and 2 done)

Merged error: 5.6b

regimes795.0ms

Accuracy

44.8% (3.9b remaining)

Error of 8.7b against oracle of 4.8b and baseline of 11.9b

bsearch83.0ms

Steps
ItersRangePoint
4
21.990664077476126
42.45078452047009
33.881249917668185
2
-45853.62824451683
-40182.74847622026
-42309.32838933148

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
07448
18948
28948

end0.0ms

sample2.1s

Algorithm
intervals
Results
1.3s19009×body80valid