Details

Time bar (total: 7.8s)

analyze1.1s (14.7%)

Algorithm
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
0%99.8%0.2%7
0%99.8%0.2%8
6.2%93.6%0.2%9
9.4%90.4%0.2%10
14%83.4%2.5%11
18.7%78.2%3.1%12
28.1%65.5%6.4%13
30.7%59.4%9.9%14
Compiler

Compiled 20 to 12 computations (40% saved)

sample59.0ms (0.8%)

Algorithm
intervals
Results
13.0ms256×body128valid
10.0ms200×body128invalid
Compiler

Compiled 43 to 27 computations (37.2% saved)

simplify11.0ms (0.1%)

Algorithm
egg-herbie
Rules
associate-/l*_binary64
associate-*r/_binary64
associate-/r/_binary64
fma-def_binary64
associate-/r*_binary64
Counts
1 → 2
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01222
12520
24520
35520
45520
55520

prune3.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
31.0b
Counts
3 → 2
Alt Table
StatusErrorProgram
31.0b
(fma.f64 x (/.f64 x (*.f64 y y)) (/.f64 (*.f64 z z) (*.f64 t t)))
35.0b
(+.f64 (/.f64 (*.f64 x x) (*.f64 y y)) (/.f64 (*.f64 z z) (*.f64 t t)))
Compiler

Compiled 107 to 55 computations (48.6% saved)

localize9.0ms (0.1%)

Local error

Found 3 expressions with local error:

NewErrorProgram
3.8b
(fma.f64 x (/.f64 x (*.f64 y y)) (/.f64 (*.f64 z z) (*.f64 t t)))
14.6b
(/.f64 x (*.f64 y y))
19.7b
(/.f64 (*.f64 z z) (*.f64 t t))

series162.0ms (2.1%)

Counts
3 → 96
Calls

3 calls:

103.0ms
(fma.f64 x (/.f64 x (*.f64 y y)) (/.f64 (*.f64 z z) (*.f64 t t)))
30.0ms
(/.f64 (*.f64 z z) (*.f64 t t))
28.0ms
(/.f64 x (*.f64 y y))

rewrite15.0ms (0.2%)

Algorithm
rewrite-expression-head
Rules
20×add-cbrt-cube_binary64
20×add-exp-log_binary64
cbrt-undiv_binary64
div-exp_binary64
*-un-lft-identity_binary64
Counts
3 → 56
Calls

3 calls:

10.0ms
(/.f64 (*.f64 z z) (*.f64 t t))
3.0ms
(/.f64 x (*.f64 y y))
0.0ms
(fma.f64 x (/.f64 x (*.f64 y y)) (/.f64 (*.f64 z z) (*.f64 t t)))

simplify109.0ms (1.4%)

Algorithm
egg-herbie
Rules
652×times-frac_binary64
469×unswap-sqr_binary64
438×associate-/l*_binary64
258×associate-*l/_binary64
229×associate-/r*_binary64
Counts
152 → 75
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
01062182
12241962
26561913
325971888
443921885
549441885
649651885

prune91.0ms (1.2%)

Pruning

13 alts after pruning (13 fresh and 0 done)

PrunedKeptTotal
New621375
Fresh101
Picked101
Done000
Total641377
Error
0.1b
Counts
77 → 13
Alt Table
StatusErrorProgram
31.8b
(fma.f64 x (*.f64 x (/.f64 1 (*.f64 y y))) (/.f64 (*.f64 z z) (*.f64 t t)))
27.9b
(fma.f64 x (/.f64 x (*.f64 y y)) (/.f64 (/.f64 (*.f64 z z) t) t))
20.5b
(fma.f64 x (/.f64 1 (/.f64 y (/.f64 x y))) (/.f64 (*.f64 z z) (*.f64 t t)))
20.5b
(fma.f64 x (/.f64 x (*.f64 y y)) (/.f64 z (/.f64 t (/.f64 z t))))
25.2b
(fma.f64 x (/.f64 x (*.f64 y y)) (/.f64 z (/.f64 (*.f64 t t) z)))
43.7b
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
31.2b
(fma.f64 x (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (/.f64 (*.f64 y y) (cbrt.f64 x))) (/.f64 (*.f64 z z) (*.f64 t t)))
20.7b
(fma.f64 x (/.f64 x (*.f64 y y)) (/.f64 (*.f64 z (/.f64 z t)) t))
20.2b
(fma.f64 x (*.f64 (/.f64 1 y) (/.f64 x y)) (/.f64 (*.f64 z z) (*.f64 t t)))
40.3b
(fma.f64 x (*.f64 (/.f64 (sqrt.f64 x) y) (/.f64 (sqrt.f64 x) y)) (/.f64 (*.f64 z z) (*.f64 t t)))
20.6b
(fma.f64 x (*.f64 (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) y) (/.f64 (cbrt.f64 x) y)) (/.f64 (*.f64 z z) (*.f64 t t)))
33.4b
(fma.f64 x (/.f64 x (*.f64 y y)) (cbrt.f64 (pow.f64 (/.f64 z t) 6)))
0.5b
(*.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)) (hypot.f64 (/.f64 z t) (/.f64 x y)))
Compiler

Compiled 1922 to 555 computations (71.1% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

NewErrorProgram
0.0b
(hypot.f64 (/.f64 z t) (/.f64 x y))
0.5b
(*.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)) (hypot.f64 (/.f64 z t) (/.f64 x y)))

series562.0ms (7.2%)

Counts
2 → 96
Calls

2 calls:

511.0ms
(*.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)) (hypot.f64 (/.f64 z t) (/.f64 x y)))
51.0ms
(hypot.f64 (/.f64 z t) (/.f64 x y))

rewrite15.0ms (0.2%)

Algorithm
rewrite-expression-head
Rules
pow1_binary64
add-sqr-sqrt_binary64
*-un-lft-identity_binary64
add-cube-cbrt_binary64
hypot-udef_binary64
Counts
2 → 39
Calls

2 calls:

3.0ms
(*.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)) (hypot.f64 (/.f64 z t) (/.f64 x y)))
0.0ms
(hypot.f64 (/.f64 z t) (/.f64 x y))

simplify79.0ms (1%)

Algorithm
egg-herbie
Rules
928×associate-/l*_binary64
772×associate-/r*_binary64
212×fma-def_binary64
151×unswap-sqr_binary64
148×associate-/r/_binary64
Counts
135 → 87
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01173714
13423389
213143211
352683211

prune136.0ms (1.7%)

Pruning

13 alts after pruning (12 fresh and 1 done)

PrunedKeptTotal
New1236129
Fresh6612
Picked011
Done000
Total12913142
Error
0.0b
Counts
142 → 13
Alt Table
StatusErrorProgram
25.2b
(fma.f64 x (/.f64 x (*.f64 y y)) (/.f64 z (/.f64 (*.f64 t t) z)))
43.7b
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
20.2b
(fma.f64 x (*.f64 (/.f64 1 y) (/.f64 x y)) (/.f64 (*.f64 z z) (*.f64 t t)))
0.6b
(*.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)) (*.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)))))
20.7b
(fma.f64 x (/.f64 x (*.f64 y y)) (/.f64 (*.f64 z (/.f64 z t)) t))
1.2b
(*.f64 (*.f64 (cbrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) (cbrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)))) (*.f64 (cbrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) (hypot.f64 (/.f64 z t) (/.f64 x y))))
31.8b
(fma.f64 x (*.f64 x (/.f64 1 (*.f64 y y))) (/.f64 (*.f64 z z) (*.f64 t t)))
20.5b
(fma.f64 x (/.f64 1 (/.f64 y (/.f64 x y))) (/.f64 (*.f64 z z) (*.f64 t t)))
15.6b
(*.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)) (cbrt.f64 (pow.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)) 3)))
1.2b
(*.f64 (*.f64 (cbrt.f64 (*.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)) (hypot.f64 (/.f64 z t) (/.f64 x y)))) (cbrt.f64 (*.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)) (hypot.f64 (/.f64 z t) (/.f64 x y))))) (cbrt.f64 (*.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)) (hypot.f64 (/.f64 z t) (/.f64 x y)))))
34.8b
(cbrt.f64 (pow.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)) 6))
0.5b
(*.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)) (hypot.f64 (/.f64 z t) (/.f64 x y)))
0.8b
(*.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) (pow.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) 3))
Compiler

Compiled 4248 to 1497 computations (64.8% saved)

localize8.0ms (0.1%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.0b
(hypot.f64 (/.f64 z t) (/.f64 x y))
0.5b
(*.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)) (*.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)))))
0.5b
(*.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))))
1.0b
(sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)))

series690.0ms (8.9%)

Counts
3 → 120
Calls

3 calls:

326.0ms
(*.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)) (*.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)))))
291.0ms
(*.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))))
73.0ms
(sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)))

rewrite23.0ms (0.3%)

Algorithm
rewrite-expression-head
Rules
36×pow1_binary64
32×add-sqr-sqrt_binary64
21×sqrt-prod_binary64
15×pow-prod-up_binary64
15×sqrt-pow1_binary64
Counts
3 → 97
Calls

3 calls:

9.0ms
(*.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)) (*.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)))))
6.0ms
(*.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))))
1.0ms
(sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)))

simplify172.0ms (2.2%)

Algorithm
egg-herbie
Rules
960×associate-/r*_binary64
363×fma-def_binary64
200×cancel-sign-sub-inv_binary64
194×unswap-sqr_binary64
169×associate-/r/_binary64
Counts
217 → 165
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02025798
15205228
219055086
352975086

prune276.0ms (3.6%)

Pruning

12 alts after pruning (10 fresh and 2 done)

PrunedKeptTotal
New3201321
Fresh2911
Picked011
Done011
Total32212334
Error
0.0b
Counts
334 → 12
Alt Table
StatusErrorProgram
25.2b
(fma.f64 x (/.f64 x (*.f64 y y)) (/.f64 z (/.f64 (*.f64 t t) z)))
43.7b
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
20.2b
(fma.f64 x (*.f64 (/.f64 1 y) (/.f64 x y)) (/.f64 (*.f64 z z) (*.f64 t t)))
0.6b
(*.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)) (*.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)))))
20.7b
(fma.f64 x (/.f64 x (*.f64 y y)) (/.f64 (*.f64 z (/.f64 z t)) t))
1.2b
(*.f64 (*.f64 (cbrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) (cbrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)))) (*.f64 (cbrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) (hypot.f64 (/.f64 z t) (/.f64 x y))))
31.8b
(fma.f64 x (*.f64 x (/.f64 1 (*.f64 y y))) (/.f64 (*.f64 z z) (*.f64 t t)))
20.5b
(fma.f64 x (/.f64 1 (/.f64 y (/.f64 x y))) (/.f64 (*.f64 z z) (*.f64 t t)))
1.2b
(*.f64 (*.f64 (cbrt.f64 (*.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)) (hypot.f64 (/.f64 z t) (/.f64 x y)))) (cbrt.f64 (*.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)) (hypot.f64 (/.f64 z t) (/.f64 x y))))) (cbrt.f64 (*.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)) (hypot.f64 (/.f64 z t) (/.f64 x y)))))
0.8b
(*.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)) (*.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) (*.f64 (cbrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) (sqrt.f64 (cbrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)))))))
0.5b
(*.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)) (hypot.f64 (/.f64 z t) (/.f64 x y)))
0.8b
(*.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) (pow.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) 3))
Compiler

Compiled 12436 to 3707 computations (70.2% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.0b
(hypot.f64 (/.f64 z t) (/.f64 x y))
0.3b
(*.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) (pow.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) 3))
0.7b
(pow.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) 3)
1.0b
(sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)))

series514.0ms (6.6%)

Counts
2 → 72
Calls

2 calls:

352.0ms
(*.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) (pow.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) 3))
162.0ms
(pow.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) 3)

rewrite18.0ms (0.2%)

Algorithm
rewrite-expression-head
Rules
36×add-sqr-sqrt_binary64
25×sqrt-prod_binary64
18×associate-*r*_binary64
16×cube-prod_binary64
16×unpow-prod-down_binary64
Counts
2 → 85
Calls

2 calls:

7.0ms
(*.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) (pow.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) 3))
2.0ms
(pow.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) 3)

simplify141.0ms (1.8%)

Algorithm
egg-herbie
Rules
942×fma-def_binary64
531×times-frac_binary64
348×*-commutative_binary64
274×associate-/l*_binary64
247×associate-/r*_binary64
Counts
157 → 108
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01573946
13523610
212303328
337743265
449093265
549503265

prune221.0ms (2.8%)

Pruning

13 alts after pruning (11 fresh and 2 done)

PrunedKeptTotal
New2493252
Fresh189
Picked011
Done112
Total25113264
Error
0.0b
Counts
264 → 13
Alt Table
StatusErrorProgram
0.5b
(*.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) (pow.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)) 3/2))
0.8b
(*.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) (pow.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) 3))
20.7b
(fma.f64 x (/.f64 x (*.f64 y y)) (/.f64 (*.f64 z (/.f64 z t)) t))
1.2b
(*.f64 (*.f64 (cbrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) (cbrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)))) (*.f64 (cbrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) (hypot.f64 (/.f64 z t) (/.f64 x y))))
31.8b
(fma.f64 x (*.f64 x (/.f64 1 (*.f64 y y))) (/.f64 (*.f64 z z) (*.f64 t t)))
20.5b
(fma.f64 x (/.f64 1 (/.f64 y (/.f64 x y))) (/.f64 (*.f64 z z) (*.f64 t t)))
25.2b
(fma.f64 x (/.f64 x (*.f64 y y)) (/.f64 z (/.f64 (*.f64 t t) z)))
20.2b
(fma.f64 x (*.f64 (/.f64 1 y) (/.f64 x y)) (/.f64 (*.f64 z z) (*.f64 t t)))
3.4b
(*.f64 (exp.f64 (log.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))))) (pow.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) 3))
1.2b
(*.f64 (*.f64 (cbrt.f64 (*.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)) (hypot.f64 (/.f64 z t) (/.f64 x y)))) (cbrt.f64 (*.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)) (hypot.f64 (/.f64 z t) (/.f64 x y))))) (cbrt.f64 (*.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)) (hypot.f64 (/.f64 z t) (/.f64 x y)))))
0.8b
(*.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)) (*.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) (*.f64 (cbrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) (sqrt.f64 (cbrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)))))))
0.5b
(*.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)) (hypot.f64 (/.f64 z t) (/.f64 x y)))
22.8b
(fma.f64 (/.f64 z t) (/.f64 z t) (/.f64 (*.f64 x x) (*.f64 y y)))
Compiler

Compiled 8517 to 3170 computations (62.8% saved)

regimes1.9s (24.1%)

Accuracy

Total 0.4b remaining (86.7%)

Threshold costs 0.4b (86.7%)

Counts
157 → 1
Compiler

Compiled 44667 to 22542 computations (49.5% saved)

simplify2.0ms (0%)

Algorithm
egg-herbie
Rules
1-exp_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01213
11413
21213

end0.0ms (0%)

Compiler

Compiled 13 to 9 computations (30.8% saved)

sample1.4s (18.3%)

Algorithm
intervals
Results
429.0ms8000×body128valid
354.0ms6108×body128invalid
Compiler

Compiled 371 to 168 computations (54.7% saved)

Profiling

Loading profile data...