Details

Time bar (total: 7.9s)

sample260.0ms

Algorithm
intervals
Results
229.0ms535×body80valid

simplify78.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
04314
19614
229114
382514
4202114
5500114

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 12.2b

localize26.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y))))
4.0b
(* x (- (* y z) (* t a)))
5.2b
(* j (- (* c t) (* i y)))
6.2b
(* b (- (* c z) (* i a)))

rewrite61.0ms

Algorithm
rewrite-expression-head
Rules
34×associate-*r/
19×flip3-- flip--
16×add-sqr-sqrt
12×frac-add
11×sub-neg
10×pow1 add-exp-log distribute-rgt-in add-cube-cbrt *-un-lft-identity distribute-lft-in add-cbrt-cube
9×associate-*r* associate-*l* add-log-exp
8×frac-sub
6×associate-+l+
4×associate-+r+ associate--l+
3×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
2×sum-log
1×+-commutative associate-+l- flip3-+ diff-log flip-+
Counts
4 → 107
Calls
4 calls:
28.0ms
(+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y))))
9.0ms
(* x (- (* y z) (* t a)))
9.0ms
(* j (- (* c t) (* i y)))
10.0ms
(* b (- (* c z) (* i a)))

series751.0ms

Counts
4 → 12
Calls
4 calls:
558.0ms
(+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y))))
63.0ms
(* x (- (* y z) (* t a)))
65.0ms
(* j (- (* c t) (* i y)))
65.0ms
(* b (- (* c z) (* i a)))

simplify45.0ms

Algorithm
egg-herbie
Counts
119 → 119
Iterations

Useful iterations: 1 (28.0ms)

IterNodesCost
09581832
150011770

prune531.0ms

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 4.2b

localize26.0ms

Local error

Found 4 expressions with local error:

2.8b
(* (* (cbrt b) (cbrt b)) (* (cbrt b) (- (* c z) (* i a))))
3.6b
(* (cbrt b) (- (* c z) (* i a)))
4.0b
(* x (- (* y z) (* t a)))
5.2b
(* j (- (* c t) (* i y)))

rewrite58.0ms

Algorithm
rewrite-expression-head
Rules
22×pow1 add-exp-log
19×add-sqr-sqrt
15×add-cbrt-cube
14×distribute-rgt-in distribute-lft-in
13×associate-*l*
11×add-cube-cbrt *-un-lft-identity pow-prod-down prod-exp cbrt-unprod
10×sub-neg associate-*r/ associate-*r*
4×cbrt-prod flip3-- *-commutative flip-- add-log-exp unswap-sqr
Counts
4 → 108
Calls
4 calls:
25.0ms
(* (* (cbrt b) (cbrt b)) (* (cbrt b) (- (* c z) (* i a))))
11.0ms
(* (cbrt b) (- (* c z) (* i a)))
9.0ms
(* x (- (* y z) (* t a)))
10.0ms
(* j (- (* c t) (* i y)))

series494.0ms

Counts
4 → 12
Calls
4 calls:
98.0ms
(* (* (cbrt b) (cbrt b)) (* (cbrt b) (- (* c z) (* i a))))
263.0ms
(* (cbrt b) (- (* c z) (* i a)))
65.0ms
(* x (- (* y z) (* t a)))
68.0ms
(* j (- (* c t) (* i y)))

simplify77.0ms

Algorithm
egg-herbie
Counts
120 → 120
Iterations

Useful iterations: 2 (68.0ms)

IterNodesCost
0576966
12604762
25001699

prune479.0ms

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 2.7b

localize21.0ms

Local error

Found 4 expressions with local error:

4.0b
(* x (- (* y z) (* t a)))
5.2b
(* (- b) (* i a))
5.2b
(* j (- (* c t) (* i y)))
6.8b
(* z (* b c))

rewrite38.0ms

Algorithm
rewrite-expression-head
Rules
19×associate-*l*
18×pow1 add-exp-log add-cbrt-cube
16×add-sqr-sqrt
12×add-cube-cbrt *-un-lft-identity
8×associate-*r* pow-prod-down prod-exp cbrt-unprod
4×distribute-rgt-in sub-neg distribute-lft-in associate-*r/ *-commutative add-log-exp
3×distribute-lft-neg-in distribute-rgt-neg-in
2×flip3-- flip-- unswap-sqr
1×distribute-lft-neg-out neg-mul-1
Counts
4 → 92
Calls
4 calls:
12.0ms
(* x (- (* y z) (* t a)))
8.0ms
(* (- b) (* i a))
9.0ms
(* j (- (* c t) (* i y)))
6.0ms
(* z (* b c))

series199.0ms

Counts
4 → 12
Calls
4 calls:
86.0ms
(* x (- (* y z) (* t a)))
23.0ms
(* (- b) (* i a))
66.0ms
(* j (- (* c t) (* i y)))
25.0ms
(* z (* b c))

simplify61.0ms

Algorithm
egg-herbie
Counts
104 → 104
Iterations

Useful iterations: 1 (15.0ms)

IterNodesCost
0486497
12039427
25001427

prune417.0ms

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 2.5b

localize26.0ms

Local error

Found 4 expressions with local error:

4.0b
(* x (- (* y z) (* t a)))
4.1b
(* (* z b) c)
5.2b
(* (- b) (* i a))
5.2b
(* j (- (* c t) (* i y)))

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
18×pow1 add-exp-log add-cbrt-cube
17×associate-*l*
16×add-sqr-sqrt
12×add-cube-cbrt *-un-lft-identity
10×associate-*r*
8×pow-prod-down prod-exp cbrt-unprod
4×distribute-rgt-in sub-neg distribute-lft-in associate-*r/ *-commutative add-log-exp
3×distribute-lft-neg-in distribute-rgt-neg-in
2×flip3-- flip-- unswap-sqr
1×distribute-lft-neg-out neg-mul-1
Counts
4 → 92
Calls
4 calls:
9.0ms
(* x (- (* y z) (* t a)))
6.0ms
(* (* z b) c)
8.0ms
(* (- b) (* i a))
9.0ms
(* j (- (* c t) (* i y)))

series185.0ms

Counts
4 → 12
Calls
4 calls:
68.0ms
(* x (- (* y z) (* t a)))
25.0ms
(* (* z b) c)
23.0ms
(* (- b) (* i a))
69.0ms
(* j (- (* c t) (* i y)))

simplify64.0ms

Algorithm
egg-herbie
Counts
104 → 104
Iterations

Useful iterations: 1 (14.0ms)

IterNodesCost
0495498
12197428
25002428

prune367.0ms

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 2.5b

regimes982.0ms

Accuracy

-22.7% (11.4b remaining)

Error of 14.8b against oracle of 3.3b and baseline of 12.6b

bsearch558.0ms

Steps
ItersRangePoint
7
1.082084726917846e+287
2.0926267957080938e+288
4.831065724235843e+287
10
5.284473141880117e+126
7.144373856543786e+141
6.994862030262357e+141
8
5.7079766751952815e-189
5.798037149204186e-185
8.16708374120486e-187
6
-3.096553581340941e-113
-3.368657565953974e-114
-3.032505262178352e-113
9
-2.0075964886943166e-39
-2.0349470349795244e-44
-2.198022698869332e-44

simplify4.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0107105
1120105
2125105
3125105

end0.0ms

sample2.1s

Algorithm
intervals
Results
1.2s19104×body80valid