Details

Time bar (total: 3.7s)

sample35.0ms

Algorithm
intervals
Results
11.0ms93×body1280valid
6.0ms60×body640valid
5.0ms17×body2560valid
2.0ms22×body320valid
2.0ms54×body80valid
0.0ms10×body160valid

simplify28.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0185
1435
2915
31945
43215
55795
610885
713055
813055

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 48.6b

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ 1.0 (+ (* x y) z))
9.4b
(- (fma x y z) (+ 1.0 (+ (* x y) z)))

rewrite30.0ms

Algorithm
rewrite-expression-head
Rules
16×add-log-exp
9×*-un-lft-identity
6×sum-log
4×add-sqr-sqrt
3×diff-log
2×pow1 add-exp-log add-cube-cbrt add-cbrt-cube distribute-lft-out distribute-lft-out--
1×+-commutative sub-neg associate-+r+ flip3-- flip3-+ flip-- flip-+ associate--r+ difference-of-squares
Counts
2 → 32
Calls
2 calls:
7.0ms
(+ 1.0 (+ (* x y) z))
22.0ms
(- (fma x y z) (+ 1.0 (+ (* x y) z)))

series64.0ms

Counts
2 → 6
Calls
2 calls:
25.0ms
(+ 1.0 (+ (* x y) z))
39.0ms
(- (fma x y z) (+ 1.0 (+ (* x y) z)))

simplify62.0ms

Algorithm
egg-herbie
Counts
38 → 38
Iterations

Useful iterations: 1 (5.0ms)

IterNodesCost
0169241
1611230
22945230
35002230

prune96.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 48.0b

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ 1.0 (+ (* x y) z))
9.4b
(- (fma x y z) (+ 1.0 (+ (* x y) z)))
9.4b
(- (fma x y z) (+ 1.0 (+ (* x y) z)))
9.4b
(- (fma x y z) (+ 1.0 (+ (* x y) z)))

rewrite77.0ms

Algorithm
rewrite-expression-head
Rules
36×add-log-exp
21×*-un-lft-identity
12×sum-log
10×add-sqr-sqrt
9×diff-log
6×distribute-lft-out--
4×pow1 add-exp-log add-cube-cbrt add-cbrt-cube distribute-lft-out
3×sub-neg flip3-- flip-- associate--r+ difference-of-squares
1×+-commutative associate-+r+ flip3-+ flip-+
Counts
4 → 68
Calls
4 calls:
8.0ms
(+ 1.0 (+ (* x y) z))
22.0ms
(- (fma x y z) (+ 1.0 (+ (* x y) z)))
24.0ms
(- (fma x y z) (+ 1.0 (+ (* x y) z)))
22.0ms
(- (fma x y z) (+ 1.0 (+ (* x y) z)))

series136.0ms

Counts
4 → 12
Calls
4 calls:
25.0ms
(+ 1.0 (+ (* x y) z))
35.0ms
(- (fma x y z) (+ 1.0 (+ (* x y) z)))
39.0ms
(- (fma x y z) (+ 1.0 (+ (* x y) z)))
36.0ms
(- (fma x y z) (+ 1.0 (+ (* x y) z)))

simplify69.0ms

Algorithm
egg-herbie
Counts
80 → 80
Iterations

Useful iterations: 1 (5.0ms)

IterNodesCost
0169567
1611534
22945534
35002534

prune226.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 48.0b

localize12.0ms

Local error

Found 4 expressions with local error:

6.4b
(cbrt (+ 1.0 (+ (* x y) z)))
6.4b
(cbrt (+ 1.0 (+ (* x y) z)))
6.4b
(cbrt (+ 1.0 (+ (* x y) z)))
31.3b
(- (fma x y z) (* (* (cbrt (+ 1.0 (+ (* x y) z))) (cbrt (+ 1.0 (+ (* x y) z)))) (cbrt (+ 1.0 (+ (* x y) z)))))

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
13×*-un-lft-identity
12×cbrt-prod
7×add-sqr-sqrt add-cube-cbrt
6×cbrt-div add-log-exp
4×pow1 add-exp-log add-cbrt-cube
3×flip3-+ pow1/3 flip-+ distribute-lft-out
1×sub-neg flip3-- diff-log flip--
Counts
4 → 54
Calls
4 calls:
7.0ms
(cbrt (+ 1.0 (+ (* x y) z)))
7.0ms
(cbrt (+ 1.0 (+ (* x y) z)))
7.0ms
(cbrt (+ 1.0 (+ (* x y) z)))
2.0ms
(- (fma x y z) (* (* (cbrt (+ 1.0 (+ (* x y) z))) (cbrt (+ 1.0 (+ (* x y) z)))) (cbrt (+ 1.0 (+ (* x y) z)))))

series538.0ms

Counts
4 → 12
Calls
4 calls:
165.0ms
(cbrt (+ 1.0 (+ (* x y) z)))
168.0ms
(cbrt (+ 1.0 (+ (* x y) z)))
167.0ms
(cbrt (+ 1.0 (+ (* x y) z)))
37.0ms
(- (fma x y z) (* (* (cbrt (+ 1.0 (+ (* x y) z))) (cbrt (+ 1.0 (+ (* x y) z)))) (cbrt (+ 1.0 (+ (* x y) z)))))

simplify69.0ms

Algorithm
egg-herbie
Counts
66 → 66
Iterations

Useful iterations: 2 (18.0ms)

IterNodesCost
0242817
1684705
22695629
35001629

prune297.0ms

Pruning

22 alts after pruning (20 fresh and 2 done)

Merged error: 47.8b

localize19.0ms

Local error

Found 4 expressions with local error:

6.4b
(cbrt (+ 1.0 (+ (* x y) z)))
31.3b
(- (fma x y z) (* (* (cbrt (+ 1.0 (+ (* x y) z))) (cbrt (+ 1.0 (+ (* x y) z)))) (cbrt (+ 1.0 (+ (* x y) z)))))
31.3b
(- (fma x y z) (* (* (cbrt (+ 1.0 (+ (* x y) z))) (cbrt (+ 1.0 (+ (* x y) z)))) (cbrt (+ 1.0 (+ (* x y) z)))))
31.3b
(- (fma x y z) (* (* (cbrt (+ 1.0 (+ (* x y) z))) (cbrt (+ 1.0 (+ (* x y) z)))) (cbrt (+ 1.0 (+ (* x y) z)))))

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
10×add-log-exp
7×*-un-lft-identity
5×add-sqr-sqrt add-cube-cbrt
4×pow1 add-exp-log cbrt-prod add-cbrt-cube
3×sub-neg flip3-- diff-log flip--
2×cbrt-div
1×flip3-+ pow1/3 flip-+ distribute-lft-out
Counts
4 → 50
Calls
4 calls:
7.0ms
(cbrt (+ 1.0 (+ (* x y) z)))
2.0ms
(- (fma x y z) (* (* (cbrt (+ 1.0 (+ (* x y) z))) (cbrt (+ 1.0 (+ (* x y) z)))) (cbrt (+ 1.0 (+ (* x y) z)))))
2.0ms
(- (fma x y z) (* (* (cbrt (+ 1.0 (+ (* x y) z))) (cbrt (+ 1.0 (+ (* x y) z)))) (cbrt (+ 1.0 (+ (* x y) z)))))
2.0ms
(- (fma x y z) (* (* (cbrt (+ 1.0 (+ (* x y) z))) (cbrt (+ 1.0 (+ (* x y) z)))) (cbrt (+ 1.0 (+ (* x y) z)))))

series283.0ms

Counts
4 → 12
Calls
4 calls:
163.0ms
(cbrt (+ 1.0 (+ (* x y) z)))
42.0ms
(- (fma x y z) (* (* (cbrt (+ 1.0 (+ (* x y) z))) (cbrt (+ 1.0 (+ (* x y) z)))) (cbrt (+ 1.0 (+ (* x y) z)))))
37.0ms
(- (fma x y z) (* (* (cbrt (+ 1.0 (+ (* x y) z))) (cbrt (+ 1.0 (+ (* x y) z)))) (cbrt (+ 1.0 (+ (* x y) z)))))
41.0ms
(- (fma x y z) (* (* (cbrt (+ 1.0 (+ (* x y) z))) (cbrt (+ 1.0 (+ (* x y) z)))) (cbrt (+ 1.0 (+ (* x y) z)))))

simplify74.0ms

Algorithm
egg-herbie
Counts
62 → 62
Iterations

Useful iterations: 2 (18.0ms)

IterNodesCost
02421163
1684923
22695714
35001714

prune236.0ms

Pruning

25 alts after pruning (22 fresh and 3 done)

Merged error: 47.8b

regimes452.0ms

Accuracy

0% (0.7b remaining)

Error of 45.3b against oracle of 44.6b and baseline of 45.3b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01620
11620

end0.0ms

sample862.0ms

Algorithm
intervals
Results
320.0ms2667×body1280valid
149.0ms1521×body640valid
93.0ms639×body2560valid
58.0ms2101×body80valid
54.0ms727×body320valid
17.0ms345×body160valid