Date:Thursday, October 7th, 2021
Commit:d3249e97 on master
Hostname:warfa with Racket 8.1
Seed:2021280
Parameters:256 points for 4 iterations
Flags:
precision:fallbackreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplify
default

Details

Time bar (total: 4.5min)

simplify1.8min (39.4%)

Algorithm
70×egg-herbie
Rules
20480×fma-def_binary64
14386×unswap-sqr_binary64
12288×sqr-pow_binary64
10788×fma-neg_binary64
10523×*-commutative_binary64
Counts
5850 → 5650

analyze51.7s (19%)

Algorithm
13×search
Search
TrueOtherFalseIter
0%76.9%23.1%0
0%76.9%23.1%1
0%76.9%23.1%2
25%51.9%23.1%3
34.6%42.3%23.1%4
39.9%37%23.1%5
42.3%33.9%23.8%6
45.6%30.4%24%7
47.2%28.4%24.4%8
49%26.5%24.5%9
50.8%24.3%24.9%10
51.4%23.5%25.1%11
52.1%22.5%25.4%12
52.8%21.6%25.6%13
53%21%25.9%14
Compiler

Compiled 211 to 152 computations (28% saved)

rewrite41.3s (15.2%)

Algorithm
45×rewrite-expression-head
Rules
179428×cbrt-div_binary64
100667×frac-times_binary64
73238×associate-*l/_binary64
60571×neg-sub0_binary64
60569×exp-diff_binary64
Counts
117 → 24252
Calls

93 calls:

415.0ms
(*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (cbrt.f64 (exp.f64 (neg.f64 w)))) (*.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (pow.f64 l (exp.f64 w))))) (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (cbrt.f64 (exp.f64 (neg.f64 w)))) (*.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (pow.f64 l (exp.f64 w)))))) (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (cbrt.f64 (exp.f64 (neg.f64 w)))) (*.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (pow.f64 l (exp.f64 w))))))
71.0ms
(-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a))
59.0ms
(*.f64 (sqrt.f64 (sqrt.f64 (hypot.f64 x x))) (pow.f64 (sqrt.f64 (sqrt.f64 (hypot.f64 x x))) 3))
59.0ms
(*.f64 (sqrt.f64 (hypot.f64 x x)) (sqrt.f64 (hypot.f64 x x)))
33.0ms
(+.f64 (/.f64 x hi) (neg.f64 (pow.f64 (/.f64 lo hi) 3)))

sample29.0s (10.7%)

Algorithm
25×intervals
Results
7.8s16956×body1024valid
5.1s1784×body8192exit
3.7s71508×body128valid
1.9s6919×body512valid
1.4s24768×pre128true
767.0ms807×body2048valid
756.0ms1743×body1024nan
584.0ms3138×body256valid
224.0ms830×body512nan
205.0ms1981×body128invalid
110.0ms225×body1024invalid
77.0ms247×body512invalid
71.0ms415×body256nan
35.0ms173×body256invalid
35.0ms392×body128nan
0.0ms2×body128overflowed
Compiler

Compiled 3764 to 2143 computations (43.1% saved)

series16.8s (6.2%)

Counts
117 → 2172
Calls

93 calls:

2.7s
(*.f64 (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (cbrt.f64 (exp.f64 (neg.f64 w)))) (*.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (pow.f64 l (exp.f64 w))))) (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (cbrt.f64 (exp.f64 (neg.f64 w)))) (*.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (pow.f64 l (exp.f64 w))))))
1.9s
(cbrt.f64 (*.f64 (*.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (cbrt.f64 (exp.f64 (neg.f64 w)))) (*.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (pow.f64 l (exp.f64 w)))))
1.5s
(pow.f64 (sqrt.f64 (sqrt.f64 (hypot.f64 x x))) 3)
1.2s
(sqrt.f64 (sqrt.f64 (hypot.f64 x x)))
883.0ms
(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (pow.f64 c 2) (*.f64 (*.f64 x (pow.f64 s 2)) x)))

regimes16.6s (6.1%)

Counts
1848 → 13
Compiler

Compiled 312621 to 179961 computations (42.4% saved)

prune8.9s (3.3%)

Counts
7371 → 414
Alt Table
StatusErrorProgram
51.6b
(+.f64 (/.f64 x hi) (neg.f64 (*.f64 (pow.f64 (*.f64 (cbrt.f64 (/.f64 lo hi)) (cbrt.f64 (/.f64 lo hi))) 3) (pow.f64 (cbrt.f64 (/.f64 lo hi)) 3))))
51.9b
(+.f64 (/.f64 x hi) (/.f64 (-.f64 (*.f64 (pow.f64 (cbrt.f64 (/.f64 lo hi)) 6) (*.f64 (+.f64 (/.f64 x hi) (-.f64 -1 (/.f64 lo hi))) (+.f64 (/.f64 x hi) (-.f64 -1 (/.f64 lo hi))))) (pow.f64 (/.f64 lo hi) 6)) (+.f64 (pow.f64 (/.f64 lo hi) 3) (*.f64 (/.f64 lo hi) (+.f64 (/.f64 x hi) (-.f64 -1 (/.f64 lo hi)))))))
51.6b
(*.f64 (*.f64 (cbrt.f64 (-.f64 (/.f64 x hi) (pow.f64 (/.f64 lo hi) 3))) (cbrt.f64 (-.f64 (/.f64 x hi) (pow.f64 (/.f64 lo hi) 3)))) (cbrt.f64 (-.f64 (/.f64 x hi) (pow.f64 (/.f64 lo hi) 3))))
57.8b
(+.f64 (/.f64 x hi) (-.f64 (fma.f64 (/.f64 x hi) (*.f64 1 (/.f64 lo hi)) (neg.f64 (pow.f64 (/.f64 lo hi) 2))) (pow.f64 (/.f64 lo hi) 3)))
51.6b
(log.f64 (*.f64 (exp.f64 (/.f64 x hi)) (/.f64 1 (exp.f64 (pow.f64 (/.f64 lo hi) 3)))))
52.3b
(+.f64 (/.f64 x hi) (-.f64 (fma.f64 (/.f64 x hi) (*.f64 (+.f64 (/.f64 lo hi) 1) (/.f64 lo hi)) (/.f64 (*.f64 lo (-.f64 1 (pow.f64 (/.f64 lo hi) 2))) (*.f64 hi (+.f64 -1 (/.f64 lo hi))))) (pow.f64 (/.f64 lo hi) 3)))
51.6b
(/.f64 (-.f64 (*.f64 (/.f64 x hi) (/.f64 x hi)) (pow.f64 (/.f64 lo hi) 6)) (+.f64 (pow.f64 (/.f64 lo hi) 3) (/.f64 x hi)))
51.9b
(+.f64 (/.f64 x hi) (+.f64 (fma.f64 (*.f64 (cbrt.f64 (fma.f64 (/.f64 x hi) (*.f64 1 (/.f64 lo hi)) (*.f64 (/.f64 lo hi) (-.f64 -1 (/.f64 lo hi))))) (cbrt.f64 (fma.f64 (/.f64 x hi) (*.f64 1 (/.f64 lo hi)) (*.f64 (/.f64 lo hi) (-.f64 -1 (/.f64 lo hi)))))) (cbrt.f64 (fma.f64 (/.f64 x hi) (*.f64 1 (/.f64 lo hi)) (*.f64 (/.f64 lo hi) (-.f64 -1 (/.f64 lo hi))))) (neg.f64 (*.f64 (pow.f64 (/.f64 (cbrt.f64 lo) (sqrt.f64 hi)) 3) (pow.f64 (/.f64 (*.f64 (cbrt.f64 lo) (cbrt.f64 lo)) (sqrt.f64 hi)) 3)))) (fma.f64 (neg.f64 (pow.f64 (/.f64 (cbrt.f64 lo) (sqrt.f64 hi)) 3)) (pow.f64 (/.f64 (*.f64 (cbrt.f64 lo) (cbrt.f64 lo)) (sqrt.f64 hi)) 3) (*.f64 (pow.f64 (/.f64 (cbrt.f64 lo) (sqrt.f64 hi)) 3) (pow.f64 (/.f64 (*.f64 (cbrt.f64 lo) (cbrt.f64 lo)) (sqrt.f64 hi)) 3)))))
51.6b
(pow.f64 (neg.f64 (/.f64 lo hi)) 3)
51.9b
(+.f64 (/.f64 x hi) (+.f64 (fma.f64 (*.f64 (cbrt.f64 (fma.f64 (/.f64 x hi) (*.f64 1 (/.f64 lo hi)) (*.f64 (/.f64 lo hi) (-.f64 -1 (/.f64 lo hi))))) (cbrt.f64 (fma.f64 (/.f64 x hi) (*.f64 1 (/.f64 lo hi)) (*.f64 (/.f64 lo hi) (-.f64 -1 (/.f64 lo hi)))))) (cbrt.f64 (fma.f64 (/.f64 x hi) (*.f64 1 (/.f64 lo hi)) (*.f64 (/.f64 lo hi) (-.f64 -1 (/.f64 lo hi))))) (neg.f64 (*.f64 (pow.f64 (/.f64 (cbrt.f64 lo) (cbrt.f64 hi)) 3) (pow.f64 (/.f64 (*.f64 (cbrt.f64 lo) (cbrt.f64 lo)) (*.f64 (cbrt.f64 hi) (cbrt.f64 hi))) 3)))) (fma.f64 (neg.f64 (pow.f64 (/.f64 (cbrt.f64 lo) (cbrt.f64 hi)) 3)) (pow.f64 (/.f64 (*.f64 (cbrt.f64 lo) (cbrt.f64 lo)) (*.f64 (cbrt.f64 hi) (cbrt.f64 hi))) 3) (*.f64 (pow.f64 (/.f64 (cbrt.f64 lo) (cbrt.f64 hi)) 3) (pow.f64 (/.f64 (*.f64 (cbrt.f64 lo) (cbrt.f64 lo)) (*.f64 (cbrt.f64 hi) (cbrt.f64 hi))) 3)))))
51.6b
(/.f64 (-.f64 (pow.f64 (/.f64 x hi) 3) (pow.f64 (pow.f64 (/.f64 lo hi) 3) 3)) (+.f64 (pow.f64 (/.f64 lo hi) 6) (*.f64 (/.f64 x hi) (+.f64 (pow.f64 (/.f64 lo hi) 3) (/.f64 x hi)))))
51.9b
(+.f64 (/.f64 x hi) (+.f64 (fma.f64 (*.f64 (cbrt.f64 (fma.f64 (/.f64 x hi) (*.f64 1 (/.f64 lo hi)) (*.f64 (/.f64 lo hi) (-.f64 -1 (/.f64 lo hi))))) (cbrt.f64 (fma.f64 (/.f64 x hi) (*.f64 1 (/.f64 lo hi)) (*.f64 (/.f64 lo hi) (-.f64 -1 (/.f64 lo hi)))))) (cbrt.f64 (fma.f64 (/.f64 x hi) (*.f64 1 (/.f64 lo hi)) (*.f64 (/.f64 lo hi) (-.f64 -1 (/.f64 lo hi))))) (neg.f64 (*.f64 (pow.f64 (cbrt.f64 (/.f64 lo hi)) 3) (pow.f64 (*.f64 (cbrt.f64 (/.f64 lo hi)) (cbrt.f64 (/.f64 lo hi))) 3)))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 (/.f64 lo hi)) 3)) (pow.f64 (*.f64 (cbrt.f64 (/.f64 lo hi)) (cbrt.f64 (/.f64 lo hi))) 3) (*.f64 (pow.f64 (cbrt.f64 (/.f64 lo hi)) 3) (pow.f64 (*.f64 (cbrt.f64 (/.f64 lo hi)) (cbrt.f64 (/.f64 lo hi))) 3)))))
57.8b
(-.f64 (+.f64 1 (+.f64 (*.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 hi lo)) (pow.f64 (/.f64 hi lo) 3))) (+.f64 (/.f64 x lo) (*.f64 (/.f64 x lo) (*.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 hi lo)))))
57.8b
(+.f64 (/.f64 x hi) (-.f64 (neg.f64 (pow.f64 (/.f64 lo hi) 3)) (pow.f64 (cbrt.f64 (/.f64 lo hi)) 6)))
51.6b
(+.f64 (/.f64 x hi) (neg.f64 (log1p.f64 (expm1.f64 (pow.f64 (/.f64 lo hi) 3)))))
51.6b
(*.f64 (sqrt.f64 (-.f64 (/.f64 x hi) (pow.f64 (/.f64 lo hi) 3))) (sqrt.f64 (-.f64 (/.f64 x hi) (pow.f64 (/.f64 lo hi) 3))))
52.0b
(-.f64 (+.f64 1 (*.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 hi lo))) (*.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 x lo)))
51.6b
(+.f64 (/.f64 x hi) (neg.f64 (*.f64 (pow.f64 (/.f64 (*.f64 (cbrt.f64 lo) (cbrt.f64 lo)) (*.f64 (cbrt.f64 hi) (cbrt.f64 hi))) 3) (pow.f64 (/.f64 (cbrt.f64 lo) (cbrt.f64 hi)) 3))))
51.6b
(+.f64 (/.f64 x hi) (neg.f64 (*.f64 (pow.f64 (/.f64 (*.f64 (cbrt.f64 lo) (cbrt.f64 lo)) (sqrt.f64 hi)) 3) (pow.f64 (/.f64 (cbrt.f64 lo) (sqrt.f64 hi)) 3))))
51.9b
(+.f64 (/.f64 x hi) (+.f64 (fma.f64 (*.f64 (cbrt.f64 (fma.f64 (/.f64 x hi) (*.f64 1 (/.f64 lo hi)) (*.f64 (/.f64 lo hi) (-.f64 -1 (/.f64 lo hi))))) (cbrt.f64 (fma.f64 (/.f64 x hi) (*.f64 1 (/.f64 lo hi)) (*.f64 (/.f64 lo hi) (-.f64 -1 (/.f64 lo hi)))))) (cbrt.f64 (fma.f64 (/.f64 x hi) (*.f64 1 (/.f64 lo hi)) (*.f64 (/.f64 lo hi) (-.f64 -1 (/.f64 lo hi))))) (neg.f64 (*.f64 (cbrt.f64 (pow.f64 (/.f64 lo hi) 3)) (*.f64 (cbrt.f64 (pow.f64 (/.f64 lo hi) 3)) (cbrt.f64 (pow.f64 (/.f64 lo hi) 3)))))) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 (/.f64 lo hi) 3))) (*.f64 (cbrt.f64 (pow.f64 (/.f64 lo hi) 3)) (cbrt.f64 (pow.f64 (/.f64 lo hi) 3))) (*.f64 (cbrt.f64 (pow.f64 (/.f64 lo hi) 3)) (*.f64 (cbrt.f64 (pow.f64 (/.f64 lo hi) 3)) (cbrt.f64 (pow.f64 (/.f64 lo hi) 3)))))))
51.9b
(+.f64 (/.f64 x hi) (-.f64 (fma.f64 (/.f64 x hi) (*.f64 1 (/.f64 lo hi)) (+.f64 (*.f64 (/.f64 lo hi) -1) (*.f64 (/.f64 lo hi) (*.f64 (neg.f64 (*.f64 (cbrt.f64 (/.f64 lo hi)) (cbrt.f64 (/.f64 lo hi)))) (cbrt.f64 (/.f64 lo hi)))))) (pow.f64 (/.f64 lo hi) 3)))
51.9b
(+.f64 (/.f64 x hi) (/.f64 (-.f64 (*.f64 (pow.f64 (cbrt.f64 (/.f64 lo hi)) 6) (*.f64 (+.f64 (/.f64 x hi) (-.f64 -1 (/.f64 lo hi))) (+.f64 (/.f64 x hi) (-.f64 -1 (/.f64 lo hi))))) (pow.f64 (/.f64 lo hi) 6)) (+.f64 (pow.f64 (/.f64 lo hi) 3) (*.f64 (/.f64 lo hi) (+.f64 (/.f64 x hi) (-.f64 -1 (/.f64 lo hi)))))))
▶51.6b
(+.f64 (/.f64 x hi) (neg.f64 (pow.f64 (/.f64 lo hi) 3)))
57.8b
(-.f64 (+.f64 1 (+.f64 (*.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 hi lo)) (pow.f64 (/.f64 hi lo) 3))) (+.f64 (/.f64 x lo) (*.f64 (/.f64 x lo) (*.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 hi lo)))))
57.8b
(+.f64 (/.f64 x hi) (-.f64 (neg.f64 (pow.f64 (/.f64 lo hi) 3)) (pow.f64 (cbrt.f64 (/.f64 lo hi)) 6)))
57.8b
(+.f64 (/.f64 x hi) (-.f64 (fma.f64 (/.f64 x hi) (*.f64 1 (/.f64 lo hi)) (neg.f64 (pow.f64 (/.f64 lo hi) 2))) (pow.f64 (/.f64 lo hi) 3)))
52.3b
(+.f64 (/.f64 x hi) (-.f64 (fma.f64 (/.f64 x hi) (*.f64 1 (/.f64 lo hi)) (/.f64 (*.f64 lo (-.f64 1 (pow.f64 (/.f64 lo hi) 2))) (*.f64 hi (+.f64 -1 (/.f64 lo hi))))) (pow.f64 (/.f64 lo hi) 3)))
52.3b
(+.f64 (/.f64 x hi) (-.f64 (fma.f64 (/.f64 x hi) (*.f64 (+.f64 (/.f64 lo hi) 1) (/.f64 lo hi)) (/.f64 (*.f64 lo (-.f64 1 (pow.f64 (/.f64 lo hi) 2))) (*.f64 hi (+.f64 -1 (/.f64 lo hi))))) (pow.f64 (/.f64 lo hi) 3)))
51.9b
(+.f64 (/.f64 x hi) (+.f64 (fma.f64 (*.f64 (cbrt.f64 (fma.f64 (/.f64 x hi) (*.f64 1 (/.f64 lo hi)) (*.f64 (/.f64 lo hi) (-.f64 -1 (/.f64 lo hi))))) (cbrt.f64 (fma.f64 (/.f64 x hi) (*.f64 1 (/.f64 lo hi)) (*.f64 (/.f64 lo hi) (-.f64 -1 (/.f64 lo hi)))))) (cbrt.f64 (fma.f64 (/.f64 x hi) (*.f64 1 (/.f64 lo hi)) (*.f64 (/.f64 lo hi) (-.f64 -1 (/.f64 lo hi))))) (neg.f64 (*.f64 (cbrt.f64 (pow.f64 (/.f64 lo hi) 3)) (*.f64 (cbrt.f64 (pow.f64 (/.f64 lo hi) 3)) (cbrt.f64 (pow.f64 (/.f64 lo hi) 3)))))) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 (/.f64 lo hi) 3))) (*.f64 (cbrt.f64 (pow.f64 (/.f64 lo hi) 3)) (cbrt.f64 (pow.f64 (/.f64 lo hi) 3))) (*.f64 (cbrt.f64 (pow.f64 (/.f64 lo hi) 3)) (*.f64 (cbrt.f64 (pow.f64 (/.f64 lo hi) 3)) (cbrt.f64 (pow.f64 (/.f64 lo hi) 3)))))))
51.9b
(+.f64 (/.f64 x hi) (-.f64 (fma.f64 (/.f64 x hi) (*.f64 1 (/.f64 lo hi)) (+.f64 (*.f64 (/.f64 lo hi) -1) (*.f64 (/.f64 lo hi) (*.f64 (neg.f64 (*.f64 (cbrt.f64 (/.f64 lo hi)) (cbrt.f64 (/.f64 lo hi)))) (cbrt.f64 (/.f64 lo hi)))))) (pow.f64 (/.f64 lo hi) 3)))
51.9b
(+.f64 (/.f64 x hi) (+.f64 (fma.f64 (*.f64 (cbrt.f64 (fma.f64 (/.f64 x hi) (*.f64 1 (/.f64 lo hi)) (*.f64 (/.f64 lo hi) (-.f64 -1 (/.f64 lo hi))))) (cbrt.f64 (fma.f64 (/.f64 x hi) (*.f64 1 (/.f64 lo hi)) (*.f64 (/.f64 lo hi) (-.f64 -1 (/.f64 lo hi)))))) (cbrt.f64 (fma.f64 (/.f64 x hi) (*.f64 1 (/.f64 lo hi)) (*.f64 (/.f64 lo hi) (-.f64 -1 (/.f64 lo hi))))) (neg.f64 (*.f64 (pow.f64 (/.f64 (cbrt.f64 lo) (sqrt.f64 hi)) 3) (pow.f64 (/.f64 (*.f64 (cbrt.f64 lo) (cbrt.f64 lo)) (sqrt.f64 hi)) 3)))) (fma.f64 (neg.f64 (pow.f64 (/.f64 (cbrt.f64 lo) (sqrt.f64 hi)) 3)) (pow.f64 (/.f64 (*.f64 (cbrt.f64 lo) (cbrt.f64 lo)) (sqrt.f64 hi)) 3) (*.f64 (pow.f64 (/.f64 (cbrt.f64 lo) (sqrt.f64 hi)) 3) (pow.f64 (/.f64 (*.f64 (cbrt.f64 lo) (cbrt.f64 lo)) (sqrt.f64 hi)) 3)))))
51.9b
(+.f64 (/.f64 x hi) (+.f64 (fma.f64 (*.f64 (cbrt.f64 (fma.f64 (/.f64 x hi) (*.f64 1 (/.f64 lo hi)) (*.f64 (/.f64 lo hi) (-.f64 -1 (/.f64 lo hi))))) (cbrt.f64 (fma.f64 (/.f64 x hi) (*.f64 1 (/.f64 lo hi)) (*.f64 (/.f64 lo hi) (-.f64 -1 (/.f64 lo hi)))))) (cbrt.f64 (fma.f64 (/.f64 x hi) (*.f64 1 (/.f64 lo hi)) (*.f64 (/.f64 lo hi) (-.f64 -1 (/.f64 lo hi))))) (neg.f64 (*.f64 (pow.f64 (/.f64 (cbrt.f64 lo) (cbrt.f64 hi)) 3) (pow.f64 (/.f64 (*.f64 (cbrt.f64 lo) (cbrt.f64 lo)) (*.f64 (cbrt.f64 hi) (cbrt.f64 hi))) 3)))) (fma.f64 (neg.f64 (pow.f64 (/.f64 (cbrt.f64 lo) (cbrt.f64 hi)) 3)) (pow.f64 (/.f64 (*.f64 (cbrt.f64 lo) (cbrt.f64 lo)) (*.f64 (cbrt.f64 hi) (cbrt.f64 hi))) 3) (*.f64 (pow.f64 (/.f64 (cbrt.f64 lo) (cbrt.f64 hi)) 3) (pow.f64 (/.f64 (*.f64 (cbrt.f64 lo) (cbrt.f64 lo)) (*.f64 (cbrt.f64 hi) (cbrt.f64 hi))) 3)))))
51.9b
(+.f64 (/.f64 x hi) (+.f64 (fma.f64 (*.f64 (cbrt.f64 (fma.f64 (/.f64 x hi) (*.f64 1 (/.f64 lo hi)) (*.f64 (/.f64 lo hi) (-.f64 -1 (/.f64 lo hi))))) (cbrt.f64 (fma.f64 (/.f64 x hi) (*.f64 1 (/.f64 lo hi)) (*.f64 (/.f64 lo hi) (-.f64 -1 (/.f64 lo hi)))))) (cbrt.f64 (fma.f64 (/.f64 x hi) (*.f64 1 (/.f64 lo hi)) (*.f64 (/.f64 lo hi) (-.f64 -1 (/.f64 lo hi))))) (neg.f64 (*.f64 (pow.f64 (cbrt.f64 (/.f64 lo hi)) 3) (pow.f64 (*.f64 (cbrt.f64 (/.f64 lo hi)) (cbrt.f64 (/.f64 lo hi))) 3)))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 (/.f64 lo hi)) 3)) (pow.f64 (*.f64 (cbrt.f64 (/.f64 lo hi)) (cbrt.f64 (/.f64 lo hi))) 3) (*.f64 (pow.f64 (cbrt.f64 (/.f64 lo hi)) 3) (pow.f64 (*.f64 (cbrt.f64 (/.f64 lo hi)) (cbrt.f64 (/.f64 lo hi))) 3)))))
52.0b
(-.f64 (+.f64 1 (*.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 hi lo))) (*.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 x lo)))
51.9b
(+.f64 (/.f64 x hi) (-.f64 (fma.f64 (/.f64 x hi) (*.f64 (+.f64 (/.f64 lo hi) 1) (/.f64 lo hi)) (*.f64 (/.f64 lo hi) (-.f64 -1 (/.f64 lo hi)))) (*.f64 (pow.f64 (*.f64 (cbrt.f64 (/.f64 lo hi)) (cbrt.f64 (/.f64 lo hi))) 3) (pow.f64 (cbrt.f64 (/.f64 lo hi)) 3))))
▶51.9b
(+.f64 (/.f64 x hi) (-.f64 (fma.f64 (/.f64 x hi) (*.f64 1 (/.f64 lo hi)) (*.f64 (/.f64 lo hi) (-.f64 -1 (/.f64 lo hi)))) (pow.f64 (/.f64 lo hi) 3)))
51.9b
(+.f64 (/.f64 x hi) (-.f64 (fma.f64 (/.f64 x hi) (*.f64 (+.f64 (/.f64 lo hi) 1) (/.f64 lo hi)) (+.f64 (*.f64 -1 (/.f64 lo hi)) (*.f64 (*.f64 (neg.f64 (*.f64 (cbrt.f64 (/.f64 lo hi)) (cbrt.f64 (/.f64 lo hi)))) (cbrt.f64 (/.f64 lo hi))) (/.f64 lo hi)))) (pow.f64 (/.f64 lo hi) 3)))
51.9b
(+.f64 (/.f64 x hi) (-.f64 (fma.f64 (/.f64 x hi) (*.f64 (+.f64 (/.f64 lo hi) 1) (/.f64 lo hi)) (*.f64 (/.f64 lo hi) (*.f64 (*.f64 (cbrt.f64 (-.f64 -1 (/.f64 lo hi))) (cbrt.f64 (-.f64 -1 (/.f64 lo hi)))) (cbrt.f64 (-.f64 -1 (/.f64 lo hi)))))) (pow.f64 (/.f64 lo hi) 3)))
51.9b
(+.f64 (/.f64 x hi) (-.f64 (fma.f64 (/.f64 x hi) (*.f64 (+.f64 (/.f64 lo hi) 1) (/.f64 lo hi)) (*.f64 (/.f64 lo hi) (-.f64 -1 (/.f64 lo hi)))) (*.f64 (pow.f64 (/.f64 (*.f64 (cbrt.f64 lo) (cbrt.f64 lo)) (*.f64 (cbrt.f64 hi) (cbrt.f64 hi))) 3) (pow.f64 (/.f64 (cbrt.f64 lo) (cbrt.f64 hi)) 3))))
57.8b
(+.f64 (/.f64 x hi) (-.f64 (fma.f64 (/.f64 x hi) (*.f64 (+.f64 (/.f64 lo hi) 1) (/.f64 lo hi)) (neg.f64 (pow.f64 (/.f64 lo hi) 2))) (pow.f64 (/.f64 lo hi) 3)))
52.3b
(+.f64 (/.f64 x hi) (-.f64 (fma.f64 (/.f64 x hi) (*.f64 (+.f64 (/.f64 lo hi) 1) (/.f64 lo hi)) (/.f64 (*.f64 lo (-.f64 1 (pow.f64 (/.f64 lo hi) 2))) (*.f64 hi (+.f64 -1 (/.f64 lo hi))))) (pow.f64 (/.f64 lo hi) 3)))
51.9b
(+.f64 (/.f64 x hi) (-.f64 (fma.f64 (/.f64 x hi) (*.f64 (+.f64 (/.f64 lo hi) 1) (/.f64 lo hi)) (*.f64 (*.f64 (cbrt.f64 (*.f64 (/.f64 lo hi) (-.f64 -1 (/.f64 lo hi)))) (cbrt.f64 (*.f64 (/.f64 lo hi) (-.f64 -1 (/.f64 lo hi))))) (cbrt.f64 (*.f64 (/.f64 lo hi) (-.f64 -1 (/.f64 lo hi)))))) (pow.f64 (/.f64 lo hi) 3)))
51.9b
(+.f64 (/.f64 x hi) (-.f64 (fma.f64 (/.f64 x hi) (*.f64 (+.f64 (/.f64 lo hi) 1) (/.f64 lo hi)) (*.f64 lo (*.f64 (/.f64 1 hi) (-.f64 -1 (/.f64 lo hi))))) (pow.f64 (/.f64 lo hi) 3)))
57.8b
(-.f64 (+.f64 1 (+.f64 (*.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 hi lo)) (pow.f64 (/.f64 hi lo) 3))) (+.f64 (/.f64 x lo) (*.f64 (/.f64 x lo) (*.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 hi lo)))))
52.0b
(-.f64 (+.f64 1 (*.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 hi lo))) (*.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 x lo)))
57.6b
(+.f64 (/.f64 x hi) (fma.f64 (/.f64 x hi) (*.f64 (+.f64 (/.f64 lo hi) 1) (/.f64 lo hi)) (*.f64 (/.f64 lo hi) (-.f64 -1 (/.f64 lo hi)))))
▶51.9b
(+.f64 (/.f64 x hi) (-.f64 (fma.f64 (/.f64 x hi) (*.f64 (+.f64 (/.f64 lo hi) 1) (/.f64 lo hi)) (*.f64 (/.f64 lo hi) (-.f64 -1 (/.f64 lo hi)))) (pow.f64 (/.f64 lo hi) 3)))
57.8b
(-.f64 (+.f64 1 (+.f64 (*.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 hi lo)) (pow.f64 (/.f64 hi lo) 3))) (+.f64 (/.f64 x lo) (*.f64 (/.f64 x lo) (*.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 hi lo)))))
52.0b
(-.f64 (+.f64 1 (*.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 hi lo))) (*.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 x lo)))
▶62.0b
(/.f64 (-.f64 x lo) (-.f64 hi lo))
8.0b
(*.f64 (exp.f64 (neg.f64 w)) (+.f64 l (+.f64 (*.f64 1/2 (*.f64 (log.f64 l) (*.f64 l (pow.f64 w 2)))) (+.f64 (*.f64 1/2 (*.f64 (pow.f64 (log.f64 l) 2) (*.f64 l (pow.f64 w 2)))) (*.f64 (log.f64 l) (*.f64 l w))))))
4.6b
(exp.f64 (-.f64 (*.f64 (log.f64 l) (exp.f64 w)) w))
4.6b
(*.f64 (*.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (cbrt.f64 (exp.f64 (neg.f64 w)))) (*.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (exp.f64 (log.f64 (pow.f64 l (exp.f64 w))))))
▶1.3b
(*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (cbrt.f64 (exp.f64 (neg.f64 w)))) (*.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (pow.f64 l (exp.f64 w))))) (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (cbrt.f64 (exp.f64 (neg.f64 w)))) (*.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (pow.f64 l (exp.f64 w)))))) (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (cbrt.f64 (exp.f64 (neg.f64 w)))) (*.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (pow.f64 l (exp.f64 w))))))
13.6b
(fma.f64 w (-.f64 (*.f64 l (log.f64 l)) l) l)
8.0b
(*.f64 (exp.f64 (neg.f64 w)) (+.f64 l (+.f64 (*.f64 1/2 (*.f64 (log.f64 l) (*.f64 l (pow.f64 w 2)))) (+.f64 (*.f64 1/2 (*.f64 (pow.f64 (log.f64 l) 2) (*.f64 l (pow.f64 w 2)))) (*.f64 (log.f64 l) (*.f64 l w))))))
▶0.3b
(*.f64 (*.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (cbrt.f64 (exp.f64 (neg.f64 w)))) (*.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (pow.f64 l (exp.f64 w))))
4.6b
(exp.f64 (-.f64 (*.f64 (log.f64 l) (exp.f64 w)) w))
4.6b
(*.f64 (exp.f64 (neg.f64 w)) (exp.f64 (log.f64 (pow.f64 l (exp.f64 w)))))
13.6b
(fma.f64 w (-.f64 (*.f64 l (log.f64 l)) l) l)
▶0.3b
(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 l (exp.f64 w)))
0.3b
(/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w))
✓60.3b
(/.f64 (fmod.f64 (exp.f64 x) (expm1.f64 (log1p.f64 (sqrt.f64 (cos.f64 x))))) (exp.f64 x))
60.3b
(*.f64 (/.f64 (cbrt.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))) (sqrt.f64 (exp.f64 x))) (/.f64 (log.f64 (exp.f64 (*.f64 (cbrt.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))) (cbrt.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))))) (sqrt.f64 (exp.f64 x))))
60.3b
(*.f64 (/.f64 (sqrt.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))) (sqrt.f64 (exp.f64 x))) (/.f64 (log.f64 (exp.f64 (sqrt.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))) (sqrt.f64 (exp.f64 x))))
60.3b
(/.f64 (*.f64 (cbrt.f64 (fmod.f64 (exp.f64 x) (*.f64 (fabs.f64 (cbrt.f64 (cos.f64 x))) (sqrt.f64 (cbrt.f64 (cos.f64 x)))))) (cbrt.f64 (fmod.f64 (exp.f64 x) (*.f64 (fabs.f64 (cbrt.f64 (cos.f64 x))) (sqrt.f64 (cbrt.f64 (cos.f64 x))))))) (/.f64 (exp.f64 x) (cbrt.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))))
60.7b
(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))
60.3b
(/.f64 (*.f64 (cbrt.f64 (fmod.f64 (exp.f64 x) (*.f64 (fabs.f64 (cbrt.f64 (cos.f64 x))) (sqrt.f64 (cbrt.f64 (cos.f64 x)))))) (cbrt.f64 (fmod.f64 (exp.f64 x) (*.f64 (fabs.f64 (cbrt.f64 (cos.f64 x))) (sqrt.f64 (cbrt.f64 (cos.f64 x))))))) (/.f64 (exp.f64 x) (cbrt.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))))
▶60.3b
(/.f64 (log.f64 (exp.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))) (exp.f64 x))
✓60.3b
(/.f64 (fmod.f64 (exp.f64 x) (expm1.f64 (log1p.f64 (sqrt.f64 (cos.f64 x))))) (exp.f64 x))
60.7b
(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))
60.3b
(/.f64 (*.f64 (cbrt.f64 (fmod.f64 (exp.f64 x) (*.f64 (fabs.f64 (cbrt.f64 (cos.f64 x))) (sqrt.f64 (cbrt.f64 (cos.f64 x)))))) (cbrt.f64 (fmod.f64 (exp.f64 x) (*.f64 (fabs.f64 (cbrt.f64 (cos.f64 x))) (sqrt.f64 (cbrt.f64 (cos.f64 x))))))) (/.f64 (exp.f64 x) (cbrt.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))))
60.3b
(/.f64 (log.f64 (exp.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))) (exp.f64 x))
▶60.3b
(/.f64 (fmod.f64 (exp.f64 x) (expm1.f64 (log1p.f64 (sqrt.f64 (cos.f64 x))))) (exp.f64 x))
60.7b
(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))
▶60.3b
(/.f64 (fmod.f64 (exp.f64 x) (*.f64 (fabs.f64 (cbrt.f64 (cos.f64 x))) (sqrt.f64 (cbrt.f64 (cos.f64 x))))) (exp.f64 x))
60.3b
(/.f64 (log.f64 (exp.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))) (exp.f64 x))
60.7b
(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))
▶60.3b
(/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))
1.8b
(/.f64 (/.f64 (cos.f64 (*.f64 2 x)) (*.f64 c (fabs.f64 (*.f64 s x)))) (*.f64 c (fabs.f64 (*.f64 s x))))
17.5b
(/.f64 (/.f64 (cos.f64 (*.f64 2 x)) (pow.f64 (*.f64 c (fabs.f64 s)) 2)) (pow.f64 (fabs.f64 x) 2))
16.0b
(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (*.f64 (pow.f64 c 2) (fabs.f64 (*.f64 s x))) (fabs.f64 (*.f64 s x))))
2.6b
(*.f64 (/.f64 (*.f64 (cbrt.f64 (cos.f64 (*.f64 2 x))) (cbrt.f64 (cos.f64 (*.f64 2 x)))) (*.f64 (cbrt.f64 (pow.f64 (*.f64 c (fabs.f64 (*.f64 s x))) 2)) (cbrt.f64 (pow.f64 (*.f64 c (fabs.f64 (*.f64 s x))) 2)))) (/.f64 (cbrt.f64 (cos.f64 (*.f64 2 x))) (cbrt.f64 (pow.f64 (*.f64 c (fabs.f64 (*.f64 s x))) 2))))
1.7b
(/.f64 (cos.f64 (*.f64 2 x)) (pow.f64 (*.f64 (*.f64 (*.f64 c (fabs.f64 s)) (sqrt.f64 (fabs.f64 x))) (sqrt.f64 (fabs.f64 x))) 2))
20.2b
(*.f64 (/.f64 1 (*.f64 c c)) (/.f64 (cos.f64 (*.f64 2 x)) (pow.f64 (fabs.f64 (*.f64 s x)) 2)))
17.5b
(*.f64 (/.f64 1 (pow.f64 (*.f64 c (fabs.f64 s)) 2)) (/.f64 (cos.f64 (*.f64 x 2)) (*.f64 x x)))
8.1b
(*.f64 (sqrt.f64 (/.f64 (cos.f64 (*.f64 2 x)) (pow.f64 (*.f64 (*.f64 c (fabs.f64 s)) (fabs.f64 x)) 2))) (sqrt.f64 (/.f64 (cos.f64 (*.f64 2 x)) (pow.f64 (*.f64 (*.f64 c (fabs.f64 s)) (fabs.f64 x)) 2))))
24.7b
(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 c (*.f64 c (*.f64 (*.f64 x (pow.f64 s 2)) x))))
1.6b
(-.f64 (/.f64 (*.f64 (cos.f64 x) (cos.f64 x)) (pow.f64 (*.f64 (*.f64 c (fabs.f64 s)) (fabs.f64 x)) 2)) (/.f64 (*.f64 (sin.f64 x) (sin.f64 x)) (pow.f64 (*.f64 (*.f64 c (fabs.f64 s)) (fabs.f64 x)) 2)))
1.9b
(*.f64 (*.f64 (cbrt.f64 (/.f64 (cos.f64 (*.f64 2 x)) (pow.f64 (*.f64 (*.f64 c (fabs.f64 s)) (fabs.f64 x)) 2))) (cbrt.f64 (/.f64 (cos.f64 (*.f64 2 x)) (pow.f64 (*.f64 (*.f64 c (fabs.f64 s)) (fabs.f64 x)) 2)))) (cbrt.f64 (/.f64 (cos.f64 (*.f64 2 x)) (pow.f64 (*.f64 (*.f64 c (fabs.f64 s)) (fabs.f64 x)) 2))))
1.5b
(*.f64 (/.f64 (*.f64 (cbrt.f64 (cos.f64 (*.f64 2 x))) (cbrt.f64 (cos.f64 (*.f64 2 x)))) (*.f64 (*.f64 c (fabs.f64 s)) (fabs.f64 x))) (/.f64 (cbrt.f64 (cos.f64 (*.f64 2 x))) (*.f64 (*.f64 c (fabs.f64 s)) (fabs.f64 x))))
19.4b
(cbrt.f64 (*.f64 (*.f64 (/.f64 (cos.f64 (*.f64 2 x)) (pow.f64 (*.f64 (*.f64 c (fabs.f64 s)) (fabs.f64 x)) 2)) (/.f64 (cos.f64 (*.f64 2 x)) (pow.f64 (*.f64 (*.f64 c (fabs.f64 s)) (fabs.f64 x)) 2))) (/.f64 (cos.f64 (*.f64 2 x)) (pow.f64 (*.f64 (*.f64 c (fabs.f64 s)) (fabs.f64 x)) 2))))
5.5b
(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (*.f64 c (*.f64 c (fabs.f64 (*.f64 s x)))) (fabs.f64 (*.f64 s x))))
1.8b
(/.f64 (/.f64 (cos.f64 (*.f64 2 x)) (*.f64 c (fabs.f64 (*.f64 s x)))) (*.f64 c (fabs.f64 (*.f64 s x))))
2.7b
(/.f64 (cos.f64 (*.f64 2 x)) (pow.f64 (*.f64 (*.f64 c (*.f64 (cbrt.f64 (fabs.f64 (*.f64 s x))) (cbrt.f64 (fabs.f64 (*.f64 s x))))) (cbrt.f64 (fabs.f64 (*.f64 s x)))) 2))
16.0b
(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (*.f64 (pow.f64 c 2) (fabs.f64 (*.f64 s x))) (fabs.f64 (*.f64 s x))))
2.6b
(*.f64 (/.f64 (*.f64 (cbrt.f64 (cos.f64 (*.f64 2 x))) (cbrt.f64 (cos.f64 (*.f64 2 x)))) (*.f64 (cbrt.f64 (pow.f64 (*.f64 c (fabs.f64 (*.f64 s x))) 2)) (cbrt.f64 (pow.f64 (*.f64 c (fabs.f64 (*.f64 s x))) 2)))) (/.f64 (cbrt.f64 (cos.f64 (*.f64 2 x))) (cbrt.f64 (pow.f64 (*.f64 c (fabs.f64 (*.f64 s x))) 2))))
24.7b
(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 c (*.f64 c (*.f64 (*.f64 x (pow.f64 s 2)) x))))
8.7b
(*.f64 (sqrt.f64 (/.f64 (cos.f64 (*.f64 2 x)) (pow.f64 (*.f64 c (fabs.f64 (*.f64 s x))) 2))) (sqrt.f64 (/.f64 (cos.f64 (*.f64 2 x)) (pow.f64 (*.f64 c (fabs.f64 (*.f64 s x))) 2))))
2.9b
(/.f64 (cos.f64 (*.f64 2 x)) (pow.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 c (fabs.f64 (*.f64 s x)))) (cbrt.f64 (*.f64 c (fabs.f64 (*.f64 s x))))) (cbrt.f64 (*.f64 c (fabs.f64 (*.f64 s x))))) 2))
2.3b
(-.f64 (/.f64 (*.f64 (cos.f64 x) (cos.f64 x)) (pow.f64 (*.f64 c (fabs.f64 (*.f64 s x))) 2)) (/.f64 (*.f64 (sin.f64 x) (sin.f64 x)) (pow.f64 (*.f64 c (fabs.f64 (*.f64 s x))) 2)))
2.6b
(*.f64 (*.f64 (cbrt.f64 (/.f64 (cos.f64 (*.f64 2 x)) (pow.f64 (*.f64 c (fabs.f64 (*.f64 s x))) 2))) (cbrt.f64 (/.f64 (cos.f64 (*.f64 2 x)) (pow.f64 (*.f64 c (fabs.f64 (*.f64 s x))) 2)))) (cbrt.f64 (/.f64 (cos.f64 (*.f64 2 x)) (pow.f64 (*.f64 c (fabs.f64 (*.f64 s x))) 2))))
2.0b
(*.f64 (/.f64 (*.f64 (cbrt.f64 (cos.f64 (*.f64 2 x))) (cbrt.f64 (cos.f64 (*.f64 2 x)))) (*.f64 c (fabs.f64 (*.f64 s x)))) (/.f64 (cbrt.f64 (cos.f64 (*.f64 2 x))) (*.f64 c (fabs.f64 (*.f64 s x)))))
20.2b
(*.f64 (/.f64 1 (*.f64 c c)) (/.f64 (cos.f64 (*.f64 2 x)) (pow.f64 (fabs.f64 (*.f64 s x)) 2)))
30.4b
(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (pow.f64 s 2) (*.f64 (pow.f64 c 2) (pow.f64 x 2))))
▶1.5b
(/.f64 (cos.f64 (*.f64 2 x)) (pow.f64 (*.f64 (*.f64 c (fabs.f64 s)) (fabs.f64 x)) 2))
5.5b
(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (*.f64 c (*.f64 c (fabs.f64 (*.f64 s x)))) (fabs.f64 (*.f64 s x))))
45.9b
(/.f64 (cos.f64 (*.f64 2 x)) (exp.f64 (+.f64 (log.f64 (pow.f64 c 2)) (+.f64 (+.f64 (log.f64 x) (log.f64 (pow.f64 s 2))) (log.f64 x)))))
56.0b
(/.f64 (cos.f64 (*.f64 2 x)) (exp.f64 (fma.f64 2 (+.f64 (log.f64 c) (log.f64 s)) (*.f64 2 (log.f64 x)))))
20.2b
(*.f64 (/.f64 1 (*.f64 c c)) (/.f64 (cos.f64 (*.f64 2 x)) (pow.f64 (fabs.f64 (*.f64 s x)) 2)))
14.3b
(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 c (*.f64 c (pow.f64 (fabs.f64 (*.f64 s x)) 2))))
24.7b
(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 c (*.f64 c (*.f64 (*.f64 x (pow.f64 s 2)) x))))
28.0b
(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (pow.f64 c 2) (*.f64 (*.f64 (*.f64 x (*.f64 (cbrt.f64 (pow.f64 s 2)) (cbrt.f64 (pow.f64 s 2)))) (cbrt.f64 (pow.f64 s 2))) x)))
20.3b
(*.f64 (/.f64 (*.f64 (cbrt.f64 (cos.f64 (*.f64 2 x))) (cbrt.f64 (cos.f64 (*.f64 2 x)))) (*.f64 c c)) (/.f64 (cbrt.f64 (cos.f64 (*.f64 2 x))) (pow.f64 (fabs.f64 (*.f64 s x)) 2)))
16.0b
(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (*.f64 (pow.f64 c 2) (fabs.f64 (*.f64 s x))) (fabs.f64 (*.f64 s x))))
17.0b
(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (pow.f64 (*.f64 (cbrt.f64 c) (cbrt.f64 c)) 2) (*.f64 (pow.f64 (fabs.f64 (*.f64 s x)) 2) (pow.f64 (cbrt.f64 c) 2))))
46.0b
(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (*.f64 (pow.f64 (sqrt.f64 c) 2) (fabs.f64 (*.f64 s x))) (*.f64 (pow.f64 (sqrt.f64 c) 2) (fabs.f64 (*.f64 s x)))))
30.4b
(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (pow.f64 s 2) (*.f64 (pow.f64 c 2) (pow.f64 x 2))))
▶2.2b
(/.f64 (cos.f64 (*.f64 2 x)) (pow.f64 (*.f64 c (fabs.f64 (*.f64 s x))) 2))
51.9b
(exp.f64 (fma.f64 -2 (log.f64 (*.f64 c (fabs.f64 (*.f64 s x)))) (log.f64 (cos.f64 (*.f64 2 x)))))
25.9b
(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (*.f64 (pow.f64 c 2) (*.f64 x (pow.f64 s 2))) x))
45.9b
(/.f64 (cos.f64 (*.f64 2 x)) (exp.f64 (+.f64 (log.f64 (pow.f64 c 2)) (+.f64 (+.f64 (log.f64 x) (*.f64 (log.f64 s) 2)) (log.f64 x)))))
28.2b
(/.f64 (/.f64 (cos.f64 (*.f64 2 x)) (pow.f64 c 2)) (*.f64 (*.f64 x (pow.f64 s 2)) x))
▶19.8b
(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (pow.f64 c 2) (*.f64 (fabs.f64 (*.f64 s x)) (fabs.f64 (*.f64 s x)))))
21.6b
(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (pow.f64 c 2) (*.f64 (*.f64 (*.f64 x s) s) x)))
45.9b
(/.f64 (cos.f64 (*.f64 2 x)) (exp.f64 (+.f64 (log.f64 (pow.f64 c 2)) (+.f64 (+.f64 (log.f64 x) (log.f64 (pow.f64 s 2))) (log.f64 x)))))
58.1b
(/.f64 (cos.f64 (*.f64 2 x)) (exp.f64 (+.f64 (*.f64 (log.f64 c) 2) (+.f64 (log.f64 (*.f64 x (pow.f64 s 2))) (log.f64 x)))))
56.0b
(/.f64 (cos.f64 (*.f64 2 x)) (exp.f64 (fma.f64 2 (+.f64 (log.f64 c) (log.f64 s)) (*.f64 2 (log.f64 x)))))
24.7b
(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 c (*.f64 c (*.f64 (*.f64 x (pow.f64 s 2)) x))))
58.4b
(exp.f64 (-.f64 (log.f64 (cos.f64 (*.f64 2 x))) (+.f64 (*.f64 (log.f64 c) 2) (+.f64 (+.f64 (log.f64 x) (*.f64 (log.f64 s) 2)) (log.f64 x)))))
28.0b
(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (pow.f64 c 2) (*.f64 (*.f64 (*.f64 x (*.f64 (cbrt.f64 (pow.f64 s 2)) (cbrt.f64 (pow.f64 s 2)))) (cbrt.f64 (pow.f64 s 2))) x)))
30.4b
(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (pow.f64 s 2) (*.f64 (pow.f64 c 2) (pow.f64 x 2))))
44.0b
(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (pow.f64 c 2) (*.f64 (*.f64 (sqrt.f64 x) (*.f64 s (*.f64 s (sqrt.f64 x)))) x)))
▶28.0b
(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (pow.f64 c 2) (*.f64 (*.f64 x (pow.f64 s 2)) x)))
0.4b
(/.f64 (*.f64 r (sin.f64 b)) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (cbrt.f64 (pow.f64 (*.f64 (sin.f64 b) (sin.f64 a)) 3))))
0.5b
(*.f64 (/.f64 (*.f64 (sin.f64 b) r) (-.f64 (*.f64 (pow.f64 (cos.f64 a) 2) (pow.f64 (cos.f64 b) 2)) (*.f64 (pow.f64 (sin.f64 a) 2) (pow.f64 (sin.f64 b) 2)))) (+.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))
0.4b
(/.f64 r (-.f64 (/.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (sin.f64 b)) (/.f64 (sin.f64 a) 1)))
0.4b
(*.f64 r (/.f64 (neg.f64 (sin.f64 b)) (expm1.f64 (log1p.f64 (fma.f64 (cos.f64 a) (neg.f64 (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))))))
✓0.3b
(*.f64 r (/.f64 (sin.f64 b) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a)))))
17.6b
(/.f64 (*.f64 r (sin.f64 b)) (-.f64 (*.f64 (sqrt.f64 (cos.f64 a)) (*.f64 (sqrt.f64 (cos.f64 a)) (cos.f64 b))) (*.f64 (sin.f64 a) (sin.f64 b))))
23.9b
(*.f64 (/.f64 r (sqrt.f64 (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))) (/.f64 (sin.f64 b) (sqrt.f64 (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))))
0.9b
(/.f64 (*.f64 r (sin.f64 b)) (-.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (cos.f64 a) (cos.f64 b))) (cbrt.f64 (*.f64 (cos.f64 a) (cos.f64 b)))) (cbrt.f64 (*.f64 (cos.f64 a) (cos.f64 b)))) (*.f64 (sin.f64 a) (sin.f64 b))))
0.5b
(*.f64 (/.f64 (*.f64 r (sin.f64 b)) (-.f64 (pow.f64 (*.f64 (cos.f64 a) (cos.f64 b)) 3) (pow.f64 (*.f64 (sin.f64 a) (sin.f64 b)) 3))) (+.f64 (*.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (cos.f64 a) (cos.f64 b))) (+.f64 (*.f64 (*.f64 (sin.f64 a) (sin.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))) (*.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))))
▶0.3b
(*.f64 r (/.f64 (neg.f64 (sin.f64 b)) (fma.f64 (cos.f64 a) (neg.f64 (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))))
23.9b
(*.f64 (/.f64 r (sqrt.f64 (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))) (/.f64 (sin.f64 b) (sqrt.f64 (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))))
0.4b
(/.f64 (*.f64 r (sin.f64 b)) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (cbrt.f64 (pow.f64 (*.f64 (sin.f64 b) (sin.f64 a)) 3))))
0.5b
(*.f64 (/.f64 (*.f64 (sin.f64 b) r) (-.f64 (*.f64 (pow.f64 (cos.f64 a) 2) (pow.f64 (cos.f64 b) 2)) (*.f64 (pow.f64 (sin.f64 a) 2) (pow.f64 (sin.f64 b) 2)))) (+.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))
0.4b
(/.f64 r (-.f64 (/.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (sin.f64 b)) (/.f64 (sin.f64 a) 1)))
✓0.3b
(*.f64 r (/.f64 (sin.f64 b) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a)))))
17.6b
(/.f64 (*.f64 r (sin.f64 b)) (-.f64 (*.f64 (sqrt.f64 (cos.f64 a)) (*.f64 (sqrt.f64 (cos.f64 a)) (cos.f64 b))) (*.f64 (sin.f64 a) (sin.f64 b))))
0.9b
(/.f64 (*.f64 r (sin.f64 b)) (-.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (cos.f64 a) (cos.f64 b))) (cbrt.f64 (*.f64 (cos.f64 a) (cos.f64 b)))) (cbrt.f64 (*.f64 (cos.f64 a) (cos.f64 b)))) (*.f64 (sin.f64 a) (sin.f64 b))))
0.5b
(/.f64 (*.f64 r (sin.f64 b)) (-.f64 (cbrt.f64 (pow.f64 (*.f64 (cos.f64 a) (cos.f64 b)) 3)) (*.f64 (sin.f64 a) (sin.f64 b))))
0.5b
(*.f64 (/.f64 (*.f64 r (sin.f64 b)) (-.f64 (pow.f64 (*.f64 (cos.f64 a) (cos.f64 b)) 3) (pow.f64 (*.f64 (sin.f64 a) (sin.f64 b)) 3))) (+.f64 (*.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (cos.f64 a) (cos.f64 b))) (+.f64 (*.f64 (*.f64 (sin.f64 a) (sin.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))) (*.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))))
0.4b
(/.f64 (*.f64 r (sin.f64 b)) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (cbrt.f64 (pow.f64 (*.f64 (sin.f64 b) (sin.f64 a)) 3))))
31.6b
(+.f64 (/.f64 (*.f64 b r) (cos.f64 a)) (+.f64 (/.f64 (*.f64 (sin.f64 a) (*.f64 r (pow.f64 b 2))) (pow.f64 (cos.f64 a) 2)) (+.f64 (*.f64 2/3 (/.f64 (*.f64 (sin.f64 a) (*.f64 (pow.f64 b 4) r)) (pow.f64 (cos.f64 a) 2))) (+.f64 (/.f64 (*.f64 (pow.f64 (sin.f64 a) 3) (*.f64 (pow.f64 b 4) r)) (pow.f64 (cos.f64 a) 4)) (+.f64 (/.f64 (*.f64 (pow.f64 (sin.f64 a) 2) (*.f64 (pow.f64 b 3) r)) (pow.f64 (cos.f64 a) 3)) (*.f64 1/3 (/.f64 (*.f64 (pow.f64 b 3) r) (cos.f64 a))))))))
0.5b
(*.f64 (/.f64 (*.f64 (sin.f64 b) r) (-.f64 (*.f64 (pow.f64 (cos.f64 a) 2) (pow.f64 (cos.f64 b) 2)) (*.f64 (pow.f64 (sin.f64 a) 2) (pow.f64 (sin.f64 b) 2)))) (+.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))
0.4b
(/.f64 r (-.f64 (/.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (sin.f64 b)) (/.f64 (sin.f64 a) 1)))
▶0.3b
(*.f64 r (/.f64 (sin.f64 b) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a)))))
17.6b
(/.f64 (*.f64 r (sin.f64 b)) (-.f64 (*.f64 (sqrt.f64 (cos.f64 a)) (*.f64 (sqrt.f64 (cos.f64 a)) (cos.f64 b))) (*.f64 (sin.f64 a) (sin.f64 b))))
23.9b
(*.f64 (/.f64 r (sqrt.f64 (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))) (/.f64 (sin.f64 b) (sqrt.f64 (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))))
0.9b
(/.f64 (*.f64 r (sin.f64 b)) (-.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (cos.f64 a) (cos.f64 b))) (cbrt.f64 (*.f64 (cos.f64 a) (cos.f64 b)))) (cbrt.f64 (*.f64 (cos.f64 a) (cos.f64 b)))) (*.f64 (sin.f64 a) (sin.f64 b))))
0.5b
(/.f64 (*.f64 r (sin.f64 b)) (-.f64 (cbrt.f64 (pow.f64 (*.f64 (cos.f64 a) (cos.f64 b)) 3)) (*.f64 (sin.f64 a) (sin.f64 b))))
0.5b
(*.f64 (/.f64 (*.f64 r (sin.f64 b)) (-.f64 (pow.f64 (*.f64 (cos.f64 a) (cos.f64 b)) 3) (pow.f64 (*.f64 (sin.f64 a) (sin.f64 b)) 3))) (+.f64 (*.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (cos.f64 a) (cos.f64 b))) (+.f64 (*.f64 (*.f64 (sin.f64 a) (sin.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))) (*.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))))
16.1b
(*.f64 (/.f64 r (*.f64 (cbrt.f64 (cos.f64 (+.f64 a b))) (cbrt.f64 (cos.f64 (+.f64 a b))))) (/.f64 (sin.f64 b) (cbrt.f64 (cos.f64 (+.f64 a b)))))
30.1b
(fma.f64 (/.f64 (sin.f64 b) (cos.f64 b)) r (/.f64 (*.f64 (pow.f64 (sin.f64 b) 2) (*.f64 a r)) (pow.f64 (cos.f64 b) 2)))
15.6b
(*.f64 r (/.f64 (sin.f64 b) (cos.f64 (+.f64 b a))))
▶0.3b
(/.f64 (*.f64 r (sin.f64 b)) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))
30.9b
(/.f64 (*.f64 r (sin.f64 b)) (-.f64 (fma.f64 1/6 (*.f64 (sin.f64 b) (pow.f64 a 3)) (cos.f64 b)) (fma.f64 (sin.f64 b) a (*.f64 1/2 (*.f64 (cos.f64 b) (*.f64 a a))))))
31.6b
(+.f64 (/.f64 (*.f64 b r) (cos.f64 a)) (+.f64 (/.f64 (*.f64 (sin.f64 a) (*.f64 r (pow.f64 b 2))) (pow.f64 (cos.f64 a) 2)) (+.f64 (*.f64 2/3 (/.f64 (*.f64 (sin.f64 a) (*.f64 (pow.f64 b 4) r)) (pow.f64 (cos.f64 a) 2))) (+.f64 (/.f64 (*.f64 (pow.f64 (sin.f64 a) 3) (*.f64 (pow.f64 b 4) r)) (pow.f64 (cos.f64 a) 4)) (+.f64 (/.f64 (*.f64 (pow.f64 (sin.f64 a) 2) (*.f64 (pow.f64 b 3) r)) (pow.f64 (cos.f64 a) 3)) (*.f64 1/3 (/.f64 (*.f64 (pow.f64 b 3) r) (cos.f64 a))))))))
16.4b
(*.f64 (*.f64 (cbrt.f64 (/.f64 (*.f64 r (sin.f64 b)) (cos.f64 (+.f64 a b)))) (cbrt.f64 (/.f64 (*.f64 r (sin.f64 b)) (cos.f64 (+.f64 a b))))) (cbrt.f64 (/.f64 (*.f64 r (sin.f64 b)) (cos.f64 (+.f64 a b)))))
15.7b
(/.f64 r (/.f64 (cos.f64 (+.f64 a b)) (sin.f64 b)))
▶15.6b
(/.f64 (*.f64 r (sin.f64 b)) (cos.f64 (+.f64 a b)))
0.4b
(/.f64 (*.f64 (sin.f64 b) r) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (cbrt.f64 (pow.f64 (*.f64 (sin.f64 a) (sin.f64 b)) 3))))
33.9b
(*.f64 (*.f64 r (/.f64 (sqrt.f64 (sin.f64 b)) (*.f64 (cbrt.f64 (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))) (cbrt.f64 (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))))) (/.f64 (sqrt.f64 (sin.f64 b)) (cbrt.f64 (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))))
0.4b
(*.f64 r (/.f64 1 (-.f64 (/.f64 (cos.f64 a) (/.f64 (sin.f64 b) (cos.f64 b))) (/.f64 (sin.f64 a) 1))))
0.7b
(/.f64 1 (fma.f64 (/.f64 (cos.f64 a) r) (/.f64 (cos.f64 b) (sin.f64 b)) (*.f64 -1 (/.f64 (sin.f64 a) r))))
17.5b
(*.f64 r (/.f64 (sin.f64 b) (-.f64 (*.f64 (sqrt.f64 (cos.f64 a)) (*.f64 (sqrt.f64 (cos.f64 a)) (cos.f64 b))) (*.f64 (sin.f64 a) (sin.f64 b)))))
30.6b
(*.f64 (sqrt.f64 (*.f64 r (/.f64 (sin.f64 b) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))))) (sqrt.f64 (*.f64 r (/.f64 (sin.f64 b) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))))))
23.9b
(*.f64 (/.f64 r (sqrt.f64 (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))) (/.f64 (sin.f64 b) (sqrt.f64 (-.f64 (*.f64 (cos.f64 b) (cos.f64 a)) (*.f64 (sin.f64 a) (sin.f64 b))))))
0.9b
(*.f64 r (/.f64 (sin.f64 b) (-.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (cos.f64 a) (cos.f64 b))) (cbrt.f64 (*.f64 (cos.f64 a) (cos.f64 b)))) (cbrt.f64 (*.f64 (cos.f64 a) (cos.f64 b)))) (*.f64 (sin.f64 a) (sin.f64 b)))))
0.4b
(*.f64 r (*.f64 (sin.f64 b) (/.f64 1 (-.f64 (*.f64 (cos.f64 b) (cos.f64 a)) (*.f64 (sin.f64 a) (sin.f64 b))))))
33.9b
(*.f64 (*.f64 r (/.f64 (sqrt.f64 (sin.f64 b)) (*.f64 (cbrt.f64 (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))) (cbrt.f64 (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))))) (/.f64 (sqrt.f64 (sin.f64 b)) (cbrt.f64 (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))))
0.4b
(*.f64 r (/.f64 1 (-.f64 (/.f64 (cos.f64 a) (/.f64 (sin.f64 b) (cos.f64 b))) (/.f64 (sin.f64 a) 1))))
30.6b
(*.f64 (sqrt.f64 (*.f64 r (/.f64 (sin.f64 b) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))))) (sqrt.f64 (*.f64 r (/.f64 (sin.f64 b) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))))))
23.9b
(*.f64 (/.f64 r (sqrt.f64 (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))) (/.f64 (sin.f64 b) (sqrt.f64 (-.f64 (*.f64 (cos.f64 b) (cos.f64 a)) (*.f64 (sin.f64 a) (sin.f64 b))))))
1.3b
(*.f64 (*.f64 (cbrt.f64 (*.f64 r (/.f64 (sin.f64 b) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))))) (cbrt.f64 (*.f64 r (/.f64 (sin.f64 b) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))))) (cbrt.f64 (*.f64 r (/.f64 (sin.f64 b) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))))))
▶0.3b
(/.f64 (*.f64 (sin.f64 b) r) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))
0.9b
(*.f64 r (/.f64 (sin.f64 b) (-.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (cos.f64 a) (cos.f64 b))) (cbrt.f64 (*.f64 (cos.f64 a) (cos.f64 b)))) (cbrt.f64 (*.f64 (cos.f64 a) (cos.f64 b)))) (*.f64 (sin.f64 a) (sin.f64 b)))))
0.4b
(*.f64 r (*.f64 (sin.f64 b) (/.f64 1 (-.f64 (*.f64 (cos.f64 b) (cos.f64 a)) (*.f64 (sin.f64 a) (sin.f64 b))))))
31.9b
(*.f64 (sqrt.f64 r) (*.f64 (sqrt.f64 r) (/.f64 (sin.f64 b) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))))
17.5b
(*.f64 r (/.f64 (sin.f64 b) (-.f64 (*.f64 (sqrt.f64 (cos.f64 a)) (*.f64 (sqrt.f64 (cos.f64 a)) (cos.f64 b))) (*.f64 (sin.f64 a) (sin.f64 b)))))
33.9b
(*.f64 (*.f64 r (/.f64 (sqrt.f64 (sin.f64 b)) (*.f64 (cbrt.f64 (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))) (cbrt.f64 (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))))) (/.f64 (sqrt.f64 (sin.f64 b)) (cbrt.f64 (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))))
0.4b
(*.f64 r (/.f64 1 (-.f64 (/.f64 (cos.f64 a) (/.f64 (sin.f64 b) (cos.f64 b))) (/.f64 (sin.f64 a) 1))))
31.9b
(*.f64 (sqrt.f64 r) (*.f64 (sqrt.f64 r) (/.f64 (sin.f64 b) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))))
▶0.3b
(*.f64 r (/.f64 (sin.f64 b) (-.f64 (*.f64 (cos.f64 b) (cos.f64 a)) (*.f64 (sin.f64 a) (sin.f64 b)))))
1.3b
(*.f64 (*.f64 (cbrt.f64 (*.f64 r (/.f64 (sin.f64 b) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))))) (cbrt.f64 (*.f64 r (/.f64 (sin.f64 b) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))))) (cbrt.f64 (*.f64 r (/.f64 (sin.f64 b) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))))))
0.4b
(/.f64 r (-.f64 (/.f64 (cos.f64 a) (/.f64 (sin.f64 b) (cos.f64 b))) (/.f64 (sin.f64 a) 1)))
0.3b
(/.f64 (*.f64 (sin.f64 b) r) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))
0.9b
(*.f64 r (/.f64 (sin.f64 b) (-.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (cos.f64 a) (cos.f64 b))) (cbrt.f64 (*.f64 (cos.f64 a) (cos.f64 b)))) (cbrt.f64 (*.f64 (cos.f64 a) (cos.f64 b)))) (*.f64 (sin.f64 a) (sin.f64 b)))))
24.0b
(*.f64 r (log.f64 (exp.f64 (/.f64 (sin.f64 b) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))))))
17.5b
(*.f64 r (/.f64 (sin.f64 b) (-.f64 (*.f64 (sqrt.f64 (cos.f64 a)) (*.f64 (sqrt.f64 (cos.f64 a)) (cos.f64 b))) (*.f64 (sin.f64 a) (sin.f64 b)))))
30.6b
(*.f64 (sqrt.f64 (*.f64 r (/.f64 (sin.f64 b) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))))) (sqrt.f64 (*.f64 r (/.f64 (sin.f64 b) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))))))
15.8b
(*.f64 r (/.f64 (sin.f64 b) (cbrt.f64 (pow.f64 (cos.f64 (+.f64 b a)) 3))))
30.8b
(*.f64 r (/.f64 (sin.f64 b) (-.f64 (fma.f64 1/6 (*.f64 (sin.f64 b) (pow.f64 a 3)) (cos.f64 b)) (fma.f64 (sin.f64 b) a (*.f64 1/2 (*.f64 (cos.f64 b) (*.f64 a a)))))))
30.7b
(*.f64 r (/.f64 (sin.f64 b) (-.f64 (fma.f64 1/6 (*.f64 (sin.f64 a) (pow.f64 b 3)) (cos.f64 a)) (*.f64 b (+.f64 (sin.f64 a) (*.f64 (*.f64 1/2 (cos.f64 a)) b))))))
36.5b
(*.f64 (sqrt.f64 (*.f64 r (/.f64 (sin.f64 b) (cos.f64 (+.f64 a b))))) (sqrt.f64 (*.f64 r (/.f64 (sin.f64 b) (cos.f64 (+.f64 a b))))))
15.7b
(*.f64 r (*.f64 (sin.f64 b) (/.f64 1 (cos.f64 (+.f64 a b)))))
15.7b
(*.f64 r (/.f64 1 (/.f64 (cos.f64 (+.f64 a b)) (sin.f64 b))))
▶0.3b
(*.f64 r (/.f64 (sin.f64 b) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))))
39.4b
(*.f64 (sqrt.f64 r) (*.f64 (sqrt.f64 r) (/.f64 (sin.f64 b) (cos.f64 (+.f64 a b)))))
16.4b
(*.f64 (*.f64 (cbrt.f64 (*.f64 r (/.f64 (sin.f64 b) (cos.f64 (+.f64 a b))))) (cbrt.f64 (*.f64 r (/.f64 (sin.f64 b) (cos.f64 (+.f64 a b)))))) (cbrt.f64 (*.f64 r (/.f64 (sin.f64 b) (cos.f64 (+.f64 a b))))))
15.6b
(/.f64 (*.f64 (sin.f64 b) r) (cos.f64 (+.f64 a b)))
▶15.6b
(*.f64 r (/.f64 (sin.f64 b) (cos.f64 (+.f64 a b))))
1.0b
(*.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 (hypot.f64 x x)))) (pow.f64 (sqrt.f64 (sqrt.f64 (hypot.f64 x x))) 7/2))
39.7b
(cbrt.f64 (pow.f64 (hypot.f64 x x) 3))
30.0b
(neg.f64 (*.f64 (sqrt.f64 2) x))
0.9b
(*.f64 (sqrt.f64 (hypot.f64 x x)) (*.f64 (cbrt.f64 (hypot.f64 x x)) (cbrt.f64 (sqrt.f64 (hypot.f64 x x)))))
✓0.9b
(*.f64 (sqrt.f64 (hypot.f64 x x)) (*.f64 (cbrt.f64 (hypot.f64 x x)) (sqrt.f64 (cbrt.f64 (hypot.f64 x x)))))
32.8b
(*.f64 (sqrt.f64 2) x)
✓0.1b
(hypot.f64 x x)
1.3b
(*.f64 (pow.f64 (cbrt.f64 (hypot.f64 x x)) 2) (cbrt.f64 (hypot.f64 x x)))
1.0b
(*.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 (hypot.f64 x x)))) (pow.f64 (sqrt.f64 (sqrt.f64 (hypot.f64 x x))) 7/2))
39.7b
(cbrt.f64 (pow.f64 (hypot.f64 x x) 3))
30.0b
(neg.f64 (*.f64 (sqrt.f64 2) x))
0.9b
(*.f64 (sqrt.f64 (hypot.f64 x x)) (*.f64 (cbrt.f64 (hypot.f64 x x)) (cbrt.f64 (sqrt.f64 (hypot.f64 x x)))))
▶0.9b
(*.f64 (sqrt.f64 (hypot.f64 x x)) (*.f64 (cbrt.f64 (hypot.f64 x x)) (sqrt.f64 (cbrt.f64 (hypot.f64 x x)))))
32.8b
(*.f64 (sqrt.f64 2) x)
✓0.1b
(hypot.f64 x x)
1.3b
(*.f64 (pow.f64 (cbrt.f64 (hypot.f64 x x)) 2) (cbrt.f64 (hypot.f64 x x)))
32.8b
(*.f64 (sqrt.f64 2) x)
▶0.9b
(*.f64 (sqrt.f64 (sqrt.f64 (hypot.f64 x x))) (pow.f64 (sqrt.f64 (sqrt.f64 (hypot.f64 x x))) 3))
1.4b
(*.f64 (*.f64 (sqrt.f64 (*.f64 (cbrt.f64 (hypot.f64 x x)) (cbrt.f64 (hypot.f64 x x)))) (sqrt.f64 (*.f64 (cbrt.f64 (hypot.f64 x x)) (cbrt.f64 (hypot.f64 x x))))) (*.f64 (sqrt.f64 (cbrt.f64 (hypot.f64 x x))) (sqrt.f64 (cbrt.f64 (hypot.f64 x x)))))
39.7b
(cbrt.f64 (pow.f64 (hypot.f64 x x) 3))
30.0b
(neg.f64 (*.f64 (sqrt.f64 2) x))
0.9b
(*.f64 (sqrt.f64 (hypot.f64 x x)) (*.f64 (cbrt.f64 (hypot.f64 x x)) (cbrt.f64 (sqrt.f64 (hypot.f64 x x)))))
0.9b
(*.f64 (sqrt.f64 (hypot.f64 x x)) (*.f64 (cbrt.f64 (hypot.f64 x x)) (sqrt.f64 (cbrt.f64 (hypot.f64 x x)))))
✓0.1b
(hypot.f64 x x)
1.3b
(*.f64 (pow.f64 (cbrt.f64 (hypot.f64 x x)) 2) (cbrt.f64 (hypot.f64 x x)))
32.8b
(*.f64 (sqrt.f64 2) x)
1.3b
(*.f64 (*.f64 (cbrt.f64 (hypot.f64 x x)) (cbrt.f64 (hypot.f64 x x))) (cbrt.f64 (hypot.f64 x x)))
30.0b
(neg.f64 (*.f64 (sqrt.f64 2) x))
▶0.5b
(*.f64 (sqrt.f64 (hypot.f64 x x)) (sqrt.f64 (hypot.f64 x x)))
39.7b
(cbrt.f64 (pow.f64 (hypot.f64 x x) 3))
✓0.1b
(hypot.f64 x x)
▶0.1b
(hypot.f64 x x)
✓30.0b
(neg.f64 (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2))) (*.f64 (cbrt.f64 (sqrt.f64 2)) x)))
✓29.7b
(sqrt.f64 (*.f64 (*.f64 2 x) x))
33.8b
(*.f64 (*.f64 (sqrt.f64 (sqrt.f64 (*.f64 2 x))) (sqrt.f64 (sqrt.f64 (*.f64 2 x)))) (*.f64 (sqrt.f64 (sqrt.f64 x)) (sqrt.f64 (sqrt.f64 x))))
33.5b
(*.f64 (sqrt.f64 (*.f64 2 x)) (sqrt.f64 x))
✓30.0b
(neg.f64 (*.f64 (sqrt.f64 2) x))
32.8b
(*.f64 (sqrt.f64 2) x)
30.0b
(neg.f64 (*.f64 (sqrt.f64 (sqrt.f64 2)) (*.f64 (sqrt.f64 (sqrt.f64 2)) x)))
30.5b
(neg.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) x)) (cbrt.f64 (*.f64 (sqrt.f64 2) x))) (cbrt.f64 (*.f64 (sqrt.f64 2) x))))
30.1b
(*.f64 (*.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 (*.f64 (*.f64 2 x) x)))) (sqrt.f64 (sqrt.f64 (sqrt.f64 (*.f64 (*.f64 2 x) x))))) (*.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 (*.f64 (*.f64 2 x) x)))) (sqrt.f64 (sqrt.f64 (sqrt.f64 (*.f64 (*.f64 2 x) x))))))
▶30.0b
(neg.f64 (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2))) (*.f64 (cbrt.f64 (sqrt.f64 2)) x)))
✓29.7b
(sqrt.f64 (*.f64 (*.f64 2 x) x))
33.8b
(*.f64 (*.f64 (sqrt.f64 (sqrt.f64 (*.f64 2 x))) (sqrt.f64 (sqrt.f64 (*.f64 2 x)))) (*.f64 (sqrt.f64 (sqrt.f64 x)) (sqrt.f64 (sqrt.f64 x))))
33.5b
(*.f64 (sqrt.f64 (*.f64 2 x)) (sqrt.f64 x))
✓30.0b
(neg.f64 (*.f64 (sqrt.f64 2) x))
32.8b
(*.f64 (sqrt.f64 2) x)
30.0b
(neg.f64 (*.f64 (sqrt.f64 (sqrt.f64 2)) (*.f64 (sqrt.f64 (sqrt.f64 2)) x)))
30.5b
(neg.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (sqrt.f64 2) x)) (cbrt.f64 (*.f64 (sqrt.f64 2) x))) (cbrt.f64 (*.f64 (sqrt.f64 2) x))))
30.1b
(*.f64 (*.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 (*.f64 (*.f64 2 x) x)))) (sqrt.f64 (sqrt.f64 (sqrt.f64 (*.f64 (*.f64 2 x) x))))) (*.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 (*.f64 (*.f64 2 x) x)))) (sqrt.f64 (sqrt.f64 (sqrt.f64 (*.f64 (*.f64 2 x) x))))))
33.8b
(*.f64 (*.f64 (sqrt.f64 (sqrt.f64 (*.f64 2 x))) (sqrt.f64 (sqrt.f64 (*.f64 2 x)))) (*.f64 (sqrt.f64 (sqrt.f64 x)) (sqrt.f64 (sqrt.f64 x))))
33.5b
(*.f64 (sqrt.f64 (*.f64 2 x)) (sqrt.f64 x))
▶30.0b
(neg.f64 (*.f64 (sqrt.f64 2) x))
32.8b
(*.f64 (sqrt.f64 2) x)
30.1b
(*.f64 (sqrt.f64 (sqrt.f64 (*.f64 (*.f64 2 x) x))) (sqrt.f64 (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (*.f64 x (*.f64 2 x)))) (cbrt.f64 (sqrt.f64 (*.f64 x (*.f64 2 x))))) (cbrt.f64 (sqrt.f64 (*.f64 x (*.f64 2 x)))))))
✓29.7b
(sqrt.f64 (*.f64 (*.f64 2 x) x))
30.1b
(*.f64 (*.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 (*.f64 (*.f64 2 x) x)))) (sqrt.f64 (sqrt.f64 (sqrt.f64 (*.f64 (*.f64 2 x) x))))) (*.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 (*.f64 (*.f64 2 x) x)))) (sqrt.f64 (sqrt.f64 (sqrt.f64 (*.f64 (*.f64 2 x) x))))))
30.0b
(neg.f64 (*.f64 (sqrt.f64 2) x))
32.8b
(*.f64 (sqrt.f64 2) x)
✓29.7b
(sqrt.f64 (*.f64 (*.f64 2 x) x))
33.5b
(*.f64 (sqrt.f64 (*.f64 2 x)) (sqrt.f64 x))
▶29.9b
(*.f64 (sqrt.f64 (sqrt.f64 (*.f64 (*.f64 2 x) x))) (sqrt.f64 (sqrt.f64 (*.f64 (*.f64 2 x) x))))
▶29.7b
(sqrt.f64 (*.f64 (*.f64 2 x) x))
32.8b
(*.f64 (sqrt.f64 2) x)
0.9b
(*.f64 (pow.f64 (sqrt.f64 (sqrt.f64 (hypot.f64 x x))) 5/2) (sqrt.f64 (pow.f64 (sqrt.f64 (sqrt.f64 (hypot.f64 x x))) 3)))
✓0.1b
(hypot.f64 x x)
✓0.5b
(*.f64 (sqrt.f64 (hypot.f64 x x)) (sqrt.f64 (hypot.f64 x x)))
1.3b
(*.f64 (pow.f64 (cbrt.f64 (hypot.f64 x x)) 2) (cbrt.f64 (hypot.f64 x x)))
1.0b
(*.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (sqrt.f64 (hypot.f64 x x))) 3)) (pow.f64 (sqrt.f64 (sqrt.f64 (hypot.f64 x x))) 3))
0.9b
(*.f64 (sqrt.f64 (hypot.f64 x x)) (*.f64 (cbrt.f64 (hypot.f64 x x)) (sqrt.f64 (cbrt.f64 (hypot.f64 x x)))))
30.0b
(neg.f64 (*.f64 (sqrt.f64 2) x))
1.4b
(*.f64 (*.f64 (sqrt.f64 (*.f64 (cbrt.f64 (hypot.f64 x x)) (cbrt.f64 (hypot.f64 x x)))) (sqrt.f64 (*.f64 (cbrt.f64 (hypot.f64 x x)) (cbrt.f64 (hypot.f64 x x))))) (*.f64 (sqrt.f64 (cbrt.f64 (hypot.f64 x x))) (sqrt.f64 (cbrt.f64 (hypot.f64 x x)))))
30.0b
(neg.f64 (*.f64 (sqrt.f64 2) x))
32.8b
(*.f64 (sqrt.f64 2) x)
✓0.1b
(hypot.f64 x x)
50.3b
(sqrt.f64 (cbrt.f64 (*.f64 (*.f64 (*.f64 2 (*.f64 x x)) (*.f64 2 (*.f64 x x))) (*.f64 2 (*.f64 x x)))))
✓0.5b
(*.f64 (sqrt.f64 (hypot.f64 x x)) (sqrt.f64 (hypot.f64 x x)))
1.3b
(*.f64 (pow.f64 (cbrt.f64 (hypot.f64 x x)) 2) (cbrt.f64 (hypot.f64 x x)))
0.9b
(*.f64 (sqrt.f64 (hypot.f64 x x)) (*.f64 (cbrt.f64 (hypot.f64 x x)) (sqrt.f64 (cbrt.f64 (hypot.f64 x x)))))
▶0.9b
(*.f64 (sqrt.f64 (sqrt.f64 (hypot.f64 x x))) (pow.f64 (sqrt.f64 (sqrt.f64 (hypot.f64 x x))) 3))
1.4b
(*.f64 (*.f64 (sqrt.f64 (*.f64 (cbrt.f64 (hypot.f64 x x)) (cbrt.f64 (hypot.f64 x x)))) (sqrt.f64 (*.f64 (cbrt.f64 (hypot.f64 x x)) (cbrt.f64 (hypot.f64 x x))))) (*.f64 (sqrt.f64 (cbrt.f64 (hypot.f64 x x))) (sqrt.f64 (cbrt.f64 (hypot.f64 x x)))))
30.0b
(neg.f64 (*.f64 (sqrt.f64 2) x))
32.8b
(*.f64 (sqrt.f64 2) x)
▶0.1b
(hypot.f64 x x)
50.3b
(sqrt.f64 (cbrt.f64 (*.f64 (*.f64 (*.f64 2 (*.f64 x x)) (*.f64 2 (*.f64 x x))) (*.f64 2 (*.f64 x x)))))
✓0.5b
(*.f64 (sqrt.f64 (hypot.f64 x x)) (sqrt.f64 (hypot.f64 x x)))
1.3b
(*.f64 (pow.f64 (cbrt.f64 (hypot.f64 x x)) 2) (cbrt.f64 (hypot.f64 x x)))
0.9b
(*.f64 (sqrt.f64 (hypot.f64 x x)) (*.f64 (cbrt.f64 (hypot.f64 x x)) (sqrt.f64 (cbrt.f64 (hypot.f64 x x)))))
0.9b
(*.f64 (sqrt.f64 (sqrt.f64 (hypot.f64 x x))) (pow.f64 (sqrt.f64 (sqrt.f64 (hypot.f64 x x))) 3))
32.8b
(*.f64 (sqrt.f64 2) x)
30.1b
(sqrt.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 2 (*.f64 x x))) (cbrt.f64 (*.f64 2 (*.f64 x x)))) (cbrt.f64 (*.f64 2 (*.f64 x x)))))
50.3b
(sqrt.f64 (cbrt.f64 (*.f64 (*.f64 (*.f64 2 (*.f64 x x)) (*.f64 2 (*.f64 x x))) (*.f64 2 (*.f64 x x)))))
▶0.5b
(*.f64 (sqrt.f64 (hypot.f64 x x)) (sqrt.f64 (hypot.f64 x x)))
1.3b
(*.f64 (*.f64 (cbrt.f64 (hypot.f64 x x)) (cbrt.f64 (hypot.f64 x x))) (cbrt.f64 (hypot.f64 x x)))
✓29.7b
(sqrt.f64 (*.f64 2 (*.f64 x x)))
2.6b
(expm1.f64 (log1p.f64 (hypot.f64 x x)))
30.0b
(neg.f64 (*.f64 (sqrt.f64 2) x))
▶29.7b
(sqrt.f64 (*.f64 2 (*.f64 x x)))
30.0b
(neg.f64 (*.f64 (sqrt.f64 2) x))
29.9b
(sqrt.f64 (*.f64 (*.f64 2 (*.f64 x (cbrt.f64 x))) (cbrt.f64 (pow.f64 x 2))))
32.8b
(*.f64 (sqrt.f64 2) x)
30.0b
(sqrt.f64 (*.f64 (*.f64 2 (*.f64 x (cbrt.f64 x))) (pow.f64 (cbrt.f64 x) 2)))
✓0.1b
(hypot.f64 x x)
1.0b
(*.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 (hypot.f64 x x)))) (pow.f64 (sqrt.f64 (sqrt.f64 (hypot.f64 x x))) 7/2))
✓0.5b
(*.f64 (sqrt.f64 (hypot.f64 x x)) (sqrt.f64 (hypot.f64 x x)))
1.3b
(*.f64 (pow.f64 (cbrt.f64 (hypot.f64 x x)) 2) (cbrt.f64 (hypot.f64 x x)))
▶0.9b
(*.f64 (sqrt.f64 (sqrt.f64 (hypot.f64 x x))) (pow.f64 (sqrt.f64 (sqrt.f64 (hypot.f64 x x))) 3))
30.0b
(sqrt.f64 (*.f64 (*.f64 2 (*.f64 x (cbrt.f64 x))) (pow.f64 (cbrt.f64 x) 2)))
30.0b
(neg.f64 (*.f64 (sqrt.f64 2) x))
29.9b
(sqrt.f64 (*.f64 (*.f64 2 (*.f64 x (cbrt.f64 x))) (cbrt.f64 (pow.f64 x 2))))
32.8b
(*.f64 (sqrt.f64 2) x)
1.4b
(*.f64 (*.f64 (sqrt.f64 (*.f64 (cbrt.f64 (hypot.f64 x x)) (cbrt.f64 (hypot.f64 x x)))) (sqrt.f64 (*.f64 (cbrt.f64 (hypot.f64 x x)) (cbrt.f64 (hypot.f64 x x))))) (*.f64 (sqrt.f64 (cbrt.f64 (hypot.f64 x x))) (sqrt.f64 (cbrt.f64 (hypot.f64 x x)))))
✓0.1b
(hypot.f64 x x)
✓0.5b
(*.f64 (sqrt.f64 (hypot.f64 x x)) (sqrt.f64 (hypot.f64 x x)))
1.3b
(*.f64 (pow.f64 (cbrt.f64 (hypot.f64 x x)) 2) (cbrt.f64 (hypot.f64 x x)))
0.9b
(*.f64 (sqrt.f64 (sqrt.f64 (hypot.f64 x x))) (pow.f64 (sqrt.f64 (sqrt.f64 (hypot.f64 x x))) 3))
30.0b
(sqrt.f64 (*.f64 (*.f64 2 (*.f64 x (cbrt.f64 x))) (pow.f64 (cbrt.f64 x) 2)))
30.0b
(neg.f64 (*.f64 (sqrt.f64 2) x))
29.9b
(sqrt.f64 (*.f64 (*.f64 2 (*.f64 x (cbrt.f64 x))) (cbrt.f64 (pow.f64 x 2))))
32.8b
(*.f64 (sqrt.f64 2) x)
1.4b
(*.f64 (*.f64 (sqrt.f64 (*.f64 (cbrt.f64 (hypot.f64 x x)) (cbrt.f64 (hypot.f64 x x)))) (sqrt.f64 (*.f64 (cbrt.f64 (hypot.f64 x x)) (cbrt.f64 (hypot.f64 x x))))) (*.f64 (sqrt.f64 (cbrt.f64 (hypot.f64 x x))) (sqrt.f64 (cbrt.f64 (hypot.f64 x x)))))
▶0.1b
(hypot.f64 x x)
✓0.5b
(*.f64 (sqrt.f64 (hypot.f64 x x)) (sqrt.f64 (hypot.f64 x x)))
1.3b
(*.f64 (pow.f64 (cbrt.f64 (hypot.f64 x x)) 2) (cbrt.f64 (hypot.f64 x x)))
✓29.7b
(sqrt.f64 (*.f64 2 (pow.f64 x 2)))
30.0b
(neg.f64 (*.f64 (sqrt.f64 2) x))
1.3b
(*.f64 (*.f64 (cbrt.f64 (hypot.f64 x x)) (cbrt.f64 (hypot.f64 x x))) (cbrt.f64 (hypot.f64 x x)))
2.6b
(expm1.f64 (log1p.f64 (hypot.f64 x x)))
29.9b
(sqrt.f64 (*.f64 (*.f64 2 (*.f64 x (cbrt.f64 x))) (cbrt.f64 (pow.f64 x 2))))
32.8b
(*.f64 (sqrt.f64 2) x)
30.0b
(sqrt.f64 (*.f64 (*.f64 2 (*.f64 x (cbrt.f64 x))) (pow.f64 (cbrt.f64 x) 2)))
▶0.5b
(*.f64 (sqrt.f64 (hypot.f64 x x)) (sqrt.f64 (hypot.f64 x x)))
▶29.7b
(sqrt.f64 (*.f64 2 (pow.f64 x 2)))
30.0b
(neg.f64 (*.f64 (sqrt.f64 2) x))
1.3b
(*.f64 (pow.f64 (cbrt.f64 (hypot.f64 x x)) 2) (cbrt.f64 (hypot.f64 x x)))
32.8b
(*.f64 (sqrt.f64 2) x)
✓0.1b
(hypot.f64 x x)
39.7b
(cbrt.f64 (pow.f64 (hypot.f64 x x) 3))
1.0b
(*.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 (hypot.f64 x x)))) (pow.f64 (sqrt.f64 (sqrt.f64 (hypot.f64 x x))) 7/2))
0.9b
(*.f64 (sqrt.f64 (hypot.f64 x x)) (*.f64 (cbrt.f64 (hypot.f64 x x)) (cbrt.f64 (sqrt.f64 (hypot.f64 x x)))))
✓0.9b
(*.f64 (sqrt.f64 (hypot.f64 x x)) (*.f64 (cbrt.f64 (hypot.f64 x x)) (sqrt.f64 (cbrt.f64 (hypot.f64 x x)))))
30.0b
(neg.f64 (*.f64 (sqrt.f64 2) x))
1.3b
(*.f64 (pow.f64 (cbrt.f64 (hypot.f64 x x)) 2) (cbrt.f64 (hypot.f64 x x)))
32.8b
(*.f64 (sqrt.f64 2) x)
✓0.1b
(hypot.f64 x x)
39.7b
(cbrt.f64 (pow.f64 (hypot.f64 x x) 3))
1.0b
(*.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 (hypot.f64 x x)))) (pow.f64 (sqrt.f64 (sqrt.f64 (hypot.f64 x x))) 7/2))
0.9b
(*.f64 (sqrt.f64 (hypot.f64 x x)) (*.f64 (cbrt.f64 (hypot.f64 x x)) (cbrt.f64 (sqrt.f64 (hypot.f64 x x)))))
▶0.9b
(*.f64 (sqrt.f64 (hypot.f64 x x)) (*.f64 (cbrt.f64 (hypot.f64 x x)) (sqrt.f64 (cbrt.f64 (hypot.f64 x x)))))
30.0b
(neg.f64 (*.f64 (sqrt.f64 2) x))
▶0.9b
(*.f64 (sqrt.f64 (sqrt.f64 (hypot.f64 x x))) (pow.f64 (sqrt.f64 (sqrt.f64 (hypot.f64 x x))) 3))
1.3b
(*.f64 (pow.f64 (cbrt.f64 (hypot.f64 x x)) 2) (cbrt.f64 (hypot.f64 x x)))
32.8b
(*.f64 (sqrt.f64 2) x)
✓0.1b
(hypot.f64 x x)
39.7b
(cbrt.f64 (pow.f64 (hypot.f64 x x) 3))
1.4b
(*.f64 (*.f64 (sqrt.f64 (*.f64 (cbrt.f64 (hypot.f64 x x)) (cbrt.f64 (hypot.f64 x x)))) (sqrt.f64 (*.f64 (cbrt.f64 (hypot.f64 x x)) (cbrt.f64 (hypot.f64 x x))))) (*.f64 (sqrt.f64 (cbrt.f64 (hypot.f64 x x))) (sqrt.f64 (cbrt.f64 (hypot.f64 x x)))))
0.9b
(*.f64 (sqrt.f64 (hypot.f64 x x)) (*.f64 (cbrt.f64 (hypot.f64 x x)) (cbrt.f64 (sqrt.f64 (hypot.f64 x x)))))
0.9b
(*.f64 (sqrt.f64 (hypot.f64 x x)) (*.f64 (cbrt.f64 (hypot.f64 x x)) (sqrt.f64 (cbrt.f64 (hypot.f64 x x)))))
32.8b
(*.f64 (sqrt.f64 2) x)
▶0.5b
(*.f64 (sqrt.f64 (hypot.f64 x x)) (sqrt.f64 (hypot.f64 x x)))
✓0.1b
(hypot.f64 x x)
1.3b
(*.f64 (*.f64 (cbrt.f64 (hypot.f64 x x)) (cbrt.f64 (hypot.f64 x x))) (cbrt.f64 (hypot.f64 x x)))
39.7b
(cbrt.f64 (pow.f64 (hypot.f64 x x) 3))
30.0b
(neg.f64 (*.f64 (sqrt.f64 2) x))
▶0.1b
(hypot.f64 x x)
0.3b
(+.f64 x (fma.f64 (*.f64 (cbrt.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) (cbrt.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))))) (cbrt.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) (neg.f64 (tan.f64 a))))
0.4b
(/.f64 (-.f64 (*.f64 x x) (*.f64 (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)) (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)))) (-.f64 x (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a))))
0.3b
(-.f64 (+.f64 (/.f64 (sin.f64 y) (*.f64 (-.f64 1 (/.f64 (*.f64 (sin.f64 y) (sin.f64 z)) (*.f64 (cos.f64 y) (cos.f64 z)))) (cos.f64 y))) (+.f64 (/.f64 (*.f64 (sin.f64 a) (*.f64 (sin.f64 y) (sin.f64 z))) (*.f64 (cos.f64 a) (*.f64 (-.f64 1 (/.f64 (*.f64 (sin.f64 y) (sin.f64 z)) (*.f64 (cos.f64 y) (cos.f64 z)))) (*.f64 (cos.f64 y) (cos.f64 z))))) (+.f64 x (/.f64 (sin.f64 z) (*.f64 (-.f64 1 (/.f64 (*.f64 (sin.f64 y) (sin.f64 z)) (*.f64 (cos.f64 y) (cos.f64 z)))) (cos.f64 z)))))) (/.f64 (sin.f64 a) (*.f64 (cos.f64 a) (-.f64 1 (/.f64 (*.f64 (sin.f64 y) (sin.f64 z)) (*.f64 (cos.f64 y) (cos.f64 z)))))))
0.5b
(/.f64 (+.f64 (pow.f64 (/.f64 (fma.f64 (cos.f64 a) (+.f64 (tan.f64 y) (tan.f64 z)) (*.f64 (sin.f64 a) (fma.f64 (tan.f64 y) (tan.f64 z) -1))) (*.f64 (cos.f64 a) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) 3) (pow.f64 x 3)) (fma.f64 x x (*.f64 (/.f64 (fma.f64 (cos.f64 a) (+.f64 (tan.f64 y) (tan.f64 z)) (*.f64 (sin.f64 a) (fma.f64 (tan.f64 y) (tan.f64 z) -1))) (*.f64 (cos.f64 a) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) (-.f64 (/.f64 (fma.f64 (cos.f64 a) (+.f64 (tan.f64 y) (tan.f64 z)) (*.f64 (sin.f64 a) (fma.f64 (tan.f64 y) (tan.f64 z) -1))) (*.f64 (cos.f64 a) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) x))))
✓0.2b
(+.f64 x (/.f64 (fma.f64 (cos.f64 a) (+.f64 (tan.f64 y) (tan.f64 z)) (*.f64 (sin.f64 a) (+.f64 (*.f64 (tan.f64 y) (tan.f64 z)) -1))) (*.f64 (cos.f64 a) (-.f64 1 (/.f64 (*.f64 (sin.f64 y) (sin.f64 z)) (*.f64 (cos.f64 y) (cos.f64 z)))))))
4.7b
(exp.f64 (log.f64 (+.f64 x (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)))))
0.6b
(fma.f64 (sqrt.f64 x) (sqrt.f64 x) (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)))
33.0b
(+.f64 (+.f64 x (fma.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (pow.f64 (*.f64 (tan.f64 y) (tan.f64 z)) 3))) (fma.f64 (*.f64 (tan.f64 y) (tan.f64 z)) (fma.f64 (tan.f64 y) (tan.f64 z) 1) 1) (neg.f64 (tan.f64 a)))) (fma.f64 (neg.f64 (sqrt.f64 (tan.f64 a))) (sqrt.f64 (tan.f64 a)) (*.f64 (sqrt.f64 (tan.f64 a)) (sqrt.f64 (tan.f64 a)))))
0.3b
(+.f64 x (fma.f64 (*.f64 (cbrt.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) (cbrt.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))))) (cbrt.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) (neg.f64 (tan.f64 a))))
0.4b
(/.f64 (-.f64 (*.f64 x x) (*.f64 (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)) (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)))) (-.f64 x (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a))))
0.3b
(-.f64 (+.f64 (/.f64 (sin.f64 y) (*.f64 (-.f64 1 (/.f64 (*.f64 (sin.f64 y) (sin.f64 z)) (*.f64 (cos.f64 y) (cos.f64 z)))) (cos.f64 y))) (+.f64 (/.f64 (*.f64 (sin.f64 a) (*.f64 (sin.f64 y) (sin.f64 z))) (*.f64 (cos.f64 a) (*.f64 (-.f64 1 (/.f64 (*.f64 (sin.f64 y) (sin.f64 z)) (*.f64 (cos.f64 y) (cos.f64 z)))) (*.f64 (cos.f64 y) (cos.f64 z))))) (+.f64 x (/.f64 (sin.f64 z) (*.f64 (-.f64 1 (/.f64 (*.f64 (sin.f64 y) (sin.f64 z)) (*.f64 (cos.f64 y) (cos.f64 z)))) (cos.f64 z)))))) (/.f64 (sin.f64 a) (*.f64 (cos.f64 a) (-.f64 1 (/.f64 (*.f64 (sin.f64 y) (sin.f64 z)) (*.f64 (cos.f64 y) (cos.f64 z)))))))
0.5b
(/.f64 (+.f64 (pow.f64 (/.f64 (fma.f64 (cos.f64 a) (+.f64 (tan.f64 y) (tan.f64 z)) (*.f64 (sin.f64 a) (fma.f64 (tan.f64 y) (tan.f64 z) -1))) (*.f64 (cos.f64 a) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) 3) (pow.f64 x 3)) (fma.f64 x x (*.f64 (/.f64 (fma.f64 (cos.f64 a) (+.f64 (tan.f64 y) (tan.f64 z)) (*.f64 (sin.f64 a) (fma.f64 (tan.f64 y) (tan.f64 z) -1))) (*.f64 (cos.f64 a) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) (-.f64 (/.f64 (fma.f64 (cos.f64 a) (+.f64 (tan.f64 y) (tan.f64 z)) (*.f64 (sin.f64 a) (fma.f64 (tan.f64 y) (tan.f64 z) -1))) (*.f64 (cos.f64 a) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) x))))
▶0.2b
(+.f64 x (/.f64 (fma.f64 (cos.f64 a) (+.f64 (tan.f64 y) (tan.f64 z)) (*.f64 (sin.f64 a) (+.f64 (*.f64 (tan.f64 y) (tan.f64 z)) -1))) (*.f64 (cos.f64 a) (-.f64 1 (/.f64 (*.f64 (sin.f64 y) (sin.f64 z)) (*.f64 (cos.f64 y) (cos.f64 z)))))))
4.7b
(exp.f64 (log.f64 (+.f64 x (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)))))
0.6b
(fma.f64 (sqrt.f64 x) (sqrt.f64 x) (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)))
33.0b
(+.f64 (+.f64 x (fma.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (pow.f64 (*.f64 (tan.f64 y) (tan.f64 z)) 3))) (fma.f64 (*.f64 (tan.f64 y) (tan.f64 z)) (fma.f64 (tan.f64 y) (tan.f64 z) 1) 1) (neg.f64 (tan.f64 a)))) (fma.f64 (neg.f64 (sqrt.f64 (tan.f64 a))) (sqrt.f64 (tan.f64 a)) (*.f64 (sqrt.f64 (tan.f64 a)) (sqrt.f64 (tan.f64 a)))))
0.6b
(fma.f64 (sqrt.f64 x) (sqrt.f64 x) (/.f64 (fma.f64 (cos.f64 a) (+.f64 (tan.f64 y) (tan.f64 z)) (*.f64 (sin.f64 a) (+.f64 (*.f64 (tan.f64 y) (tan.f64 z)) -1))) (*.f64 (cos.f64 a) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))))
0.4b
(/.f64 (-.f64 (*.f64 x x) (*.f64 (/.f64 (fma.f64 (cos.f64 a) (+.f64 (tan.f64 y) (tan.f64 z)) (*.f64 (sin.f64 a) (+.f64 (*.f64 (tan.f64 y) (tan.f64 z)) -1))) (*.f64 (cos.f64 a) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) (/.f64 (fma.f64 (cos.f64 a) (+.f64 (tan.f64 y) (tan.f64 z)) (*.f64 (sin.f64 a) (+.f64 (*.f64 (tan.f64 y) (tan.f64 z)) -1))) (*.f64 (cos.f64 a) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))))) (-.f64 x (/.f64 (fma.f64 (cos.f64 a) (+.f64 (tan.f64 y) (tan.f64 z)) (*.f64 (sin.f64 a) (+.f64 (*.f64 (tan.f64 y) (tan.f64 z)) -1))) (*.f64 (cos.f64 a) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))))))
0.3b
(-.f64 (+.f64 (/.f64 (sin.f64 y) (*.f64 (-.f64 1 (/.f64 (*.f64 (sin.f64 y) (sin.f64 z)) (*.f64 (cos.f64 y) (cos.f64 z)))) (cos.f64 y))) (+.f64 (/.f64 (*.f64 (sin.f64 a) (*.f64 (sin.f64 y) (sin.f64 z))) (*.f64 (cos.f64 a) (*.f64 (-.f64 1 (/.f64 (*.f64 (sin.f64 y) (sin.f64 z)) (*.f64 (cos.f64 y) (cos.f64 z)))) (*.f64 (cos.f64 y) (cos.f64 z))))) (+.f64 x (/.f64 (sin.f64 z) (*.f64 (-.f64 1 (/.f64 (*.f64 (sin.f64 y) (sin.f64 z)) (*.f64 (cos.f64 y) (cos.f64 z)))) (cos.f64 z)))))) (/.f64 (sin.f64 a) (*.f64 (cos.f64 a) (-.f64 1 (/.f64 (*.f64 (sin.f64 y) (sin.f64 z)) (*.f64 (cos.f64 y) (cos.f64 z)))))))
0.5b
(/.f64 (+.f64 (pow.f64 (/.f64 (fma.f64 (cos.f64 a) (+.f64 (tan.f64 y) (tan.f64 z)) (*.f64 (sin.f64 a) (fma.f64 (tan.f64 y) (tan.f64 z) -1))) (*.f64 (cos.f64 a) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) 3) (pow.f64 x 3)) (fma.f64 x x (*.f64 (/.f64 (fma.f64 (cos.f64 a) (+.f64 (tan.f64 y) (tan.f64 z)) (*.f64 (sin.f64 a) (fma.f64 (tan.f64 y) (tan.f64 z) -1))) (*.f64 (cos.f64 a) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) (-.f64 (/.f64 (fma.f64 (cos.f64 a) (+.f64 (tan.f64 y) (tan.f64 z)) (*.f64 (sin.f64 a) (fma.f64 (tan.f64 y) (tan.f64 z) -1))) (*.f64 (cos.f64 a) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) x))))
0.5b
(/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (/.f64 (fma.f64 (cos.f64 a) (+.f64 (tan.f64 y) (tan.f64 z)) (*.f64 (sin.f64 a) (+.f64 (*.f64 (tan.f64 y) (tan.f64 z)) -1))) (*.f64 (cos.f64 a) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) 3)) (+.f64 (*.f64 x x) (-.f64 (*.f64 (/.f64 (fma.f64 (cos.f64 a) (+.f64 (tan.f64 y) (tan.f64 z)) (*.f64 (sin.f64 a) (+.f64 (*.f64 (tan.f64 y) (tan.f64 z)) -1))) (*.f64 (cos.f64 a) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))) (/.f64 (fma.f64 (cos.f64 a) (+.f64 (tan.f64 y) (tan.f64 z)) (*.f64 (sin.f64 a) (+.f64 (*.f64 (tan.f64 y) (tan.f64 z)) -1))) (*.f64 (cos.f64 a) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))))) (*.f64 x (/.f64 (fma.f64 (cos.f64 a) (+.f64 (tan.f64 y) (tan.f64 z)) (*.f64 (sin.f64 a) (+.f64 (*.f64 (tan.f64 y) (tan.f64 z)) -1))) (*.f64 (cos.f64 a) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))))))))
0.2b
(+.f64 x (/.f64 (fma.f64 (cos.f64 a) (+.f64 (tan.f64 y) (tan.f64 z)) (*.f64 (sin.f64 a) (+.f64 (*.f64 (tan.f64 y) (tan.f64 z)) -1))) (*.f64 (cos.f64 a) (-.f64 1 (/.f64 (*.f64 (sin.f64 y) (sin.f64 z)) (*.f64 (cos.f64 y) (cos.f64 z)))))))
38.6b
(+.f64 (+.f64 x (-.f64 (tan.f64 (+.f64 z y)) (tan.f64 a))) (fma.f64 (neg.f64 (sqrt.f64 (tan.f64 a))) (sqrt.f64 (tan.f64 a)) (*.f64 (sqrt.f64 (tan.f64 a)) (sqrt.f64 (tan.f64 a)))))
▶0.2b
(+.f64 x (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)))
11.0b
(fma.f64 (sqrt.f64 x) (sqrt.f64 x) (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))
▶0.2b
(+.f64 x (/.f64 (fma.f64 (cos.f64 a) (+.f64 (tan.f64 y) (tan.f64 z)) (*.f64 (sin.f64 a) (+.f64 (*.f64 (tan.f64 y) (tan.f64 z)) -1))) (*.f64 (cos.f64 a) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))))
0.2b
(+.f64 x (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)))
10.9b
(/.f64 (+.f64 (pow.f64 (-.f64 (tan.f64 (+.f64 z y)) (tan.f64 a)) 3) (pow.f64 x 3)) (fma.f64 x x (*.f64 (-.f64 (tan.f64 (+.f64 z y)) (tan.f64 a)) (-.f64 (-.f64 (tan.f64 (+.f64 z y)) (tan.f64 a)) x))))
30.3b
(+.f64 x (-.f64 (+.f64 (/.f64 (*.f64 (sin.f64 y) (pow.f64 z 2)) (cos.f64 y)) (+.f64 (/.f64 (sin.f64 y) (cos.f64 y)) (+.f64 z (+.f64 (/.f64 (*.f64 (pow.f64 (sin.f64 y) 2) z) (pow.f64 (cos.f64 y) 2)) (/.f64 (*.f64 (pow.f64 (sin.f64 y) 3) (pow.f64 z 2)) (pow.f64 (cos.f64 y) 3)))))) (tan.f64 a)))
38.6b
(+.f64 (+.f64 x (-.f64 (tan.f64 (+.f64 z y)) (tan.f64 a))) (fma.f64 (neg.f64 (sqrt.f64 (tan.f64 a))) (sqrt.f64 (tan.f64 a)) (*.f64 (sqrt.f64 (tan.f64 a)) (sqrt.f64 (tan.f64 a)))))
0.2b
(+.f64 x (/.f64 (-.f64 (*.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (cos.f64 a)) (*.f64 (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))) (sin.f64 a))) (*.f64 (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))) (cos.f64 a))))
11.0b
(fma.f64 (sqrt.f64 x) (sqrt.f64 x) (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))
10.7b
(/.f64 (fma.f64 x x (*.f64 (-.f64 (tan.f64 (+.f64 z y)) (tan.f64 a)) (-.f64 (tan.f64 a) (tan.f64 (+.f64 z y))))) (-.f64 x (-.f64 (tan.f64 (+.f64 z y)) (tan.f64 a))))
▶10.6b
(+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))
✓0b
x
▶0b
x
Compiler

Compiled 213362 to 73254 computations (65.7% saved)

localize486.0ms (0.2%)

end23.0ms (0%)

Compiler

Compiled 405 to 261 computations (35.6% saved)

bsearch20.0ms (0%)

Compiler

Compiled 21 to 15 computations (28.6% saved)

Profiling

Loading profile data...