Details

Time bar (total: 3.9s)

analyze885.0ms (22.7%)

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
0%81.1%18.9%7
6.2%74.9%18.9%8
9.4%65.5%25.1%9
15.6%48.4%36%10
20.3%43.1%36.6%11
22.6%36%41.4%12
27.1%25.1%47.8%13
29.5%22.5%48%14
Compiler

Compiled 14 to 9 computations (35.7% saved)

sample1.5s (39.1%)

Results
972.0ms8256×body128valid
285.0ms2607×body128invalid
Compiler

Compiled 41 to 26 computations (36.6% saved)

simplify195.0ms (5%)

Algorithm
1×egg-herbie
Rules
767×unsub-neg_binary64
741×*-commutative_binary64
699×fma-def_binary64
598×fma-neg_binary64
465×distribute-neg-out_binary64
Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0915
11915
22915
35715
411815
527815
652915
7100715
8178115
9258515
10283415
11314115
12337115
13348515
14348515
15444415
16428415
17460415
18460415
19510315

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
24.5b
Counts
2 → 1
Alt Table
StatusErrorProgram
▶24.5b
(*.f64 x (sqrt.f64 (-.f64 (*.f64 y y) (*.f64 z z))))
Compiler

Compiled 39 to 24 computations (38.5% saved)

localize7.0ms (0.2%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(*.f64 x (sqrt.f64 (-.f64 (*.f64 y y) (*.f64 z z))))
✓2.0b
(-.f64 (*.f64 y y) (*.f64 z z))
✓24.8b
(sqrt.f64 (-.f64 (*.f64 y y) (*.f64 z z)))

series74.0ms (1.9%)

Counts
3 → 84
Calls

3 calls:

48.0ms
(*.f64 x (sqrt.f64 (-.f64 (*.f64 y y) (*.f64 z z))))
19.0ms
(sqrt.f64 (-.f64 (*.f64 y y) (*.f64 z z)))
7.0ms
(-.f64 (*.f64 y y) (*.f64 z z))

rewrite16.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
12×add-sqr-sqrt_binary64
9×sqrt-prod_binary64
7×associate-*r*_binary64
7×*-un-lft-identity_binary64
7×add-cube-cbrt_binary64
Counts
3 → 62
Calls

3 calls:

6.0ms
(*.f64 x (sqrt.f64 (-.f64 (*.f64 y y) (*.f64 z z))))
5.0ms
(sqrt.f64 (-.f64 (*.f64 y y) (*.f64 z z)))
3.0ms
(-.f64 (*.f64 y y) (*.f64 z z))

simplify102.0ms (2.6%)

Algorithm
1×egg-herbie
Rules
638×fma-def_binary64
337×fma-neg_binary64
316×cancel-sign-sub-inv_binary64
268×neg-mul-1_binary64
187×distribute-rgt-neg-in_binary64
Counts
146 → 179
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02062931
15822842
222892771
345562771
450282771

prune94.0ms (2.4%)

Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New1754179
Fresh000
Picked101
Done000
Total1764180
Error
0.0b
Counts
180 → 4
Alt Table
StatusErrorProgram
31.9b
(*.f64 x (*.f64 (sqrt.f64 (+.f64 y z)) (sqrt.f64 (-.f64 y z))))
31.3b
(-.f64 (*.f64 1/2 (/.f64 (*.f64 (pow.f64 z 2) x) y)) (*.f64 y x))
30.4b
(*.f64 x (neg.f64 y))
▶30.1b
(*.f64 x y)
Compiler

Compiled 3651 to 1635 computations (55.2% saved)

localize2.0ms (0.1%)

prune3.0ms (0.1%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New000
Fresh033
Picked011
Done000
Total044
Error
0.0b
Counts
4 → 4
Alt Table
StatusErrorProgram
31.9b
(*.f64 x (*.f64 (sqrt.f64 (+.f64 y z)) (sqrt.f64 (-.f64 y z))))
31.3b
(-.f64 (*.f64 1/2 (/.f64 (*.f64 (pow.f64 z 2) x) y)) (*.f64 y x))
▶30.4b
(*.f64 x (neg.f64 y))
✓30.1b
(*.f64 x y)
Compiler

Compiled 80 to 54 computations (32.5% saved)

localize3.0ms (0.1%)

prune3.0ms (0.1%)

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New000
Fresh022
Picked011
Done011
Total044
Error
0.0b
Counts
4 → 4
Alt Table
StatusErrorProgram
31.9b
(*.f64 x (*.f64 (sqrt.f64 (+.f64 y z)) (sqrt.f64 (-.f64 y z))))
▶31.3b
(-.f64 (*.f64 1/2 (/.f64 (*.f64 (pow.f64 z 2) x) y)) (*.f64 y x))
✓30.4b
(*.f64 x (neg.f64 y))
✓30.1b
(*.f64 x y)
Compiler

Compiled 73 to 49 computations (32.9% saved)

localize9.0ms (0.2%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.0b
(-.f64 (*.f64 1/2 (/.f64 (*.f64 (pow.f64 z 2) x) y)) (*.f64 y x))
✓0.0b
(*.f64 1/2 (/.f64 (*.f64 (pow.f64 z 2) x) y))
✓3.7b
(*.f64 (pow.f64 z 2) x)
✓6.6b
(/.f64 (*.f64 (pow.f64 z 2) x) y)

series94.0ms (2.4%)

Counts
4 → 18
Calls

4 calls:

32.0ms
(-.f64 (*.f64 1/2 (/.f64 (*.f64 (pow.f64 z 2) x) y)) (*.f64 y x))
30.0ms
(*.f64 1/2 (/.f64 (*.f64 (pow.f64 z 2) x) y))
25.0ms
(/.f64 (*.f64 (pow.f64 z 2) x) y)
8.0ms
(*.f64 (pow.f64 z 2) x)

rewrite25.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Rules
35×add-exp-log_binary64
20×add-sqr-sqrt_binary64
20×add-cbrt-cube_binary64
14×prod-exp_binary64
12×*-un-lft-identity_binary64
Counts
4 → 101
Calls

4 calls:

5.0ms
(*.f64 1/2 (/.f64 (*.f64 (pow.f64 z 2) x) y))
5.0ms
(-.f64 (*.f64 1/2 (/.f64 (*.f64 (pow.f64 z 2) x) y)) (*.f64 y x))
4.0ms
(/.f64 (*.f64 (pow.f64 z 2) x) y)
4.0ms
(*.f64 (pow.f64 z 2) x)

simplify81.0ms (2.1%)

Algorithm
1×egg-herbie
Rules
875×times-frac_binary64
575×associate-*l/_binary64
491×fma-def_binary64
266×associate-/l/_binary64
256×associate-/r*_binary64
Counts
119 → 165
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01611870
13591673
212301625
345241625
449931625

prune93.0ms (2.4%)

Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New1650165
Fresh011
Picked011
Done022
Total1654169
Error
0.0b
Counts
169 → 4
Alt Table
StatusErrorProgram
31.9b
(*.f64 x (*.f64 (sqrt.f64 (+.f64 y z)) (sqrt.f64 (-.f64 y z))))
✓31.3b
(-.f64 (*.f64 1/2 (/.f64 (*.f64 (pow.f64 z 2) x) y)) (*.f64 y x))
✓30.4b
(*.f64 x (neg.f64 y))
✓30.1b
(*.f64 x y)
Compiler

Compiled 3205 to 1602 computations (50% saved)

regimes574.0ms (14.8%)

Accuracy

Total 0.3b remaining (65.5%)

Threshold costs 0.3b (65.5%)

Counts
27 → 2
Compiler

Compiled 3876 to 2562 computations (33.9% saved)

bsearch46.0ms (1.2%)

Steps
ItersRangePoint
2
-2.7087434424938555e-233
1.396004284411691e-283
-1.6399507888326194e-283
Compiler

Compiled 4 to 3 computations (25% saved)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
8×*-commutative_binary64
6×+-commutative_binary64
5×sub-neg_binary64
4×neg-sub0_binary64
4×neg-mul-1_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01629
12829
23829
34629
45029
55129
65129

end59.0ms (1.5%)

Compiler

Compiled 87 to 57 computations (34.5% saved)

Profiling

Loading profile data...