Details

Time bar (total: 8.2s)

analyze1.2s (14.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)

sample50.0ms (0.6%)

Algorithm
1×intervals
Results
14.0ms256×body128valid
11.0ms212×body128invalid
Compiler

Compiled 43 to 27 computations (37.2% 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

prune3.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
34.5b
Counts
3 → 2
Alt Table
StatusErrorProgram
▶34.5b
(fma.f64 x (/.f64 x (*.f64 y y)) (/.f64 (*.f64 z z) (*.f64 t t)))
39.2b
(+.f64 (/.f64 (*.f64 x 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
✓4.5b
(fma.f64 x (/.f64 x (*.f64 y y)) (/.f64 (*.f64 z z) (*.f64 t t)))
✓12.7b
(/.f64 x (*.f64 y y))
✓22.8b
(/.f64 (*.f64 z z) (*.f64 t t))

series161.0ms (2%)

Counts
3 → 96
Calls

3 calls:

105.0ms
(fma.f64 x (/.f64 x (*.f64 y y)) (/.f64 (*.f64 z z) (*.f64 t t)))
31.0ms
(/.f64 (*.f64 z z) (*.f64 t t))
25.0ms
(/.f64 x (*.f64 y y))

rewrite15.0ms (0.2%)

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:

9.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.3%)

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

prune80.0ms (1%)

Pruning

11 alts after pruning (11 fresh and 0 done)

PrunedKeptTotal
New641175
Fresh101
Picked101
Done000
Total661177
Error
0.1b
Counts
77 → 11
Alt Table
StatusErrorProgram
47.2b
(cbrt.f64 (*.f64 (*.f64 (fma.f64 x (/.f64 x (*.f64 y y)) (/.f64 (*.f64 z z) (*.f64 t t))) (fma.f64 x (/.f64 x (*.f64 y y)) (/.f64 (*.f64 z z) (*.f64 t t)))) (fma.f64 x (/.f64 x (*.f64 y y)) (/.f64 (*.f64 z z) (*.f64 t t)))))
44.7b
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
24.9b
(fma.f64 x (/.f64 (/.f64 x y) y) (/.f64 (*.f64 z z) (*.f64 t t)))
21.4b
(fma.f64 x (/.f64 x (*.f64 y y)) (/.f64 z (/.f64 t (/.f64 z t))))
38.6b
(fma.f64 x (cbrt.f64 (*.f64 (*.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y))) (/.f64 x (*.f64 y y)))) (/.f64 (*.f64 z z) (*.f64 t t)))
▶0.4b
(*.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)) (hypot.f64 (/.f64 z t) (/.f64 x y)))
22.7b
(fma.f64 x (/.f64 x (*.f64 y y)) (/.f64 (*.f64 z (/.f64 z t)) t))
35.3b
(fma.f64 x (/.f64 x (*.f64 y y)) (*.f64 (*.f64 z z) (/.f64 1 (*.f64 t t))))
25.0b
(fma.f64 x (*.f64 (/.f64 1 y) (/.f64 x y)) (/.f64 (*.f64 z z) (*.f64 t t)))
25.2b
(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)))
34.1b
(fma.f64 x (/.f64 x (*.f64 y y)) (cbrt.f64 (pow.f64 (/.f64 z t) 6)))
Compiler

Compiled 1912 to 515 computations (73.1% saved)

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

series349.0ms (4.3%)

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)))
56.0ms
(hypot.f64 (/.f64 z t) (/.f64 x y))

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

simplify75.0ms (0.9%)

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

prune126.0ms (1.5%)

Pruning

15 alts after pruning (14 fresh and 1 done)

PrunedKeptTotal
New1227129
Fresh3710
Picked011
Done000
Total12515140
Error
0.0b
Counts
140 → 15
Alt Table
StatusErrorProgram
38.6b
(fma.f64 x (cbrt.f64 (*.f64 (*.f64 (/.f64 x (*.f64 y y)) (/.f64 x (*.f64 y y))) (/.f64 x (*.f64 y y)))) (/.f64 (*.f64 z z) (*.f64 t t)))
1.1b
(*.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)))))
1.4b
(*.f64 (*.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) 4)) (cbrt.f64 (pow.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) 4))) (cbrt.f64 (pow.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) 4)))
24.9b
(fma.f64 x (/.f64 (/.f64 x y) y) (/.f64 (*.f64 z z) (*.f64 t t)))
21.4b
(fma.f64 x (/.f64 x (*.f64 y y)) (/.f64 z (/.f64 t (/.f64 z t))))
18.7b
(*.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)) (cbrt.f64 (pow.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)) 3)))
25.2b
(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)))
▶0.6b
(*.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))))
✓0.4b
(*.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)) (hypot.f64 (/.f64 z t) (/.f64 x y)))
44.7b
(/.f64 (pow.f64 x 2) (pow.f64 y 2))
0.8b
(pow.f64 (pow.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) 4) 1)
35.3b
(fma.f64 x (/.f64 x (*.f64 y y)) (*.f64 (*.f64 z z) (/.f64 1 (*.f64 t t))))
1.1b
(*.f64 (*.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)) (*.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))))
34.1b
(fma.f64 x (/.f64 x (*.f64 y y)) (cbrt.f64 (pow.f64 (/.f64 z t) 6)))
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 4394 to 1565 computations (64.4% 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.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))))
✓0.3b
(*.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) (hypot.f64 (/.f64 z t) (/.f64 x y)))
✓1.7b
(sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)))

series513.0ms (6.2%)

Counts
3 → 96
Calls

3 calls:

297.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))))
137.0ms
(*.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) (hypot.f64 (/.f64 z t) (/.f64 x y)))
79.0ms
(sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)))

rewrite20.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))))
6.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)))

simplify182.0ms (2.2%)

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
01985187
14764629
213844233
348484233
453224233

prune293.0ms (3.6%)

Pruning

16 alts after pruning (15 fresh and 1 done)

PrunedKeptTotal
New2827289
Fresh5813
Picked101
Done011
Total28816304
Error
0.0b
Counts
304 → 16
Alt Table
StatusErrorProgram
1.1b
(*.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)))))
1.4b
(*.f64 (*.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) 4)) (cbrt.f64 (pow.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) 4))) (cbrt.f64 (pow.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) 4)))
✓0.4b
(*.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)) (hypot.f64 (/.f64 z t) (/.f64 x y)))
0.8b
(pow.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) 4)
0.8b
(*.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) (*.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)))) (hypot.f64 (/.f64 z t) (/.f64 x y)))))
24.9b
(fma.f64 x (/.f64 (/.f64 x y) y) (/.f64 (*.f64 z z) (*.f64 t t)))
21.4b
(fma.f64 x (/.f64 x (*.f64 y y)) (/.f64 z (/.f64 t (/.f64 z t))))
18.7b
(*.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)) (cbrt.f64 (pow.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)) 3)))
1.3b
(*.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))))))
1.2b
(*.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) (*.f64 (*.f64 (cbrt.f64 (*.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) (hypot.f64 (/.f64 z t) (/.f64 x y)))) (cbrt.f64 (*.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) (hypot.f64 (/.f64 z t) (/.f64 x y))))) (cbrt.f64 (*.f64 (sqrt.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))) (*.f64 (*.f64 (fabs.f64 (cbrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)))) (sqrt.f64 (cbrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))))) (hypot.f64 (/.f64 z t) (/.f64 x y))))
0.7b
(*.f64 (cbrt.f64 (*.f64 (*.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)))) (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))))
35.3b
(fma.f64 x (/.f64 x (*.f64 y y)) (*.f64 (*.f64 z z) (/.f64 1 (*.f64 t t))))
1.1b
(*.f64 (*.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)) (*.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))))
34.1b
(fma.f64 x (/.f64 x (*.f64 y y)) (cbrt.f64 (pow.f64 (/.f64 z t) 6)))
▶0.7b
(*.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))))) (*.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) (hypot.f64 (/.f64 z t) (/.f64 x y))))
Compiler

Compiled 12023 to 3579 computations (70.2% 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))))) (*.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))) (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)))))
1.7b
(sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)))

series398.0ms (4.9%)

Counts
2 → 72
Calls

2 calls:

325.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))))) (*.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) (hypot.f64 (/.f64 z t) (/.f64 x y))))
74.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)))))

rewrite57.0ms (0.7%)

Algorithm
1×rewrite-expression-head
Rules
122×sqrt-pow1_binary64
91×pow1_binary64
74×sqrt-prod_binary64
71×pow-prod-up_binary64
66×add-sqr-sqrt_binary64
Counts
2 → 140
Calls

2 calls:

17.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))))) (*.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) (hypot.f64 (/.f64 z t) (/.f64 x y))))
12.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)))))

simplify151.0ms (1.8%)

Algorithm
1×egg-herbie
Rules
558×times-frac_binary64
319×*-commutative_binary64
278×associate-/l*_binary64
258×associate-/r*_binary64
206×fma-def_binary64
Counts
212 → 150
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01804512
13764000
212063735
341963593
449263593
549453593

prune318.0ms (3.9%)

Pruning

16 alts after pruning (14 fresh and 2 done)

PrunedKeptTotal
New2933296
Fresh31114
Picked011
Done011
Total29616312
Error
0.0b
Counts
312 → 16
Alt Table
StatusErrorProgram
✓0.4b
(*.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)) (hypot.f64 (/.f64 z t) (/.f64 x y)))
0.8b
(pow.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) 4)
0.8b
(*.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) (*.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)))) (hypot.f64 (/.f64 z t) (/.f64 x y)))))
24.9b
(fma.f64 x (/.f64 (/.f64 x y) y) (/.f64 (*.f64 z z) (*.f64 t t)))
21.4b
(fma.f64 x (/.f64 x (*.f64 y y)) (/.f64 z (/.f64 t (/.f64 z t))))
18.7b
(*.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)) (cbrt.f64 (pow.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)) 3)))
0.6b
(*.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))))) (pow.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)) 3/2))
1.1b
(*.f64 (*.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)) (*.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.9b
(*.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)) (*.f64 (sqrt.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))) (*.f64 (*.f64 (fabs.f64 (cbrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)))) (sqrt.f64 (cbrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))))) (hypot.f64 (/.f64 z t) (/.f64 x y))))
1.1b
(*.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.7b
(*.f64 (cbrt.f64 (*.f64 (*.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y)))) (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))))
35.3b
(fma.f64 x (/.f64 x (*.f64 y y)) (*.f64 (*.f64 z z) (/.f64 1 (*.f64 t t))))
34.1b
(fma.f64 x (/.f64 x (*.f64 y y)) (cbrt.f64 (pow.f64 (/.f64 z t) 6)))
0.7b
(*.f64 (*.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))))) (*.f64 (sqrt.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)))))) (*.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) (hypot.f64 (/.f64 z t) (/.f64 x y))))
✓0.7b
(*.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))))) (*.f64 (sqrt.f64 (hypot.f64 (/.f64 z t) (/.f64 x y))) (hypot.f64 (/.f64 z t) (/.f64 x y))))
Compiler

Compiled 13655 to 2926 computations (78.6% saved)

regimes2.5s (30.5%)

Accuracy

Total 0.4b remaining (91.4%)

Threshold costs 0.4b (91.4%)

Counts
208 → 1
Compiler

Compiled 69836 to 30615 computations (56.2% saved)

simplify2.0ms (0%)

Algorithm
1×egg-herbie
Rules
1×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.6s (19.2%)

Algorithm
1×intervals
Results
510.0ms8000×body128valid
346.0ms5961×body128invalid
Compiler

Compiled 547 to 215 computations (60.7% saved)

Profiling

Loading profile data...