Details

Time bar (total: 7.5s)

sample72.0ms

Algorithm
intervals
Results
37.0ms602×body80valid

simplify86.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
04714
111013
233513
3105913
4344213
5500113

prune12.0ms

Filtered
1 candidates to 1 candidates (100.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 11.0b

localize23.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* c z) (* i a))
4.0b
(* j (- (* c t) (* i y)))
5.1b
(* b (- (* c z) (* i a)))
5.1b
(* x (- (* y z) (* t a)))

rewrite34.0ms

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

series231.0ms

Counts
4 → 12
Calls
4 calls:
37.0ms
(- (* c z) (* i a))
63.0ms
(* j (- (* c t) (* i y)))
64.0ms
(* b (- (* c z) (* i a)))
67.0ms
(* x (- (* y z) (* t a)))

simplify55.0ms

Algorithm
egg-herbie
Counts
112 → 112
Iterations

Useful iterations: 1 (12.0ms)

IterNodesCost
0478643
11976572
25001572

prune505.0ms

Filtered
112 candidates to 84 candidates (75.0%)
Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 8.3b

localize24.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* c z) (* i a))
3.9b
(fma (- (* c t) (* i y)) j (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))))
5.1b
(* b (- (* c z) (* i a)))
5.1b
(* x (- (* y z) (* t a)))

rewrite25.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) (* i a))
0.0ms
(fma (- (* c t) (* i y)) j (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))))
10.0ms
(* b (- (* c z) (* i a)))
10.0ms
(* x (- (* y z) (* t a)))

series735.0ms

Counts
4 → 12
Calls
4 calls:
42.0ms
(- (* c z) (* i a))
560.0ms
(fma (- (* c t) (* i y)) j (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))))
63.0ms
(* b (- (* c z) (* i a)))
69.0ms
(* x (- (* y z) (* t a)))

simplify49.0ms

Algorithm
egg-herbie
Counts
94 → 94
Iterations

Useful iterations: 1 (11.0ms)

IterNodesCost
0373645
11485568
25001568

prune455.0ms

Filtered
94 candidates to 73 candidates (77.7%)
Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 3.5b

localize25.0ms

Local error

Found 4 expressions with local error:

5.1b
(* x (- (* y z) (* t a)))
6.8b
(cbrt (* b (- (* c z) (* i a))))
6.8b
(cbrt (* b (- (* c z) (* i a))))
6.8b
(cbrt (* b (- (* c z) (* i a))))

rewrite25.0ms

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

series475.0ms

Counts
4 → 12
Calls
4 calls:
69.0ms
(* x (- (* y z) (* t a)))
135.0ms
(cbrt (* b (- (* c z) (* i a))))
136.0ms
(cbrt (* b (- (* c z) (* i a))))
135.0ms
(cbrt (* b (- (* c z) (* i a))))

simplify111.0ms

Algorithm
egg-herbie
Counts
79 → 79
Iterations

Useful iterations: 2 (32.0ms)

IterNodesCost
0337604
11208550
24572541
35001541

prune488.0ms

Filtered
79 candidates to 68 candidates (86.1%)
Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 3.5b

localize33.0ms

Local error

Found 4 expressions with local error:

5.1b
(* x (- (* y z) (* t a)))
6.8b
(cbrt (- (* c z) (* i a)))
6.8b
(cbrt (* b (- (* c z) (* i a))))
6.8b
(cbrt (* b (- (* c z) (* i a))))

rewrite21.0ms

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

series460.0ms

Counts
4 → 12
Calls
4 calls:
68.0ms
(* x (- (* y z) (* t a)))
116.0ms
(cbrt (- (* c z) (* i a)))
139.0ms
(cbrt (* b (- (* c z) (* i a))))
137.0ms
(cbrt (* b (- (* c z) (* i a))))

simplify43.0ms

Algorithm
egg-herbie
Counts
81 → 81
Iterations

Useful iterations: 2 (36.0ms)

IterNodesCost
0413618
11401566
25001552

prune490.0ms

Filtered
81 candidates to 70 candidates (86.4%)
Pruning

18 alts after pruning (17 fresh and 1 done)

Merged error: 3.5b

regimes929.0ms

Accuracy

4% (7.4b remaining)

Error of 11.8b against oracle of 4.4b and baseline of 12.1b

bsearch102.0ms

Steps
ItersRangePoint
7
9.950377208475752e+170
1.0591418314876515e+173
3.235702723536516e+171

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
05635
15635

end0.0ms

sample2.0s

Algorithm
intervals
Results
1.1s18888×body80valid