Details

Time bar (total: 2.9s)

analyze937.0ms (31.8%)

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
12.5%87.3%0.2%7
18.7%81.1%0.2%8
46.8%53%0.2%9
47.6%52.2%0.2%10
48.3%51.5%0.2%11
54.2%45.6%0.2%12
67.6%32.2%0.2%13
68.2%31.6%0.2%14
Compiler

Compiled 18 to 14 computations (22.2% saved)

sample40.0ms (1.4%)

Algorithm
1×intervals
Results
15.0ms256×body128valid
2.0ms40×body128invalid
Compiler

Compiled 39 to 31 computations (20.5% saved)

simplify28.0ms (1%)

Algorithm
1×egg-herbie
Rules
382×fma-def_binary64
322×fma-neg_binary64
113×cancel-sign-sub-inv_binary64
53×unsub-neg_binary64
52×sub-neg_binary64
Counts
1 → 2
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
01516
12716
25115
39514
419212
532612
647912
762612
879812
985712
1078312

prune3.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New112
Fresh011
Picked000
Done000
Total123
Error
0.0b
Counts
3 → 1
Alt Table
StatusErrorProgram
▶0.0b
(+.f64 (-.f64 (*.f64 (/.f64 1 8) x) (/.f64 (*.f64 y z) 2)) t)
Compiler

Compiled 60 to 43 computations (28.3% saved)

localize8.0ms (0.3%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(+.f64 (-.f64 (*.f64 (/.f64 1 8) x) (/.f64 (*.f64 y z) 2)) t)
✓0.0b
(-.f64 (*.f64 (/.f64 1 8) x) (/.f64 (*.f64 y z) 2))

series22.0ms (0.8%)

Counts
2 → 84
Calls

2 calls:

12.0ms
(+.f64 (-.f64 (*.f64 (/.f64 1 8) x) (/.f64 (*.f64 y z) 2)) t)
10.0ms
(-.f64 (*.f64 (/.f64 1 8) x) (/.f64 (*.f64 y z) 2))

rewrite20.0ms (0.7%)

Algorithm
1×rewrite-expression-head
Rules
15×associate-+l+_binary64
14×cancel-sign-sub-inv_binary64
14×prod-diff_binary64
13×*-un-lft-identity_binary64
12×times-frac_binary64
Counts
2 → 63
Calls

2 calls:

8.0ms
(+.f64 (-.f64 (*.f64 (/.f64 1 8) x) (/.f64 (*.f64 y z) 2)) t)
8.0ms
(-.f64 (*.f64 (/.f64 1 8) x) (/.f64 (*.f64 y z) 2))

simplify110.0ms (3.7%)

Algorithm
1×egg-herbie
Rules
631×fma-neg_binary64
592×fma-def_binary64
376×associate-*l/_binary64
321×associate-*r/_binary64
280×associate-/l*_binary64
Counts
147 → 105
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01501925
13651790
212331587
342041587
449441587
547991587

prune83.0ms (2.8%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New1041105
Fresh000
Picked011
Done000
Total1042106
Error
0b
Counts
106 → 2
Alt Table
StatusErrorProgram
▶32.4b
(*.f64 (sqrt.f64 (fma.f64 -1/2 (*.f64 y z) (fma.f64 1/8 x t))) (sqrt.f64 (fma.f64 -1/2 (*.f64 y z) (fma.f64 1/8 x t))))
✓0.0b
(+.f64 (-.f64 (*.f64 (/.f64 1 8) x) (/.f64 (*.f64 y z) 2)) t)
Compiler

Compiled 2381 to 1549 computations (34.9% saved)

localize9.0ms (0.3%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(fma.f64 -1/2 (*.f64 y z) (fma.f64 1/8 x t))
✓0.0b
(sqrt.f64 (fma.f64 -1/2 (*.f64 y z) (fma.f64 1/8 x t)))
✓0.3b
(*.f64 (sqrt.f64 (fma.f64 -1/2 (*.f64 y z) (fma.f64 1/8 x t))) (sqrt.f64 (fma.f64 -1/2 (*.f64 y z) (fma.f64 1/8 x t))))

series126.0ms (4.3%)

Counts
3 → 112
Calls

3 calls:

98.0ms
(sqrt.f64 (fma.f64 -1/2 (*.f64 y z) (fma.f64 1/8 x t)))
14.0ms
(fma.f64 -1/2 (*.f64 y z) (fma.f64 1/8 x t))
14.0ms
(*.f64 (sqrt.f64 (fma.f64 -1/2 (*.f64 y z) (fma.f64 1/8 x t))) (sqrt.f64 (fma.f64 -1/2 (*.f64 y z) (fma.f64 1/8 x t))))

rewrite12.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
29×add-sqr-sqrt_binary64
21×sqrt-prod_binary64
19×pow1_binary64
12×*-un-lft-identity_binary64
12×add-cube-cbrt_binary64
Counts
3 → 78
Calls

3 calls:

5.0ms
(*.f64 (sqrt.f64 (fma.f64 -1/2 (*.f64 y z) (fma.f64 1/8 x t))) (sqrt.f64 (fma.f64 -1/2 (*.f64 y z) (fma.f64 1/8 x t))))
1.0ms
(sqrt.f64 (fma.f64 -1/2 (*.f64 y z) (fma.f64 1/8 x t)))
0.0ms
(fma.f64 -1/2 (*.f64 y z) (fma.f64 1/8 x t))

simplify106.0ms (3.6%)

Algorithm
1×egg-herbie
Rules
620×associate-*l*_binary64
604×associate-*r*_binary64
469×fma-neg_binary64
353×unswap-sqr_binary64
311×fma-def_binary64
Counts
190 → 131
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01473456
13363060
29392958
337322906
451562906

prune133.0ms (4.5%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New1870187
Fresh000
Picked011
Done011
Total1872189
Error
0b
Counts
189 → 2
Alt Table
StatusErrorProgram
✓32.4b
(*.f64 (sqrt.f64 (fma.f64 -1/2 (*.f64 y z) (fma.f64 1/8 x t))) (sqrt.f64 (fma.f64 -1/2 (*.f64 y z) (fma.f64 1/8 x t))))
✓0.0b
(+.f64 (-.f64 (*.f64 (/.f64 1 8) x) (/.f64 (*.f64 y z) 2)) t)
Compiler

Compiled 5683 to 3352 computations (41% saved)

regimes476.0ms (16.2%)

Accuracy

Total 0.0b remaining (2.4%)

Threshold costs 0.0b (2.4%)

Counts
52 → 1
Compiler

Compiled 7670 to 5628 computations (26.6% saved)

simplify2.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01114
11414
21414

end6.0ms (0.2%)

Remove

(sort y z)

Compiler

Compiled 42 to 30 computations (28.6% saved)

sample821.0ms (27.9%)

Algorithm
1×intervals
Results
386.0ms7999×body128valid
57.0ms1112×body128invalid
0.0ms1×body2048valid
Compiler

Compiled 78 to 57 computations (26.9% saved)

Profiling

Loading profile data...