Details

Time bar (total: 6.0s)

analyze1.3s (22%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.8%0.2%0
0%99.8%0.2%1
0%99.8%0.2%2
0%99.8%0.2%3
0%99.8%0.2%4
0%99.8%0.2%5
0%99.8%0.2%6
0%99.8%0.2%7
0%99.8%0.2%8
0%99.8%0.2%9
0%99.8%0.2%10
10.1%89.6%0.2%11
15.2%84.6%0.2%12
20.5%79.3%0.2%13
21.6%77.1%1.3%14
Compiler

Compiled 15 to 10 computations (33.3% saved)

sample1.3s (22%)

Results
964.0ms8256×body128valid
301.0ms2669×body128invalid
Compiler

Compiled 44 to 29 computations (34.1% saved)

simplify46.0ms (0.8%)

Algorithm
1×egg-herbie
Rules
783×fma-neg_binary64
721×fma-def_binary64
245×cancel-sign-sub-inv_binary64
187×distribute-rgt-in_binary64
138×distribute-lft-in_binary64
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
01013
11713
23913
310713
432611
581411
6183411
7322511
8392011
9397611
10400611
11401111
12401111
Stop Event
1×saturated
Counts
1 → 2

prune3.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
0.1b
Counts
3 → 2
Alt Table
StatusErrorProgram
7.8b
(fma.f64 y (/.f64 (-.f64 t z) a) x)
▶4.7b
(-.f64 x (/.f64 (*.f64 y (-.f64 z t)) a))
Compiler

Compiled 76 to 46 computations (39.5% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(-.f64 x (/.f64 (*.f64 y (-.f64 z t)) a))
✓0.0b
(*.f64 y (-.f64 z t))
✓5.2b
(/.f64 (*.f64 y (-.f64 z t)) a)

series52.0ms (0.9%)

Counts
3 → 144
Calls

3 calls:

26.0ms
(-.f64 x (/.f64 (*.f64 y (-.f64 z t)) a))
19.0ms
(/.f64 (*.f64 y (-.f64 z t)) a)
6.0ms
(*.f64 y (-.f64 z t))

rewrite84.0ms (1.4%)

Algorithm
1×batch-egg-rewrite
Rules
946×prod-diff_binary64
214×egg-rr
120×add-sqr-sqrt_binary64
115×log1p-expm1-u_binary64
115×expm1-log1p-u_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01030
122630
2340830
Stop Event
1×node limit
Counts
3 → 214
Calls

3 calls:

78.0ms
(-.f64 x (/.f64 (*.f64 y (-.f64 z t)) a))
78.0ms
(*.f64 y (-.f64 z t))
78.0ms
(/.f64 (*.f64 y (-.f64 z t)) a)

simplify96.0ms (1.6%)

Algorithm
1×egg-herbie
Rules
784×fma-neg_binary64
364×fma-def_binary64
242×cancel-sign-sub-inv_binary64
119×distribute-rgt-in_binary64
112×associate-/l*_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0361390
1911390
22061388
35001298
411601298
523451298
630811298
732931298
833471298
933611298
1033651298
Stop Event
1×saturated
Counts
358 → 246

prune186.0ms (3.1%)

Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New2415246
Fresh101
Picked101
Done000
Total2435248
Error
0.0b
Counts
248 → 5
Alt Table
StatusErrorProgram
6.4b
(-.f64 x (*.f64 (/.f64 (-.f64 z t) (pow.f64 (cbrt.f64 a) 2)) (/.f64 y (cbrt.f64 a))))
31.3b
(/.f64 (-.f64 t z) (/.f64 a y))
7.9b
(-.f64 x (*.f64 y (/.f64 1 (/.f64 a (-.f64 z t)))))
4.7b
(-.f64 x (-.f64 (/.f64 (*.f64 y z) a) (/.f64 (*.f64 y t) a)))
▶1.1b
(-.f64 x (*.f64 (-.f64 z t) (/.f64 y a)))
Compiler

Compiled 7369 to 2186 computations (70.3% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(-.f64 x (*.f64 (-.f64 z t) (/.f64 y a)))
✓4.9b
(*.f64 (-.f64 z t) (/.f64 y a))

series47.0ms (0.8%)

Counts
2 → 108
Calls

2 calls:

28.0ms
(-.f64 x (*.f64 (-.f64 z t) (/.f64 y a)))
19.0ms
(*.f64 (-.f64 z t) (/.f64 y a))

rewrite64.0ms (1.1%)

Algorithm
1×batch-egg-rewrite
Rules
370×fma-def_binary64
222×expm1-udef_binary64
222×log1p-udef_binary64
192×log-pow_binary64
164×fma-neg_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01023
122923
2345523
Stop Event
1×node limit
Counts
2 → 136
Calls

2 calls:

61.0ms
(-.f64 x (*.f64 (-.f64 z t) (/.f64 y a)))
61.0ms
(*.f64 (-.f64 z t) (/.f64 y a))

simplify83.0ms (1.4%)

Algorithm
1×egg-herbie
Rules
784×fma-neg_binary64
361×fma-def_binary64
241×cancel-sign-sub-inv_binary64
119×distribute-rgt-in_binary64
113×associate-/l*_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0351150
1881150
22031148
35061058
411691058
523471058
630871058
732991058
833531058
933671058
1033711058
Stop Event
1×saturated
Counts
244 → 161

prune99.0ms (1.6%)

Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New1583161
Fresh224
Picked011
Done000
Total1606166
Error
0.0b
Counts
166 → 6
Alt Table
StatusErrorProgram
6.4b
(-.f64 x (*.f64 (/.f64 (-.f64 z t) (pow.f64 (cbrt.f64 a) 2)) (/.f64 y (cbrt.f64 a))))
▶1.1b
(-.f64 x (/.f64 (-.f64 z t) (/.f64 a y)))
7.9b
(-.f64 x (*.f64 y (/.f64 1 (/.f64 a (-.f64 z t)))))
30.9b
(fma.f64 (-.f64 (*.f64 x x) (pow.f64 (*.f64 (-.f64 z t) (/.f64 y a)) 2)) (/.f64 1 (fma.f64 (-.f64 z t) (/.f64 y a) x)) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 (-.f64 z t) (/.f64 y a)))) (cbrt.f64 (pow.f64 (*.f64 (-.f64 z t) (/.f64 y a)) 2)) (*.f64 (-.f64 z t) (/.f64 y a))))
✓1.1b
(-.f64 x (*.f64 (-.f64 z t) (/.f64 y a)))
4.7b
(-.f64 x (/.f64 1 (/.f64 a (*.f64 (-.f64 z t) y))))
Compiler

Compiled 3304 to 779 computations (76.4% saved)

localize8.0ms (0.1%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(-.f64 x (/.f64 (-.f64 z t) (/.f64 a y)))
✓5.4b
(/.f64 (-.f64 z t) (/.f64 a y))

series46.0ms (0.8%)

Counts
2 → 108
Calls

2 calls:

28.0ms
(-.f64 x (/.f64 (-.f64 z t) (/.f64 a y)))
18.0ms
(/.f64 (-.f64 z t) (/.f64 a y))

rewrite75.0ms (1.3%)

Algorithm
1×batch-egg-rewrite
Rules
403×fma-def_binary64
230×expm1-udef_binary64
230×log1p-udef_binary64
204×fma-neg_binary64
161×egg-rr
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01023
123523
2378523
Stop Event
1×node limit
Counts
2 → 161
Calls

2 calls:

71.0ms
(-.f64 x (/.f64 (-.f64 z t) (/.f64 a y)))
71.0ms
(/.f64 (-.f64 z t) (/.f64 a y))

simplify89.0ms (1.5%)

Algorithm
1×egg-herbie
Rules
784×fma-neg_binary64
361×fma-def_binary64
241×cancel-sign-sub-inv_binary64
119×distribute-rgt-in_binary64
113×associate-/l*_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0351150
1881150
22031148
35061058
411691058
523471058
630871058
732991058
833531058
933671058
1033711058
Stop Event
1×saturated
Counts
269 → 186

prune151.0ms (2.5%)

Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New1833186
Fresh224
Picked011
Done011
Total1857192
Error
0b
Counts
192 → 7
Alt Table
StatusErrorProgram
6.4b
(-.f64 x (*.f64 (/.f64 (-.f64 z t) (pow.f64 (cbrt.f64 a) 2)) (/.f64 y (cbrt.f64 a))))
✓1.1b
(-.f64 x (/.f64 (-.f64 z t) (/.f64 a y)))
30.8b
(fma.f64 (-.f64 (*.f64 x x) (pow.f64 (*.f64 (-.f64 z t) (/.f64 y a)) 2)) (/.f64 1 (fma.f64 (-.f64 z t) (/.f64 y a) x)) (fma.f64 (neg.f64 (/.f64 y a)) (-.f64 z t) (*.f64 (-.f64 z t) (/.f64 y a))))
✓1.1b
(-.f64 x (*.f64 (-.f64 z t) (/.f64 y a)))
▶3.7b
(-.f64 x (fma.f64 (/.f64 1 a) (/.f64 z (/.f64 1 y)) (neg.f64 (*.f64 t (/.f64 y a)))))
7.8b
(-.f64 x (*.f64 y (/.f64 (-.f64 z t) a)))
4.7b
(-.f64 x (/.f64 1 (/.f64 a (*.f64 (-.f64 z t) y))))
Compiler

Compiled 4106 to 863 computations (79% saved)

localize12.0ms (0.2%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.0b
(-.f64 x (fma.f64 (/.f64 1 a) (/.f64 z (/.f64 1 y)) (neg.f64 (*.f64 t (/.f64 y a)))))
✓0.2b
(/.f64 z (/.f64 1 y))
✓2.6b
(*.f64 t (/.f64 y a))
✓3.5b
(fma.f64 (/.f64 1 a) (/.f64 z (/.f64 1 y)) (neg.f64 (*.f64 t (/.f64 y a))))

series136.0ms (2.3%)

Counts
4 → 168
Calls

4 calls:

51.0ms
(fma.f64 (/.f64 1 a) (/.f64 z (/.f64 1 y)) (neg.f64 (*.f64 t (/.f64 y a))))
40.0ms
(/.f64 z (/.f64 1 y))
32.0ms
(-.f64 x (fma.f64 (/.f64 1 a) (/.f64 z (/.f64 1 y)) (neg.f64 (*.f64 t (/.f64 y a)))))
11.0ms
(*.f64 t (/.f64 y a))

rewrite241.0ms (4%)

Algorithm
1×batch-egg-rewrite
Rules
914×prod-diff_binary64
563×egg-rr
166×add-sqr-sqrt_binary64
155×log1p-expm1-u_binary64
155×expm1-log1p-u_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01561
132946
2460546
Stop Event
1×node limit
Counts
4 → 563
Calls

4 calls:

221.0ms
(-.f64 x (fma.f64 (/.f64 1 a) (/.f64 z (/.f64 1 y)) (neg.f64 (*.f64 t (/.f64 y a)))))
221.0ms
(/.f64 z (/.f64 1 y))
221.0ms
(*.f64 t (/.f64 y a))
221.0ms
(fma.f64 (/.f64 1 a) (/.f64 z (/.f64 1 y)) (neg.f64 (*.f64 t (/.f64 y a))))

simplify124.0ms (2.1%)

Algorithm
1×egg-herbie
Rules
745×fma-neg_binary64
386×fma-def_binary64
244×cancel-sign-sub-inv_binary64
113×associate-/l*_binary64
113×distribute-rgt-in_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0331498
1871498
22181496
35561406
412541406
523841406
630731406
732881406
833431406
933571406
1033611406
Stop Event
1×saturated
Counts
731 → 589

prune649.0ms (10.8%)

Pruning

7 alts after pruning (4 fresh and 3 done)

PrunedKeptTotal
New5890589
Fresh044
Picked011
Done022
Total5897596
Error
0b
Counts
596 → 7
Alt Table
StatusErrorProgram
6.4b
(-.f64 x (*.f64 (/.f64 (-.f64 z t) (pow.f64 (cbrt.f64 a) 2)) (/.f64 y (cbrt.f64 a))))
✓1.1b
(-.f64 x (/.f64 (-.f64 z t) (/.f64 a y)))
30.8b
(fma.f64 (-.f64 (*.f64 x x) (pow.f64 (*.f64 (-.f64 z t) (/.f64 y a)) 2)) (/.f64 1 (fma.f64 (-.f64 z t) (/.f64 y a) x)) (fma.f64 (neg.f64 (/.f64 y a)) (-.f64 z t) (*.f64 (-.f64 z t) (/.f64 y a))))
✓1.1b
(-.f64 x (*.f64 (-.f64 z t) (/.f64 y a)))
✓3.7b
(-.f64 x (fma.f64 (/.f64 1 a) (/.f64 z (/.f64 1 y)) (neg.f64 (*.f64 t (/.f64 y a)))))
7.8b
(-.f64 x (*.f64 y (/.f64 (-.f64 z t) a)))
4.7b
(-.f64 x (/.f64 1 (/.f64 a (*.f64 (-.f64 z t) y))))
Compiler

Compiled 22296 to 5895 computations (73.6% saved)

regimes955.0ms (16%)

Accuracy

Total 2.3b remaining (99.4%)

Threshold costs 0b (0%)

Counts
103 → 1
Compiler

Compiled 17872 to 10863 computations (39.2% saved)

simplify3.0ms (0%)

Algorithm
1×egg-herbie
Rules
3×+-commutative_binary64
3×*-commutative_binary64
2×sub-neg_binary64
2×neg-sub0_binary64
2×neg-mul-1_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01422
12320
22820
33120
43220
Stop Event
1×saturated

end95.0ms (1.6%)

Compiler

Compiled 182 to 108 computations (40.7% saved)

Profiling

Loading profile data...