Date:Thursday, August 12th, 2021
Commit:3ef869eb on fix-egg-herbie
Hostname:warfa with Racket 8.1
Seed:2021224
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.1min)

sample1.8min (44.1%)

Algorithm
56×intervals
Results
42.4s36773×body2048valid
26.8s65927×body1024valid
7.9s35110×body512valid
5.2s74173×body128valid
2.4s17041×body256valid
1.6s2143×body4096valid
1.6s1535×body1024nan
959.0ms43027×pre128true
761.0ms2902×body128overflowed
450.0ms759×body512nan
442.0ms625×body1024overflowed
432.0ms392×body2048overflowed
432.0ms3986×body128nan
257.0ms201×body1024invalid
179.0ms291×body512overflowed
173.0ms1692×body128invalid
154.0ms265×body512invalid
117.0ms386×body256nan
53.0ms151×body256invalid
42.0ms139×body256overflowed
5.0ms1×body8192valid
4.0ms7×body2048invalid
3.0ms2×body2048nan
Compiler

Compiled 7378 to 5033 computations (31.8% saved)

series35.4s (14.5%)

Counts
224 → 3183
Calls

217 calls:

3.1s
(log1p.f64 (expm1.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (log.f64 (*.f64 (exp.f64 (cos.f64 eps)) (exp.f64 -1)))))))
2.3s
(log1p.f64 (expm1.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))))
1.3s
(exp.f64 (log.f64 (*.f64 (cbrt.f64 (expm1.f64 (*.f64 a x))) (cbrt.f64 (expm1.f64 (*.f64 a x))))))
1.3s
(*.f64 (sin.f64 (/.f64 eps 2)) (log1p.f64 (expm1.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2)))))
1.3s
(log1p.f64 (expm1.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2))))

prune26.5s (10.8%)

Counts
57921 → 741
Alt Table
StatusErrorProgram
✓1.9b
(*.f64 (*.f64 (cbrt.f64 (atan2.f64 1 (+.f64 1 (fma.f64 N N N)))) (cbrt.f64 (atan2.f64 1 (+.f64 1 (fma.f64 N N N))))) (cbrt.f64 (atan2.f64 1 (+.f64 1 (fma.f64 N N N)))))
2.1b
(*.f64 (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (atan2.f64 1 (+.f64 1 (fma.f64 N N N))))) (cbrt.f64 (sqrt.f64 (atan2.f64 1 (+.f64 1 (fma.f64 N N N)))))) (cbrt.f64 (atan2.f64 1 (+.f64 1 (fma.f64 N N N))))) (cbrt.f64 (atan2.f64 1 (+.f64 1 (fma.f64 N N N)))))
✓0.9b
(atan2.f64 1 (*.f64 (*.f64 (cbrt.f64 (+.f64 1 (fma.f64 N N N))) (cbrt.f64 (+.f64 1 (fma.f64 N N N)))) (cbrt.f64 (+.f64 1 (fma.f64 N N N)))))
14.1b
(+.f64 (atan.f64 (+.f64 N 1)) (neg.f64 (atan.f64 N)))
2.1b
(*.f64 (*.f64 (cbrt.f64 (atan2.f64 1 (+.f64 1 (fma.f64 N N N)))) (cbrt.f64 (atan2.f64 1 (+.f64 1 (fma.f64 N N N))))) (*.f64 (cbrt.f64 (sqrt.f64 (atan2.f64 1 (+.f64 1 (fma.f64 N N N))))) (cbrt.f64 (sqrt.f64 (atan2.f64 1 (+.f64 1 (fma.f64 N N N)))))))
✓0.5b
(atan2.f64 1 (+.f64 1 (fma.f64 N N N)))
11.0b
(cbrt.f64 (*.f64 (*.f64 (atan2.f64 1 (+.f64 1 (fma.f64 N N N))) (atan2.f64 1 (+.f64 1 (fma.f64 N N N)))) (atan2.f64 1 (+.f64 1 (fma.f64 N N N)))))
✓0.9b
(atan2.f64 1 (*.f64 (*.f64 (cbrt.f64 (+.f64 1 (fma.f64 N N N))) (cbrt.f64 (+.f64 1 (fma.f64 N N N)))) (cbrt.f64 (+.f64 1 (fma.f64 N N N)))))
14.1b
(+.f64 (atan.f64 (+.f64 N 1)) (neg.f64 (atan.f64 N)))
▶1.9b
(*.f64 (*.f64 (cbrt.f64 (atan2.f64 1 (+.f64 1 (fma.f64 N N N)))) (cbrt.f64 (atan2.f64 1 (+.f64 1 (fma.f64 N N N))))) (cbrt.f64 (atan2.f64 1 (+.f64 1 (fma.f64 N N N)))))
✓0.5b
(atan2.f64 1 (+.f64 1 (fma.f64 N N N)))
11.0b
(cbrt.f64 (*.f64 (*.f64 (atan2.f64 1 (+.f64 1 (fma.f64 N N N))) (atan2.f64 1 (+.f64 1 (fma.f64 N N N)))) (atan2.f64 1 (+.f64 1 (fma.f64 N N N)))))
▶0.9b
(atan2.f64 1 (*.f64 (*.f64 (cbrt.f64 (+.f64 1 (fma.f64 N N N))) (cbrt.f64 (+.f64 1 (fma.f64 N N N)))) (cbrt.f64 (+.f64 1 (fma.f64 N N N)))))
14.1b
(+.f64 (atan.f64 (+.f64 N 1)) (neg.f64 (atan.f64 N)))
1.9b
(*.f64 (*.f64 (cbrt.f64 (atan2.f64 1 (+.f64 1 (fma.f64 N N N)))) (cbrt.f64 (atan2.f64 1 (+.f64 1 (fma.f64 N N N))))) (cbrt.f64 (atan2.f64 1 (+.f64 1 (fma.f64 N N N)))))
✓0.5b
(atan2.f64 1 (+.f64 1 (fma.f64 N N N)))
11.0b
(cbrt.f64 (*.f64 (*.f64 (atan2.f64 1 (+.f64 1 (fma.f64 N N N))) (atan2.f64 1 (+.f64 1 (fma.f64 N N N)))) (atan2.f64 1 (+.f64 1 (fma.f64 N N N)))))
14.1b
(+.f64 (atan.f64 (+.f64 N 1)) (neg.f64 (atan.f64 N)))
▶0.5b
(atan2.f64 1 (+.f64 1 (fma.f64 N N N)))
▶14.1b
(-.f64 (atan.f64 (+.f64 N 1)) (atan.f64 N))
0.4b
(*.f64 (/.f64 1 (hypot.f64 x (sqrt.f64 x))) (/.f64 (/.f64 1 (sqrt.f64 (hypot.f64 x (sqrt.f64 x)))) (*.f64 (+.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 1 (sqrt.f64 (+.f64 1 x)))) (sqrt.f64 (hypot.f64 x (sqrt.f64 x))))))
23.0b
(-.f64 (pow.f64 x -1/2) (/.f64 1 (sqrt.f64 (+.f64 x 1))))
0.3b
(*.f64 (/.f64 (sqrt.f64 (/.f64 (/.f64 1 (hypot.f64 x (sqrt.f64 x))) (+.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 1 (sqrt.f64 (+.f64 1 x)))))) (hypot.f64 x (sqrt.f64 x))) (sqrt.f64 (/.f64 (/.f64 1 (hypot.f64 x (sqrt.f64 x))) (+.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 1 (sqrt.f64 (+.f64 1 x)))))))
0.3b
(/.f64 (*.f64 1 (/.f64 1 (hypot.f64 x (sqrt.f64 x)))) (*.f64 (hypot.f64 x (sqrt.f64 x)) (+.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 1 (sqrt.f64 (+.f64 1 x))))))
0.4b
(*.f64 (/.f64 (/.f64 1 (hypot.f64 x (sqrt.f64 x))) (sqrt.f64 (hypot.f64 x (sqrt.f64 x)))) (/.f64 (/.f64 1 (sqrt.f64 (hypot.f64 x (sqrt.f64 x)))) (+.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 1 (sqrt.f64 (+.f64 1 x))))))
4.8b
(/.f64 1 (*.f64 (fma.f64 x x x) (+.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 1 (sqrt.f64 (+.f64 1 x))))))
0.4b
(*.f64 (/.f64 1 (hypot.f64 x (sqrt.f64 x))) (/.f64 (/.f64 1 (hypot.f64 x (sqrt.f64 x))) (+.f64 (pow.f64 x -1/2) (/.f64 1 (sqrt.f64 (+.f64 1 x))))))
5.5b
(/.f64 (/.f64 (/.f64 1 (*.f64 (cbrt.f64 (fma.f64 x x x)) (cbrt.f64 (fma.f64 x x x)))) (cbrt.f64 (fma.f64 x x x))) (+.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 1 (sqrt.f64 (+.f64 1 x)))))
23.0b
(-.f64 (pow.f64 x -1/2) (/.f64 1 (sqrt.f64 (+.f64 x 1))))
1.1b
(*.f64 (/.f64 (/.f64 1 (hypot.f64 x (sqrt.f64 x))) (*.f64 (cbrt.f64 (+.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 1 (sqrt.f64 (+.f64 1 x))))) (cbrt.f64 (+.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 1 (sqrt.f64 (+.f64 1 x))))))) (/.f64 (/.f64 1 (hypot.f64 x (sqrt.f64 x))) (cbrt.f64 (+.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 1 (sqrt.f64 (+.f64 1 x)))))))
22.9b
(cbrt.f64 (pow.f64 (/.f64 (/.f64 1 (fma.f64 x x x)) (+.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 1 (sqrt.f64 (+.f64 1 x))))) 3))
4.8b
(/.f64 1 (*.f64 (fma.f64 x x x) (+.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 1 (sqrt.f64 (+.f64 1 x))))))
4.8b
(/.f64 (/.f64 1 (fma.f64 x x x)) (+.f64 (/.f64 1 (sqrt.f64 x)) (pow.f64 (+.f64 1 x) -1/2)))
▶0.3b
(*.f64 (/.f64 1 (hypot.f64 x (sqrt.f64 x))) (/.f64 (/.f64 1 (hypot.f64 x (sqrt.f64 x))) (+.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 1 (sqrt.f64 (+.f64 1 x))))))
24.7b
(*.f64 (/.f64 (/.f64 1 (fma.f64 x x x)) (+.f64 (/.f64 1 (pow.f64 x 3/2)) (pow.f64 (/.f64 1 (sqrt.f64 (+.f64 1 x))) 3))) (+.f64 (*.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 1 (sqrt.f64 x))) (-.f64 (*.f64 (/.f64 1 (sqrt.f64 (+.f64 1 x))) (/.f64 1 (sqrt.f64 (+.f64 1 x)))) (*.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 1 (sqrt.f64 (+.f64 1 x)))))))
4.8b
(/.f64 (*.f64 (/.f64 1 (hypot.f64 x (sqrt.f64 x))) (/.f64 1 (hypot.f64 x (sqrt.f64 x)))) (+.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 1 (sqrt.f64 (+.f64 1 x)))))
23.0b
(-.f64 (pow.f64 x -1/2) (/.f64 1 (sqrt.f64 (+.f64 x 1))))
19.8b
(/.f64 (-.f64 (/.f64 1 x) (/.f64 1 (+.f64 1 x))) (+.f64 (pow.f64 x -1/2) (/.f64 1 (sqrt.f64 (+.f64 1 x)))))
19.1b
(/.f64 (-.f64 (*.f64 1 (+.f64 1 x)) (*.f64 x 1)) (*.f64 (fma.f64 x x x) (+.f64 (sqrt.f64 (/.f64 1 (+.f64 1 x))) (/.f64 1 (sqrt.f64 x)))))
▶4.8b
(/.f64 (/.f64 1 (fma.f64 x x x)) (+.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 1 (sqrt.f64 (+.f64 1 x)))))
30.7b
(fma.f64 (sqrt.f64 (/.f64 1 (sqrt.f64 x))) (sqrt.f64 (/.f64 1 (sqrt.f64 x))) (/.f64 -1 (sqrt.f64 (+.f64 1 x))))
30.4b
(+.f64 (fma.f64 1 (/.f64 1 (sqrt.f64 x)) (neg.f64 (*.f64 (sqrt.f64 (/.f64 1 (sqrt.f64 (+.f64 x 1)))) (sqrt.f64 (/.f64 1 (sqrt.f64 (+.f64 x 1))))))) (fma.f64 (neg.f64 (sqrt.f64 (/.f64 1 (sqrt.f64 (+.f64 x 1))))) (sqrt.f64 (/.f64 1 (sqrt.f64 (+.f64 x 1)))) (*.f64 (sqrt.f64 (/.f64 1 (sqrt.f64 (+.f64 x 1)))) (sqrt.f64 (/.f64 1 (sqrt.f64 (+.f64 x 1)))))))
30.4b
(+.f64 (fma.f64 1 (/.f64 1 (sqrt.f64 x)) (neg.f64 (*.f64 (cbrt.f64 (/.f64 1 (sqrt.f64 (+.f64 x 1)))) (*.f64 (cbrt.f64 (/.f64 1 (sqrt.f64 (+.f64 x 1)))) (cbrt.f64 (/.f64 1 (sqrt.f64 (+.f64 x 1)))))))) (fma.f64 (neg.f64 (cbrt.f64 (/.f64 1 (sqrt.f64 (+.f64 x 1))))) (*.f64 (cbrt.f64 (/.f64 1 (sqrt.f64 (+.f64 x 1)))) (cbrt.f64 (/.f64 1 (sqrt.f64 (+.f64 x 1))))) (*.f64 (cbrt.f64 (/.f64 1 (sqrt.f64 (+.f64 x 1)))) (*.f64 (cbrt.f64 (/.f64 1 (sqrt.f64 (+.f64 x 1)))) (cbrt.f64 (/.f64 1 (sqrt.f64 (+.f64 x 1))))))))
61.6b
(+.f64 (fma.f64 (/.f64 1 (*.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 (sqrt.f64 x)))) (/.f64 1 (cbrt.f64 (sqrt.f64 x))) (neg.f64 (*.f64 (sqrt.f64 (-.f64 x 1)) (/.f64 1 (sqrt.f64 (-.f64 (*.f64 x x) (*.f64 1 1))))))) (fma.f64 (neg.f64 (sqrt.f64 (-.f64 x 1))) (/.f64 1 (sqrt.f64 (-.f64 (*.f64 x x) (*.f64 1 1)))) (*.f64 (sqrt.f64 (-.f64 x 1)) (/.f64 1 (sqrt.f64 (-.f64 (*.f64 x x) (*.f64 1 1)))))))
61.6b
(+.f64 (fma.f64 1 (/.f64 1 (sqrt.f64 x)) (neg.f64 (*.f64 (sqrt.f64 (-.f64 x 1)) (/.f64 1 (sqrt.f64 (-.f64 (*.f64 x x) (*.f64 1 1))))))) (fma.f64 (neg.f64 (sqrt.f64 (-.f64 x 1))) (/.f64 1 (sqrt.f64 (-.f64 (*.f64 x x) (*.f64 1 1)))) (*.f64 (sqrt.f64 (-.f64 x 1)) (/.f64 1 (sqrt.f64 (-.f64 (*.f64 x x) (*.f64 1 1)))))))
30.9b
(+.f64 (fma.f64 (/.f64 1 (sqrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)))) (/.f64 1 (sqrt.f64 (cbrt.f64 x))) (neg.f64 (*.f64 (/.f64 1 (sqrt.f64 (sqrt.f64 (+.f64 x 1)))) (/.f64 1 (sqrt.f64 (sqrt.f64 (+.f64 x 1))))))) (fma.f64 (neg.f64 (/.f64 1 (sqrt.f64 (sqrt.f64 (+.f64 x 1))))) (/.f64 1 (sqrt.f64 (sqrt.f64 (+.f64 x 1)))) (*.f64 (/.f64 1 (sqrt.f64 (sqrt.f64 (+.f64 x 1)))) (/.f64 1 (sqrt.f64 (sqrt.f64 (+.f64 x 1)))))))
30.7b
(+.f64 (fma.f64 (sqrt.f64 (/.f64 1 (sqrt.f64 x))) (sqrt.f64 (/.f64 1 (sqrt.f64 x))) (neg.f64 (*.f64 (/.f64 1 (sqrt.f64 (cbrt.f64 (+.f64 x 1)))) (/.f64 1 (sqrt.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1)))))))) (fma.f64 (neg.f64 (/.f64 1 (sqrt.f64 (cbrt.f64 (+.f64 x 1))))) (/.f64 1 (sqrt.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))))) (*.f64 (/.f64 1 (sqrt.f64 (cbrt.f64 (+.f64 x 1)))) (/.f64 1 (sqrt.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))))))))
31.2b
(fma.f64 (/.f64 1 (*.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 (sqrt.f64 x)))) (/.f64 1 (cbrt.f64 (sqrt.f64 x))) (/.f64 -1 (sqrt.f64 (+.f64 1 x))))
31.4b
(fma.f64 (*.f64 (cbrt.f64 (/.f64 1 (sqrt.f64 x))) (cbrt.f64 (/.f64 1 (sqrt.f64 x)))) (cbrt.f64 (/.f64 1 (sqrt.f64 x))) (/.f64 -1 (sqrt.f64 (+.f64 1 x))))
31.2b
(+.f64 (fma.f64 1 (/.f64 1 (sqrt.f64 x)) (neg.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 x x) (-.f64 (*.f64 1 1) (*.f64 x 1)))) (/.f64 1 (sqrt.f64 (+.f64 (pow.f64 x 3) (pow.f64 1 3))))))) (fma.f64 (neg.f64 (sqrt.f64 (+.f64 (*.f64 x x) (-.f64 (*.f64 1 1) (*.f64 x 1))))) (/.f64 1 (sqrt.f64 (+.f64 (pow.f64 x 3) (pow.f64 1 3)))) (*.f64 (sqrt.f64 (+.f64 (*.f64 x x) (-.f64 (*.f64 1 1) (*.f64 x 1)))) (/.f64 1 (sqrt.f64 (+.f64 (pow.f64 x 3) (pow.f64 1 3)))))))
30.5b
(+.f64 (fma.f64 1 (/.f64 1 (sqrt.f64 x)) (neg.f64 (*.f64 (/.f64 1 (sqrt.f64 (cbrt.f64 (+.f64 x 1)))) (/.f64 1 (sqrt.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1)))))))) (fma.f64 (neg.f64 (/.f64 1 (sqrt.f64 (cbrt.f64 (+.f64 x 1))))) (/.f64 1 (sqrt.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))))) (*.f64 (/.f64 1 (sqrt.f64 (cbrt.f64 (+.f64 x 1)))) (/.f64 1 (sqrt.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))))))))
▶19.8b
(/.f64 (-.f64 (/.f64 1 x) (/.f64 1 (+.f64 1 x))) (+.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 1 (sqrt.f64 (+.f64 1 x)))))
61.7b
(+.f64 (fma.f64 (/.f64 1 (sqrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)))) (/.f64 1 (sqrt.f64 (cbrt.f64 x))) (neg.f64 (*.f64 (sqrt.f64 (-.f64 x 1)) (/.f64 1 (sqrt.f64 (-.f64 (*.f64 x x) (*.f64 1 1))))))) (fma.f64 (neg.f64 (sqrt.f64 (-.f64 x 1))) (/.f64 1 (sqrt.f64 (-.f64 (*.f64 x x) (*.f64 1 1)))) (*.f64 (sqrt.f64 (-.f64 x 1)) (/.f64 1 (sqrt.f64 (-.f64 (*.f64 x x) (*.f64 1 1)))))))
30.3b
(/.f64 (+.f64 (/.f64 1 (pow.f64 x 3/2)) (/.f64 -1 (pow.f64 (sqrt.f64 (+.f64 1 x)) 3))) (+.f64 (/.f64 1 x) (+.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 (*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 1 x)))))))
30.5b
(+.f64 (fma.f64 1 (/.f64 1 (sqrt.f64 x)) (neg.f64 (*.f64 (/.f64 1 (cbrt.f64 (sqrt.f64 (+.f64 x 1)))) (/.f64 1 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 x 1))) (cbrt.f64 (sqrt.f64 (+.f64 x 1)))))))) (fma.f64 (neg.f64 (/.f64 1 (cbrt.f64 (sqrt.f64 (+.f64 x 1))))) (/.f64 1 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 x 1))) (cbrt.f64 (sqrt.f64 (+.f64 x 1))))) (*.f64 (/.f64 1 (cbrt.f64 (sqrt.f64 (+.f64 x 1)))) (/.f64 1 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 x 1))) (cbrt.f64 (sqrt.f64 (+.f64 x 1))))))))
30.7b
(+.f64 (fma.f64 (/.f64 1 (sqrt.f64 (sqrt.f64 x))) (/.f64 1 (sqrt.f64 (sqrt.f64 x))) (neg.f64 (*.f64 (/.f64 1 (sqrt.f64 (cbrt.f64 (+.f64 x 1)))) (/.f64 1 (sqrt.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1)))))))) (fma.f64 (neg.f64 (/.f64 1 (sqrt.f64 (cbrt.f64 (+.f64 x 1))))) (/.f64 1 (sqrt.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))))) (*.f64 (/.f64 1 (sqrt.f64 (cbrt.f64 (+.f64 x 1)))) (/.f64 1 (sqrt.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))))))))
23.0b
(-.f64 (pow.f64 x -1/2) (/.f64 1 (sqrt.f64 (+.f64 x 1))))
30.7b
(+.f64 (fma.f64 (/.f64 1 (sqrt.f64 (sqrt.f64 x))) (/.f64 1 (sqrt.f64 (sqrt.f64 x))) (neg.f64 (*.f64 (/.f64 1 (cbrt.f64 (sqrt.f64 (+.f64 x 1)))) (/.f64 1 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 x 1))) (cbrt.f64 (sqrt.f64 (+.f64 x 1)))))))) (fma.f64 (neg.f64 (/.f64 1 (cbrt.f64 (sqrt.f64 (+.f64 x 1))))) (/.f64 1 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 x 1))) (cbrt.f64 (sqrt.f64 (+.f64 x 1))))) (*.f64 (/.f64 1 (cbrt.f64 (sqrt.f64 (+.f64 x 1)))) (/.f64 1 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 x 1))) (cbrt.f64 (sqrt.f64 (+.f64 x 1))))))))
61.6b
(+.f64 (fma.f64 (sqrt.f64 (/.f64 1 (sqrt.f64 x))) (sqrt.f64 (/.f64 1 (sqrt.f64 x))) (neg.f64 (*.f64 (sqrt.f64 (-.f64 x 1)) (/.f64 1 (sqrt.f64 (-.f64 (*.f64 x x) (*.f64 1 1))))))) (fma.f64 (neg.f64 (sqrt.f64 (-.f64 x 1))) (/.f64 1 (sqrt.f64 (-.f64 (*.f64 x x) (*.f64 1 1)))) (*.f64 (sqrt.f64 (-.f64 x 1)) (/.f64 1 (sqrt.f64 (-.f64 (*.f64 x x) (*.f64 1 1)))))))
31.3b
(+.f64 (fma.f64 (sqrt.f64 (/.f64 1 (sqrt.f64 x))) (sqrt.f64 (/.f64 1 (sqrt.f64 x))) (neg.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 x x) (-.f64 (*.f64 1 1) (*.f64 x 1)))) (/.f64 1 (sqrt.f64 (+.f64 (pow.f64 x 3) (pow.f64 1 3))))))) (fma.f64 (neg.f64 (sqrt.f64 (+.f64 (*.f64 x x) (-.f64 (*.f64 1 1) (*.f64 x 1))))) (/.f64 1 (sqrt.f64 (+.f64 (pow.f64 x 3) (pow.f64 1 3)))) (*.f64 (sqrt.f64 (+.f64 (*.f64 x x) (-.f64 (*.f64 1 1) (*.f64 x 1)))) (/.f64 1 (sqrt.f64 (+.f64 (pow.f64 x 3) (pow.f64 1 3)))))))
30.2b
(/.f64 (-.f64 (pow.f64 (/.f64 1 (sqrt.f64 x)) 3) (pow.f64 (/.f64 1 (sqrt.f64 (+.f64 x 1))) 3)) (+.f64 (*.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 1 (sqrt.f64 x))) (+.f64 (*.f64 (/.f64 1 (sqrt.f64 (+.f64 x 1))) (/.f64 1 (sqrt.f64 (+.f64 x 1)))) (*.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 1 (sqrt.f64 (+.f64 x 1)))))))
▶19.7b
(-.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 1 (sqrt.f64 (+.f64 x 1))))
43.3b
(+.f64 (fma.f64 1 (+.f64 (*.f64 (sin.f64 x) (cos.f64 eps)) (*.f64 (cos.f64 x) (sin.f64 eps))) (neg.f64 (*.f64 (sqrt.f64 (sin.f64 x)) (sqrt.f64 (sin.f64 x))))) (fma.f64 (neg.f64 (sqrt.f64 (sin.f64 x))) (sqrt.f64 (sin.f64 x)) (*.f64 (sqrt.f64 (sin.f64 x)) (sqrt.f64 (sin.f64 x)))))
0.4b
(fma.f64 (+.f64 -1 (cos.f64 eps)) (sin.f64 x) (*.f64 (cos.f64 x) (sin.f64 eps)))
1.6b
(*.f64 (*.f64 (cbrt.f64 (fma.f64 (-.f64 (cos.f64 eps) 1) (sin.f64 x) (*.f64 (cos.f64 x) (sin.f64 eps)))) (cbrt.f64 (fma.f64 (-.f64 (cos.f64 eps) 1) (sin.f64 x) (*.f64 (cos.f64 x) (sin.f64 eps))))) (cbrt.f64 (fma.f64 (-.f64 (cos.f64 eps) 1) (sin.f64 x) (*.f64 (cos.f64 x) (sin.f64 eps)))))
16.4b
(log1p.f64 (expm1.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (exp.f64 (log.f64 (*.f64 (+.f64 -1 (cos.f64 eps)) (sin.f64 x)))))))
33.4b
(*.f64 (sqrt.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))) (sqrt.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))))
0.5b
(log1p.f64 (expm1.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (/.f64 (*.f64 (sin.f64 x) (+.f64 -1 (pow.f64 (cos.f64 eps) 3))) (+.f64 (*.f64 (cos.f64 eps) (cos.f64 eps)) (-.f64 (*.f64 -1 -1) (*.f64 (cos.f64 eps) -1)))))))
32.6b
(log1p.f64 (expm1.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (fma.f64 -1/2 (*.f64 eps eps) (*.f64 1/24 (pow.f64 eps 4)))))))
27.3b
(log.f64 (exp.f64 (-.f64 (+.f64 (*.f64 (cos.f64 eps) (sin.f64 x)) (*.f64 (sin.f64 eps) (cos.f64 x))) (sin.f64 x))))
0.4b
(fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (log.f64 (*.f64 (exp.f64 (cos.f64 eps)) (exp.f64 -1)))))
21.3b
(cbrt.f64 (pow.f64 (fma.f64 (-.f64 (cos.f64 eps) 1) (sin.f64 x) (*.f64 (cos.f64 x) (sin.f64 eps))) 3))
25.1b
(expm1.f64 (log1p.f64 (-.f64 (+.f64 (*.f64 (sin.f64 x) (cos.f64 eps)) (*.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x))))
20.7b
(-.f64 (+.f64 (*.f64 (*.f64 (sin.f64 x) (*.f64 (cbrt.f64 (cos.f64 eps)) (cbrt.f64 (cos.f64 eps)))) (cbrt.f64 (cos.f64 eps))) (*.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x))
27.3b
(log.f64 (exp.f64 (-.f64 (+.f64 (*.f64 (cos.f64 eps) (sin.f64 x)) (*.f64 (sin.f64 eps) (cos.f64 x))) (sin.f64 x))))
34.5b
(exp.f64 (log.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))))
21.3b
(cbrt.f64 (pow.f64 (fma.f64 (-.f64 (cos.f64 eps) 1) (sin.f64 x) (*.f64 (cos.f64 x) (sin.f64 eps))) 3))
▶0.5b
(log1p.f64 (expm1.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (log.f64 (*.f64 (exp.f64 (cos.f64 eps)) (exp.f64 -1)))))))
33.4b
(*.f64 (sqrt.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))) (sqrt.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))))
0.5b
(log1p.f64 (expm1.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (/.f64 (*.f64 (sin.f64 x) (+.f64 -1 (pow.f64 (cos.f64 eps) 3))) (+.f64 (*.f64 (cos.f64 eps) (cos.f64 eps)) (-.f64 (*.f64 -1 -1) (*.f64 (cos.f64 eps) -1)))))))
32.6b
(log1p.f64 (expm1.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (fma.f64 -1/2 (*.f64 eps eps) (*.f64 1/24 (pow.f64 eps 4)))))))
24.6b
(/.f64 (-.f64 (pow.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (cos.f64 eps) (sin.f64 x))) 3) (pow.f64 (sin.f64 x) 3)) (+.f64 (*.f64 (sin.f64 x) (sin.f64 x)) (*.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (cos.f64 eps) (sin.f64 x))) (fma.f64 (cos.f64 eps) (sin.f64 x) (fma.f64 (sin.f64 eps) (cos.f64 x) (sin.f64 x))))))
43.3b
(+.f64 (fma.f64 1 (+.f64 (*.f64 (sin.f64 x) (cos.f64 eps)) (*.f64 (cos.f64 x) (sin.f64 eps))) (neg.f64 (*.f64 (sqrt.f64 (sin.f64 x)) (sqrt.f64 (sin.f64 x))))) (fma.f64 (neg.f64 (sqrt.f64 (sin.f64 x))) (sqrt.f64 (sin.f64 x)) (*.f64 (sqrt.f64 (sin.f64 x)) (sqrt.f64 (sin.f64 x)))))
1.6b
(*.f64 (*.f64 (cbrt.f64 (fma.f64 (-.f64 (cos.f64 eps) 1) (sin.f64 x) (*.f64 (cos.f64 x) (sin.f64 eps)))) (cbrt.f64 (fma.f64 (-.f64 (cos.f64 eps) 1) (sin.f64 x) (*.f64 (cos.f64 x) (sin.f64 eps))))) (cbrt.f64 (fma.f64 (-.f64 (cos.f64 eps) 1) (sin.f64 x) (*.f64 (cos.f64 x) (sin.f64 eps)))))
25.1b
(expm1.f64 (log1p.f64 (-.f64 (+.f64 (*.f64 (sin.f64 x) (cos.f64 eps)) (*.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x))))
27.4b
(log.f64 (/.f64 (*.f64 (exp.f64 (*.f64 (sin.f64 x) (cos.f64 eps))) (exp.f64 (*.f64 (cos.f64 x) (sin.f64 eps)))) (exp.f64 (sin.f64 x))))
34.4b
(fma.f64 eps (cos.f64 x) (fma.f64 (sin.f64 x) (fma.f64 1/24 (pow.f64 eps 4) (*.f64 (*.f64 eps eps) -1/2)) (*.f64 (*.f64 (cos.f64 x) (pow.f64 eps 3)) -1/6)))
1.6b
(*.f64 (*.f64 (cbrt.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))) (cbrt.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))))) (cbrt.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))))
20.6b
(+.f64 (*.f64 (sin.f64 x) (cos.f64 eps)) (-.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))
33.4b
(*.f64 (sqrt.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))) (sqrt.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))))
▶0.5b
(log1p.f64 (expm1.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))))
20.7b
(-.f64 (+.f64 (*.f64 (*.f64 (sin.f64 x) (*.f64 (cbrt.f64 (cos.f64 eps)) (cbrt.f64 (cos.f64 eps)))) (cbrt.f64 (cos.f64 eps))) (*.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x))
24.5b
(cbrt.f64 (*.f64 (*.f64 (-.f64 (+.f64 (*.f64 (sin.f64 x) (cos.f64 eps)) (*.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x)) (-.f64 (+.f64 (*.f64 (sin.f64 x) (cos.f64 eps)) (*.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x))) (-.f64 (+.f64 (*.f64 (sin.f64 x) (cos.f64 eps)) (*.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x))))
24.6b
(/.f64 (-.f64 (pow.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (cos.f64 eps) (sin.f64 x))) 3) (pow.f64 (sin.f64 x) 3)) (+.f64 (*.f64 (sin.f64 x) (sin.f64 x)) (*.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (cos.f64 eps) (sin.f64 x))) (fma.f64 (cos.f64 eps) (sin.f64 x) (fma.f64 (sin.f64 eps) (cos.f64 x) (sin.f64 x))))))
43.3b
(+.f64 (fma.f64 1 (+.f64 (*.f64 (sin.f64 x) (cos.f64 eps)) (*.f64 (cos.f64 x) (sin.f64 eps))) (neg.f64 (*.f64 (sqrt.f64 (sin.f64 x)) (sqrt.f64 (sin.f64 x))))) (fma.f64 (neg.f64 (sqrt.f64 (sin.f64 x))) (sqrt.f64 (sin.f64 x)) (*.f64 (sqrt.f64 (sin.f64 x)) (sqrt.f64 (sin.f64 x)))))
34.5b
(exp.f64 (log.f64 (fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))))
25.1b
(expm1.f64 (log1p.f64 (-.f64 (+.f64 (*.f64 (sin.f64 x) (cos.f64 eps)) (*.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x))))
▶20.6b
(-.f64 (+.f64 (*.f64 (sin.f64 x) (cos.f64 eps)) (*.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x))
34.4b
(fma.f64 eps (cos.f64 x) (fma.f64 (sin.f64 x) (fma.f64 1/24 (pow.f64 eps 4) (*.f64 (*.f64 eps eps) -1/2)) (*.f64 (*.f64 (cos.f64 x) (pow.f64 eps 3)) -1/6)))
20.6b
(+.f64 (*.f64 (sin.f64 x) (cos.f64 eps)) (-.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))
▶37.7b
(-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))
11.7b
(*.f64 (/.f64 1 (fma.f64 x (sqrt.f64 x) (pow.f64 (sqrt.f64 (+.f64 1 x)) 3))) (+.f64 (*.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 (+.f64 1 x))) (-.f64 (*.f64 (sqrt.f64 x) (sqrt.f64 x)) (*.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))))
0.8b
(/.f64 1 (*.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))) 4) (cbrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))))
10.5b
(cbrt.f64 (pow.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))) 3))
0.1b
(pow.f64 (*.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)) (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))) -1/2)
0.3b
(pow.f64 (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))) -2)
0.3b
(/.f64 1 (*.f64 (hypot.f64 (sqrt.f64 (sqrt.f64 (+.f64 1 x))) (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))))
1.0b
(/.f64 1 (*.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))) 5) (cbrt.f64 (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))))))
0.7b
(/.f64 (/.f64 1 (*.f64 (cbrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))) (cbrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))))) (cbrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))))
0.4b
(*.f64 (sqrt.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))) (sqrt.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))))
0.7b
(/.f64 (/.f64 1 (*.f64 (cbrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))) (cbrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))))) (cbrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))))
✓0.1b
(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))
10.5b
(cbrt.f64 (pow.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))) 3))
▶0.3b
(/.f64 1 (*.f64 (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))) (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))))
✓0.2b
(/.f64 1 (fma.f64 (sqrt.f64 (sqrt.f64 (+.f64 1 x))) (sqrt.f64 (sqrt.f64 (+.f64 1 x))) (sqrt.f64 x)))
0.4b
(/.f64 (/.f64 1 (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))) (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))))
30.6b
(*.f64 1 (-.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))
11.7b
(*.f64 (/.f64 1 (fma.f64 x (sqrt.f64 x) (pow.f64 (sqrt.f64 (+.f64 1 x)) 3))) (+.f64 (*.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 (+.f64 1 x))) (-.f64 (*.f64 (sqrt.f64 x) (sqrt.f64 x)) (*.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))))
0.4b
(*.f64 (sqrt.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))) (sqrt.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))))
0.8b
(*.f64 (*.f64 (cbrt.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))) (cbrt.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))))) (cbrt.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))))
0.7b
(/.f64 (/.f64 1 (*.f64 (cbrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))) (cbrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))))) (cbrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))))
✓0.1b
(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))
10.5b
(cbrt.f64 (pow.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))) 3))
0.3b
(/.f64 1 (*.f64 (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))) (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))))
▶0.2b
(/.f64 1 (fma.f64 (sqrt.f64 (sqrt.f64 (+.f64 1 x))) (sqrt.f64 (sqrt.f64 (+.f64 1 x))) (sqrt.f64 x)))
0.4b
(/.f64 (/.f64 1 (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))) (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))))
30.6b
(*.f64 1 (-.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))
11.7b
(*.f64 (/.f64 1 (fma.f64 x (sqrt.f64 x) (pow.f64 (sqrt.f64 (+.f64 1 x)) 3))) (+.f64 (*.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 (+.f64 1 x))) (-.f64 (*.f64 (sqrt.f64 x) (sqrt.f64 x)) (*.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))))
0.4b
(*.f64 (sqrt.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))) (sqrt.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))))
0.8b
(*.f64 (*.f64 (cbrt.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))) (cbrt.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))))) (cbrt.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))))
30.6b
(+.f64 (sqrt.f64 (+.f64 x 1)) (*.f64 (neg.f64 1) (sqrt.f64 x)))
▶0.1b
(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))
30.7b
(*.f64 (*.f64 (cbrt.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))) (cbrt.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)))) (cbrt.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))))
▶30.6b
(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
19.1b
(+.f64 (fma.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (pow.f64 (*.f64 (tan.f64 x) (tan.f64 eps)) 3))) (fma.f64 (*.f64 (tan.f64 x) (tan.f64 eps)) (fma.f64 (tan.f64 x) (tan.f64 eps) 1) 1) (neg.f64 (tan.f64 x))) 0)
19.2b
(/.f64 (fma.f64 (sin.f64 x) (+.f64 (*.f64 (tan.f64 x) (tan.f64 eps)) -1) (*.f64 (cos.f64 x) (+.f64 (tan.f64 x) (tan.f64 eps)))) (*.f64 (cos.f64 x) (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))))
33.7b
(+.f64 (/.f64 eps (/.f64 (pow.f64 (/.f64 (cos.f64 x) (sin.f64 x)) 3) eps)) (+.f64 (+.f64 (/.f64 (*.f64 (pow.f64 eps 3) (pow.f64 (sin.f64 x) 4)) (pow.f64 (cos.f64 x) 4)) (+.f64 eps (+.f64 (*.f64 eps (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2))) (fma.f64 4/3 (/.f64 (*.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 eps 3)) (pow.f64 (cos.f64 x) 2)) (*.f64 (pow.f64 eps 3) 1/3))))) (/.f64 (*.f64 (sin.f64 x) (*.f64 eps eps)) (cos.f64 x))))
27.9b
(log.f64 (exp.f64 (-.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))) (tan.f64 x))))
39.6b
(fma.f64 (/.f64 (*.f64 (cbrt.f64 (+.f64 (tan.f64 x) (tan.f64 eps))) (cbrt.f64 (+.f64 (tan.f64 x) (tan.f64 eps)))) (+.f64 1 (sqrt.f64 (/.f64 (*.f64 (sin.f64 x) (sin.f64 eps)) (*.f64 (cos.f64 eps) (cos.f64 x)))))) (/.f64 (cbrt.f64 (+.f64 (tan.f64 x) (tan.f64 eps))) (-.f64 1 (sqrt.f64 (/.f64 (*.f64 (sin.f64 x) (sin.f64 eps)) (*.f64 (cos.f64 eps) (cos.f64 x)))))) (neg.f64 (tan.f64 x)))
✓19.1b
(-.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (/.f64 (sin.f64 x) (/.f64 (*.f64 (cos.f64 eps) (cos.f64 x)) (sin.f64 eps))))) (tan.f64 x))
19.2b
(-.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (/.f64 (sin.f64 x) (*.f64 (/.f64 (cos.f64 eps) (*.f64 (cbrt.f64 (sin.f64 eps)) (cbrt.f64 (sin.f64 eps)))) (/.f64 (cos.f64 x) (cbrt.f64 (sin.f64 eps))))))) (tan.f64 x))
19.3b
(-.f64 (/.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (*.f64 (cbrt.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))) (cbrt.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))))) (cbrt.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))))) (tan.f64 x))
33.7b
(+.f64 (/.f64 (*.f64 (pow.f64 eps 2) (sin.f64 x)) (cos.f64 x)) (+.f64 (/.f64 (*.f64 (pow.f64 eps 2) (pow.f64 (sin.f64 x) 3)) (pow.f64 (cos.f64 x) 3)) (+.f64 (/.f64 (*.f64 (pow.f64 eps 3) (pow.f64 (sin.f64 x) 4)) (pow.f64 (cos.f64 x) 4)) (+.f64 eps (+.f64 (/.f64 (*.f64 eps (pow.f64 (sin.f64 x) 2)) (pow.f64 (cos.f64 x) 2)) (+.f64 (*.f64 4/3 (/.f64 (*.f64 (pow.f64 eps 3) (pow.f64 (sin.f64 x) 2)) (pow.f64 (cos.f64 x) 2))) (*.f64 1/3 (pow.f64 eps 3))))))))
24.7b
(fma.f64 (/.f64 (*.f64 (cbrt.f64 (+.f64 (tan.f64 x) (tan.f64 eps))) (cbrt.f64 (+.f64 (tan.f64 x) (tan.f64 eps)))) (sqrt.f64 (-.f64 1 (/.f64 (sin.f64 x) (/.f64 (*.f64 (cos.f64 eps) (cos.f64 x)) (sin.f64 eps)))))) (/.f64 (cbrt.f64 (+.f64 (tan.f64 x) (tan.f64 eps))) (sqrt.f64 (-.f64 1 (/.f64 (sin.f64 x) (/.f64 (*.f64 (cos.f64 eps) (cos.f64 x)) (sin.f64 eps)))))) (neg.f64 (tan.f64 x)))
19.1b
(fma.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (/.f64 1 (-.f64 1 (/.f64 (*.f64 (sin.f64 x) (sin.f64 eps)) (*.f64 (cos.f64 eps) (cos.f64 x))))) (neg.f64 (tan.f64 x)))
33.7b
(+.f64 (/.f64 eps (/.f64 (pow.f64 (/.f64 (cos.f64 x) (sin.f64 x)) 3) eps)) (+.f64 (*.f64 eps (+.f64 1 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2)))) (/.f64 (*.f64 (sin.f64 x) (*.f64 eps eps)) (cos.f64 x))))
19.1b
(+.f64 (fma.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (pow.f64 (*.f64 (tan.f64 x) (tan.f64 eps)) 3))) (fma.f64 (*.f64 (tan.f64 x) (tan.f64 eps)) (fma.f64 (tan.f64 x) (tan.f64 eps) 1) 1) (neg.f64 (tan.f64 x))) 0)
19.2b
(/.f64 (fma.f64 (sin.f64 x) (+.f64 (*.f64 (tan.f64 x) (tan.f64 eps)) -1) (*.f64 (cos.f64 x) (+.f64 (tan.f64 x) (tan.f64 eps)))) (*.f64 (cos.f64 x) (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))))
20.2b
(-.f64 (*.f64 (*.f64 (cbrt.f64 (+.f64 (tan.f64 x) (tan.f64 eps))) (cbrt.f64 (+.f64 (tan.f64 x) (tan.f64 eps)))) (/.f64 (cbrt.f64 (+.f64 (tan.f64 x) (tan.f64 eps))) (-.f64 1 (/.f64 (*.f64 (sin.f64 eps) (sin.f64 x)) (*.f64 (cos.f64 eps) (cos.f64 x)))))) (tan.f64 x))
19.1b
(fma.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (/.f64 1 (-.f64 1 (/.f64 (*.f64 (sin.f64 x) (sin.f64 eps)) (*.f64 (cos.f64 eps) (cos.f64 x))))) (neg.f64 (tan.f64 x)))
33.7b
(+.f64 (/.f64 eps (/.f64 (pow.f64 (/.f64 (cos.f64 x) (sin.f64 x)) 3) eps)) (+.f64 (+.f64 (/.f64 (*.f64 (pow.f64 eps 3) (pow.f64 (sin.f64 x) 4)) (pow.f64 (cos.f64 x) 4)) (+.f64 eps (+.f64 (*.f64 eps (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2))) (fma.f64 4/3 (/.f64 (*.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 eps 3)) (pow.f64 (cos.f64 x) 2)) (*.f64 (pow.f64 eps 3) 1/3))))) (/.f64 (*.f64 (sin.f64 x) (*.f64 eps eps)) (cos.f64 x))))
27.9b
(log.f64 (exp.f64 (-.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))) (tan.f64 x))))
39.6b
(fma.f64 (/.f64 (*.f64 (cbrt.f64 (+.f64 (tan.f64 x) (tan.f64 eps))) (cbrt.f64 (+.f64 (tan.f64 x) (tan.f64 eps)))) (+.f64 1 (sqrt.f64 (/.f64 (*.f64 (sin.f64 x) (sin.f64 eps)) (*.f64 (cos.f64 eps) (cos.f64 x)))))) (/.f64 (cbrt.f64 (+.f64 (tan.f64 x) (tan.f64 eps))) (-.f64 1 (sqrt.f64 (/.f64 (*.f64 (sin.f64 x) (sin.f64 eps)) (*.f64 (cos.f64 eps) (cos.f64 x)))))) (neg.f64 (tan.f64 x)))
▶19.1b
(-.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (/.f64 (sin.f64 x) (/.f64 (*.f64 (cos.f64 eps) (cos.f64 x)) (sin.f64 eps))))) (tan.f64 x))
19.3b
(-.f64 (/.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (*.f64 (cbrt.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))) (cbrt.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))))) (cbrt.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))))) (tan.f64 x))
33.7b
(+.f64 (/.f64 (*.f64 (pow.f64 eps 2) (sin.f64 x)) (cos.f64 x)) (+.f64 (/.f64 (*.f64 (pow.f64 eps 2) (pow.f64 (sin.f64 x) 3)) (pow.f64 (cos.f64 x) 3)) (+.f64 (/.f64 (*.f64 (pow.f64 eps 3) (pow.f64 (sin.f64 x) 4)) (pow.f64 (cos.f64 x) 4)) (+.f64 eps (+.f64 (/.f64 (*.f64 eps (pow.f64 (sin.f64 x) 2)) (pow.f64 (cos.f64 x) 2)) (+.f64 (*.f64 4/3 (/.f64 (*.f64 (pow.f64 eps 3) (pow.f64 (sin.f64 x) 2)) (pow.f64 (cos.f64 x) 2))) (*.f64 1/3 (pow.f64 eps 3))))))))
33.7b
(+.f64 (/.f64 eps (/.f64 (pow.f64 (/.f64 (cos.f64 x) (sin.f64 x)) 3) eps)) (+.f64 (*.f64 eps (+.f64 1 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2)))) (/.f64 (*.f64 (sin.f64 x) (*.f64 eps eps)) (cos.f64 x))))
19.1b
(+.f64 (fma.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (pow.f64 (*.f64 (tan.f64 x) (tan.f64 eps)) 3))) (fma.f64 (*.f64 (tan.f64 x) (tan.f64 eps)) (fma.f64 (tan.f64 x) (tan.f64 eps) 1) 1) (neg.f64 (tan.f64 x))) 0)
19.2b
(/.f64 (fma.f64 (sin.f64 x) (+.f64 (*.f64 (tan.f64 x) (tan.f64 eps)) -1) (*.f64 (cos.f64 x) (+.f64 (tan.f64 x) (tan.f64 eps)))) (*.f64 (cos.f64 x) (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))))
19.1b
(fma.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (/.f64 1 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))) (neg.f64 (tan.f64 x)))
27.9b
(log.f64 (exp.f64 (-.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))) (tan.f64 x))))
33.7b
(+.f64 (+.f64 eps (+.f64 (/.f64 (pow.f64 eps 3) (pow.f64 (/.f64 (cos.f64 x) (sin.f64 x)) 4)) (fma.f64 5/3 (/.f64 (pow.f64 eps 4) (pow.f64 (/.f64 (cos.f64 x) (sin.f64 x)) 3)) (fma.f64 (/.f64 (pow.f64 eps 4) (pow.f64 (cos.f64 x) 5)) (pow.f64 (sin.f64 x) 5) (fma.f64 4/3 (/.f64 (*.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 eps 3)) (pow.f64 (cos.f64 x) 2)) (fma.f64 eps (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2)) (fma.f64 1/3 (pow.f64 eps 3) (*.f64 2/3 (*.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (pow.f64 eps 4)))))))))) (*.f64 (/.f64 (*.f64 eps eps) (cos.f64 x)) (+.f64 (sin.f64 x) (/.f64 (pow.f64 (sin.f64 x) 3) (pow.f64 (cos.f64 x) 2)))))
19.1b
(-.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (log.f64 (pow.f64 (exp.f64 (tan.f64 x)) (tan.f64 eps))))) (tan.f64 x))
33.3b
(*.f64 eps (+.f64 1 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2))))
▶19.1b
(-.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (/.f64 (*.f64 (sin.f64 x) (sin.f64 eps)) (*.f64 (cos.f64 eps) (cos.f64 x))))) (tan.f64 x))
19.3b
(-.f64 (/.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (*.f64 (cbrt.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))) (cbrt.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))))) (cbrt.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))))) (tan.f64 x))
33.7b
(+.f64 (/.f64 (*.f64 (pow.f64 eps 2) (sin.f64 x)) (cos.f64 x)) (+.f64 (/.f64 (*.f64 (pow.f64 eps 2) (pow.f64 (sin.f64 x) 3)) (pow.f64 (cos.f64 x) 3)) (+.f64 (/.f64 (*.f64 (pow.f64 eps 3) (pow.f64 (sin.f64 x) 4)) (pow.f64 (cos.f64 x) 4)) (+.f64 eps (+.f64 (/.f64 (*.f64 eps (pow.f64 (sin.f64 x) 2)) (pow.f64 (cos.f64 x) 2)) (+.f64 (*.f64 4/3 (/.f64 (*.f64 (pow.f64 eps 3) (pow.f64 (sin.f64 x) 2)) (pow.f64 (cos.f64 x) 2))) (*.f64 1/3 (pow.f64 eps 3))))))))
19.2b
(-.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (*.f64 (*.f64 (tan.f64 x) (*.f64 (cbrt.f64 (tan.f64 eps)) (cbrt.f64 (tan.f64 eps)))) (cbrt.f64 (tan.f64 eps))))) (tan.f64 x))
33.3b
(*.f64 eps (+.f64 1 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2))))
34.4b
(fma.f64 (/.f64 (pow.f64 (sin.f64 eps) 2) (pow.f64 (cos.f64 eps) 2)) x (+.f64 (/.f64 (sin.f64 eps) (cos.f64 eps)) (*.f64 (*.f64 x x) (+.f64 (/.f64 (pow.f64 (sin.f64 eps) 3) (pow.f64 (cos.f64 eps) 3)) (/.f64 (sin.f64 eps) (cos.f64 eps))))))
19.2b
(/.f64 (fma.f64 (sin.f64 x) (+.f64 (*.f64 (tan.f64 x) (tan.f64 eps)) -1) (*.f64 (cos.f64 x) (+.f64 (tan.f64 x) (tan.f64 eps)))) (*.f64 (cos.f64 x) (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))))
19.2b
(/.f64 (-.f64 (*.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (cos.f64 x)) (*.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))) (sin.f64 x))) (*.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))) (cos.f64 x)))
▶19.1b
(-.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))) (tan.f64 x))
33.7b
(+.f64 (+.f64 eps (+.f64 (/.f64 (pow.f64 eps 3) (pow.f64 (/.f64 (cos.f64 x) (sin.f64 x)) 4)) (fma.f64 5/3 (/.f64 (pow.f64 eps 4) (pow.f64 (/.f64 (cos.f64 x) (sin.f64 x)) 3)) (fma.f64 (/.f64 (pow.f64 eps 4) (pow.f64 (cos.f64 x) 5)) (pow.f64 (sin.f64 x) 5) (fma.f64 4/3 (/.f64 (*.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 eps 3)) (pow.f64 (cos.f64 x) 2)) (fma.f64 eps (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2)) (fma.f64 1/3 (pow.f64 eps 3) (*.f64 2/3 (*.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (pow.f64 eps 4)))))))))) (*.f64 (/.f64 (*.f64 eps eps) (cos.f64 x)) (+.f64 (sin.f64 x) (/.f64 (pow.f64 (sin.f64 x) 3) (pow.f64 (cos.f64 x) 2)))))
33.8b
(+.f64 (/.f64 (*.f64 (pow.f64 eps 2) (pow.f64 (sin.f64 x) 3)) (pow.f64 (cos.f64 x) 3)) (+.f64 (/.f64 (*.f64 (pow.f64 eps 2) (sin.f64 x)) (cos.f64 x)) (+.f64 eps (+.f64 (/.f64 (*.f64 (pow.f64 eps 3) (pow.f64 (sin.f64 x) 4)) (pow.f64 (cos.f64 x) 4)) (+.f64 (*.f64 5/3 (/.f64 (*.f64 (pow.f64 eps 4) (pow.f64 (sin.f64 x) 3)) (pow.f64 (cos.f64 x) 3))) (+.f64 (/.f64 (*.f64 (pow.f64 eps 4) (pow.f64 (sin.f64 x) 5)) (pow.f64 (cos.f64 x) 5)) (+.f64 (*.f64 4/3 (/.f64 (*.f64 (pow.f64 eps 3) (pow.f64 (sin.f64 x) 2)) (pow.f64 (cos.f64 x) 2))) (+.f64 (/.f64 (*.f64 eps (pow.f64 (sin.f64 x) 2)) (pow.f64 (cos.f64 x) 2)) (+.f64 (*.f64 2/3 (/.f64 (*.f64 (pow.f64 eps 4) (sin.f64 x)) (cos.f64 x))) (*.f64 1/3 (pow.f64 eps 3)))))))))))
▶37.0b
(-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))
✓33.1b
(+.f64 (/.f64 2 (pow.f64 x 5)) (+.f64 (/.f64 2 (pow.f64 x 3)) (/.f64 2 (pow.f64 x 7))))
✓32.9b
(+.f64 (/.f64 2 (pow.f64 x 5)) (+.f64 (/.f64 (/.f64 2 (*.f64 x x)) x) (/.f64 2 (pow.f64 x 7))))
✓32.9b
(+.f64 (/.f64 2 (pow.f64 x 5)) (+.f64 (*.f64 (/.f64 1 (*.f64 x x)) (/.f64 2 x)) (/.f64 2 (pow.f64 x 7))))
✓10.1b
(+.f64 (-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 2 x)) (/.f64 1 (-.f64 x 1)))
✓33.1b
(+.f64 (/.f64 2 (pow.f64 x 5)) (+.f64 (/.f64 2 (pow.f64 x 3)) (/.f64 2 (pow.f64 x 7))))
✓32.9b
(+.f64 (/.f64 2 (pow.f64 x 5)) (+.f64 (/.f64 (/.f64 2 (*.f64 x x)) x) (/.f64 2 (pow.f64 x 7))))
▶32.9b
(+.f64 (/.f64 2 (pow.f64 x 5)) (+.f64 (*.f64 (/.f64 1 (*.f64 x x)) (/.f64 2 x)) (/.f64 2 (pow.f64 x 7))))
✓10.1b
(+.f64 (-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 2 x)) (/.f64 1 (-.f64 x 1)))
✓33.1b
(+.f64 (/.f64 2 (pow.f64 x 5)) (+.f64 (/.f64 2 (pow.f64 x 3)) (/.f64 2 (pow.f64 x 7))))
▶32.9b
(+.f64 (/.f64 2 (pow.f64 x 5)) (+.f64 (/.f64 (/.f64 2 (*.f64 x x)) x) (/.f64 2 (pow.f64 x 7))))
32.9b
(+.f64 (/.f64 2 (pow.f64 x 5)) (+.f64 (*.f64 (/.f64 1 (*.f64 x x)) (/.f64 2 x)) (/.f64 2 (pow.f64 x 7))))
✓10.1b
(+.f64 (-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 2 x)) (/.f64 1 (-.f64 x 1)))
▶33.1b
(+.f64 (/.f64 2 (pow.f64 x 5)) (+.f64 (/.f64 2 (pow.f64 x 3)) (/.f64 2 (pow.f64 x 7))))
✓10.1b
(+.f64 (-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 2 x)) (/.f64 1 (-.f64 x 1)))
▶10.1b
(+.f64 (-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 2 x)) (/.f64 1 (-.f64 x 1)))
✓27.6b
(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))
✓0.5b
(fma.f64 1/12 (pow.f64 x 4) (fma.f64 x x (*.f64 1/360 (pow.f64 x 6))))
✓0.5b
(*.f64 (sqrt.f64 (fma.f64 1/12 (pow.f64 x 4) (fma.f64 x x (*.f64 1/360 (pow.f64 x 6))))) (sqrt.f64 (fma.f64 1/12 (pow.f64 x 4) (fma.f64 x x (*.f64 1/360 (pow.f64 x 6))))))
✓27.6b
(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))
✓0.5b
(fma.f64 1/12 (pow.f64 x 4) (fma.f64 x x (*.f64 1/360 (pow.f64 x 6))))
▶0.5b
(*.f64 (sqrt.f64 (fma.f64 1/12 (pow.f64 x 4) (fma.f64 x x (*.f64 1/360 (pow.f64 x 6))))) (sqrt.f64 (fma.f64 1/12 (pow.f64 x 4) (fma.f64 x x (*.f64 1/360 (pow.f64 x 6))))))
✓27.6b
(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))
▶0.5b
(fma.f64 1/12 (pow.f64 x 4) (fma.f64 x x (*.f64 1/360 (pow.f64 x 6))))
▶27.6b
(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))
✓0.0b
(expm1.f64 (*.f64 a x))
36.3b
(*.f64 (pow.f64 (exp.f64 2/3) (log.f64 (expm1.f64 (*.f64 a x)))) (cbrt.f64 (expm1.f64 (*.f64 a x))))
35.8b
(*.f64 (*.f64 (cbrt.f64 (expm1.f64 (*.f64 a x))) (cbrt.f64 (expm1.f64 (*.f64 a x)))) (exp.f64 (log.f64 (cbrt.f64 (expm1.f64 (*.f64 a x))))))
✓1.8b
(*.f64 (exp.f64 (log.f64 (*.f64 (cbrt.f64 (expm1.f64 (*.f64 a x))) (cbrt.f64 (expm1.f64 (*.f64 a x)))))) (cbrt.f64 (expm1.f64 (*.f64 a x))))
✓25.5b
(*.f64 a x)
✓0.0b
(expm1.f64 (*.f64 a x))
36.3b
(*.f64 (pow.f64 (exp.f64 2/3) (log.f64 (expm1.f64 (*.f64 a x)))) (cbrt.f64 (expm1.f64 (*.f64 a x))))
35.8b
(*.f64 (*.f64 (cbrt.f64 (expm1.f64 (*.f64 a x))) (cbrt.f64 (expm1.f64 (*.f64 a x)))) (exp.f64 (log.f64 (cbrt.f64 (expm1.f64 (*.f64 a x))))))
✓1.8b
(*.f64 (exp.f64 (log.f64 (*.f64 (cbrt.f64 (expm1.f64 (*.f64 a x))) (cbrt.f64 (expm1.f64 (*.f64 a x)))))) (cbrt.f64 (expm1.f64 (*.f64 a x))))
▶25.5b
(*.f64 a x)
✓0.0b
(expm1.f64 (*.f64 a x))
35.8b
(*.f64 (*.f64 (cbrt.f64 (expm1.f64 (*.f64 a x))) (cbrt.f64 (expm1.f64 (*.f64 a x)))) (exp.f64 (log.f64 (cbrt.f64 (expm1.f64 (*.f64 a x))))))
▶1.8b
(*.f64 (exp.f64 (log.f64 (*.f64 (cbrt.f64 (expm1.f64 (*.f64 a x))) (cbrt.f64 (expm1.f64 (*.f64 a x)))))) (cbrt.f64 (expm1.f64 (*.f64 a x))))
25.5b
(*.f64 a x)
✓0.0b
(expm1.f64 (*.f64 a x))
▶0.6b
(*.f64 (*.f64 (cbrt.f64 (expm1.f64 (*.f64 a x))) (cbrt.f64 (expm1.f64 (*.f64 a x)))) (cbrt.f64 (expm1.f64 (*.f64 a x))))
25.5b
(*.f64 a x)
▶0.0b
(expm1.f64 (*.f64 a x))
✓0b
(expm1.f64 x)
▶0b
(expm1.f64 x)
✓0.8b
(/.f64 (exp.f64 x) (expm1.f64 x))
41.9b
(+.f64 (*.f64 1/2 (*.f64 (exp.f64 (neg.f64 (log.f64 x))) x)) (exp.f64 (neg.f64 (log.f64 x))))
✓41.7b
(exp.f64 (-.f64 x (log.f64 (expm1.f64 x))))
✓20.5b
(+.f64 1/2 (fma.f64 x 1/12 (/.f64 1 x)))
✓0.8b
(/.f64 (exp.f64 x) (expm1.f64 x))
▶41.7b
(exp.f64 (-.f64 x (log.f64 (expm1.f64 x))))
✓20.5b
(+.f64 1/2 (fma.f64 x 1/12 (/.f64 1 x)))
✓20.4b
(+.f64 1/2 (/.f64 1 x))
✓0.8b
(/.f64 (exp.f64 x) (expm1.f64 x))
41.7b
(exp.f64 (-.f64 x (log.f64 (expm1.f64 x))))
▶20.5b
(+.f64 1/2 (fma.f64 x 1/12 (/.f64 1 x)))
✓20.4b
(+.f64 1/2 (/.f64 1 x))
✓0.8b
(/.f64 (exp.f64 x) (expm1.f64 x))
41.7b
(exp.f64 (-.f64 x (log.f64 (expm1.f64 x))))
20.5b
(+.f64 1/2 (fma.f64 x 1/12 (/.f64 1 x)))
▶20.4b
(+.f64 1/2 (/.f64 1 x))
▶0.8b
(/.f64 (exp.f64 x) (expm1.f64 x))
✓6.4b
(*.f64 (*.f64 (cbrt.f64 (fma.f64 eps (*.f64 (+.f64 a b) (*.f64 eps 1/12)) (+.f64 (/.f64 1 a) (/.f64 1 b)))) (cbrt.f64 (fma.f64 eps (*.f64 (+.f64 a b) (*.f64 eps 1/12)) (+.f64 (/.f64 1 a) (/.f64 1 b))))) (cbrt.f64 (fma.f64 eps (*.f64 (+.f64 a b) (*.f64 eps 1/12)) (+.f64 (/.f64 1 a) (/.f64 1 b)))))
✓4.7b
(fma.f64 1/12 (*.f64 a (*.f64 eps eps)) (+.f64 (/.f64 1 b) (fma.f64 1/12 (*.f64 b (*.f64 eps eps)) (/.f64 1 a))))
51.1b
(/.f64 (*.f64 (sqrt.f64 eps) (*.f64 (sqrt.f64 eps) (expm1.f64 (*.f64 eps (+.f64 a b))))) (*.f64 (expm1.f64 (*.f64 eps a)) (expm1.f64 (*.f64 eps b))))
52.5b
(/.f64 (*.f64 (sqrt.f64 (*.f64 eps (expm1.f64 (*.f64 eps (+.f64 a b))))) (sqrt.f64 (*.f64 eps (expm1.f64 (*.f64 eps (+.f64 a b)))))) (*.f64 (expm1.f64 (*.f64 eps a)) (expm1.f64 (*.f64 eps b))))
✓13.8b
(/.f64 (+.f64 a b) (*.f64 a b))
9.2b
(/.f64 (/.f64 (+.f64 a b) a) b)
✓6.4b
(*.f64 (*.f64 (cbrt.f64 (fma.f64 eps (*.f64 (+.f64 a b) (*.f64 eps 1/12)) (+.f64 (/.f64 1 a) (/.f64 1 b)))) (cbrt.f64 (fma.f64 eps (*.f64 (+.f64 a b) (*.f64 eps 1/12)) (+.f64 (/.f64 1 a) (/.f64 1 b))))) (cbrt.f64 (fma.f64 eps (*.f64 (+.f64 a b) (*.f64 eps 1/12)) (+.f64 (/.f64 1 a) (/.f64 1 b)))))
✓4.7b
(fma.f64 1/12 (*.f64 a (*.f64 eps eps)) (+.f64 (/.f64 1 b) (fma.f64 1/12 (*.f64 b (*.f64 eps eps)) (/.f64 1 a))))
41.3b
(/.f64 1 (/.f64 (*.f64 (expm1.f64 (*.f64 eps a)) (expm1.f64 (*.f64 eps b))) (*.f64 eps (expm1.f64 (*.f64 eps (+.f64 a b))))))
51.1b
(/.f64 (*.f64 (sqrt.f64 eps) (*.f64 (sqrt.f64 eps) (expm1.f64 (*.f64 eps (+.f64 a b))))) (*.f64 (expm1.f64 (*.f64 eps a)) (expm1.f64 (*.f64 eps b))))
52.5b
(/.f64 (*.f64 (sqrt.f64 (*.f64 eps (expm1.f64 (*.f64 eps (+.f64 a b))))) (sqrt.f64 (*.f64 eps (expm1.f64 (*.f64 eps (+.f64 a b)))))) (*.f64 (expm1.f64 (*.f64 eps a)) (expm1.f64 (*.f64 eps b))))
▶13.8b
(/.f64 (+.f64 a b) (*.f64 a b))
▶6.4b
(*.f64 (*.f64 (cbrt.f64 (fma.f64 eps (*.f64 (+.f64 a b) (*.f64 eps 1/12)) (+.f64 (/.f64 1 a) (/.f64 1 b)))) (cbrt.f64 (fma.f64 eps (*.f64 (+.f64 a b) (*.f64 eps 1/12)) (+.f64 (/.f64 1 a) (/.f64 1 b))))) (cbrt.f64 (fma.f64 eps (*.f64 (+.f64 a b) (*.f64 eps 1/12)) (+.f64 (/.f64 1 a) (/.f64 1 b)))))
✓4.7b
(fma.f64 1/12 (*.f64 a (*.f64 eps eps)) (+.f64 (/.f64 1 b) (fma.f64 1/12 (*.f64 b (*.f64 eps eps)) (/.f64 1 a))))
41.3b
(/.f64 1 (/.f64 (*.f64 (expm1.f64 (*.f64 eps a)) (expm1.f64 (*.f64 eps b))) (*.f64 eps (expm1.f64 (*.f64 eps (+.f64 a b))))))
51.1b
(/.f64 (*.f64 (sqrt.f64 eps) (*.f64 (sqrt.f64 eps) (expm1.f64 (*.f64 eps (+.f64 a b))))) (*.f64 (expm1.f64 (*.f64 eps a)) (expm1.f64 (*.f64 eps b))))
52.5b
(/.f64 (*.f64 (sqrt.f64 (*.f64 eps (expm1.f64 (*.f64 eps (+.f64 a b))))) (sqrt.f64 (*.f64 eps (expm1.f64 (*.f64 eps (+.f64 a b)))))) (*.f64 (expm1.f64 (*.f64 eps a)) (expm1.f64 (*.f64 eps b))))
13.8b
(/.f64 (+.f64 a b) (*.f64 a b))
41.3b
(/.f64 1 (/.f64 (*.f64 (expm1.f64 (*.f64 eps a)) (expm1.f64 (*.f64 eps b))) (*.f64 eps (expm1.f64 (*.f64 eps (+.f64 a b))))))
51.1b
(/.f64 (*.f64 (sqrt.f64 eps) (*.f64 (sqrt.f64 eps) (expm1.f64 (*.f64 eps (+.f64 a b))))) (*.f64 (expm1.f64 (*.f64 eps a)) (expm1.f64 (*.f64 eps b))))
▶4.7b
(fma.f64 1/12 (*.f64 a (*.f64 eps eps)) (+.f64 (/.f64 1 b) (fma.f64 1/12 (*.f64 b (*.f64 eps eps)) (/.f64 1 a))))
52.5b
(/.f64 (*.f64 (sqrt.f64 (*.f64 eps (expm1.f64 (*.f64 eps (+.f64 a b))))) (sqrt.f64 (*.f64 eps (expm1.f64 (*.f64 eps (+.f64 a b)))))) (*.f64 (expm1.f64 (*.f64 eps a)) (expm1.f64 (*.f64 eps b))))
13.8b
(/.f64 (+.f64 a b) (*.f64 a b))
▶41.3b
(/.f64 (*.f64 eps (expm1.f64 (*.f64 eps (+.f64 a b)))) (*.f64 (expm1.f64 (*.f64 eps a)) (expm1.f64 (*.f64 eps b))))
✓0.3b
(fma.f64 2/945 (pow.f64 x 5) (fma.f64 1/4725 (pow.f64 x 7) (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))))
2.4b
(fma.f64 2/945 (pow.f64 x 5) (fma.f64 1/4725 (pow.f64 x 7) (*.f64 (expm1.f64 (log1p.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))) 6))) (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))))))
32.4b
(fma.f64 2/945 (pow.f64 x 5) (fma.f64 1/4725 (pow.f64 x 7) (*.f64 (sqrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))) (sqrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))))))
1.8b
(fma.f64 2/945 (pow.f64 x 5) (fma.f64 1/4725 (pow.f64 x 7) (*.f64 (*.f64 (*.f64 (*.f64 (sqrt.f64 (cbrt.f64 (*.f64 (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))) (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))))) (sqrt.f64 (cbrt.f64 (*.f64 (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))) (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))))))) (cbrt.f64 (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))))) (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))) (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))))))
✓1.5b
(fma.f64 2/945 (pow.f64 x 5) (fma.f64 1/4725 (pow.f64 x 7) (*.f64 (*.f64 (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))) (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))) (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))))))
2.2b
(fma.f64 2/945 (pow.f64 x 5) (fma.f64 1/4725 (pow.f64 x 7) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))) (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))))) (cbrt.f64 (cbrt.f64 (*.f64 (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))) (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))))))) (cbrt.f64 (cbrt.f64 (*.f64 (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))) (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))))))) (cbrt.f64 (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))))) (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))) (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))))))
2.0b
(fma.f64 2/945 (pow.f64 x 5) (fma.f64 1/4725 (pow.f64 x 7) (*.f64 (*.f64 (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))) 6)) (cbrt.f64 (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))))) (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))) (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))))))
40.6b
(fma.f64 2/945 (pow.f64 x 5) (fma.f64 1/4725 (pow.f64 x 7) (cbrt.f64 (pow.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))) 3))))
32.9b
(fma.f64 2/945 (pow.f64 x 5) (fma.f64 1/4725 (pow.f64 x 7) (*.f64 (*.f64 (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))) (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))) (*.f64 (cbrt.f64 (sqrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))) (cbrt.f64 (sqrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))))))))
55.5b
(fma.f64 2/945 (pow.f64 x 5) (fma.f64 1/4725 (pow.f64 x 7) (*.f64 (*.f64 (log.f64 (exp.f64 (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))))) (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))) (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))))))
33.7b
(fma.f64 2/945 (pow.f64 x 5) (fma.f64 1/4725 (pow.f64 x 7) (*.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))) (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))))) (cbrt.f64 (pow.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))) 1/3))) (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))) (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))))))
33.8b
(fma.f64 2/945 (pow.f64 x 5) (fma.f64 1/4725 (pow.f64 x 7) (*.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))) (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))))) (cbrt.f64 (exp.f64 (*.f64 1/3 (+.f64 (log.f64 1/3) (log.f64 x)))))) (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))) (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))))))
40.6b
(fma.f64 2/945 (pow.f64 x 5) (fma.f64 1/4725 (pow.f64 x 7) (cbrt.f64 (*.f64 (*.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))) (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))) (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))))))
2.0b
(fma.f64 2/945 (pow.f64 x 5) (fma.f64 1/4725 (pow.f64 x 7) (*.f64 (*.f64 (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))) (cbrt.f64 (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))))) (cbrt.f64 (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))))) (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))) (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))))))
✓0.3b
(fma.f64 2/945 (pow.f64 x 5) (fma.f64 1/4725 (pow.f64 x 7) (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))))
2.4b
(fma.f64 2/945 (pow.f64 x 5) (fma.f64 1/4725 (pow.f64 x 7) (*.f64 (expm1.f64 (log1p.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))) 6))) (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))))))
32.4b
(fma.f64 2/945 (pow.f64 x 5) (fma.f64 1/4725 (pow.f64 x 7) (*.f64 (sqrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))) (sqrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))))))
33.0b
(fma.f64 2/945 (pow.f64 x 5) (fma.f64 1/4725 (pow.f64 x 7) (*.f64 (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))) (cbrt.f64 (sqrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))))) (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))) (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))))))
✓1.5b
(fma.f64 2/945 (pow.f64 x 5) (fma.f64 1/4725 (pow.f64 x 7) (*.f64 (*.f64 (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))) (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))) (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))))))
2.0b
(fma.f64 2/945 (pow.f64 x 5) (fma.f64 1/4725 (pow.f64 x 7) (*.f64 (*.f64 (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))) 6)) (cbrt.f64 (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))))) (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))) (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))))))
40.6b
(fma.f64 2/945 (pow.f64 x 5) (fma.f64 1/4725 (pow.f64 x 7) (cbrt.f64 (pow.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))) 3))))
▶1.8b
(fma.f64 2/945 (pow.f64 x 5) (fma.f64 1/4725 (pow.f64 x 7) (*.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))) (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))))) (cbrt.f64 (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))))) (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))) (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))))))
40.6b
(fma.f64 2/945 (pow.f64 x 5) (fma.f64 1/4725 (pow.f64 x 7) (cbrt.f64 (*.f64 (*.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))) (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))) (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))))))
32.9b
(fma.f64 2/945 (pow.f64 x 5) (fma.f64 1/4725 (pow.f64 x 7) (*.f64 (*.f64 (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))) (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))) (*.f64 (cbrt.f64 (sqrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))) (cbrt.f64 (sqrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))))))))
55.5b
(fma.f64 2/945 (pow.f64 x 5) (fma.f64 1/4725 (pow.f64 x 7) (*.f64 (*.f64 (log.f64 (exp.f64 (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))))) (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))) (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))))))
33.1b
(fma.f64 2/945 (pow.f64 x 5) (fma.f64 1/4725 (pow.f64 x 7) (*.f64 (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))) (cbrt.f64 (sqrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))))) (*.f64 (cbrt.f64 (sqrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))) (cbrt.f64 (sqrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))))) (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))))))
2.0b
(fma.f64 2/945 (pow.f64 x 5) (fma.f64 1/4725 (pow.f64 x 7) (*.f64 (*.f64 (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))) (cbrt.f64 (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))))) (cbrt.f64 (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))))) (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))) (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))))))
✓0.3b
(fma.f64 2/945 (pow.f64 x 5) (fma.f64 1/4725 (pow.f64 x 7) (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))))
32.4b
(fma.f64 2/945 (pow.f64 x 5) (fma.f64 1/4725 (pow.f64 x 7) (*.f64 (sqrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))) (sqrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))))))
▶1.5b
(fma.f64 2/945 (pow.f64 x 5) (fma.f64 1/4725 (pow.f64 x 7) (*.f64 (*.f64 (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))) (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))) (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))))))
40.6b
(fma.f64 2/945 (pow.f64 x 5) (fma.f64 1/4725 (pow.f64 x 7) (cbrt.f64 (pow.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))) 3))))
40.6b
(fma.f64 2/945 (pow.f64 x 5) (fma.f64 1/4725 (pow.f64 x 7) (cbrt.f64 (*.f64 (*.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))) (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))) (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))))))
▶0.3b
(fma.f64 2/945 (pow.f64 x 5) (fma.f64 1/4725 (pow.f64 x 7) (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))))
▶60.2b
(-.f64 (/.f64 1 x) (/.f64 1 (tan.f64 x)))
✓0b
(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
▶0b
(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
✓0b
(log.f64 n)
▶0b
(log.f64 n)
▶44.2b
(+.f64 (fma.f64 n (-.f64 (log1p.f64 n) (log.f64 n)) (log1p.f64 n)) -1)
✓0.0b
(/.f64 1 (/.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x))))
✓0.5b
(-.f64 -1 (fma.f64 1/2 (*.f64 x x) (fma.f64 5/12 (pow.f64 x 3) x)))
✓0.0b
(/.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 x))
✓0.0b
(/.f64 1 (/.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x))))
▶0.5b
(-.f64 -1 (fma.f64 1/2 (*.f64 x x) (fma.f64 5/12 (pow.f64 x 3) x)))
✓0.0b
(/.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 x))
▶0.0b
(/.f64 1 (/.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x))))
0.5b
(-.f64 -1 (fma.f64 1/2 (*.f64 x x) (fma.f64 5/12 (pow.f64 x 3) x)))
✓0.0b
(/.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 x))
61.2b
(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 1 x)))
▶0.0b
(/.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 x))
44.9b
(*.f64 -1/2 (/.f64 1 (/.f64 a (+.f64 b (hypot.f64 b (*.f64 (sqrt.f64 c) (sqrt.f64 (*.f64 a -4))))))))
✓31.3b
(*.f64 -1/2 (*.f64 (sqrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 c (*.f64 a -4)))))) (/.f64 (sqrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 c (*.f64 a -4)))))) a)))
49.7b
(*.f64 -1/2 (*.f64 (/.f64 1 (/.f64 (sqrt.f64 a) 1)) (/.f64 1 (/.f64 (sqrt.f64 a) (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 c (*.f64 a -4)))))))))
40.3b
(*.f64 -1/2 (/.f64 1 (fma.f64 -1/2 (/.f64 a b) (/.f64 -2 (/.f64 (*.f64 -4 c) b)))))
46.4b
(*.f64 -1/2 (/.f64 (+.f64 b (cbrt.f64 (pow.f64 (hypot.f64 b (sqrt.f64 (*.f64 c (*.f64 a -4)))) 3))) a))
49.2b
(*.f64 -1/2 (fma.f64 2 (fma.f64 (/.f64 (*.f64 c c) (pow.f64 b 3)) a (/.f64 c b)) (*.f64 4 (/.f64 (*.f64 (*.f64 a a) (pow.f64 c 3)) (pow.f64 b 5)))))
45.3b
(*.f64 -1/2 (/.f64 (+.f64 b b) a))
✓33.2b
(*.f64 -1/2 (/.f64 (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) a))
40.9b
(*.f64 -1/2 (*.f64 2 (/.f64 c b)))
45.5b
(*.f64 -1/2 (*.f64 2 (-.f64 (/.f64 b a) (/.f64 c b))))
✓31.2b
(*.f64 -1/2 (/.f64 1 (/.f64 a (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 c (*.f64 a -4))))))))
✓34.1b
(*.f64 -1/2 (/.f64 (+.f64 b (*.f64 (fabs.f64 (cbrt.f64 (fma.f64 b b (*.f64 c (*.f64 a -4))))) (sqrt.f64 (cbrt.f64 (fma.f64 b b (*.f64 c (*.f64 a -4))))))) a))
44.9b
(*.f64 -1/2 (/.f64 1 (/.f64 a (+.f64 b (hypot.f64 b (*.f64 (sqrt.f64 c) (sqrt.f64 (*.f64 a -4))))))))
✓31.3b
(*.f64 -1/2 (*.f64 (sqrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 c (*.f64 a -4)))))) (/.f64 (sqrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 c (*.f64 a -4)))))) a)))
49.7b
(*.f64 -1/2 (*.f64 (/.f64 1 (/.f64 (sqrt.f64 a) 1)) (/.f64 1 (/.f64 (sqrt.f64 a) (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 c (*.f64 a -4)))))))))
40.3b
(*.f64 -1/2 (/.f64 1 (fma.f64 -1/2 (/.f64 a b) (/.f64 -2 (/.f64 (*.f64 -4 c) b)))))
46.4b
(*.f64 -1/2 (/.f64 (+.f64 b (cbrt.f64 (pow.f64 (hypot.f64 b (sqrt.f64 (*.f64 c (*.f64 a -4)))) 3))) a))
49.2b
(*.f64 -1/2 (fma.f64 2 (fma.f64 (/.f64 (*.f64 c c) (pow.f64 b 3)) a (/.f64 c b)) (*.f64 4 (/.f64 (*.f64 (*.f64 a a) (pow.f64 c 3)) (pow.f64 b 5)))))
45.3b
(*.f64 -1/2 (/.f64 (+.f64 b b) a))
✓33.2b
(*.f64 -1/2 (/.f64 (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) a))
40.9b
(*.f64 -1/2 (*.f64 2 (/.f64 c b)))
45.5b
(*.f64 -1/2 (*.f64 2 (-.f64 (/.f64 b a) (/.f64 c b))))
✓31.2b
(*.f64 -1/2 (/.f64 1 (/.f64 a (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 c (*.f64 a -4))))))))
▶34.1b
(*.f64 -1/2 (/.f64 (+.f64 b (*.f64 (fabs.f64 (cbrt.f64 (fma.f64 b b (*.f64 c (*.f64 a -4))))) (sqrt.f64 (cbrt.f64 (fma.f64 b b (*.f64 c (*.f64 a -4))))))) a))
44.9b
(*.f64 -1/2 (/.f64 1 (/.f64 a (+.f64 b (hypot.f64 b (*.f64 (sqrt.f64 c) (sqrt.f64 (*.f64 a -4))))))))
▶31.3b
(*.f64 -1/2 (*.f64 (sqrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 c (*.f64 a -4)))))) (/.f64 (sqrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 c (*.f64 a -4)))))) a)))
49.7b
(*.f64 -1/2 (*.f64 (/.f64 1 (/.f64 (sqrt.f64 a) 1)) (/.f64 1 (/.f64 (sqrt.f64 a) (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 c (*.f64 a -4)))))))))
40.3b
(*.f64 -1/2 (/.f64 1 (fma.f64 -1/2 (/.f64 a b) (/.f64 -2 (/.f64 (*.f64 -4 c) b)))))
46.4b
(*.f64 -1/2 (/.f64 (+.f64 b (cbrt.f64 (pow.f64 (hypot.f64 b (sqrt.f64 (*.f64 c (*.f64 a -4)))) 3))) a))
49.2b
(*.f64 -1/2 (fma.f64 2 (fma.f64 (/.f64 (*.f64 c c) (pow.f64 b 3)) a (/.f64 c b)) (*.f64 4 (/.f64 (*.f64 (*.f64 a a) (pow.f64 c 3)) (pow.f64 b 5)))))
45.3b
(*.f64 -1/2 (/.f64 (+.f64 b b) a))
✓33.2b
(*.f64 -1/2 (/.f64 (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) a))
40.9b
(*.f64 -1/2 (*.f64 2 (/.f64 c b)))
45.5b
(*.f64 -1/2 (*.f64 2 (-.f64 (/.f64 b a) (/.f64 c b))))
✓31.2b
(*.f64 -1/2 (/.f64 1 (/.f64 a (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 c (*.f64 a -4))))))))
34.1b
(*.f64 -1/2 (/.f64 (+.f64 b (*.f64 (fabs.f64 (cbrt.f64 (fma.f64 b b (*.f64 c (*.f64 a -4))))) (sqrt.f64 (cbrt.f64 (fma.f64 b b (*.f64 c (*.f64 a -4))))))) a))
49.2b
(*.f64 -1/2 (fma.f64 2 (fma.f64 (/.f64 (*.f64 c c) (pow.f64 b 3)) a (/.f64 c b)) (*.f64 4 (/.f64 (*.f64 (*.f64 a a) (pow.f64 c 3)) (pow.f64 b 5)))))
54.9b
(*.f64 -1/2 (/.f64 (+.f64 b (neg.f64 b)) a))
31.7b
(*.f64 -1/2 (/.f64 (/.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 c (*.f64 a -4))))) (*.f64 (cbrt.f64 a) (cbrt.f64 a))) (cbrt.f64 a)))
45.5b
(*.f64 -1/2 (*.f64 2 (-.f64 (/.f64 b a) (/.f64 c b))))
▶31.2b
(*.f64 -1/2 (/.f64 1 (/.f64 a (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 c (*.f64 a -4))))))))
33.1b
(*.f64 -1/2 (/.f64 (exp.f64 (log.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 c (*.f64 a -4))))))) a))
48.7b
(*.f64 -1/2 (/.f64 (*.f64 2 (fma.f64 (/.f64 c b) a (/.f64 (*.f64 (*.f64 c a) (*.f64 c a)) (pow.f64 b 3)))) a))
46.4b
(*.f64 -1/2 (/.f64 (+.f64 b (cbrt.f64 (pow.f64 (hypot.f64 b (sqrt.f64 (*.f64 c (*.f64 a -4)))) 3))) a))
31.3b
(*.f64 -1/2 (*.f64 (sqrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 c (*.f64 a -4)))))) (/.f64 (sqrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 c (*.f64 a -4)))))) a)))
45.3b
(*.f64 -1/2 (/.f64 (+.f64 b b) a))
✓33.2b
(*.f64 -1/2 (/.f64 (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) a))
43.3b
(*.f64 -1/2 (+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 c 2) a) (pow.f64 b 3))) (*.f64 2 (/.f64 c b))))
40.9b
(*.f64 -1/2 (*.f64 2 (/.f64 c b)))
33.2b
(*.f64 -1/2 (*.f64 (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) (/.f64 1 a)))
34.1b
(*.f64 -1/2 (/.f64 (+.f64 b (*.f64 (fabs.f64 (cbrt.f64 (fma.f64 b b (*.f64 c (*.f64 a -4))))) (sqrt.f64 (cbrt.f64 (fma.f64 b b (*.f64 c (*.f64 a -4))))))) a))
▶33.2b
(*.f64 -1/2 (/.f64 (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) a))
✓33.0b
(/.f64 1 (/.f64 (*.f64 2 a) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))))))
46.4b
(/.f64 (fma.f64 (/.f64 (/.f64 (*.f64 (*.f64 c a) -2) b) (/.f64 b (/.f64 (*.f64 -4 (*.f64 c a)) b))) -1/4 (/.f64 (*.f64 (*.f64 c a) -2) b)) (*.f64 2 a))
42.0b
(neg.f64 (/.f64 c b))
33.5b
(/.f64 (pow.f64 (exp.f64 (*.f64 (cbrt.f64 (log.f64 (-.f64 (hypot.f64 (sqrt.f64 (*.f64 c (*.f64 a -4))) b) b))) (cbrt.f64 (log.f64 (-.f64 (hypot.f64 (sqrt.f64 (*.f64 c (*.f64 a -4))) b) b))))) (cbrt.f64 (log.f64 (-.f64 (hypot.f64 (sqrt.f64 (*.f64 c (*.f64 a -4))) b) b)))) (*.f64 2 a))
34.3b
(*.f64 (*.f64 (*.f64 4 (*.f64 c a)) (/.f64 1/2 a)) (/.f64 1 (-.f64 (neg.f64 b) (hypot.f64 b (sqrt.f64 (*.f64 c (*.f64 a -4)))))))
49.0b
(/.f64 (exp.f64 (log.f64 (*.f64 -2 b))) (*.f64 2 a))
35.7b
(*.f64 (/.f64 1/2 a) (/.f64 (*.f64 4 (*.f64 c a)) (-.f64 (neg.f64 b) (hypot.f64 (sqrt.f64 (*.f64 c (*.f64 a -4))) b))))
45.1b
(/.f64 (exp.f64 (log.f64 (-.f64 (hypot.f64 (*.f64 (sqrt.f64 c) (sqrt.f64 (*.f64 a -4))) b) b))) (*.f64 2 a))
30.3b
(/.f64 (*.f64 1/2 (-.f64 (hypot.f64 b (sqrt.f64 (*.f64 c (*.f64 a -4)))) b)) a)
47.1b
(-.f64 (/.f64 c b) (/.f64 b a))
46.8b
(/.f64 (neg.f64 b) a)
56.3b
(/.f64 (+.f64 (neg.f64 b) b) (*.f64 2 a))
✓33.0b
(/.f64 1 (/.f64 (*.f64 2 a) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))))))
46.4b
(/.f64 (fma.f64 (/.f64 (/.f64 (*.f64 (*.f64 c a) -2) b) (/.f64 b (/.f64 (*.f64 -4 (*.f64 c a)) b))) -1/4 (/.f64 (*.f64 (*.f64 c a) -2) b)) (*.f64 2 a))
35.6b
(/.f64 (/.f64 (*.f64 4 (*.f64 c a)) (-.f64 (neg.f64 b) (hypot.f64 (sqrt.f64 (*.f64 c (*.f64 a -4))) b))) (*.f64 2 a))
47.1b
(-.f64 (/.f64 c b) (/.f64 b a))
42.0b
(neg.f64 (/.f64 c b))
33.5b
(/.f64 (pow.f64 (exp.f64 (*.f64 (cbrt.f64 (log.f64 (-.f64 (hypot.f64 (sqrt.f64 (*.f64 c (*.f64 a -4))) b) b))) (cbrt.f64 (log.f64 (-.f64 (hypot.f64 (sqrt.f64 (*.f64 c (*.f64 a -4))) b) b))))) (cbrt.f64 (log.f64 (-.f64 (hypot.f64 (sqrt.f64 (*.f64 c (*.f64 a -4))) b) b)))) (*.f64 2 a))
34.3b
(*.f64 (*.f64 (*.f64 4 (*.f64 c a)) (/.f64 1/2 a)) (/.f64 1 (-.f64 (neg.f64 b) (hypot.f64 b (sqrt.f64 (*.f64 c (*.f64 a -4)))))))
49.0b
(/.f64 (exp.f64 (log.f64 (*.f64 -2 b))) (*.f64 2 a))
45.1b
(/.f64 (exp.f64 (log.f64 (-.f64 (hypot.f64 (*.f64 (sqrt.f64 c) (sqrt.f64 (*.f64 a -4))) b) b))) (*.f64 2 a))
46.8b
(/.f64 (neg.f64 b) a)
▶33.0b
(*.f64 (/.f64 1/2 a) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))))
56.3b
(/.f64 (+.f64 (neg.f64 b) b) (*.f64 2 a))
35.7b
(/.f64 1 (/.f64 (*.f64 2 a) (/.f64 (*.f64 4 (*.f64 c a)) (-.f64 (neg.f64 b) (hypot.f64 (sqrt.f64 (*.f64 c (*.f64 a -4))) b)))))
44.0b
(/.f64 (+.f64 (pow.f64 (neg.f64 b) 3) (pow.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))) 3)) (*.f64 (*.f64 2 a) (+.f64 (*.f64 (neg.f64 b) (neg.f64 b)) (-.f64 (*.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))) (*.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))))))))
✓33.0b
(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))) (*.f64 2 a))
▶33.0b
(/.f64 1 (/.f64 (*.f64 2 a) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))))))
46.4b
(/.f64 (fma.f64 (/.f64 (/.f64 (*.f64 (*.f64 c a) -2) b) (/.f64 b (/.f64 (*.f64 -4 (*.f64 c a)) b))) -1/4 (/.f64 (*.f64 (*.f64 c a) -2) b)) (*.f64 2 a))
35.6b
(/.f64 (/.f64 (*.f64 4 (*.f64 c a)) (-.f64 (neg.f64 b) (hypot.f64 (sqrt.f64 (*.f64 c (*.f64 a -4))) b))) (*.f64 2 a))
47.1b
(-.f64 (/.f64 c b) (/.f64 b a))
42.0b
(neg.f64 (/.f64 c b))
33.5b
(/.f64 (pow.f64 (exp.f64 (*.f64 (cbrt.f64 (log.f64 (-.f64 (hypot.f64 (sqrt.f64 (*.f64 c (*.f64 a -4))) b) b))) (cbrt.f64 (log.f64 (-.f64 (hypot.f64 (sqrt.f64 (*.f64 c (*.f64 a -4))) b) b))))) (cbrt.f64 (log.f64 (-.f64 (hypot.f64 (sqrt.f64 (*.f64 c (*.f64 a -4))) b) b)))) (*.f64 2 a))
49.0b
(/.f64 (exp.f64 (log.f64 (*.f64 -2 b))) (*.f64 2 a))
45.3b
(/.f64 (-.f64 (*.f64 (neg.f64 b) (neg.f64 b)) (*.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))))) (*.f64 (*.f64 2 a) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))))))
45.1b
(/.f64 (exp.f64 (log.f64 (-.f64 (hypot.f64 (*.f64 (sqrt.f64 c) (sqrt.f64 (*.f64 a -4))) b) b))) (*.f64 2 a))
46.8b
(/.f64 (neg.f64 b) a)
56.3b
(/.f64 (+.f64 (neg.f64 b) b) (*.f64 2 a))
44.0b
(/.f64 (+.f64 (pow.f64 (neg.f64 b) 3) (pow.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))) 3)) (*.f64 (*.f64 2 a) (+.f64 (*.f64 (neg.f64 b) (neg.f64 b)) (-.f64 (*.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))) (*.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))))))))
✓33.0b
(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))) (*.f64 2 a))
35.6b
(/.f64 (/.f64 (*.f64 4 (*.f64 c a)) (-.f64 (neg.f64 b) (hypot.f64 (sqrt.f64 (*.f64 c (*.f64 a -4))) b))) (*.f64 2 a))
47.1b
(-.f64 (/.f64 c b) (/.f64 b a))
▶32.3b
(/.f64 (exp.f64 (log.f64 (-.f64 (hypot.f64 (sqrt.f64 (*.f64 c (*.f64 a -4))) b) b))) (*.f64 2 a))
42.0b
(neg.f64 (/.f64 c b))
33.0b
(/.f64 1 (/.f64 (*.f64 2 a) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))))))
46.8b
(/.f64 (neg.f64 b) a)
56.3b
(/.f64 (+.f64 (neg.f64 b) b) (*.f64 2 a))
45.3b
(/.f64 (-.f64 (*.f64 (neg.f64 b) (neg.f64 b)) (*.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))))) (*.f64 (*.f64 2 a) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))))))
▶33.0b
(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))) (*.f64 2 a))
33.0b
(*.f64 (-.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a))
✓0b
(tan.f64 (/.f64 x 2))
▶0b
(tan.f64 (/.f64 x 2))
✓29.1b
(/.f64 (-.f64 (pow.f64 (cbrt.f64 (+.f64 x 1)) 3) (pow.f64 (cbrt.f64 x) 3)) (+.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
33.4b
(/.f64 1 (+.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 x) (*.f64 (pow.f64 (*.f64 -1 x) 1/3) (cbrt.f64 -1)))) (*.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 x))) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
31.6b
(/.f64 1 (+.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 (pow.f64 x 2/3)) (cbrt.f64 (cbrt.f64 x)))) (cbrt.f64 x))) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
0.6b
(/.f64 1 (+.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 x))) (pow.f64 (cbrt.f64 (cbrt.f64 x)) 4)) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
0.5b
(/.f64 1 (+.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x))) (cbrt.f64 x))) (*.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 x))) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
0.6b
(/.f64 1 (+.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 x))) (*.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 x))) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
31.9b
(/.f64 1 (+.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 (+.f64 x 1)) (exp.f64 (log.f64 (cbrt.f64 x)))))))
31.4b
(/.f64 1 (+.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 (sqrt.f64 x))) (*.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 (sqrt.f64 x)))) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
29.4b
(-.f64 (cbrt.f64 (+.f64 x 1)) (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 (cbrt.f64 x))))
✓0.5b
(/.f64 1 (+.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
0.5b
(/.f64 1 (+.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 (cbrt.f64 x))) (cbrt.f64 x))) (*.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 x))) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
29.4b
(/.f64 (+.f64 (fma.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (cbrt.f64 (+.f64 x 1)) (neg.f64 (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 3) (pow.f64 (cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x))) 3)))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 3)) (pow.f64 (cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x))) 3) (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 3) (pow.f64 (cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x))) 3)))) (+.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
0.6b
(/.f64 1 (+.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)))) (cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)))) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
48.5b
(fma.f64 1/3 (cbrt.f64 (/.f64 1 (*.f64 x x))) (fma.f64 5/81 (cbrt.f64 (/.f64 1 (pow.f64 x 8))) (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 x 5))) -1/9)))
31.3b
(/.f64 1 (+.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (*.f64 (cbrt.f64 (sqrt.f64 x)) (sqrt.f64 x)) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
✓29.1b
(/.f64 (-.f64 (pow.f64 (cbrt.f64 (+.f64 x 1)) 3) (pow.f64 (cbrt.f64 x) 3)) (+.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
0.6b
(/.f64 1 (+.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (pow.f64 (cbrt.f64 (cbrt.f64 x)) 4)) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
1.9b
(/.f64 1 (+.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (expm1.f64 (log1p.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)))) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
▶0.5b
(/.f64 1 (+.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (*.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 x))) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
16.0b
(/.f64 1 (+.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (cbrt.f64 (*.f64 x x)) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
31.9b
(/.f64 1 (+.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 (+.f64 x 1)) (exp.f64 (log.f64 (cbrt.f64 x)))))))
31.4b
(/.f64 1 (+.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 (sqrt.f64 x))) (*.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 (sqrt.f64 x)))) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
29.4b
(-.f64 (cbrt.f64 (+.f64 x 1)) (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 (cbrt.f64 x))))
✓0.5b
(/.f64 1 (+.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
48.5b
(fma.f64 1/3 (cbrt.f64 (/.f64 1 (*.f64 x x))) (fma.f64 5/81 (cbrt.f64 (/.f64 1 (pow.f64 x 8))) (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 x 5))) -1/9)))
0.6b
(/.f64 1 (+.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 5) (cbrt.f64 (cbrt.f64 x))) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
0.6b
(/.f64 1 (+.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 x))) (pow.f64 (cbrt.f64 (cbrt.f64 x)) 4)) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
0.6b
(/.f64 1 (+.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 x))) (*.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 x))) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
29.4b
(/.f64 (+.f64 (fma.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (cbrt.f64 (+.f64 x 1)) (neg.f64 (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 3) (pow.f64 (cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x))) 3)))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 3)) (pow.f64 (cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x))) 3) (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 3) (pow.f64 (cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x))) 3)))) (+.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
0.6b
(/.f64 1 (+.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)))) (cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)))) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
31.3b
(/.f64 1 (+.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (*.f64 (cbrt.f64 (sqrt.f64 x)) (sqrt.f64 x)) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
29.4b
(-.f64 (cbrt.f64 (+.f64 x 1)) (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 (cbrt.f64 x))))
▶0.5b
(/.f64 1 (+.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
✓29.1b
(/.f64 (-.f64 (pow.f64 (cbrt.f64 (+.f64 x 1)) 3) (pow.f64 (cbrt.f64 x) 3)) (+.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
29.4b
(/.f64 (+.f64 (fma.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (cbrt.f64 (+.f64 x 1)) (neg.f64 (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 3) (pow.f64 (cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x))) 3)))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 3)) (pow.f64 (cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x))) 3) (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 3) (pow.f64 (cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x))) 3)))) (+.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
48.5b
(fma.f64 1/3 (cbrt.f64 (/.f64 1 (*.f64 x x))) (fma.f64 5/81 (cbrt.f64 (/.f64 1 (pow.f64 x 8))) (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 x 5))) -1/9)))
29.4b
(-.f64 (cbrt.f64 (+.f64 x 1)) (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 (cbrt.f64 x))))
29.5b
(+.f64 (fma.f64 1 (cbrt.f64 (+.f64 x 1)) (neg.f64 (*.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)))))) (fma.f64 (neg.f64 (cbrt.f64 (cbrt.f64 x))) (cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (*.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x))))))
32.3b
(/.f64 1 (+.f64 (pow.f64 x 2/3) (*.f64 (cbrt.f64 (+.f64 1 x)) (+.f64 (cbrt.f64 x) (cbrt.f64 (+.f64 1 x))))))
▶29.1b
(/.f64 (-.f64 (pow.f64 (cbrt.f64 (+.f64 x 1)) 3) (pow.f64 (cbrt.f64 x) 3)) (+.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
29.4b
(+.f64 (fma.f64 (cbrt.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1)))) (cbrt.f64 (cbrt.f64 (+.f64 x 1))) (neg.f64 (*.f64 (cbrt.f64 (cbrt.f64 x)) (*.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 x)))))) (fma.f64 (neg.f64 (cbrt.f64 (cbrt.f64 x))) (*.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 x))) (*.f64 (cbrt.f64 (cbrt.f64 x)) (*.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 x))))))
29.3b
(-.f64 (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (cbrt.f64 (+.f64 x 1)))) (cbrt.f64 x))
29.5b
(+.f64 (fma.f64 1 (cbrt.f64 (+.f64 x 1)) (neg.f64 (*.f64 (cbrt.f64 (cbrt.f64 x)) (*.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 x)))))) (fma.f64 (neg.f64 (cbrt.f64 (cbrt.f64 x))) (*.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 x))) (*.f64 (cbrt.f64 (cbrt.f64 x)) (*.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 x))))))
29.4b
(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x))))
48.5b
(fma.f64 1/3 (cbrt.f64 (/.f64 1 (*.f64 x x))) (fma.f64 5/81 (cbrt.f64 (/.f64 1 (pow.f64 x 8))) (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 x 5))) -1/9)))
▶29.3b
(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
27.9b
(*.f64 -2 (exp.f64 (log.f64 (*.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2)) (sin.f64 (/.f64 eps 2))))))
34.1b
(*.f64 -2 (*.f64 (sin.f64 (/.f64 eps 2)) (fma.f64 (*.f64 (sin.f64 x) (*.f64 eps eps)) -1/8 (fma.f64 1/2 (*.f64 eps (cos.f64 x)) (sin.f64 x)))))
18.3b
(*.f64 -2 (*.f64 (sin.f64 (/.f64 eps 2)) (log1p.f64 (expm1.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2)) 3))))))
17.2b
(*.f64 -2 (*.f64 (*.f64 (*.f64 (expm1.f64 (log1p.f64 (cbrt.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2))))) (cbrt.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2)))) (sin.f64 (/.f64 eps 2))) (cbrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2)))))
18.3b
(*.f64 -2 (*.f64 (sin.f64 (/.f64 eps 2)) (cbrt.f64 (*.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2))) (sin.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2))))))
22.5b
(-.f64 (*.f64 (cos.f64 x) (cos.f64 eps)) (fma.f64 (sin.f64 eps) (sin.f64 x) (cos.f64 x)))
34.1b
(*.f64 -2 (*.f64 (sin.f64 (/.f64 eps 2)) (fma.f64 (cos.f64 (*.f64 1/2 eps)) x (sin.f64 (*.f64 1/2 eps)))))
22.5b
(-.f64 (*.f64 (cos.f64 x) (cos.f64 eps)) (+.f64 (*.f64 (sin.f64 x) (sin.f64 eps)) (cos.f64 x)))
18.4b
(*.f64 -2 (*.f64 (sin.f64 (/.f64 eps 2)) (log1p.f64 (cbrt.f64 (pow.f64 (expm1.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2))) 3)))))
40.0b
(fma.f64 (*.f64 (cbrt.f64 (cos.f64 (+.f64 x eps))) (cbrt.f64 (cos.f64 (+.f64 x eps)))) (cbrt.f64 (cos.f64 (+.f64 x eps))) (neg.f64 (cos.f64 x)))
26.7b
(*.f64 -2 (*.f64 (sqrt.f64 (*.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2)) (sin.f64 (/.f64 eps 2)))) (sqrt.f64 (*.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2)) (sin.f64 (/.f64 eps 2))))))
17.3b
(*.f64 -2 (*.f64 (*.f64 (cbrt.f64 (*.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2)) (sin.f64 (/.f64 eps 2)))) (cbrt.f64 (*.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2)) (sin.f64 (/.f64 eps 2))))) (cbrt.f64 (*.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2)) (sin.f64 (/.f64 eps 2))))))
22.5b
(-.f64 (-.f64 (*.f64 (cos.f64 x) (cos.f64 eps)) (*.f64 (sin.f64 x) (sin.f64 eps))) (cos.f64 x))
41.3b
(*.f64 -2 (*.f64 (sqrt.f64 (sin.f64 (/.f64 eps 2))) (*.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2)) (sqrt.f64 (sin.f64 (/.f64 eps 2))))))
39.7b
(-.f64 (cbrt.f64 (pow.f64 (cos.f64 (+.f64 eps x)) 3)) (cos.f64 x))
27.9b
(*.f64 -2 (exp.f64 (log.f64 (*.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2)) (sin.f64 (/.f64 eps 2))))))
34.1b
(*.f64 -2 (*.f64 (sin.f64 (/.f64 eps 2)) (fma.f64 (*.f64 (sin.f64 x) (*.f64 eps eps)) -1/8 (fma.f64 1/2 (*.f64 eps (cos.f64 x)) (sin.f64 x)))))
18.3b
(*.f64 -2 (*.f64 (sin.f64 (/.f64 eps 2)) (cbrt.f64 (*.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2))) (sin.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2))))))
22.5b
(-.f64 (*.f64 (cos.f64 x) (cos.f64 eps)) (fma.f64 (sin.f64 eps) (sin.f64 x) (cos.f64 x)))
34.1b
(*.f64 -2 (*.f64 (sin.f64 (/.f64 eps 2)) (fma.f64 (cos.f64 (*.f64 1/2 eps)) x (sin.f64 (*.f64 1/2 eps)))))
22.5b
(-.f64 (*.f64 (cos.f64 x) (cos.f64 eps)) (+.f64 (*.f64 (sin.f64 x) (sin.f64 eps)) (cos.f64 x)))
18.4b
(*.f64 -2 (*.f64 (sin.f64 (/.f64 eps 2)) (log1p.f64 (cbrt.f64 (pow.f64 (expm1.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2))) 3)))))
40.0b
(fma.f64 (*.f64 (cbrt.f64 (cos.f64 (+.f64 x eps))) (cbrt.f64 (cos.f64 (+.f64 x eps)))) (cbrt.f64 (cos.f64 (+.f64 x eps))) (neg.f64 (cos.f64 x)))
26.7b
(*.f64 -2 (*.f64 (sqrt.f64 (*.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2)) (sin.f64 (/.f64 eps 2)))) (sqrt.f64 (*.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2)) (sin.f64 (/.f64 eps 2))))))
17.3b
(*.f64 -2 (*.f64 (*.f64 (cbrt.f64 (*.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2)) (sin.f64 (/.f64 eps 2)))) (cbrt.f64 (*.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2)) (sin.f64 (/.f64 eps 2))))) (cbrt.f64 (*.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2)) (sin.f64 (/.f64 eps 2))))))
22.5b
(-.f64 (-.f64 (*.f64 (cos.f64 x) (cos.f64 eps)) (*.f64 (sin.f64 x) (sin.f64 eps))) (cos.f64 x))
▶17.2b
(*.f64 -2 (*.f64 (*.f64 (*.f64 (cbrt.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2))) (cbrt.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2)))) (sin.f64 (/.f64 eps 2))) (cbrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2)))))
18.3b
(*.f64 -2 (*.f64 (sin.f64 (/.f64 eps 2)) (log1p.f64 (expm1.f64 (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2)) 3))))))
41.3b
(*.f64 -2 (*.f64 (sqrt.f64 (sin.f64 (/.f64 eps 2))) (*.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2)) (sqrt.f64 (sin.f64 (/.f64 eps 2))))))
39.7b
(-.f64 (cbrt.f64 (pow.f64 (cos.f64 (+.f64 eps x)) 3)) (cos.f64 x))
26.7b
(*.f64 -2 (*.f64 (sqrt.f64 (*.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2)) (sin.f64 (/.f64 eps 2)))) (sqrt.f64 (*.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2)) (sin.f64 (/.f64 eps 2))))))
▶16.6b
(*.f64 -2 (*.f64 (sin.f64 (/.f64 eps 2)) (log1p.f64 (expm1.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2))))))
27.9b
(*.f64 -2 (exp.f64 (log.f64 (*.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2)) (sin.f64 (/.f64 eps 2))))))
34.1b
(*.f64 -2 (*.f64 (sin.f64 (/.f64 eps 2)) (fma.f64 (*.f64 (sin.f64 x) (*.f64 eps eps)) -1/8 (fma.f64 1/2 (*.f64 eps (cos.f64 x)) (sin.f64 x)))))
18.3b
(*.f64 -2 (*.f64 (sin.f64 (/.f64 eps 2)) (cbrt.f64 (*.f64 (*.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2))) (sin.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2))))))
22.5b
(-.f64 (*.f64 (cos.f64 x) (cos.f64 eps)) (fma.f64 (sin.f64 eps) (sin.f64 x) (cos.f64 x)))
17.3b
(*.f64 -2 (*.f64 (*.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2))) (cbrt.f64 (sin.f64 (/.f64 eps 2)))) (*.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2))) (sin.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2)))))
34.1b
(*.f64 -2 (*.f64 (sin.f64 (/.f64 eps 2)) (fma.f64 (cos.f64 (*.f64 1/2 eps)) x (sin.f64 (*.f64 1/2 eps)))))
22.5b
(-.f64 (*.f64 (cos.f64 x) (cos.f64 eps)) (+.f64 (*.f64 (sin.f64 x) (sin.f64 eps)) (cos.f64 x)))
17.3b
(*.f64 -2 (*.f64 (*.f64 (cbrt.f64 (*.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2)) (sin.f64 (/.f64 eps 2)))) (cbrt.f64 (*.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2)) (sin.f64 (/.f64 eps 2))))) (cbrt.f64 (*.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2)) (sin.f64 (/.f64 eps 2))))))
22.5b
(-.f64 (-.f64 (*.f64 (cos.f64 x) (cos.f64 eps)) (*.f64 (sin.f64 x) (sin.f64 eps))) (cos.f64 x))
17.2b
(*.f64 -2 (*.f64 (*.f64 (*.f64 (cbrt.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2))) (cbrt.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2)))) (sin.f64 (/.f64 eps 2))) (cbrt.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2)))))
41.3b
(*.f64 -2 (*.f64 (sqrt.f64 (sin.f64 (/.f64 eps 2))) (*.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2)) (sqrt.f64 (sin.f64 (/.f64 eps 2))))))
39.7b
(-.f64 (cbrt.f64 (pow.f64 (cos.f64 (+.f64 eps x)) 3)) (cos.f64 x))
22.9b
(*.f64 -2 (*.f64 (sin.f64 (/.f64 eps 2)) (log.f64 (exp.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2))))))
40.0b
(fma.f64 (*.f64 (cbrt.f64 (cos.f64 (+.f64 x eps))) (cbrt.f64 (cos.f64 (+.f64 x eps)))) (cbrt.f64 (cos.f64 (+.f64 x eps))) (neg.f64 (cos.f64 x)))
39.7b
(/.f64 (-.f64 (pow.f64 (cos.f64 (+.f64 x eps)) 3) (pow.f64 (cos.f64 x) 3)) (+.f64 (*.f64 (cos.f64 (+.f64 x eps)) (cos.f64 (+.f64 x eps))) (+.f64 (*.f64 (cos.f64 x) (cos.f64 x)) (*.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x)))))
22.5b
(-.f64 (-.f64 (*.f64 (cos.f64 x) (cos.f64 eps)) (*.f64 (sin.f64 x) (sin.f64 eps))) (cos.f64 x))
22.5b
(-.f64 (*.f64 (cos.f64 x) (cos.f64 eps)) (fma.f64 (sin.f64 eps) (sin.f64 x) (cos.f64 x)))
▶16.6b
(*.f64 -2 (*.f64 (sin.f64 (/.f64 eps 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2))))
39.7b
(-.f64 (log1p.f64 (expm1.f64 (cos.f64 (+.f64 x eps)))) (cos.f64 x))
34.5b
(-.f64 (+.f64 (*.f64 1/6 (*.f64 (pow.f64 eps 3) (sin.f64 x))) (*.f64 1/24 (*.f64 (pow.f64 eps 4) (cos.f64 x)))) (+.f64 (*.f64 1/2 (*.f64 (pow.f64 eps 2) (cos.f64 x))) (*.f64 eps (sin.f64 x))))
22.5b
(-.f64 (*.f64 (cos.f64 x) (cos.f64 eps)) (+.f64 (*.f64 (sin.f64 x) (sin.f64 eps)) (cos.f64 x)))
39.7b
(-.f64 (cbrt.f64 (pow.f64 (cos.f64 (+.f64 eps x)) 3)) (cos.f64 x))
40.0b
(fma.f64 (*.f64 (cbrt.f64 (cos.f64 (+.f64 x eps))) (cbrt.f64 (cos.f64 (+.f64 x eps)))) (cbrt.f64 (cos.f64 (+.f64 x eps))) (neg.f64 (cos.f64 x)))
▶39.7b
(-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))
✓15.7b
(/.f64 (/.f64 -1 (sqrt.f64 (fma.f64 x x x))) (sqrt.f64 (fma.f64 x x x)))
✓0.3b
(/.f64 -1 (fma.f64 x x x))
✓15.8b
(/.f64 (/.f64 (/.f64 -1 (sqrt.f64 (fma.f64 x x x))) (sqrt.f64 (sqrt.f64 (fma.f64 x x x)))) (sqrt.f64 (sqrt.f64 (fma.f64 x x x))))
31.1b
(/.f64 (/.f64 1 (hypot.f64 x (sqrt.f64 x))) (neg.f64 (hypot.f64 x (sqrt.f64 x))))
✓15.7b
(/.f64 (/.f64 -1 (sqrt.f64 (fma.f64 x x x))) (sqrt.f64 (fma.f64 x x x)))
✓0.3b
(/.f64 -1 (fma.f64 x x x))
▶15.8b
(/.f64 (/.f64 (/.f64 -1 (sqrt.f64 (fma.f64 x x x))) (sqrt.f64 (sqrt.f64 (fma.f64 x x x)))) (sqrt.f64 (sqrt.f64 (fma.f64 x x x))))
31.1b
(/.f64 (/.f64 1 (hypot.f64 x (sqrt.f64 x))) (neg.f64 (hypot.f64 x (sqrt.f64 x))))
▶15.7b
(/.f64 (/.f64 -1 (sqrt.f64 (fma.f64 x x x))) (sqrt.f64 (fma.f64 x x x)))
✓0.3b
(/.f64 -1 (fma.f64 x x x))
31.2b
(*.f64 (/.f64 1 (hypot.f64 x (sqrt.f64 x))) (/.f64 -1 (hypot.f64 x (sqrt.f64 x))))
▶0.3b
(/.f64 -1 (fma.f64 x x x))
▶14.8b
(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 x))
✓30.9b
(/.f64 (-.f64 (fma.f64 3 (/.f64 (neg.f64 (log.f64 N)) (pow.f64 N 3)) (fma.f64 3 (/.f64 (pow.f64 (log.f64 N) 2) N) (+.f64 (/.f64 (pow.f64 (log.f64 N) 2) (pow.f64 N 3)) (/.f64 1 (pow.f64 N 3))))) (fma.f64 3/2 (/.f64 (pow.f64 (log.f64 N) 2) (*.f64 N N)) (/.f64 (*.f64 -3 (log.f64 N)) (*.f64 N N)))) (+.f64 (*.f64 (log1p.f64 N) (log1p.f64 N)) (+.f64 (*.f64 (log.f64 N) (log.f64 N)) (*.f64 (log1p.f64 N) (log.f64 N)))))
✓30.4b
(/.f64 (-.f64 (pow.f64 (log1p.f64 N) 3) (pow.f64 (log.f64 N) 3)) (+.f64 (*.f64 (log1p.f64 N) (log1p.f64 N)) (+.f64 (*.f64 (log.f64 N) (log.f64 N)) (*.f64 (log1p.f64 N) (log.f64 N)))))
✓30.8b
(+.f64 (-.f64 (/.f64 1 N) (/.f64 1/2 (*.f64 N N))) (/.f64 1/3 (pow.f64 N 3)))
✓30.3b
(-.f64 (log1p.f64 N) (log.f64 N))
▶30.9b
(/.f64 (-.f64 (fma.f64 3 (/.f64 (neg.f64 (log.f64 N)) (pow.f64 N 3)) (fma.f64 3 (/.f64 (pow.f64 (log.f64 N) 2) N) (+.f64 (/.f64 (pow.f64 (log.f64 N) 2) (pow.f64 N 3)) (/.f64 1 (pow.f64 N 3))))) (fma.f64 3/2 (/.f64 (pow.f64 (log.f64 N) 2) (*.f64 N N)) (/.f64 (*.f64 -3 (log.f64 N)) (*.f64 N N)))) (+.f64 (*.f64 (log1p.f64 N) (log1p.f64 N)) (+.f64 (*.f64 (log.f64 N) (log.f64 N)) (*.f64 (log1p.f64 N) (log.f64 N)))))
✓30.4b
(/.f64 (-.f64 (pow.f64 (log1p.f64 N) 3) (pow.f64 (log.f64 N) 3)) (+.f64 (*.f64 (log1p.f64 N) (log1p.f64 N)) (+.f64 (*.f64 (log.f64 N) (log.f64 N)) (*.f64 (log1p.f64 N) (log.f64 N)))))
✓30.8b
(+.f64 (-.f64 (/.f64 1 N) (/.f64 1/2 (*.f64 N N))) (/.f64 1/3 (pow.f64 N 3)))
✓30.3b
(-.f64 (log1p.f64 N) (log.f64 N))
30.9b
(/.f64 (-.f64 (fma.f64 3 (/.f64 (neg.f64 (log.f64 N)) (pow.f64 N 3)) (fma.f64 3 (/.f64 (pow.f64 (log.f64 N) 2) N) (+.f64 (/.f64 (pow.f64 (log.f64 N) 2) (pow.f64 N 3)) (/.f64 1 (pow.f64 N 3))))) (fma.f64 3/2 (/.f64 (pow.f64 (log.f64 N) 2) (*.f64 N N)) (/.f64 (*.f64 -3 (log.f64 N)) (*.f64 N N)))) (+.f64 (*.f64 (log1p.f64 N) (log1p.f64 N)) (+.f64 (*.f64 (log.f64 N) (log.f64 N)) (*.f64 (log1p.f64 N) (log.f64 N)))))
✓30.4b
(/.f64 (-.f64 (pow.f64 (log1p.f64 N) 3) (pow.f64 (log.f64 N) 3)) (+.f64 (*.f64 (log1p.f64 N) (log1p.f64 N)) (+.f64 (*.f64 (log.f64 N) (log.f64 N)) (*.f64 (log1p.f64 N) (log.f64 N)))))
▶30.8b
(+.f64 (-.f64 (/.f64 1 N) (/.f64 1/2 (*.f64 N N))) (/.f64 1/3 (pow.f64 N 3)))
✓30.3b
(-.f64 (log1p.f64 N) (log.f64 N))
▶30.4b
(/.f64 (-.f64 (pow.f64 (log1p.f64 N) 3) (pow.f64 (log.f64 N) 3)) (+.f64 (*.f64 (log1p.f64 N) (log1p.f64 N)) (+.f64 (*.f64 (log.f64 N) (log.f64 N)) (*.f64 (log1p.f64 N) (log.f64 N)))))
30.8b
(+.f64 (-.f64 (/.f64 1 N) (/.f64 1/2 (*.f64 N N))) (/.f64 1/3 (pow.f64 N 3)))
31.2b
(-.f64 (/.f64 1 N) (/.f64 1/2 (*.f64 N N)))
✓30.3b
(-.f64 (log1p.f64 N) (log.f64 N))
▶30.3b
(-.f64 (log1p.f64 N) (log.f64 N))
39.6b
(neg.f64 (*.f64 (+.f64 (-.f64 (/.f64 1/2 (*.f64 x x)) (+.f64 (/.f64 1 x) (/.f64 1/3 (pow.f64 x 3)))) (/.f64 1/4 (pow.f64 x 4))) (/.f64 1 n)))
17.9b
(neg.f64 (/.f64 (-.f64 (*.f64 (log.f64 x) (log.f64 x)) (*.f64 (log1p.f64 x) (log1p.f64 x))) (*.f64 n (+.f64 (log.f64 x) (log1p.f64 x)))))
30.9b
(cbrt.f64 (pow.f64 (-.f64 (exp.f64 (/.f64 (log1p.f64 x) n)) (pow.f64 x (/.f64 1 n))) 3))
17.9b
(neg.f64 (*.f64 (*.f64 (log.f64 (/.f64 x (+.f64 1 x))) (/.f64 1 (*.f64 (cbrt.f64 n) (cbrt.f64 n)))) (/.f64 1 (cbrt.f64 n))))
39.6b
(neg.f64 (/.f64 (+.f64 (-.f64 (/.f64 1/2 (*.f64 x x)) (+.f64 (/.f64 1 x) (/.f64 1/3 (pow.f64 x 3)))) (/.f64 1/4 (pow.f64 x 4))) n))
26.5b
(/.f64 (pow.f64 x (/.f64 1 n)) (*.f64 x n))
17.8b
(neg.f64 (*.f64 (/.f64 1 (*.f64 (cbrt.f64 n) (cbrt.f64 n))) (/.f64 (log.f64 (/.f64 x (+.f64 1 x))) (cbrt.f64 n))))
18.2b
(neg.f64 (*.f64 (+.f64 (log.f64 (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) 1)) (log.f64 (/.f64 (cbrt.f64 x) (+.f64 1 x)))) (/.f64 1 n)))
30.9b
(-.f64 (exp.f64 (/.f64 (log1p.f64 x) n)) (pow.f64 x (/.f64 1 n)))
35.9b
(-.f64 (fma.f64 11/24 (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (*.f64 (*.f64 n n) (pow.f64 x 4))) (+.f64 (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (*.f64 x n)) (fma.f64 1/2 (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (*.f64 (*.f64 x x) (*.f64 n n))) (fma.f64 1/24 (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (*.f64 (pow.f64 x 4) (pow.f64 n 4))) (fma.f64 1/3 (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (*.f64 n (pow.f64 x 3))) (*.f64 1/6 (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (*.f64 (pow.f64 x 3) (pow.f64 n 3))))))))) (fma.f64 1/4 (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (*.f64 (pow.f64 n 3) (pow.f64 x 4))) (fma.f64 1/2 (+.f64 (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (*.f64 x (*.f64 x n))) (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (*.f64 n (*.f64 n (pow.f64 x 3))))) (*.f64 1/4 (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (*.f64 n (pow.f64 x 4)))))))
17.7b
(neg.f64 (/.f64 1 (/.f64 n (-.f64 (log.f64 x) (log1p.f64 x)))))
18.0b
(neg.f64 (*.f64 (/.f64 (-.f64 (log.f64 x) (log1p.f64 x)) (*.f64 (cbrt.f64 n) (cbrt.f64 n))) (/.f64 1 (cbrt.f64 n))))
✓17.6b
(neg.f64 (*.f64 (log.f64 (/.f64 x (+.f64 1 x))) (/.f64 1 n)))
26.4b
(-.f64 (fma.f64 1/2 (/.f64 (pow.f64 (log1p.f64 x) 2) (*.f64 n n)) (fma.f64 1/24 (/.f64 (pow.f64 (log1p.f64 x) 4) (pow.f64 n 4)) (fma.f64 1/6 (pow.f64 (/.f64 (log1p.f64 x) n) 3) (/.f64 (log1p.f64 x) n)))) (fma.f64 1/6 (pow.f64 (/.f64 (log.f64 x) n) 3) (fma.f64 1/2 (/.f64 (pow.f64 (log.f64 x) 2) (*.f64 n n)) (fma.f64 1/24 (/.f64 (pow.f64 (log.f64 x) 4) (pow.f64 n 4)) (/.f64 (log.f64 x) n)))))
30.9b
(-.f64 (exp.f64 (/.f64 (log1p.f64 x) n)) (pow.f64 x (/.f64 1 n)))
47.3b
(neg.f64 (/.f64 (/.f64 (-.f64 (log.f64 x) (log1p.f64 x)) (sqrt.f64 n)) (sqrt.f64 n)))
28.4b
(neg.f64 (/.f64 (log.f64 (/.f64 (sqrt.f64 x) (/.f64 (+.f64 1 x) (sqrt.f64 x)))) n))
35.9b
(-.f64 (fma.f64 11/24 (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (*.f64 (*.f64 n n) (pow.f64 x 4))) (+.f64 (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (*.f64 x n)) (fma.f64 1/2 (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (*.f64 (*.f64 x x) (*.f64 n n))) (fma.f64 1/24 (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (*.f64 (pow.f64 x 4) (pow.f64 n 4))) (fma.f64 1/3 (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (*.f64 n (pow.f64 x 3))) (*.f64 1/6 (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (*.f64 (pow.f64 x 3) (pow.f64 n 3))))))))) (fma.f64 1/4 (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (*.f64 (pow.f64 n 3) (pow.f64 x 4))) (fma.f64 1/2 (+.f64 (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (*.f64 x (*.f64 x n))) (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (*.f64 n (*.f64 n (pow.f64 x 3))))) (*.f64 1/4 (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (*.f64 n (pow.f64 x 4)))))))
30.9b
(cbrt.f64 (pow.f64 (-.f64 (exp.f64 (/.f64 (log1p.f64 x) n)) (pow.f64 x (/.f64 1 n))) 3))
18.0b
(neg.f64 (*.f64 (*.f64 (cbrt.f64 (-.f64 (log.f64 x) (log1p.f64 x))) (cbrt.f64 (-.f64 (log.f64 x) (log1p.f64 x)))) (/.f64 (cbrt.f64 (-.f64 (log.f64 x) (log1p.f64 x))) n)))
39.6b
(neg.f64 (/.f64 (+.f64 (-.f64 (/.f64 1/2 (*.f64 x x)) (+.f64 (/.f64 1 x) (/.f64 1/3 (pow.f64 x 3)))) (/.f64 1/4 (pow.f64 x 4))) n))
26.5b
(/.f64 (pow.f64 x (/.f64 1 n)) (*.f64 x n))
17.8b
(neg.f64 (*.f64 (/.f64 1 (*.f64 (cbrt.f64 n) (cbrt.f64 n))) (/.f64 (log.f64 (/.f64 x (+.f64 1 x))) (cbrt.f64 n))))
17.9b
(neg.f64 (/.f64 (-.f64 (*.f64 (log.f64 x) (log.f64 x)) (*.f64 (log1p.f64 x) (log1p.f64 x))) (*.f64 n (+.f64 (log.f64 x) (log1p.f64 x)))))
17.7b
(neg.f64 (/.f64 1 (/.f64 n (-.f64 (log.f64 x) (log1p.f64 x)))))
▶17.6b
(neg.f64 (*.f64 (log.f64 (/.f64 x (+.f64 1 x))) (/.f64 1 n)))
26.4b
(-.f64 (fma.f64 1/2 (/.f64 (pow.f64 (log1p.f64 x) 2) (*.f64 n n)) (fma.f64 1/24 (/.f64 (pow.f64 (log1p.f64 x) 4) (pow.f64 n 4)) (fma.f64 1/6 (pow.f64 (/.f64 (log1p.f64 x) n) 3) (/.f64 (log1p.f64 x) n)))) (fma.f64 1/6 (pow.f64 (/.f64 (log.f64 x) n) 3) (fma.f64 1/2 (/.f64 (pow.f64 (log.f64 x) 2) (*.f64 n n)) (fma.f64 1/24 (/.f64 (pow.f64 (log.f64 x) 4) (pow.f64 n 4)) (/.f64 (log.f64 x) n)))))
30.9b
(-.f64 (exp.f64 (/.f64 (log1p.f64 x) n)) (pow.f64 x (/.f64 1 n)))
47.3b
(neg.f64 (/.f64 (/.f64 (-.f64 (log.f64 x) (log1p.f64 x)) (sqrt.f64 n)) (sqrt.f64 n)))
35.9b
(-.f64 (fma.f64 11/24 (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (*.f64 (*.f64 n n) (pow.f64 x 4))) (+.f64 (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (*.f64 x n)) (fma.f64 1/2 (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (*.f64 (*.f64 x x) (*.f64 n n))) (fma.f64 1/24 (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (*.f64 (pow.f64 x 4) (pow.f64 n 4))) (fma.f64 1/3 (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (*.f64 n (pow.f64 x 3))) (*.f64 1/6 (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (*.f64 (pow.f64 x 3) (pow.f64 n 3))))))))) (fma.f64 1/4 (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (*.f64 (pow.f64 n 3) (pow.f64 x 4))) (fma.f64 1/2 (+.f64 (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (*.f64 x (*.f64 x n))) (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (*.f64 n (*.f64 n (pow.f64 x 3))))) (*.f64 1/4 (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (*.f64 n (pow.f64 x 4)))))))
17.7b
(neg.f64 (*.f64 (-.f64 (log.f64 x) (log1p.f64 x)) (/.f64 1 n)))
30.9b
(cbrt.f64 (pow.f64 (-.f64 (exp.f64 (/.f64 (log1p.f64 x) n)) (pow.f64 x (/.f64 1 n))) 3))
18.0b
(neg.f64 (*.f64 (*.f64 (cbrt.f64 (-.f64 (log.f64 x) (log1p.f64 x))) (cbrt.f64 (-.f64 (log.f64 x) (log1p.f64 x)))) (/.f64 (cbrt.f64 (-.f64 (log.f64 x) (log1p.f64 x))) n)))
39.6b
(neg.f64 (/.f64 (+.f64 (-.f64 (/.f64 1/2 (*.f64 x x)) (+.f64 (/.f64 1 x) (/.f64 1/3 (pow.f64 x 3)))) (/.f64 1/4 (pow.f64 x 4))) n))
26.5b
(/.f64 (pow.f64 x (/.f64 1 n)) (*.f64 x n))
35.9b
(neg.f64 (/.f64 (+.f64 (log.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (-.f64 (log.f64 (cbrt.f64 x)) (log1p.f64 x))) n))
17.9b
(neg.f64 (/.f64 (-.f64 (*.f64 (log.f64 x) (log.f64 x)) (*.f64 (log1p.f64 x) (log1p.f64 x))) (*.f64 n (+.f64 (log.f64 x) (log1p.f64 x)))))
17.7b
(neg.f64 (/.f64 1 (/.f64 n (-.f64 (log.f64 x) (log1p.f64 x)))))
▶17.6b
(neg.f64 (/.f64 (log.f64 (/.f64 x (+.f64 1 x))) n))
18.0b
(neg.f64 (*.f64 (/.f64 1 (*.f64 (cbrt.f64 n) (cbrt.f64 n))) (/.f64 (-.f64 (log.f64 x) (log1p.f64 x)) (cbrt.f64 n))))
26.4b
(-.f64 (fma.f64 1/2 (/.f64 (pow.f64 (log1p.f64 x) 2) (*.f64 n n)) (fma.f64 1/24 (/.f64 (pow.f64 (log1p.f64 x) 4) (pow.f64 n 4)) (fma.f64 1/6 (pow.f64 (/.f64 (log1p.f64 x) n) 3) (/.f64 (log1p.f64 x) n)))) (fma.f64 1/6 (pow.f64 (/.f64 (log.f64 x) n) 3) (fma.f64 1/2 (/.f64 (pow.f64 (log.f64 x) 2) (*.f64 n n)) (fma.f64 1/24 (/.f64 (pow.f64 (log.f64 x) 4) (pow.f64 n 4)) (/.f64 (log.f64 x) n)))))
26.5b
(/.f64 (pow.f64 x (/.f64 1 n)) (*.f64 x n))
30.9b
(-.f64 (exp.f64 (/.f64 (log1p.f64 x) n)) (pow.f64 x (/.f64 1 n)))
35.9b
(-.f64 (fma.f64 11/24 (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (*.f64 (*.f64 n n) (pow.f64 x 4))) (+.f64 (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (*.f64 x n)) (fma.f64 1/2 (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (*.f64 (*.f64 x x) (*.f64 n n))) (fma.f64 1/24 (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (*.f64 (pow.f64 x 4) (pow.f64 n 4))) (fma.f64 1/3 (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (*.f64 n (pow.f64 x 3))) (*.f64 1/6 (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (*.f64 (pow.f64 x 3) (pow.f64 n 3))))))))) (fma.f64 1/4 (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (*.f64 (pow.f64 n 3) (pow.f64 x 4))) (fma.f64 1/2 (+.f64 (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (*.f64 x (*.f64 x n))) (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (*.f64 n (*.f64 n (pow.f64 x 3))))) (*.f64 1/4 (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (*.f64 n (pow.f64 x 4)))))))
30.9b
(cbrt.f64 (pow.f64 (-.f64 (exp.f64 (/.f64 (log1p.f64 x) n)) (pow.f64 x (/.f64 1 n))) 3))
▶17.7b
(neg.f64 (/.f64 (-.f64 (log.f64 x) (log1p.f64 x)) n))
26.4b
(-.f64 (fma.f64 1/2 (/.f64 (pow.f64 (log1p.f64 x) 2) (*.f64 n n)) (fma.f64 1/24 (/.f64 (pow.f64 (log1p.f64 x) 4) (pow.f64 n 4)) (fma.f64 1/6 (pow.f64 (/.f64 (log1p.f64 x) n) 3) (/.f64 (log1p.f64 x) n)))) (fma.f64 1/6 (pow.f64 (/.f64 (log.f64 x) n) 3) (fma.f64 1/2 (/.f64 (pow.f64 (log.f64 x) 2) (*.f64 n n)) (fma.f64 1/24 (/.f64 (pow.f64 (log.f64 x) 4) (pow.f64 n 4)) (/.f64 (log.f64 x) n)))))
▶31.7b
(-.f64 (pow.f64 (+.f64 x 1) (/.f64 1 n)) (pow.f64 x (/.f64 1 n)))
✓0.1b
(/.f64 (/.f64 (sin.f64 x) x) (/.f64 x (tan.f64 (/.f64 x 2))))
0.1b
(*.f64 (/.f64 (sin.f64 (/.f64 x 2)) x) (/.f64 (/.f64 (sin.f64 x) x) (cos.f64 (/.f64 x 2))))
32.4b
(/.f64 (-.f64 (pow.f64 1 3) (pow.f64 (cos.f64 x) 3)) (*.f64 (*.f64 x x) (+.f64 (*.f64 1 1) (+.f64 (*.f64 (cos.f64 x) (cos.f64 x)) (*.f64 1 (cos.f64 x))))))
32.3b
(-.f64 (/.f64 1/2 (*.f64 x (fma.f64 x (cos.f64 x) x))) (*.f64 (/.f64 1/2 (*.f64 x (fma.f64 x (cos.f64 x) x))) (cos.f64 (+.f64 x x))))
17.8b
(/.f64 (/.f64 (expm1.f64 (log1p.f64 (pow.f64 (sin.f64 x) 2))) (+.f64 1 (cos.f64 x))) (*.f64 x x))
32.4b
(/.f64 (-.f64 (pow.f64 1 3) (pow.f64 (cos.f64 x) 3)) (*.f64 (*.f64 x x) (+.f64 (*.f64 1 1) (+.f64 (*.f64 (cos.f64 x) (cos.f64 x)) (*.f64 1 (cos.f64 x))))))
✓0.1b
(/.f64 (*.f64 (/.f64 (sin.f64 x) x) (tan.f64 (/.f64 x 2))) x)
▶0.1b
(/.f64 (/.f64 (sin.f64 x) x) (/.f64 x (tan.f64 (/.f64 x 2))))
32.3b
(-.f64 (/.f64 1/2 (*.f64 x (fma.f64 x (cos.f64 x) x))) (*.f64 (/.f64 1/2 (*.f64 x (fma.f64 x (cos.f64 x) x))) (cos.f64 (+.f64 x x))))
17.8b
(/.f64 (/.f64 (expm1.f64 (log1p.f64 (pow.f64 (sin.f64 x) 2))) (+.f64 1 (cos.f64 x))) (*.f64 x x))
32.4b
(/.f64 (-.f64 (pow.f64 1 3) (pow.f64 (cos.f64 x) 3)) (*.f64 (*.f64 x x) (+.f64 (*.f64 1 1) (+.f64 (*.f64 (cos.f64 x) (cos.f64 x)) (*.f64 1 (cos.f64 x))))))
▶0.1b
(/.f64 (*.f64 (/.f64 (sin.f64 x) x) (tan.f64 (/.f64 x 2))) x)
0.3b
(/.f64 1 (/.f64 x (*.f64 (/.f64 (sin.f64 x) x) (tan.f64 (/.f64 x 2)))))
32.3b
(-.f64 (/.f64 1/2 (*.f64 x (fma.f64 x (cos.f64 x) x))) (*.f64 (/.f64 1/2 (*.f64 x (fma.f64 x (cos.f64 x) x))) (cos.f64 (+.f64 x x))))
▶17.8b
(/.f64 (/.f64 (*.f64 (sin.f64 x) (sin.f64 x)) (+.f64 1 (cos.f64 x))) (*.f64 x x))
30.7b
(fma.f64 (*.f64 x x) -1/24 (fma.f64 1/720 (pow.f64 x 4) 1/2))
32.5b
(/.f64 (-.f64 (*.f64 1 1) (*.f64 (cos.f64 x) (cos.f64 x))) (*.f64 x (fma.f64 x (cos.f64 x) x)))
32.5b
(/.f64 (-.f64 (*.f64 1 1) (*.f64 (cos.f64 x) (cos.f64 x))) (*.f64 (*.f64 x x) (+.f64 1 (cos.f64 x))))
32.4b
(/.f64 (-.f64 (pow.f64 1 3) (pow.f64 (cos.f64 x) 3)) (*.f64 (*.f64 x x) (+.f64 (*.f64 1 1) (+.f64 (*.f64 (cos.f64 x) (cos.f64 x)) (*.f64 1 (cos.f64 x))))))
32.7b
(/.f64 (+.f64 1 (*.f64 (neg.f64 (*.f64 (cbrt.f64 (cos.f64 x)) (cbrt.f64 (cos.f64 x)))) (cbrt.f64 (cos.f64 x)))) (*.f64 x x))
31.8b
(/.f64 (/.f64 (-.f64 1 (cos.f64 x)) x) x)
31.9b
(*.f64 (/.f64 1 x) (/.f64 (-.f64 1 (cos.f64 x)) x))
32.4b
(/.f64 (exp.f64 (log.f64 (-.f64 1 (cos.f64 x)))) (*.f64 x x))
▶32.4b
(/.f64 (-.f64 1 (cos.f64 x)) (*.f64 x x))
34.4b
(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (*.f64 (fabs.f64 (cbrt.f64 (neg.f64 (*.f64 c a)))) (sqrt.f64 (cbrt.f64 (neg.f64 (*.f64 c a))))) b_2))))
40.8b
(*.f64 -1/2 (/.f64 c b_2))
✓34.4b
(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (*.f64 (sqrt.f64 (sqrt.f64 (neg.f64 (*.f64 c a)))) (sqrt.f64 (sqrt.f64 (neg.f64 (*.f64 c a))))) b_2))))
43.9b
(/.f64 (*.f64 -2 b_2) a)
47.0b
(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (*.f64 (sqrt.f64 c) (sqrt.f64 (neg.f64 a))) b_2))))
40.7b
(/.f64 1 (fma.f64 1/2 (/.f64 a b_2) (/.f64 2 (*.f64 (/.f64 c b_2) -1))))
38.8b
(/.f64 (/.f64 (*.f64 c a) (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)) a)
✓34.2b
(*.f64 1 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)) a))
48.3b
(/.f64 (fma.f64 (/.f64 (*.f64 c a) b_2) -1/2 (*.f64 (/.f64 (*.f64 (*.f64 c a) (*.f64 c a)) (pow.f64 b_2 3)) -1/8)) a)
47.0b
(*.f64 1 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (*.f64 (sqrt.f64 c) (sqrt.f64 (neg.f64 a))) b_2)) a))
45.9b
(*.f64 1 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (*.f64 (sqrt.f64 (neg.f64 c)) (sqrt.f64 a)) b_2)) a))
45.9b
(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (*.f64 (sqrt.f64 (neg.f64 c)) (sqrt.f64 a)) b_2))))
34.4b
(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (*.f64 (fabs.f64 (cbrt.f64 (neg.f64 (*.f64 c a)))) (sqrt.f64 (cbrt.f64 (neg.f64 (*.f64 c a))))) b_2))))
40.8b
(*.f64 -1/2 (/.f64 c b_2))
▶34.4b
(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (*.f64 (sqrt.f64 (sqrt.f64 (neg.f64 (*.f64 c a)))) (sqrt.f64 (sqrt.f64 (neg.f64 (*.f64 c a))))) b_2))))
43.9b
(/.f64 (*.f64 -2 b_2) a)
47.0b
(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (*.f64 (sqrt.f64 c) (sqrt.f64 (neg.f64 a))) b_2))))
40.7b
(/.f64 1 (fma.f64 1/2 (/.f64 a b_2) (/.f64 2 (*.f64 (/.f64 c b_2) -1))))
38.8b
(/.f64 (/.f64 (*.f64 c a) (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)) a)
✓34.2b
(*.f64 1 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)) a))
48.3b
(/.f64 (fma.f64 (/.f64 (*.f64 c a) b_2) -1/2 (*.f64 (/.f64 (*.f64 (*.f64 c a) (*.f64 c a)) (pow.f64 b_2 3)) -1/8)) a)
47.0b
(*.f64 1 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (*.f64 (sqrt.f64 c) (sqrt.f64 (neg.f64 a))) b_2)) a))
45.9b
(*.f64 1 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (*.f64 (sqrt.f64 (neg.f64 c)) (sqrt.f64 a)) b_2)) a))
45.9b
(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (*.f64 (sqrt.f64 (neg.f64 c)) (sqrt.f64 a)) b_2))))
34.4b
(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (*.f64 (fabs.f64 (cbrt.f64 (neg.f64 (*.f64 c a)))) (sqrt.f64 (cbrt.f64 (neg.f64 (*.f64 c a))))) b_2))))
40.8b
(*.f64 -1/2 (/.f64 c b_2))
34.4b
(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (*.f64 (sqrt.f64 (sqrt.f64 (neg.f64 (*.f64 c a)))) (sqrt.f64 (sqrt.f64 (neg.f64 (*.f64 c a))))) b_2))))
43.9b
(/.f64 (*.f64 -2 b_2) a)
47.0b
(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (*.f64 (sqrt.f64 c) (sqrt.f64 (neg.f64 a))) b_2))))
40.7b
(/.f64 1 (fma.f64 1/2 (/.f64 a b_2) (/.f64 2 (*.f64 (/.f64 c b_2) -1))))
38.8b
(/.f64 (/.f64 (*.f64 c a) (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)) a)
▶34.2b
(*.f64 1 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)) a))
48.3b
(/.f64 (fma.f64 (/.f64 (*.f64 c a) b_2) -1/2 (*.f64 (/.f64 (*.f64 (*.f64 c a) (*.f64 c a)) (pow.f64 b_2 3)) -1/8)) a)
45.9b
(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (*.f64 (sqrt.f64 (neg.f64 c)) (sqrt.f64 a)) b_2))))
44.1b
(fma.f64 1/2 (/.f64 c b_2) (*.f64 -2 (/.f64 b_2 a)))
43.9b
(/.f64 (*.f64 -2 b_2) a)
▶34.3b
(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))))
56.5b
(/.f64 (-.f64 (neg.f64 b_2) (neg.f64 b_2)) a)
40.8b
(*.f64 -1/2 (/.f64 c b_2))
36.7b
(/.f64 (-.f64 (neg.f64 b_2) (*.f64 (fabs.f64 (cbrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 c a)))) (sqrt.f64 (cbrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 c a)))))) a)
38.8b
(/.f64 (/.f64 (*.f64 c a) (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)) a)
34.8b
(/.f64 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)) (*.f64 (cbrt.f64 a) (cbrt.f64 a))) (cbrt.f64 a))
50.8b
(/.f64 (-.f64 (*.f64 (neg.f64 b_2) (neg.f64 b_2)) (*.f64 (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c))) (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c))))) (*.f64 a (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)))
48.3b
(/.f64 (fma.f64 (/.f64 (*.f64 c a) b_2) -1/2 (*.f64 (/.f64 (*.f64 (*.f64 c a) (*.f64 c a)) (pow.f64 b_2 3)) -1/8)) a)
36.0b
(*.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c)))) (/.f64 1 a))
38.9b
(/.f64 (-.f64 (neg.f64 b_2) (exp.f64 (log.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)))) a)
▶35.9b
(/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c)))) a)
35.4b
(fma.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) (/.f64 1 a) (neg.f64 (/.f64 b_2 a)))
48.4b
(*.f64 (/.f64 1 (sqrt.f64 a)) (/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c))) b_2) (sqrt.f64 a)))
45.0b
(fma.f64 1/2 (/.f64 c b_2) (*.f64 -2 (/.f64 b_2 a)))
44.6b
(-.f64 (/.f64 (hypot.f64 (*.f64 (sqrt.f64 (neg.f64 c)) (sqrt.f64 a)) b_2) a) (/.f64 b_2 a))
41.4b
(*.f64 -1/2 (/.f64 c b_2))
33.8b
(-.f64 (/.f64 (hypot.f64 (*.f64 (fabs.f64 (cbrt.f64 (neg.f64 (*.f64 c a)))) (sqrt.f64 (cbrt.f64 (neg.f64 (*.f64 c a))))) b_2) a) (/.f64 b_2 a))
35.5b
(+.f64 (fma.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) (/.f64 1 a) (neg.f64 (*.f64 (cbrt.f64 (/.f64 b_2 a)) (*.f64 (cbrt.f64 (/.f64 b_2 a)) (cbrt.f64 (/.f64 b_2 a)))))) (fma.f64 (neg.f64 (cbrt.f64 (/.f64 b_2 a))) (*.f64 (cbrt.f64 (/.f64 b_2 a)) (cbrt.f64 (/.f64 b_2 a))) (*.f64 (cbrt.f64 (/.f64 b_2 a)) (*.f64 (cbrt.f64 (/.f64 b_2 a)) (cbrt.f64 (/.f64 b_2 a))))))
44.6b
(/.f64 1 (/.f64 a (-.f64 (hypot.f64 (*.f64 (sqrt.f64 (neg.f64 c)) (sqrt.f64 a)) b_2) b_2)))
43.0b
(/.f64 (/.f64 (-.f64 (*.f64 (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c))) (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c)))) (*.f64 b_2 b_2)) (+.f64 (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c))) b_2)) a)
41.0b
(/.f64 1 (fma.f64 1/2 (/.f64 a b_2) (*.f64 2 (/.f64 b_2 (neg.f64 c)))))
✓31.9b
(*.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)) (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)) a))
47.2b
(-.f64 (/.f64 (hypot.f64 (*.f64 (sqrt.f64 c) (sqrt.f64 (neg.f64 a))) b_2) a) (/.f64 b_2 a))
✓31.8b
(/.f64 1 (/.f64 a (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)))
49.3b
(*.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)) (/.f64 (sqrt.f64 (*.f64 (+.f64 (sqrt.f64 b_2) (sqrt.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))) (-.f64 (sqrt.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)) (sqrt.f64 b_2)))) a))
✓31.9b
(*.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)) (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)) a))
44.6b
(/.f64 1 (/.f64 a (-.f64 (hypot.f64 (*.f64 (sqrt.f64 (neg.f64 c)) (sqrt.f64 a)) b_2) b_2)))
▶33.6b
(-.f64 (/.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) a) (/.f64 b_2 a))
43.0b
(/.f64 (/.f64 (-.f64 (*.f64 (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c))) (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c)))) (*.f64 b_2 b_2)) (+.f64 (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c))) b_2)) a)
48.4b
(*.f64 (/.f64 1 (sqrt.f64 a)) (/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c))) b_2) (sqrt.f64 a)))
41.0b
(/.f64 1 (fma.f64 1/2 (/.f64 a b_2) (*.f64 2 (/.f64 b_2 (neg.f64 c)))))
45.0b
(fma.f64 1/2 (/.f64 c b_2) (*.f64 -2 (/.f64 b_2 a)))
41.4b
(*.f64 -1/2 (/.f64 c b_2))
✓31.8b
(/.f64 1 (/.f64 a (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)))
44.1b
(/.f64 (/.f64 (-.f64 (*.f64 b_2 b_2) (fma.f64 c a (*.f64 b_2 b_2))) (+.f64 b_2 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))) a)
46.4b
(/.f64 1 (/.f64 a (-.f64 (hypot.f64 (*.f64 (sqrt.f64 c) (sqrt.f64 (neg.f64 a))) b_2) b_2)))
44.6b
(/.f64 1 (/.f64 a (-.f64 (hypot.f64 (*.f64 (sqrt.f64 (neg.f64 c)) (sqrt.f64 a)) b_2) b_2)))
33.6b
(-.f64 (/.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) a) (/.f64 b_2 a))
43.0b
(/.f64 (/.f64 (-.f64 (*.f64 (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c))) (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c)))) (*.f64 b_2 b_2)) (+.f64 (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c))) b_2)) a)
48.4b
(*.f64 (/.f64 1 (sqrt.f64 a)) (/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c))) b_2) (sqrt.f64 a)))
41.0b
(/.f64 1 (fma.f64 1/2 (/.f64 a b_2) (*.f64 2 (/.f64 b_2 (neg.f64 c)))))
▶31.9b
(*.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)) (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)) a))
45.0b
(fma.f64 1/2 (/.f64 c b_2) (*.f64 -2 (/.f64 b_2 a)))
41.4b
(*.f64 -1/2 (/.f64 c b_2))
✓31.8b
(/.f64 1 (/.f64 a (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)))
44.1b
(/.f64 (/.f64 (-.f64 (*.f64 b_2 b_2) (fma.f64 c a (*.f64 b_2 b_2))) (+.f64 b_2 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))) a)
46.4b
(/.f64 1 (/.f64 a (-.f64 (hypot.f64 (*.f64 (sqrt.f64 c) (sqrt.f64 (neg.f64 a))) b_2) b_2)))
37.3b
(/.f64 (-.f64 (exp.f64 (log.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))) b_2) a)
31.9b
(*.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)) (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)) a))
33.6b
(-.f64 (/.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) a) (/.f64 b_2 a))
43.0b
(/.f64 (/.f64 (-.f64 (*.f64 (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c))) (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c)))) (*.f64 b_2 b_2)) (+.f64 (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c))) b_2)) a)
48.4b
(*.f64 (/.f64 1 (sqrt.f64 a)) (/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c))) b_2) (sqrt.f64 a)))
57.2b
(/.f64 (-.f64 b_2 b_2) a)
45.0b
(fma.f64 1/2 (/.f64 c b_2) (*.f64 -2 (/.f64 b_2 a)))
46.0b
(fma.f64 -1/2 (/.f64 c b_2) (*.f64 (/.f64 (*.f64 c (*.f64 c a)) (pow.f64 b_2 3)) -1/8))
41.4b
(*.f64 -1/2 (/.f64 c b_2))
▶31.8b
(/.f64 1 (/.f64 a (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)))
44.8b
(/.f64 (*.f64 -2 b_2) a)
44.1b
(/.f64 (/.f64 (-.f64 (*.f64 b_2 b_2) (fma.f64 c a (*.f64 b_2 b_2))) (+.f64 b_2 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))) a)
▶34.2b
(/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c))) b_2) a)
31.6b
(/.f64 (/.f64 1 (-.f64 x (tan.f64 x))) (/.f64 1 (-.f64 x (sin.f64 x))))
✓31.5b
(/.f64 1 (/.f64 (-.f64 x (tan.f64 x)) (-.f64 x (sin.f64 x))))
✓31.5b
(-.f64 (fma.f64 9/40 (*.f64 x x) (fma.f64 (pow.f64 x 4) -27/2800 (*.f64 27/112000 (pow.f64 x 6)))) 1/2)
✓31.5b
(-.f64 (fma.f64 9/40 (*.f64 x x) (fma.f64 (pow.f64 x 4) -27/2800 (*.f64 27/112000 (pow.f64 x 6)))) 1/2)
32.2b
(+.f64 (+.f64 1 (+.f64 (/.f64 (pow.f64 (sin.f64 x) 2) (*.f64 (*.f64 x x) (pow.f64 (cos.f64 x) 2))) (/.f64 (pow.f64 (/.f64 (sin.f64 x) (cos.f64 x)) 3) (pow.f64 x 3)))) (-.f64 (/.f64 (sin.f64 x) (*.f64 x (cos.f64 x))) (+.f64 (+.f64 (/.f64 (sin.f64 x) x) (/.f64 (pow.f64 (sin.f64 x) 2) (*.f64 x (*.f64 x (cos.f64 x))))) (/.f64 (pow.f64 (sin.f64 x) 3) (*.f64 (pow.f64 x 3) (pow.f64 (cos.f64 x) 2))))))
▶31.5b
(/.f64 1 (/.f64 (-.f64 x (tan.f64 x)) (-.f64 x (sin.f64 x))))
▶31.5b
(-.f64 (fma.f64 9/40 (*.f64 x x) (fma.f64 (pow.f64 x 4) -27/2800 (*.f64 27/112000 (pow.f64 x 6)))) 1/2)
32.2b
(+.f64 (+.f64 1 (+.f64 (/.f64 (pow.f64 (sin.f64 x) 2) (*.f64 (*.f64 x x) (pow.f64 (cos.f64 x) 2))) (/.f64 (pow.f64 (/.f64 (sin.f64 x) (cos.f64 x)) 3) (pow.f64 x 3)))) (-.f64 (/.f64 (sin.f64 x) (*.f64 x (cos.f64 x))) (+.f64 (+.f64 (/.f64 (sin.f64 x) x) (/.f64 (pow.f64 (sin.f64 x) 2) (*.f64 x (*.f64 x (cos.f64 x))))) (/.f64 (pow.f64 (sin.f64 x) 3) (*.f64 (pow.f64 x 3) (pow.f64 (cos.f64 x) 2))))))
31.5b
(/.f64 1 (/.f64 (-.f64 x (tan.f64 x)) (-.f64 x (sin.f64 x))))
▶31.5b
(-.f64 (fma.f64 9/40 (*.f64 x x) (*.f64 27/112000 (pow.f64 x 6))) (fma.f64 27/2800 (pow.f64 x 4) 1/2))
32.2b
(+.f64 (+.f64 1 (+.f64 (/.f64 (pow.f64 (sin.f64 x) 2) (*.f64 (*.f64 x x) (pow.f64 (cos.f64 x) 2))) (/.f64 (pow.f64 (/.f64 (sin.f64 x) (cos.f64 x)) 3) (pow.f64 x 3)))) (-.f64 (/.f64 (sin.f64 x) (*.f64 x (cos.f64 x))) (+.f64 (+.f64 (/.f64 (sin.f64 x) x) (/.f64 (pow.f64 (sin.f64 x) 2) (*.f64 x (*.f64 x (cos.f64 x))))) (/.f64 (pow.f64 (sin.f64 x) 3) (*.f64 (pow.f64 x 3) (pow.f64 (cos.f64 x) 2))))))
31.5b
(/.f64 1 (/.f64 (-.f64 x (tan.f64 x)) (-.f64 x (sin.f64 x))))
▶31.6b
(/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x)))
✓0.3b
(sqrt.f64 (+.f64 1 (exp.f64 x)))
20.5b
(-.f64 (+.f64 (*.f64 1/12 (/.f64 (pow.f64 x 3) (sqrt.f64 2))) (+.f64 (*.f64 1/4 (/.f64 (pow.f64 x 2) (sqrt.f64 2))) (+.f64 (*.f64 1/16 (*.f64 (/.f64 (pow.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) 3) (*.f64 (pow.f64 (*.f64 (cbrt.f64 (sqrt.f64 (sqrt.f64 2))) (cbrt.f64 (sqrt.f64 (sqrt.f64 2)))) 5) (pow.f64 (cbrt.f64 (sqrt.f64 (sqrt.f64 2))) 5))) (/.f64 (pow.f64 (cbrt.f64 x) 3) (pow.f64 (sqrt.f64 (sqrt.f64 2)) 5)))) (+.f64 (sqrt.f64 2) (*.f64 1/2 (/.f64 x (sqrt.f64 2))))))) (*.f64 (/.f64 (*.f64 x x) (sqrt.f64 2)) 1/16))
20.7b
(sqrt.f64 (+.f64 2 x))
▶20.5b
(-.f64 (+.f64 (*.f64 1/12 (/.f64 (pow.f64 x 3) (sqrt.f64 2))) (+.f64 (*.f64 1/4 (/.f64 (pow.f64 x 2) (sqrt.f64 2))) (+.f64 (*.f64 1/16 (*.f64 (/.f64 (pow.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) 3) (pow.f64 (sqrt.f64 (sqrt.f64 2)) 5)) (/.f64 (pow.f64 (cbrt.f64 x) 3) (pow.f64 (sqrt.f64 (sqrt.f64 2)) 5)))) (+.f64 (sqrt.f64 2) (*.f64 1/2 (/.f64 x (sqrt.f64 2))))))) (*.f64 (/.f64 (*.f64 x x) (sqrt.f64 2)) 1/16))
✓0.3b
(sqrt.f64 (+.f64 1 (exp.f64 x)))
20.7b
(sqrt.f64 (+.f64 2 x))
▶20.5b
(-.f64 (+.f64 (*.f64 1/12 (/.f64 (pow.f64 x 3) (sqrt.f64 2))) (+.f64 (*.f64 1/4 (/.f64 (pow.f64 x 2) (sqrt.f64 2))) (+.f64 (*.f64 1/16 (/.f64 (pow.f64 x 3) (pow.f64 (sqrt.f64 2) 5))) (+.f64 (sqrt.f64 2) (*.f64 1/2 (/.f64 x (sqrt.f64 2))))))) (*.f64 (/.f64 (*.f64 x x) (sqrt.f64 2)) 1/16))
✓0.3b
(sqrt.f64 (+.f64 1 (exp.f64 x)))
20.7b
(sqrt.f64 (+.f64 2 x))
▶20.4b
(-.f64 (+.f64 (*.f64 1/12 (/.f64 (pow.f64 x 3) (sqrt.f64 2))) (+.f64 (*.f64 1/4 (/.f64 (pow.f64 x 2) (sqrt.f64 2))) (+.f64 (*.f64 1/16 (/.f64 (pow.f64 x 3) (pow.f64 (sqrt.f64 2) 5))) (+.f64 (sqrt.f64 2) (*.f64 1/2 (/.f64 x (sqrt.f64 2))))))) (+.f64 (*.f64 1/8 (/.f64 (pow.f64 x 3) (pow.f64 (sqrt.f64 2) 3))) (*.f64 1/8 (/.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 2) 3)))))
✓0.3b
(sqrt.f64 (+.f64 1 (exp.f64 x)))
20.7b
(sqrt.f64 (+.f64 2 x))
▶0.3b
(sqrt.f64 (+.f64 1 (exp.f64 x)))
Compiler

Compiled 728626 to 428444 computations (41.2% saved)

regimes24.9s (10.2%)

Compiler

Compiled 245579 to 168479 computations (31.4% saved)

simplify23.5s (9.6%)

Algorithm
155×egg-herbie
Rules
47046×fma-def_binary64
44130×fma-neg_binary64
22481×times-frac_binary64
20070×distribute-rgt-in_binary64
18837×cancel-sign-sub-inv_binary64
Counts
15175 → 27779

analyze20.2s (8.3%)

Algorithm
28×search
Search
TrueOtherFalseIter
0%90.9%9.1%0
14.3%76.7%9.1%1
21.4%67.8%10.9%2
33.2%51.7%15.1%3
37.6%44.1%18.2%4
43.8%36.2%19.9%5
46.6%32.5%20.9%6
48.1%29.6%22.3%7
49.9%27.4%22.7%8
51.1%25.4%23.5%9
51.5%24.3%24.2%10
52.4%22.9%24.7%11
53.2%21.5%25.2%12
53.5%20.9%25.6%13
53.9%20.1%26%14
Compiler

Compiled 375 to 278 computations (25.9% saved)

rewrite3.5s (1.4%)

Algorithm
99×rewrite-expression-head
Rules
9670×*-un-lft-identity_binary64
9292×times-frac_binary64
7366×add-sqr-sqrt_binary64
5851×add-cube-cbrt_binary64
3328×prod-diff_binary64
Counts
224 → 11964
Calls

217 calls:

86.0ms
(*.f64 (/.f64 1 (hypot.f64 x (sqrt.f64 x))) (/.f64 (/.f64 1 (hypot.f64 x (sqrt.f64 x))) (+.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 1 (sqrt.f64 (+.f64 1 x))))))
62.0ms
(pow.f64 (cbrt.f64 x) 3)
58.0ms
(/.f64 (-.f64 (/.f64 1 x) (/.f64 1 (+.f64 1 x))) (+.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 1 (sqrt.f64 (+.f64 1 x)))))
56.0ms
(-.f64 (+.f64 (*.f64 1/12 (/.f64 (pow.f64 x 3) (sqrt.f64 2))) (+.f64 (*.f64 1/4 (/.f64 (pow.f64 x 2) (sqrt.f64 2))) (+.f64 (*.f64 1/16 (/.f64 (pow.f64 x 3) (pow.f64 (sqrt.f64 2) 5))) (+.f64 (sqrt.f64 2) (*.f64 1/2 (/.f64 x (sqrt.f64 2))))))) (+.f64 (*.f64 1/8 (/.f64 (pow.f64 x 3) (pow.f64 (sqrt.f64 2) 3))) (*.f64 1/8 (/.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 2) 3)))))
50.0ms
(+.f64 (-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 2 x)) (/.f64 1 (-.f64 x 1)))

localize2.0s (0.8%)

bsearch628.0ms (0.3%)

Compiler

Compiled 80 to 59 computations (26.3% saved)

end50.0ms (0%)

Compiler

Compiled 1190 to 756 computations (36.5% saved)

Profiling

Loading profile data...