Details

Time bar (total: 3.8s)

sample31.0ms

Algorithm
intervals
Results
9.0ms78×body1280valid
5.0ms53×body640valid
3.0ms22×body2560valid
2.0ms68×body80valid
2.0ms24×body320valid
1.0ms11×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

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 45.5b

localize8.0ms

Local error

Found 2 expressions with local error:

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

rewrite66.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:
19.0ms
(+ 1.0 (+ (* x y) z))
46.0ms
(- (fma x y z) (+ 1.0 (+ (* x y) z)))

series55.0ms

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

simplify61.0ms

Algorithm
egg-herbie
Counts
38 → 38
Iterations

Useful iterations: 1 (5.0ms)

IterNodesCost
0169241
1611230
22945230
35002230

prune91.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 44.9b

localize11.0ms

Local error

Found 4 expressions with local error:

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

rewrite163.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:
17.0ms
(+ 1.0 (+ (* x y) z))
47.0ms
(- (fma x y z) (+ 1.0 (+ (* x y) z)))
48.0ms
(- (fma x y z) (+ 1.0 (+ (* x y) z)))
49.0ms
(- (fma x y z) (+ 1.0 (+ (* x y) z)))

series123.0ms

Counts
4 → 12
Calls
4 calls:
22.0ms
(+ 1.0 (+ (* x y) z))
32.0ms
(- (fma x y z) (+ 1.0 (+ (* x y) z)))
36.0ms
(- (fma x y z) (+ 1.0 (+ (* x y) z)))
33.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

prune221.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 44.9b

localize15.0ms

Local error

Found 4 expressions with local error:

8.0b
(cbrt (+ 1.0 (+ (* x y) z)))
8.0b
(cbrt (+ 1.0 (+ (* x y) z)))
8.0b
(cbrt (+ 1.0 (+ (* x y) z)))
33.4b
(- (fma x y z) (* (* (cbrt (+ 1.0 (+ (* x y) z))) (cbrt (+ 1.0 (+ (* x y) z)))) (cbrt (+ 1.0 (+ (* x y) z)))))

rewrite46.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:
13.0ms
(cbrt (+ 1.0 (+ (* x y) z)))
13.0ms
(cbrt (+ 1.0 (+ (* x y) z)))
14.0ms
(cbrt (+ 1.0 (+ (* x y) z)))
5.0ms
(- (fma x y z) (* (* (cbrt (+ 1.0 (+ (* x y) z))) (cbrt (+ 1.0 (+ (* x y) z)))) (cbrt (+ 1.0 (+ (* x y) z)))))

series494.0ms

Counts
4 → 12
Calls
4 calls:
154.0ms
(cbrt (+ 1.0 (+ (* x y) z)))
150.0ms
(cbrt (+ 1.0 (+ (* x y) z)))
153.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)))))

simplify68.0ms

Algorithm
egg-herbie
Counts
66 → 66
Iterations

Useful iterations: 2 (18.0ms)

IterNodesCost
0242817
1684705
22695629
35001629

prune284.0ms

Pruning

21 alts after pruning (19 fresh and 2 done)

Merged error: 44.8b

localize19.0ms

Local error

Found 4 expressions with local error:

8.0b
(cbrt (+ 1.0 (+ (* x y) z)))
33.4b
(- (fma x y z) (* (* (cbrt (+ 1.0 (+ (* x y) z))) (cbrt (+ 1.0 (+ (* x y) z)))) (cbrt (+ 1.0 (+ (* x y) z)))))
33.4b
(- (fma x y z) (* (* (cbrt (+ 1.0 (+ (* x y) z))) (cbrt (+ 1.0 (+ (* x y) z)))) (cbrt (+ 1.0 (+ (* x y) z)))))
33.4b
(- (fma x y z) (* (* (cbrt (+ 1.0 (+ (* x y) z))) (cbrt (+ 1.0 (+ (* x y) z)))) (cbrt (+ 1.0 (+ (* x y) z)))))

rewrite29.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:
13.0ms
(cbrt (+ 1.0 (+ (* x y) z)))
5.0ms
(- (fma x y z) (* (* (cbrt (+ 1.0 (+ (* x y) z))) (cbrt (+ 1.0 (+ (* x y) z)))) (cbrt (+ 1.0 (+ (* x y) z)))))
5.0ms
(- (fma x y z) (* (* (cbrt (+ 1.0 (+ (* x y) z))) (cbrt (+ 1.0 (+ (* x y) z)))) (cbrt (+ 1.0 (+ (* x y) z)))))
5.0ms
(- (fma x y z) (* (* (cbrt (+ 1.0 (+ (* x y) z))) (cbrt (+ 1.0 (+ (* x y) z)))) (cbrt (+ 1.0 (+ (* x y) z)))))

series253.0ms

Counts
4 → 12
Calls
4 calls:
148.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)))))
32.0ms
(- (fma x y z) (* (* (cbrt (+ 1.0 (+ (* x y) z))) (cbrt (+ 1.0 (+ (* x y) z)))) (cbrt (+ 1.0 (+ (* x y) z)))))
36.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
62 → 62
Iterations

Useful iterations: 2 (18.0ms)

IterNodesCost
02421163
1684923
22695711
35001711

prune237.0ms

Pruning

23 alts after pruning (20 fresh and 3 done)

Merged error: 44.8b

regimes419.0ms

Accuracy

0% (0.7b remaining)

Error of 45.4b against oracle of 44.7b and baseline of 45.4b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01620
11620

end0.0ms

sample909.0ms

Algorithm
intervals
Results
313.0ms2602×body1280valid
160.0ms1646×body640valid
86.0ms603×body2560valid
56.0ms2081×body80valid
55.0ms745×body320valid
16.0ms323×body160valid