Details

Time bar (total: 9.6s)

analyze1.3s (13.3%)

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
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)

sample2.1s (21.7%)

Results
1.3s8256×body128valid
771.0ms6195×body128invalid
Compiler

Compiled 59 to 35 computations (40.7% saved)

simplify7.0ms (0.1%)

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

Useful iterations: 1 (0.0ms)

IterNodesCost
01222
12520
24520
35520
45520
55520

prune4.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Compiled 107 to 55 computations (48.6% saved)

localize12.0ms (0.1%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓3.4b
(fma.f64 x (/.f64 x (*.f64 y y)) (/.f64 (*.f64 z z) (*.f64 t t)))
✓11.1b
(/.f64 x (*.f64 y y))
✓21.8b
(/.f64 (*.f64 z z) (*.f64 t t))

series176.0ms (1.8%)

Counts
3 → 96
Calls

3 calls:

112.0ms
(fma.f64 x (/.f64 x (*.f64 y y)) (/.f64 (*.f64 z z) (*.f64 t t)))
33.0ms
(/.f64 (*.f64 z z) (*.f64 t t))
31.0ms
(/.f64 x (*.f64 y y))

rewrite11.0ms (0.1%)

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

3 calls:

5.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.1%)

Algorithm
1×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

prune95.0ms (1%)

Pruning

12 alts after pruning (12 fresh and 0 done)

PrunedKeptTotal
New631275
Fresh101
Picked101
Done000
Total651277
Error
0.1b
Counts
77 → 12
Alt Table
StatusErrorProgram
▶0.4b
(*.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)) (hypot.f64 (/.f64 z t) (/.f64 x y)))
30.6b
(fma.f64 x (/.f64 x (*.f64 y y)) (cbrt.f64 (pow.f64 (/.f64 z t) 6)))
21.5b
(fma.f64 x (/.f64 (/.f64 x y) y) (/.f64 (*.f64 z z) (*.f64 t t)))
26.1b
(fma.f64 x (/.f64 x (*.f64 y y)) (/.f64 (/.f64 (*.f64 z z) t) t))
29.7b
(fma.f64 x (*.f64 x (/.f64 1 (*.f64 y y))) (/.f64 (*.f64 z z) (*.f64 t t)))
14.9b
(fma.f64 x (/.f64 x (*.f64 y y)) (/.f64 z (/.f64 t (/.f64 z t))))
21.6b
(fma.f64 x (/.f64 1 (/.f64 y (/.f64 x y))) (/.f64 (*.f64 z z) (*.f64 t t)))
24.4b
(fma.f64 x (/.f64 x (*.f64 y y)) (/.f64 z (/.f64 (*.f64 t t) z)))
41.6b
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
17.4b
(fma.f64 x (/.f64 x (*.f64 y y)) (/.f64 (*.f64 z (/.f64 z t)) t))
21.5b
(fma.f64 x (*.f64 (/.f64 1 y) (/.f64 x y)) (/.f64 (*.f64 z z) (*.f64 t t)))
43.3b
(fma.f64 x (*.f64 (/.f64 (sqrt.f64 x) y) (/.f64 (sqrt.f64 x) y)) (/.f64 (*.f64 z z) (*.f64 t t)))
Compiler

Compiled 1858 to 523 computations (71.9% 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.4b
(*.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)) (hypot.f64 (/.f64 z t) (/.f64 x y)))

series392.0ms (4.1%)

Counts
2 → 96
Calls

2 calls:

293.0ms
(*.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)) (hypot.f64 (/.f64 z t) (/.f64 x y)))
98.0ms
(hypot.f64 (/.f64 z t) (/.f64 x y))

rewrite6.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
9×pow1_binary64
8×add-sqr-sqrt_binary64
6×*-un-lft-identity_binary64
6×add-cube-cbrt_binary64
5×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))

simplify80.0ms (0.8%)

Algorithm
1×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

prune119.0ms (1.2%)

Pruning

12 alts after pruning (11 fresh and 1 done)

PrunedKeptTotal
New1236129
Fresh6511
Picked011
Done000
Total12912141
Error
0.0b
Counts
141 → 12
Alt Table
StatusErrorProgram
✓0.4b
(*.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)) (hypot.f64 (/.f64 z t) (/.f64 x y)))
30.6b
(fma.f64 x (/.f64 x (*.f64 y y)) (cbrt.f64 (pow.f64 (/.f64 z t) 6)))
17.4b
(fma.f64 x (/.f64 x (*.f64 y y)) (/.f64 (*.f64 z (/.f64 z t)) t))
0.8b
(pow.f64 (pow.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) 4) 1)
29.7b
(fma.f64 x (*.f64 x (/.f64 1 (*.f64 y y))) (/.f64 (*.f64 z z) (*.f64 t t)))
14.9b
(fma.f64 x (/.f64 x (*.f64 y y)) (/.f64 z (/.f64 t (/.f64 z t))))
21.5b
(fma.f64 x (*.f64 (/.f64 1 y) (/.f64 x y)) (/.f64 (*.f64 z z) (*.f64 t t)))
▶0.5b
(*.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) (*.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) (hypot.f64 (/.f64 z t) (/.f64 x y))))
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)))))
1.2b
(*.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)) (*.f64 (*.f64 (cbrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) (cbrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)))) (cbrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)))))
18.3b
(fma.f64 (/.f64 x y) (/.f64 x y) (/.f64 (*.f64 z z) (*.f64 t t)))
1.1b
(*.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))))
Compiler

Compiled 4246 to 1477 computations (65.2% saved)

localize10.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))) (hypot.f64 (/.f64 z t) (/.f64 x y)))
✓0.3b
(*.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) (*.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) (hypot.f64 (/.f64 z t) (/.f64 x y))))
✓2.0b
(sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)))

series513.0ms (5.3%)

Counts
3 → 96
Calls

3 calls:

306.0ms
(*.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) (*.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) (hypot.f64 (/.f64 z t) (/.f64 x y))))
127.0ms
(*.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) (hypot.f64 (/.f64 z t) (/.f64 x y)))
80.0ms
(sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)))

rewrite18.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
28×pow1_binary64
16×add-sqr-sqrt_binary64
15×pow-prod-up_binary64
12×associate-*l*_binary64
11×sqrt-pow1_binary64
Counts
3 → 78
Calls

3 calls:

7.0ms
(*.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) (*.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) (hypot.f64 (/.f64 z t) (/.f64 x y))))
4.0ms
(*.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) (hypot.f64 (/.f64 z t) (/.f64 x y)))
1.0ms
(sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)))

simplify131.0ms (1.4%)

Algorithm
1×egg-herbie
Rules
777×fma-def_binary64
751×times-frac_binary64
417×associate-/r*_binary64
388×associate-/l*_binary64
288×associate-*l/_binary64
Counts
174 → 133
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01985037
14764509
213844233
348484233
453224233

prune541.0ms (5.6%)

Pruning

11 alts after pruning (10 fresh and 1 done)

PrunedKeptTotal
New2845289
Fresh5510
Picked101
Done011
Total29011301
Error
0.0b
Counts
301 → 11
Alt Table
StatusErrorProgram
0.6b
(*.f64 (sqrt.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)))) (*.f64 (sqrt.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)))) (*.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) (hypot.f64 (/.f64 z t) (/.f64 x y)))))
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 (sqrt.f64 (*.f64 (cbrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) (cbrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))))) (*.f64 (sqrt.f64 (cbrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)))) (*.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) (hypot.f64 (/.f64 z t) (/.f64 x y)))))
21.5b
(fma.f64 x (*.f64 (/.f64 1 y) (/.f64 x y)) (/.f64 (*.f64 z z) (*.f64 t t)))
1.2b
(*.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)) (*.f64 (*.f64 (cbrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) (cbrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)))) (cbrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)))))
✓0.4b
(*.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)) (hypot.f64 (/.f64 z t) (/.f64 x y)))
1.2b
(*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)))) (cbrt.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))))) (*.f64 (pow.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) 3) (cbrt.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))))))
14.9b
(fma.f64 x (/.f64 x (*.f64 y y)) (/.f64 z (/.f64 t (/.f64 z t))))
1.1b
(*.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))))
▶0.6b
(*.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) (*.f64 (*.f64 (sqrt.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)))) (sqrt.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))))) (hypot.f64 (/.f64 z t) (/.f64 x y))))
1.1b
(*.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) (*.f64 (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)))) (cbrt.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))))) (cbrt.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))))) (hypot.f64 (/.f64 z t) (/.f64 x y))))
Compiler

Compiled 11783 to 3449 computations (70.7% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.3b
(*.f64 (*.f64 (sqrt.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)))) (sqrt.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))))) (hypot.f64 (/.f64 z t) (/.f64 x y)))
✓0.3b
(*.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) (*.f64 (*.f64 (sqrt.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)))) (sqrt.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))))) (hypot.f64 (/.f64 z t) (/.f64 x y))))
✓0.5b
(*.f64 (sqrt.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)))) (sqrt.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)))))
2.0b
(sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)))

series533.0ms (5.5%)

Counts
3 → 96
Calls

3 calls:

305.0ms
(*.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) (*.f64 (*.f64 (sqrt.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)))) (sqrt.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))))) (hypot.f64 (/.f64 z t) (/.f64 x y))))
142.0ms
(*.f64 (*.f64 (sqrt.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)))) (sqrt.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))))) (hypot.f64 (/.f64 z t) (/.f64 x y)))
85.0ms
(*.f64 (sqrt.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)))) (sqrt.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)))))

rewrite68.0ms (0.7%)

Algorithm
1×rewrite-expression-head
Rules
152×sqrt-pow1_binary64
106×pow1_binary64
77×sqrt-prod_binary64
75×pow-prod-up_binary64
65×add-sqr-sqrt_binary64
Counts
3 → 170
Calls

3 calls:

16.0ms
(*.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) (*.f64 (*.f64 (sqrt.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)))) (sqrt.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))))) (hypot.f64 (/.f64 z t) (/.f64 x y))))
11.0ms
(*.f64 (*.f64 (sqrt.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)))) (sqrt.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))))) (hypot.f64 (/.f64 z t) (/.f64 x y)))
9.0ms
(*.f64 (sqrt.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)))) (sqrt.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)))))

simplify142.0ms (1.5%)

Algorithm
1×egg-herbie
Rules
751×times-frac_binary64
417×associate-/r*_binary64
401×associate-/l*_binary64
358×fma-def_binary64
237×associate-*l*_binary64
Counts
266 → 203
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02426384
15385642
218085295
353165295

prune310.0ms (3.2%)

Pruning

12 alts after pruning (10 fresh and 2 done)

PrunedKeptTotal
New2921293
Fresh099
Picked011
Done011
Total29212304
Error
0b
Counts
304 → 12
Alt Table
StatusErrorProgram
0.6b
(*.f64 (sqrt.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)))) (*.f64 (sqrt.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)))) (*.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) (hypot.f64 (/.f64 z t) (/.f64 x y)))))
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)))))
1.2b
(*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)))) (cbrt.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))))) (*.f64 (pow.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) 3) (cbrt.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))))))
0.9b
(*.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) (*.f64 (*.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))))) (pow.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))))) 3)) (hypot.f64 (/.f64 z t) (/.f64 x y))))
0.8b
(*.f64 (sqrt.f64 (*.f64 (cbrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) (cbrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))))) (*.f64 (sqrt.f64 (cbrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)))) (*.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) (hypot.f64 (/.f64 z t) (/.f64 x y)))))
21.5b
(fma.f64 x (*.f64 (/.f64 1 y) (/.f64 x y)) (/.f64 (*.f64 z z) (*.f64 t t)))
1.2b
(*.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)) (*.f64 (*.f64 (cbrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) (cbrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)))) (cbrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)))))
✓0.4b
(*.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)) (hypot.f64 (/.f64 z t) (/.f64 x y)))
14.9b
(fma.f64 x (/.f64 x (*.f64 y y)) (/.f64 z (/.f64 t (/.f64 z t))))
1.1b
(*.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))))
✓0.6b
(*.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) (*.f64 (*.f64 (sqrt.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)))) (sqrt.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))))) (hypot.f64 (/.f64 z t) (/.f64 x y))))
1.1b
(*.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) (*.f64 (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)))) (cbrt.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))))) (cbrt.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))))) (hypot.f64 (/.f64 z t) (/.f64 x y))))
Compiler

Compiled 13295 to 3035 computations (77.2% saved)

regimes2.8s (29.1%)

Accuracy

Total 0.4b remaining (88.5%)

Threshold costs 0.4b (88.5%)

Counts
244 → 1
Compiler

Compiled 84236 to 37512 computations (55.5% saved)

simplify2.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0922
1922

end157.0ms (1.6%)

Compiler

Compiled 492 to 160 computations (67.5% saved)

Profiling

Loading profile data...