Details

Time bar (total: 2.7s)

analyze432.0ms (16.1%)

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
0%99.9%0.1%4
0%99.9%0.1%5
0%99.9%0.1%6
25%74.9%0.1%7
37.4%62.4%0.1%8
39%60.8%0.1%9
51.5%48.4%0.1%10
58.5%39.8%1.7%11
59.3%37.6%3.1%12
65.7%28.5%5.8%13
69.1%23.5%7.4%14
Compiler

Compiled 11 to 7 computations (36.4% saved)

sample1.2s (46.1%)

Results
845.0ms8256×body128valid
145.0ms1488×body128invalid
Compiler

Compiled 32 to 20 computations (37.5% saved)

simplify31.0ms (1.2%)

Algorithm
1×egg-herbie
Rules
377×fma-neg_binary64
309×fma-def_binary64
112×cancel-sign-sub-inv_binary64
77×distribute-rgt-in_binary64
56×unsub-neg_binary64
Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0710
11310
22410
34210
48010
513810
630210
742010
858110
964710
1071810
1174010
1274410
1369910

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 (-.f64 y x) z))
Compiler

Compiled 30 to 18 computations (40% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

series23.0ms (0.8%)

Counts
1 → 28
Calls

1 calls:

22.0ms
(/.f64 (-.f64 y x) z)

rewrite7.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
19×*-un-lft-identity_binary64
19×add-sqr-sqrt_binary64
15×times-frac_binary64
11×add-cube-cbrt_binary64
5×associate-/l*_binary64
Counts
1 → 40
Calls

1 calls:

5.0ms
(/.f64 (-.f64 y x) z)

simplify60.0ms (2.3%)

Algorithm
1×egg-herbie
Rules
643×unsub-neg_binary64
507×times-frac_binary64
442×fma-neg_binary64
375×associate-/l*_binary64
315×distribute-rgt-in_binary64
Counts
68 → 47
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
081759
1180727
2391727
3928727
43644727
55109727

prune29.0ms (1.1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New45247
Fresh000
Picked011
Done000
Total45348
Error
0b
Counts
48 → 3
Alt Table
StatusErrorProgram
▶0.1b
(+.f64 x (/.f64 1 (/.f64 z (-.f64 y x))))
✓0.0b
(+.f64 x (/.f64 (-.f64 y x) z))
30.2b
(+.f64 x (*.f64 (/.f64 1 (sqrt.f64 z)) (/.f64 (-.f64 y x) (sqrt.f64 z))))
Compiler

Compiled 714 to 241 computations (66.2% saved)

localize6.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(/.f64 z (-.f64 y x))
✓0.6b
(/.f64 1 (/.f64 z (-.f64 y x)))

series31.0ms (1.1%)

Counts
2 → 60
Calls

2 calls:

19.0ms
(/.f64 z (-.f64 y x))
11.0ms
(/.f64 1 (/.f64 z (-.f64 y x)))

rewrite28.0ms (1%)

Algorithm
1×rewrite-expression-head
Rules
138×times-frac_binary64
102×*-un-lft-identity_binary64
102×add-sqr-sqrt_binary64
70×add-cube-cbrt_binary64
26×associate-/r*_binary64
Counts
2 → 149
Calls

2 calls:

8.0ms
(/.f64 z (-.f64 y x))
7.0ms
(/.f64 1 (/.f64 z (-.f64 y x)))

simplify161.0ms (6%)

Algorithm
1×egg-herbie
Rules
697×fma-neg_binary64
342×times-frac_binary64
294×associate-/l*_binary64
238×fma-def_binary64
207×associate-/r*_binary64
Counts
209 → 196
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01743497
13643214
210723032
334963032
445513032
549943032
649463032

prune91.0ms (3.4%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New1960196
Fresh011
Picked011
Done011
Total1963199
Error
0b
Counts
199 → 3
Alt Table
StatusErrorProgram
✓0.1b
(+.f64 x (/.f64 1 (/.f64 z (-.f64 y x))))
✓0.0b
(+.f64 x (/.f64 (-.f64 y x) z))
▶30.2b
(+.f64 x (*.f64 (/.f64 1 (sqrt.f64 z)) (/.f64 (-.f64 y x) (sqrt.f64 z))))
Compiler

Compiled 3640 to 1357 computations (62.7% saved)

localize8.0ms (0.3%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.2b
(/.f64 (-.f64 y x) (sqrt.f64 z))
✓0.2b
(/.f64 1 (sqrt.f64 z))
✓0.2b
(*.f64 (/.f64 1 (sqrt.f64 z)) (/.f64 (-.f64 y x) (sqrt.f64 z)))

series105.0ms (3.9%)

Counts
3 → 56
Calls

3 calls:

70.0ms
(/.f64 (-.f64 y x) (sqrt.f64 z))
22.0ms
(*.f64 (/.f64 1 (sqrt.f64 z)) (/.f64 (-.f64 y x) (sqrt.f64 z)))
13.0ms
(/.f64 1 (sqrt.f64 z))

rewrite54.0ms (2%)

Algorithm
1×rewrite-expression-head
Rules
139×add-sqr-sqrt_binary64
118×times-frac_binary64
99×*-un-lft-identity_binary64
67×add-cube-cbrt_binary64
65×sqrt-prod_binary64
Counts
3 → 202
Calls

3 calls:

22.0ms
(*.f64 (/.f64 1 (sqrt.f64 z)) (/.f64 (-.f64 y x) (sqrt.f64 z)))
6.0ms
(/.f64 (-.f64 y x) (sqrt.f64 z))
3.0ms
(/.f64 1 (sqrt.f64 z))

simplify174.0ms (6.5%)

Algorithm
1×egg-herbie
Rules
481×fma-def_binary64
452×associate-/l*_binary64
365×div-sub_binary64
316×associate-*l/_binary64
313×times-frac_binary64
Counts
258 → 245
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
01774386
14283691
212573689
332493413
445583381
550733381

prune102.0ms (3.8%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New2450245
Fresh000
Picked011
Done022
Total2453248
Error
0b
Counts
248 → 3
Alt Table
StatusErrorProgram
✓0.1b
(+.f64 x (/.f64 1 (/.f64 z (-.f64 y x))))
✓0.0b
(+.f64 x (/.f64 (-.f64 y x) z))
✓30.2b
(+.f64 x (*.f64 (/.f64 1 (sqrt.f64 z)) (/.f64 (-.f64 y x) (sqrt.f64 z))))
Compiler

Compiled 5057 to 1758 computations (65.2% saved)

regimes43.0ms (1.6%)

Accuracy

Total 0.0b remaining (37.8%)

Threshold costs 0.0b (37.8%)

Counts
9 → 1
Compiler

Compiled 524 to 326 computations (37.8% saved)

simplify3.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0710
11010
21510
31710
41810
51810

end48.0ms (1.8%)

Compiler

Compiled 58 to 36 computations (37.9% saved)

Profiling

Loading profile data...