Details

Time bar (total: 2.5s)

analyze58.0ms (2.3%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
25%74.9%0.1%4
43.7%56.2%0.1%5
65.6%34.3%0.1%6
76.5%23.4%0.1%7
82%18%0.1%8
87.8%12.1%0.1%9
90.7%9.2%0.1%10
93.8%6.1%0.1%11
95.3%4.6%0.1%12
96.8%3.1%0.1%13
97.6%2.3%0.1%14
Compiler

Compiled 8 to 5 computations (37.5% saved)

sample18.0ms (0.7%)

Algorithm
1×intervals
Results
6.0ms256×body128valid
Compiler

Compiled 17 to 11 computations (35.3% saved)

simplify7.0ms (0.3%)

Algorithm
1×egg-herbie
Rules
1×+-commutative_binary64
Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
057
167
267

prune1.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
0.0b
Counts
2 → 1
Alt Table
StatusErrorProgram
▶0.0b
(/.f64 x (+.f64 x y))
Compiler

Compiled 21 to 12 computations (42.9% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(/.f64 x (+.f64 x y))

series9.0ms (0.4%)

Counts
1 → 24
Calls

1 calls:

9.0ms
(/.f64 x (+.f64 x y))

rewrite9.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
18×*-un-lft-identity_binary64
12×times-frac_binary64
10×add-sqr-sqrt_binary64
10×add-cube-cbrt_binary64
4×associate-/r*_binary64
Counts
1 → 35
Calls

1 calls:

7.0ms
(/.f64 x (+.f64 x y))

simplify64.0ms (2.6%)

Algorithm
1×egg-herbie
Rules
653×fma-neg_binary64
598×fma-def_binary64
529×associate-/r*_binary64
408×associate-/l/_binary64
314×associate-/r/_binary64
Counts
59 → 48
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
084914
1184884
2478833
31565791
44962791
55351791

prune29.0ms (1.2%)

Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New44448
Fresh000
Picked011
Done000
Total44549
Error
0b
Counts
49 → 5
Alt Table
StatusErrorProgram
1.3b
(*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (/.f64 (cbrt.f64 x) (+.f64 x y)))
▶0.6b
(*.f64 (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 (+.f64 x y)) (cbrt.f64 (+.f64 x y)))) (/.f64 (cbrt.f64 x) (cbrt.f64 (+.f64 x y))))
12.2b
(cbrt.f64 (*.f64 (*.f64 (/.f64 x (+.f64 x y)) (/.f64 x (+.f64 x y))) (/.f64 x (+.f64 x y))))
32.4b
(fma.f64 (/.f64 y x) (+.f64 (/.f64 y x) -1) 1)
✓0.0b
(/.f64 x (+.f64 x y))
Compiler

Compiled 733 to 266 computations (63.7% saved)

localize10.0ms (0.4%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.5b
(*.f64 (cbrt.f64 x) (cbrt.f64 x))
✓0.5b
(*.f64 (cbrt.f64 (+.f64 x y)) (cbrt.f64 (+.f64 x y)))
✓0.6b
(cbrt.f64 (+.f64 x y))
✓0.6b
(cbrt.f64 x)

series135.0ms (5.4%)

Counts
4 → 72
Calls

4 calls:

43.0ms
(*.f64 (cbrt.f64 x) (cbrt.f64 x))
41.0ms
(cbrt.f64 x)
30.0ms
(*.f64 (cbrt.f64 (+.f64 x y)) (cbrt.f64 (+.f64 x y)))
20.0ms
(cbrt.f64 (+.f64 x y))

rewrite22.0ms (0.9%)

Algorithm
1×rewrite-expression-head
Rules
47×cbrt-prod_binary64
38×*-un-lft-identity_binary64
38×add-sqr-sqrt_binary64
22×add-cube-cbrt_binary64
18×pow1_binary64
Counts
4 → 126
Calls

4 calls:

8.0ms
(*.f64 (cbrt.f64 (+.f64 x y)) (cbrt.f64 (+.f64 x y)))
5.0ms
(*.f64 (cbrt.f64 x) (cbrt.f64 x))
2.0ms
(cbrt.f64 (+.f64 x y))
1.0ms
(cbrt.f64 x)

simplify148.0ms (6%)

Algorithm
1×egg-herbie
Rules
698×fma-def_binary64
464×unswap-sqr_binary64
306×fma-neg_binary64
292×cancel-sign-sub-inv_binary64
233×associate-*r*_binary64
Counts
198 → 204
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
02453549
15973359
220463012
341712873
447802873
549582873

prune191.0ms (7.7%)

Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New3320332
Fresh033
Picked011
Done011
Total3325337
Error
0b
Counts
337 → 5
Alt Table
StatusErrorProgram
▶1.3b
(*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (/.f64 (cbrt.f64 x) (+.f64 x y)))
✓0.6b
(*.f64 (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 (+.f64 x y)) (cbrt.f64 (+.f64 x y)))) (/.f64 (cbrt.f64 x) (cbrt.f64 (+.f64 x y))))
12.2b
(cbrt.f64 (*.f64 (*.f64 (/.f64 x (+.f64 x y)) (/.f64 x (+.f64 x y))) (/.f64 x (+.f64 x y))))
32.4b
(fma.f64 (/.f64 y x) (+.f64 (/.f64 y x) -1) 1)
✓0.0b
(/.f64 x (+.f64 x y))
Compiler

Compiled 11277 to 3319 computations (70.6% saved)

localize10.0ms (0.4%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.2b
(*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (/.f64 (cbrt.f64 x) (+.f64 x y)))
✓0.3b
(/.f64 (cbrt.f64 x) (+.f64 x y))
0.5b
(*.f64 (cbrt.f64 x) (cbrt.f64 x))
0.6b
(cbrt.f64 x)

series44.0ms (1.8%)

Counts
2 → 48
Calls

2 calls:

28.0ms
(/.f64 (cbrt.f64 x) (+.f64 x y))
16.0ms
(*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (/.f64 (cbrt.f64 x) (+.f64 x y)))

rewrite24.0ms (1%)

Algorithm
1×rewrite-expression-head
Rules
60×*-un-lft-identity_binary64
50×times-frac_binary64
39×add-sqr-sqrt_binary64
34×add-cube-cbrt_binary64
30×associate-*r*_binary64
Counts
2 → 105
Calls

2 calls:

12.0ms
(*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (/.f64 (cbrt.f64 x) (+.f64 x y)))
4.0ms
(/.f64 (cbrt.f64 x) (+.f64 x y))

simplify135.0ms (5.4%)

Algorithm
1×egg-herbie
Rules
926×times-frac_binary64
410×fma-def_binary64
407×fma-neg_binary64
305×cancel-sign-sub-inv_binary64
223×associate-*l*_binary64
Counts
153 → 193
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
02103097
15542748
220612680
345202671
449942671
549322671

prune125.0ms (5%)

Pruning

5 alts after pruning (2 fresh and 3 done)

PrunedKeptTotal
New3031304
Fresh112
Picked011
Done022
Total3045309
Error
0b
Counts
309 → 5
Alt Table
StatusErrorProgram
▶12.2b
(cbrt.f64 (pow.f64 (/.f64 x (+.f64 y x)) 3))
✓1.3b
(*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (/.f64 (cbrt.f64 x) (+.f64 x y)))
✓0.6b
(*.f64 (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 (+.f64 x y)) (cbrt.f64 (+.f64 x y)))) (/.f64 (cbrt.f64 x) (cbrt.f64 (+.f64 x y))))
32.4b
(fma.f64 (/.f64 y x) (+.f64 (/.f64 y x) -1) 1)
✓0.0b
(/.f64 x (+.f64 x y))
Compiler

Compiled 5919 to 1613 computations (72.7% saved)

localize6.0ms (0.2%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(/.f64 x (+.f64 y x))
✓0.1b
(pow.f64 (/.f64 x (+.f64 y x)) 3)
✓12.2b
(cbrt.f64 (pow.f64 (/.f64 x (+.f64 y x)) 3))

series121.0ms (4.8%)

Counts
3 → 72
Calls

3 calls:

97.0ms
(pow.f64 (/.f64 x (+.f64 y x)) 3)
14.0ms
(cbrt.f64 (pow.f64 (/.f64 x (+.f64 y x)) 3))
9.0ms
(/.f64 x (+.f64 y x))

rewrite28.0ms (1.1%)

Algorithm
1×rewrite-expression-head
Rules
78×*-un-lft-identity_binary64
60×times-frac_binary64
46×add-sqr-sqrt_binary64
46×add-cube-cbrt_binary64
42×cbrt-prod_binary64
Counts
3 → 147
Calls

3 calls:

9.0ms
(cbrt.f64 (pow.f64 (/.f64 x (+.f64 y x)) 3))
5.0ms
(pow.f64 (/.f64 x (+.f64 y x)) 3)
4.0ms
(/.f64 x (+.f64 y x))

simplify126.0ms (5.1%)

Algorithm
1×egg-herbie
Rules
393×fma-neg_binary64
381×unswap-sqr_binary64
318×associate-/l/_binary64
313×associate-/r/_binary64
313×fma-def_binary64
Counts
219 → 183
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02123874
15523661
217213457
346533457
451413457

prune123.0ms (4.9%)

Pruning

5 alts after pruning (1 fresh and 4 done)

PrunedKeptTotal
New1821183
Fresh101
Picked011
Done033
Total1835188
Error
0b
Counts
188 → 5
Alt Table
StatusErrorProgram
✓12.2b
(cbrt.f64 (pow.f64 (/.f64 x (+.f64 y x)) 3))
✓1.3b
(*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (/.f64 (cbrt.f64 x) (+.f64 x y)))
✓0.6b
(*.f64 (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 (+.f64 x y)) (cbrt.f64 (+.f64 x y)))) (/.f64 (cbrt.f64 x) (cbrt.f64 (+.f64 x y))))
17.7b
(cbrt.f64 (*.f64 (pow.f64 (sqrt.f64 (/.f64 x (+.f64 y x))) 3) (pow.f64 (sqrt.f64 (/.f64 x (+.f64 y x))) 3)))
✓0.0b
(/.f64 x (+.f64 x y))
Compiler

Compiled 2921 to 1306 computations (55.3% saved)

regimes142.0ms (5.7%)

Accuracy

Total 0.0b remaining (54.2%)

Threshold costs 0.0b (54.2%)

Counts
53 → 1
Compiler

Compiled 2663 to 1477 computations (44.5% saved)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
1×+-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
057
167
267

end0.0ms (0%)

Compiler

Compiled 7 to 4 computations (42.9% saved)

sample901.0ms (36.2%)

Algorithm
1×intervals
Results
370.0ms8000×body128valid
Compiler

Compiled 93 to 50 computations (46.2% saved)

Profiling

Loading profile data...