Details

Time bar (total: 1.9s)

analyze393.0ms (20.9%)

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
6.2%93.6%0.1%6
15.6%84.3%0.1%7
23.4%76.5%0.1%8
33.5%63.2%3.3%9
43.3%49.5%7.2%10
48.2%43.9%7.9%11
54.5%34.2%11.3%12
60.6%25.6%13.8%13
63.1%22.8%14.1%14
Compiler

Compiled 13 to 9 computations (30.8% saved)

sample96.0ms (5.1%)

Algorithm
1×intervals
Results
9.0ms256×body128valid
1.0ms20×body128invalid
Compiler

Compiled 28 to 20 computations (28.6% saved)

simplify25.0ms (1.3%)

Algorithm
1×egg-herbie
Rules
354×fma-def_binary64
250×fma-neg_binary64
52×cancel-sign-sub-inv_binary64
45×distribute-rgt-in_binary64
43×associate--r+_binary64
Counts
1 → 2
Iterations

Useful iterations: 5 (0.0ms)

IterNodesCost
0911
11711
23011
34911
41079
51728
62558
74208
85528
96248
106548
116648
126218

prune8.0ms (0.4%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
0.0b
Counts
3 → 2
Alt Table
StatusErrorProgram
▶0.0b
(fma.f64 y (-.f64 x z) z)
0.0b
(+.f64 (*.f64 x y) (*.f64 z (-.f64 1 y)))
Compiler

Compiled 60 to 36 computations (40% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

series7.0ms (0.4%)

Counts
1 → 36
Calls

1 calls:

7.0ms
(fma.f64 y (-.f64 x z) z)

rewrite1.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
1×*-un-lft-identity_binary64
1×add-sqr-sqrt_binary64
1×add-cube-cbrt_binary64
1×add-cbrt-cube_binary64
1×add-exp-log_binary64
Counts
1 → 10
Calls

1 calls:

0.0ms
(fma.f64 y (-.f64 x z) z)

simplify60.0ms (3.2%)

Algorithm
1×egg-herbie
Rules
761×neg-sub0_binary64
711×neg-mul-1_binary64
620×distribute-neg-out_binary64
617×distribute-rgt-neg-out_binary64
417×unsub-neg_binary64
Counts
46 → 22
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
032472
166374
2142374
3355374
41792374
53571374
65347374

prune13.0ms (0.7%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New21122
Fresh011
Picked011
Done000
Total21324
Error
0b
Counts
24 → 3
Alt Table
StatusErrorProgram
✓0.0b
(fma.f64 y (-.f64 x z) z)
▶0.0b
(+.f64 (*.f64 x y) (*.f64 z (-.f64 1 y)))
1.3b
(*.f64 (*.f64 (cbrt.f64 (fma.f64 y (-.f64 x z) z)) (cbrt.f64 (fma.f64 y (-.f64 x z) z))) (cbrt.f64 (fma.f64 y (-.f64 x z) z)))
Compiler

Compiled 269 to 87 computations (67.7% saved)

localize5.0ms (0.3%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(*.f64 z (-.f64 1 y))
✓0.0b
(+.f64 (*.f64 x y) (*.f64 z (-.f64 1 y)))

series17.0ms (0.9%)

Counts
2 → 60
Calls

2 calls:

13.0ms
(+.f64 (*.f64 x y) (*.f64 z (-.f64 1 y)))
4.0ms
(*.f64 z (-.f64 1 y))

rewrite21.0ms (1.1%)

Algorithm
1×rewrite-expression-head
Rules
37×add-sqr-sqrt_binary64
36×prod-diff_binary64
35×*-un-lft-identity_binary64
32×add-cube-cbrt_binary64
26×distribute-lft-in_binary64
Counts
2 → 91
Calls

2 calls:

10.0ms
(*.f64 z (-.f64 1 y))
5.0ms
(+.f64 (*.f64 x y) (*.f64 z (-.f64 1 y)))

simplify91.0ms (4.8%)

Algorithm
1×egg-herbie
Rules
733×fma-neg_binary64
558×fma-def_binary64
354×cancel-sign-sub-inv_binary64
305×distribute-rgt-in_binary64
293×*-commutative_binary64
Counts
151 → 141
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01381578
12741462
29831400
328351344
443411344
548571344

prune76.0ms (4%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New1401141
Fresh101
Picked011
Done011
Total1413144
Error
0b
Counts
144 → 3
Alt Table
StatusErrorProgram
✓0.0b
(+.f64 (*.f64 x y) (*.f64 z (-.f64 1 y)))
▶31.3b
(+.f64 (*.f64 x y) (*.f64 (sqrt.f64 z) (*.f64 (sqrt.f64 z) (-.f64 1 y))))
✓0.0b
(fma.f64 y (-.f64 x z) z)
Compiler

Compiled 2743 to 1032 computations (62.4% saved)

localize7.0ms (0.4%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(+.f64 (*.f64 x y) (*.f64 (sqrt.f64 z) (*.f64 (sqrt.f64 z) (-.f64 1 y))))
✓0.1b
(*.f64 (sqrt.f64 z) (-.f64 1 y))
✓0.2b
(*.f64 (sqrt.f64 z) (*.f64 (sqrt.f64 z) (-.f64 1 y)))

series35.0ms (1.8%)

Counts
3 → 64
Calls

3 calls:

14.0ms
(+.f64 (*.f64 x y) (*.f64 (sqrt.f64 z) (*.f64 (sqrt.f64 z) (-.f64 1 y))))
13.0ms
(*.f64 (sqrt.f64 z) (-.f64 1 y))
8.0ms
(*.f64 (sqrt.f64 z) (*.f64 (sqrt.f64 z) (-.f64 1 y)))

rewrite55.0ms (2.9%)

Algorithm
1×rewrite-expression-head
Rules
117×distribute-lft-in_binary64
117×distribute-rgt-in_binary64
90×prod-diff_binary64
85×add-sqr-sqrt_binary64
81×*-un-lft-identity_binary64
Counts
3 → 198
Calls

3 calls:

11.0ms
(*.f64 (sqrt.f64 z) (*.f64 (sqrt.f64 z) (-.f64 1 y)))
7.0ms
(+.f64 (*.f64 x y) (*.f64 (sqrt.f64 z) (*.f64 (sqrt.f64 z) (-.f64 1 y))))
7.0ms
(*.f64 (sqrt.f64 z) (-.f64 1 y))

simplify158.0ms (8.4%)

Algorithm
1×egg-herbie
Rules
692×fma-def_binary64
514×fma-neg_binary64
458×distribute-rgt-in_binary64
451×*-commutative_binary64
425×distribute-lft-in_binary64
Counts
262 → 278
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02133077
13432790
212872628
339652628
449232628
550332628

prune132.0ms (7%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New2780278
Fresh000
Picked011
Done022
Total2783281
Error
0b
Counts
281 → 3
Alt Table
StatusErrorProgram
✓0.0b
(+.f64 (*.f64 x y) (*.f64 z (-.f64 1 y)))
✓31.3b
(+.f64 (*.f64 x y) (*.f64 (sqrt.f64 z) (*.f64 (sqrt.f64 z) (-.f64 1 y))))
✓0.0b
(fma.f64 y (-.f64 x z) z)
Compiler

Compiled 7236 to 2433 computations (66.4% saved)

regimes65.0ms (3.5%)

Accuracy

Total 0.0b remaining (66.7%)

Threshold costs 0.0b (66.7%)

Counts
17 → 1
Compiler

Compiled 784 to 466 computations (40.6% saved)

simplify5.0ms (0.2%)

Algorithm
1×egg-herbie
Rules
2×+-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
068
188
2138
3158
4168
5168

end0.0ms (0%)

Compiler

Compiled 9 to 5 computations (44.4% saved)

sample605.0ms (32.2%)

Algorithm
1×intervals
Results
272.0ms8000×body128valid
26.0ms700×body128invalid
Compiler

Compiled 62 to 40 computations (35.5% saved)

Profiling

Loading profile data...