Details

Time bar (total: 3.6s)

analyze571.0ms (16%)

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
31.2%68.6%0.1%8
35.9%64%0.1%9
47.6%49.9%2.5%10
49.1%46.8%4%11
51.1%44.1%4.8%12
60.2%29.9%9.9%13
60.6%27.9%11.6%14
Compiler

Compiled 15 to 10 computations (33.3% saved)

sample1.1s (31.2%)

Results
908.0ms8256×body128valid
181.0ms1541×body128invalid
Compiler

Compiled 30 to 20 computations (33.3% saved)

preprocess61.0ms (1.7%)

Algorithm
2×egg-herbie
Rules
1174×fma-def_binary64
818×associate-/l*_binary64
539×times-frac_binary64
297×distribute-rgt-in_binary64
287×associate-/r/_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02264
18464
225256
374056
4209356
5257356
6305556
7347056
8405756
9431256
033
133
Stop Event
1×unsound
1×node limit
Symmetry

(sort x y)

Compiler

Compiled 14 to 9 computations (35.7% saved)

simplify54.0ms (1.5%)

Algorithm
1×egg-herbie
Rules
517×associate-/l*_binary64
421×fma-def_binary64
402×associate-/r/_binary64
391×*-commutative_binary64
352×associate-*r/_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01016
13016
28514
324614
447614
578714
6103514
7133614
8193314
9343114
10425214
11446414
12458914
13483614
Stop Event
1×node limit
Counts
1 → 2

prune5.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Compiled 78 to 45 computations (42.3% saved)

localize6.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓3.0b
(*.f64 (/.f64 y z) (/.f64 x (fma.f64 z z z)))
✓4.8b
(/.f64 x (fma.f64 z z z))

series135.0ms (3.8%)

Counts
2 → 60
Calls

15 calls:

23.0ms
(*.f64 (/.f64 y z) (/.f64 x (fma.f64 z z z)))
y
-inf
19.0ms
(*.f64 (/.f64 y z) (/.f64 x (fma.f64 z z z)))
x
-inf
17.0ms
(*.f64 (/.f64 y z) (/.f64 x (fma.f64 z z z)))
y
inf
16.0ms
(*.f64 (/.f64 y z) (/.f64 x (fma.f64 z z z)))
x
inf
14.0ms
(*.f64 (/.f64 y z) (/.f64 x (fma.f64 z z z)))
x
0

rewrite56.0ms (1.6%)

Algorithm
1×batch-egg-rewrite
Rules
523×log-prod_binary64
169×expm1-udef_binary64
169×log1p-udef_binary64
167×log-div_binary64
152×log-pow_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0822
117622
2263522
Stop Event
1×node limit
Counts
2 → 99

simplify40.0ms (1.1%)

Algorithm
1×egg-herbie
Rules
759×times-frac_binary64
567×fma-def_binary64
521×cancel-sign-sub-inv_binary64
332×fma-neg_binary64
257×associate-/l/_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0551016
1157942
2447897
31590870
Stop Event
1×node limit
Counts
159 → 134

prune118.0ms (3.3%)

Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New1286134
Fresh101
Picked101
Done000
Total1306136
Error
1.1b
Counts
136 → 6
Alt Table
StatusErrorProgram
7.5b
(/.f64 y (*.f64 (/.f64 (fma.f64 z z z) x) z))
22.6b
(/.f64 (*.f64 y x) (+.f64 (pow.f64 z 2) (pow.f64 z 3)))
36.6b
(*.f64 (/.f64 y z) (*.f64 (/.f64 1 (hypot.f64 z (sqrt.f64 z))) (/.f64 x (hypot.f64 z (sqrt.f64 z)))))
▶3.9b
(/.f64 (*.f64 x (/.f64 y z)) (fma.f64 z z z))
5.2b
(/.f64 (/.f64 y z) (/.f64 (fma.f64 z z z) x))
8.9b
(/.f64 x (*.f64 (fma.f64 z z z) (/.f64 z y)))
Compiler

Compiled 2079 to 651 computations (68.7% saved)

localize10.0ms (0.3%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓2.7b
(*.f64 x (/.f64 y z))
✓3.1b
(/.f64 (*.f64 x (/.f64 y z)) (fma.f64 z z z))

series110.0ms (3.1%)

Counts
2 → 72
Calls

18 calls:

19.0ms
(/.f64 (*.f64 x (/.f64 y z)) (fma.f64 z z z))
x
-inf
18.0ms
(/.f64 (*.f64 x (/.f64 y z)) (fma.f64 z z z))
y
inf
16.0ms
(/.f64 (*.f64 x (/.f64 y z)) (fma.f64 z z z))
y
-inf
14.0ms
(/.f64 (*.f64 x (/.f64 y z)) (fma.f64 z z z))
x
inf
13.0ms
(/.f64 (*.f64 x (/.f64 y z)) (fma.f64 z z z))
y
0

rewrite56.0ms (1.6%)

Algorithm
1×batch-egg-rewrite
Rules
527×log-prod_binary64
165×expm1-udef_binary64
165×log1p-udef_binary64
156×pow3_binary64
150×log-pow_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0821
117321
2255021
Stop Event
1×node limit
Counts
2 → 75

simplify38.0ms (1.1%)

Algorithm
1×egg-herbie
Rules
726×times-frac_binary64
476×cancel-sign-sub-inv_binary64
407×fma-def_binary64
374×associate-/r*_binary64
367×associate-/l*_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
038944
1112894
2318850
31208825
Stop Event
1×node limit
Counts
147 → 96

prune63.0ms (1.8%)

Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New96096
Fresh055
Picked011
Done000
Total966102
Error
1.1b
Counts
102 → 6
Alt Table
StatusErrorProgram
7.5b
(/.f64 y (*.f64 (/.f64 (fma.f64 z z z) x) z))
22.6b
(/.f64 (*.f64 y x) (+.f64 (pow.f64 z 2) (pow.f64 z 3)))
36.6b
(*.f64 (/.f64 y z) (*.f64 (/.f64 1 (hypot.f64 z (sqrt.f64 z))) (/.f64 x (hypot.f64 z (sqrt.f64 z)))))
✓3.9b
(/.f64 (*.f64 x (/.f64 y z)) (fma.f64 z z z))
▶5.2b
(/.f64 (/.f64 y z) (/.f64 (fma.f64 z z z) x))
8.9b
(/.f64 x (*.f64 (fma.f64 z z z) (/.f64 z y)))
Compiler

Compiled 1613 to 494 computations (69.4% saved)

localize6.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓3.5b
(/.f64 (/.f64 y z) (/.f64 (fma.f64 z z z) x))
✓4.5b
(/.f64 (fma.f64 z z z) x)

series111.0ms (3.1%)

Counts
2 → 60
Calls

15 calls:

17.0ms
(/.f64 (/.f64 y z) (/.f64 (fma.f64 z z z) x))
y
-inf
16.0ms
(/.f64 (/.f64 y z) (/.f64 (fma.f64 z z z) x))
x
inf
16.0ms
(/.f64 (/.f64 y z) (/.f64 (fma.f64 z z z) x))
x
-inf
15.0ms
(/.f64 (/.f64 y z) (/.f64 (fma.f64 z z z) x))
x
0
15.0ms
(/.f64 (/.f64 y z) (/.f64 (fma.f64 z z z) x))
y
inf

rewrite56.0ms (1.6%)

Algorithm
1×batch-egg-rewrite
Rules
564×log-prod_binary64
196×log-div_binary64
171×expm1-udef_binary64
171×log1p-udef_binary64
161×prod-diff_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0822
117922
2279122
Stop Event
1×node limit
Counts
2 → 90

simplify41.0ms (1.2%)

Algorithm
1×egg-herbie
Rules
726×times-frac_binary64
476×cancel-sign-sub-inv_binary64
413×fma-def_binary64
377×associate-/r*_binary64
365×associate-/l*_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
042947
1115873
2319829
31208786
Stop Event
1×node limit
Counts
150 → 116

prune88.0ms (2.5%)

Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New1151116
Fresh044
Picked101
Done011
Total1166122
Error
0.2b
Counts
122 → 6
Alt Table
StatusErrorProgram
▶7.5b
(/.f64 y (*.f64 (/.f64 (fma.f64 z z z) x) z))
22.6b
(/.f64 (*.f64 y x) (+.f64 (pow.f64 z 2) (pow.f64 z 3)))
36.6b
(*.f64 (/.f64 y z) (*.f64 (/.f64 1 (hypot.f64 z (sqrt.f64 z))) (/.f64 x (hypot.f64 z (sqrt.f64 z)))))
✓3.9b
(/.f64 (*.f64 x (/.f64 y z)) (fma.f64 z z z))
9.6b
(/.f64 (/.f64 y z) (fma.f64 (/.f64 z x) z (/.f64 z x)))
8.9b
(/.f64 x (*.f64 (fma.f64 z z z) (/.f64 z y)))
Compiler

Compiled 1963 to 595 computations (69.7% saved)

localize6.0ms (0.2%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.1b
(*.f64 (/.f64 (fma.f64 z z z) x) z)
4.5b
(/.f64 (fma.f64 z z z) x)
✓7.0b
(/.f64 y (*.f64 (/.f64 (fma.f64 z z z) x) z))

series130.0ms (3.7%)

Counts
2 → 60
Calls

15 calls:

26.0ms
(/.f64 y (*.f64 (/.f64 (fma.f64 z z z) x) z))
y
-inf
21.0ms
(/.f64 y (*.f64 (/.f64 (fma.f64 z z z) x) z))
y
0
21.0ms
(/.f64 y (*.f64 (/.f64 (fma.f64 z z z) x) z))
x
-inf
19.0ms
(/.f64 y (*.f64 (/.f64 (fma.f64 z z z) x) z))
x
inf
15.0ms
(/.f64 y (*.f64 (/.f64 (fma.f64 z z z) x) z))
y
inf

rewrite52.0ms (1.4%)

Algorithm
1×batch-egg-rewrite
Rules
525×log-prod_binary64
165×expm1-udef_binary64
165×log1p-udef_binary64
156×pow3_binary64
150×log-pow_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0825
117325
2255125
Stop Event
1×node limit
Counts
2 → 74

simplify36.0ms (1%)

Algorithm
1×egg-herbie
Rules
726×times-frac_binary64
476×cancel-sign-sub-inv_binary64
415×fma-def_binary64
376×associate-/r*_binary64
367×associate-/l*_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0441049
1115999
2321850
31214825
Stop Event
1×node limit
Counts
134 → 101

prune91.0ms (2.5%)

Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New1440144
Fresh044
Picked011
Done011
Total1446150
Error
0.2b
Counts
150 → 6
Alt Table
StatusErrorProgram
✓7.5b
(/.f64 y (*.f64 (/.f64 (fma.f64 z z z) x) z))
22.6b
(/.f64 (*.f64 y x) (+.f64 (pow.f64 z 2) (pow.f64 z 3)))
36.6b
(*.f64 (/.f64 y z) (*.f64 (/.f64 1 (hypot.f64 z (sqrt.f64 z))) (/.f64 x (hypot.f64 z (sqrt.f64 z)))))
✓3.9b
(/.f64 (*.f64 x (/.f64 y z)) (fma.f64 z z z))
9.6b
(/.f64 (/.f64 y z) (fma.f64 (/.f64 z x) z (/.f64 z x)))
8.9b
(/.f64 x (*.f64 (fma.f64 z z z) (/.f64 z y)))
Compiler

Compiled 2220 to 700 computations (68.5% saved)

regimes420.0ms (11.8%)

Accuracy

Total 2.5b remaining (93.1%)

Threshold costs 0b (0%)

Counts
58 → 2
Compiler

Compiled 4810 to 2807 computations (41.6% saved)

bsearch2.0ms (0.1%)

Algorithm
1×left-value
Calls

1 calls:

0.0ms
(/.f64 (*.f64 x y) (*.f64 (*.f64 z z) (+.f64 z 1)))
Steps
ItersPointRange
1.9691177182928483e+301
∈ [
1.9691177182928483e+301
, 
#hash((type . real) (value . +inf))
]
Compiler

Compiled 14 to 9 computations (35.7% saved)

simplify4.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
3×*-commutative_binary64
1×+-commutative_binary64
1×1-exp_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02152
12752
Stop Event
1×saturated

end82.0ms (2.3%)

Stop Event
1×fuel
Remove

(sort x y)

Compiler

Compiled 244 to 125 computations (48.8% saved)

Profiling

Loading profile data...