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

Details

Time bar (total: 4.5min)

sample2.1min (46.8%)

Algorithm
56×intervals
Results
46.9s36627×body2048valid
35.9s66365×body1024valid
10.6s35179×body512valid
6.6s73843×body128valid
3.2s16979×body256valid
1.8s2174×body4096valid
1.5s1464×body1024nan
1.1s43031×pre128true
701.0ms2870×body128overflowed
522.0ms780×body512nan
409.0ms622×body1024overflowed
372.0ms3798×body128nan
369.0ms381×body2048overflowed
230.0ms213×body1024invalid
195.0ms1710×body128invalid
165.0ms239×body512invalid
135.0ms373×body256nan
131.0ms309×body512overflowed
60.0ms171×body256invalid
38.0ms141×body256overflowed
8.0ms7×body2048nan
4.0ms1×body8192valid
4.0ms2×body2048invalid
Compiler

Compiled 6089 to 4175 computations (31.4% saved)

regimes35.2s (12.9%)

Counts
3210 → 52
Compiler

Compiled 234564 to 160281 computations (31.7% saved)

prune28.0s (10.3%)

Counts
19890 → 688
Alt Table
StatusErrorProgram
1.4b
(*.f64 (sqrt.f64 (atan2.f64 1 (+.f64 1 (fma.f64 N N N)))) (*.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 (atan2.f64 1 (+.f64 1 (fma.f64 N N N)))))) (pow.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 (atan2.f64 1 (+.f64 1 (fma.f64 N N N)))))) 3)))
1.7b
(*.f64 (pow.f64 (cbrt.f64 (atan2.f64 1 (+.f64 1 (fma.f64 N N N)))) 2) (cbrt.f64 (atan2.f64 1 (+.f64 1 (fma.f64 N N N)))))
8.5b
(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.6b
(*.f64 (sqrt.f64 (atan2.f64 1 (+.f64 1 (fma.f64 N N N)))) (*.f64 (sqrt.f64 (sqrt.f64 (atan2.f64 1 (+.f64 1 (fma.f64 N N N))))) (sqrt.f64 (sqrt.f64 (atan2.f64 1 (+.f64 1 (fma.f64 N N N)))))))
4.4b
(*.f64 (sqrt.f64 (atan2.f64 1 (+.f64 1 (fma.f64 N N N)))) (cbrt.f64 (pow.f64 (sqrt.f64 (atan2.f64 1 (+.f64 1 (fma.f64 N N N)))) 3)))
0.7b
(*.f64 (sqrt.f64 (atan2.f64 1 (+.f64 1 (fma.f64 N N N)))) (*.f64 (*.f64 (sqrt.f64 (sqrt.f64 (atan2.f64 1 (+.f64 1 (fma.f64 N N N))))) (*.f64 (cbrt.f64 (sqrt.f64 (sqrt.f64 (atan2.f64 1 (+.f64 1 (fma.f64 N N N)))))) (cbrt.f64 (sqrt.f64 (sqrt.f64 (atan2.f64 1 (+.f64 1 (fma.f64 N N N)))))))) (cbrt.f64 (sqrt.f64 (sqrt.f64 (atan2.f64 1 (+.f64 1 (fma.f64 N N N))))))))
✓0.4b
(atan2.f64 1 (+.f64 1 (fma.f64 N N N)))
8.5b
(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.6b
(*.f64 (sqrt.f64 (atan2.f64 1 (+.f64 1 (fma.f64 N N N)))) (*.f64 (sqrt.f64 (sqrt.f64 (atan2.f64 1 (+.f64 1 (fma.f64 N N N))))) (sqrt.f64 (sqrt.f64 (atan2.f64 1 (+.f64 1 (fma.f64 N N N)))))))
1.7b
(*.f64 (pow.f64 (cbrt.f64 (atan2.f64 1 (+.f64 1 (fma.f64 N N N)))) 2) (cbrt.f64 (atan2.f64 1 (+.f64 1 (fma.f64 N N N)))))
1.6b
(*.f64 (sqrt.f64 (atan2.f64 1 (+.f64 1 (fma.f64 N N N)))) (*.f64 (cbrt.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)))))))
4.4b
(*.f64 (sqrt.f64 (atan2.f64 1 (+.f64 1 (fma.f64 N N N)))) (cbrt.f64 (pow.f64 (sqrt.f64 (atan2.f64 1 (+.f64 1 (fma.f64 N N N)))) 3)))
✓0.4b
(atan2.f64 1 (+.f64 1 (fma.f64 N N N)))
▶1.0b
(*.f64 (sqrt.f64 (atan2.f64 1 (+.f64 1 (fma.f64 N N N)))) (sqrt.f64 (atan2.f64 1 (+.f64 1 (fma.f64 N N N)))))
1.7b
(*.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)))))
8.5b
(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.4b
(atan2.f64 1 (+.f64 1 (fma.f64 N N N)))
▶0.4b
(atan2.f64 1 (+.f64 1 (fma.f64 N N N)))
▶13.2b
(-.f64 (atan.f64 (+.f64 N 1)) (atan.f64 N))
4.3b
(/.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))) (sqrt.f64 (fma.f64 x x x)))
0.4b
(/.f64 (sqrt.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))) (/.f64 (*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 1 x))) (sqrt.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))))))
0.4b
(*.f64 (/.f64 1 (sqrt.f64 (sqrt.f64 (+.f64 1 x)))) (/.f64 (/.f64 1 (fma.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x) x)) (sqrt.f64 (sqrt.f64 (+.f64 1 x)))))
19.3b
(-.f64 (pow.f64 x -1/2) (/.f64 1 (sqrt.f64 (+.f64 x 1))))
0.6b
(/.f64 (/.f64 1 (cbrt.f64 (pow.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)) 3))) (*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 1 x))))
✓0.3b
(/.f64 (/.f64 1 (fma.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x) x)) (sqrt.f64 (+.f64 1 x)))
4.3b
(*.f64 (/.f64 (/.f64 1 (+.f64 (pow.f64 (sqrt.f64 (+.f64 1 x)) 3) (pow.f64 (sqrt.f64 x) 3))) (sqrt.f64 x)) (/.f64 (+.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)))) (sqrt.f64 (+.f64 1 x))))
19.3b
(-.f64 (pow.f64 x -1/2) (/.f64 1 (sqrt.f64 (+.f64 x 1))))
1.2b
(*.f64 (*.f64 (cbrt.f64 (/.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))) (*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 1 x))))) (cbrt.f64 (/.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))) (*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 1 x)))))) (cbrt.f64 (/.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))) (*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 1 x))))))
4.3b
(/.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))) (sqrt.f64 (fma.f64 x x x)))
0.4b
(/.f64 (sqrt.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))) (/.f64 (*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 1 x))) (sqrt.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))))))
0.6b
(/.f64 (/.f64 1 (cbrt.f64 (pow.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)) 3))) (*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 1 x))))
▶0.3b
(/.f64 (/.f64 1 (fma.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x) x)) (sqrt.f64 (+.f64 1 x)))
4.3b
(*.f64 (/.f64 (/.f64 1 (+.f64 (pow.f64 (sqrt.f64 (+.f64 1 x)) 3) (pow.f64 (sqrt.f64 x) 3))) (sqrt.f64 x)) (/.f64 (+.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)))) (sqrt.f64 (+.f64 1 x))))
19.3b
(-.f64 (pow.f64 x -1/2) (/.f64 1 (sqrt.f64 (+.f64 x 1))))
17.9b
(/.f64 (/.f64 (-.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)) (sqrt.f64 x)) (sqrt.f64 (+.f64 1 x)))
17.9b
(/.f64 (-.f64 (*.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 (+.f64 1 x))) (*.f64 (sqrt.f64 x) (sqrt.f64 x))) (*.f64 (*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 1 x))) (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))))
▶0.3b
(/.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))) (*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 1 x))))
18.0b
(/.f64 (-.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)) (*.f64 (*.f64 (sqrt.f64 x) (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 1 x))) (cbrt.f64 (sqrt.f64 (+.f64 1 x))))) (cbrt.f64 (sqrt.f64 (+.f64 1 x)))))
28.7b
(+.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 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)))))))
19.3b
(-.f64 (pow.f64 x -1/2) (/.f64 1 (sqrt.f64 (+.f64 x 1))))
28.0b
(+.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)))))))
18.5b
(/.f64 (-.f64 (/.f64 1 x) (/.f64 1 (+.f64 1 x))) (+.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 1 (sqrt.f64 (+.f64 1 x)))))
30.0b
(/.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)))))))
28.8b
(+.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)))))))
61.2b
(+.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)))))))
▶17.9b
(/.f64 (-.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)) (*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 1 x))))
61.4b
(+.f64 (fma.f64 (*.f64 (cbrt.f64 (/.f64 1 (sqrt.f64 x))) (cbrt.f64 (/.f64 1 (sqrt.f64 x)))) (cbrt.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)))))))
28.6b
(+.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)))))))
28.1b
(+.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))))))))
28.4b
(fma.f64 (/.f64 1 (sqrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)))) (/.f64 1 (sqrt.f64 (cbrt.f64 x))) (/.f64 -1 (sqrt.f64 (+.f64 1 x))))
29.2b
(+.f64 (fma.f64 (*.f64 (cbrt.f64 (/.f64 1 (sqrt.f64 x))) (cbrt.f64 (/.f64 1 (sqrt.f64 x)))) (cbrt.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)))))))
61.3b
(+.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)))))))
28.4b
(+.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 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.0b
(cbrt.f64 (*.f64 (*.f64 (-.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 1 (sqrt.f64 (+.f64 x 1)))) (-.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 1 (sqrt.f64 (+.f64 x 1))))) (-.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 1 (sqrt.f64 (+.f64 x 1))))))
28.7b
(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))))
28.1b
(fma.f64 (sqrt.f64 (/.f64 1 (sqrt.f64 x))) (sqrt.f64 (/.f64 1 (sqrt.f64 x))) (/.f64 -1 (sqrt.f64 (+.f64 1 x))))
18.1b
(*.f64 (+.f64 (sqrt.f64 (/.f64 1 (sqrt.f64 x))) (sqrt.f64 (/.f64 1 (sqrt.f64 (+.f64 x 1))))) (-.f64 (sqrt.f64 (/.f64 1 (sqrt.f64 x))) (sqrt.f64 (/.f64 1 (sqrt.f64 (+.f64 x 1))))))
61.2b
(+.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)))))))
28.6b
(+.f64 (fma.f64 (*.f64 (cbrt.f64 (/.f64 1 (sqrt.f64 x))) (cbrt.f64 (/.f64 1 (sqrt.f64 x)))) (cbrt.f64 (/.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)))))))
27.9b
(+.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))))))))
▶17.9b
(-.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 1 (sqrt.f64 (+.f64 x 1))))
11.9b
(*.f64 2 (*.f64 (sin.f64 (/.f64 eps 2)) (log1p.f64 (cbrt.f64 (pow.f64 (expm1.f64 (cos.f64 (/.f64 (fma.f64 x 2 eps) 2))) 3)))))
11.8b
(*.f64 2 (*.f64 (sin.f64 (/.f64 eps 2)) (expm1.f64 (log.f64 (+.f64 (cos.f64 (*.f64 1/2 (fma.f64 x 2 eps))) 1)))))
27.1b
(-.f64 (+.f64 (*.f64 (sin.f64 x) (cos.f64 eps)) (*.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x))
27.1b
(+.f64 (*.f64 (sin.f64 x) (cos.f64 eps)) (-.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))
11.8b
(*.f64 2 (*.f64 (sin.f64 (/.f64 eps 2)) (cbrt.f64 (*.f64 (*.f64 (cos.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2)) (cos.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2))) (cos.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2))))))
29.6b
(*.f64 2 (*.f64 (sin.f64 (/.f64 eps 2)) (-.f64 (cos.f64 (*.f64 1/2 eps)) (*.f64 (sin.f64 (*.f64 1/2 eps)) x))))
✓11.6b
(*.f64 2 (*.f64 (sin.f64 (/.f64 eps 2)) (log1p.f64 (expm1.f64 (cos.f64 (/.f64 (fma.f64 x 2 eps) 2))))))
✓11.6b
(*.f64 2 (*.f64 (sin.f64 (/.f64 eps 2)) (expm1.f64 (log1p.f64 (cos.f64 (/.f64 (fma.f64 x 2 eps) 2))))))
12.6b
(*.f64 2 (*.f64 (*.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2))) (cbrt.f64 (sin.f64 (/.f64 eps 2)))) (*.f64 (cos.f64 (/.f64 (fma.f64 x 2 eps) 2)) (cbrt.f64 (sin.f64 (/.f64 eps 2))))))
28.4b
(*.f64 2 (*.f64 (sin.f64 (/.f64 eps 2)) (log1p.f64 (*.f64 (sqrt.f64 (expm1.f64 (cos.f64 (/.f64 (fma.f64 x 2 eps) 2)))) (sqrt.f64 (expm1.f64 (cos.f64 (/.f64 (fma.f64 x 2 eps) 2))))))))
11.9b
(*.f64 2 (*.f64 (sin.f64 (/.f64 eps 2)) (log1p.f64 (cbrt.f64 (pow.f64 (expm1.f64 (cos.f64 (/.f64 (fma.f64 x 2 eps) 2))) 3)))))
27.1b
(-.f64 (+.f64 (*.f64 (sin.f64 x) (cos.f64 eps)) (*.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x))
36.9b
(*.f64 2 (cbrt.f64 (*.f64 (*.f64 (*.f64 (sin.f64 (/.f64 eps 2)) (cos.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2))) (*.f64 (sin.f64 (/.f64 eps 2)) (cos.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2)))) (*.f64 (sin.f64 (/.f64 eps 2)) (cos.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2))))))
27.1b
(+.f64 (*.f64 (sin.f64 x) (cos.f64 eps)) (-.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))
11.8b
(*.f64 2 (*.f64 (sin.f64 (/.f64 eps 2)) (cbrt.f64 (*.f64 (*.f64 (cos.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2)) (cos.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2))) (cos.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2))))))
29.6b
(*.f64 2 (*.f64 (sin.f64 (/.f64 eps 2)) (-.f64 (cos.f64 (*.f64 1/2 eps)) (*.f64 (sin.f64 (*.f64 1/2 eps)) x))))
✓11.6b
(*.f64 2 (*.f64 (sin.f64 (/.f64 eps 2)) (log1p.f64 (expm1.f64 (cos.f64 (/.f64 (fma.f64 x 2 eps) 2))))))
▶11.6b
(*.f64 2 (*.f64 (sin.f64 (/.f64 eps 2)) (expm1.f64 (log1p.f64 (cos.f64 (/.f64 (fma.f64 x 2 eps) 2))))))
12.6b
(*.f64 2 (*.f64 (*.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2))) (cbrt.f64 (sin.f64 (/.f64 eps 2)))) (*.f64 (cos.f64 (/.f64 (fma.f64 x 2 eps) 2)) (cbrt.f64 (sin.f64 (/.f64 eps 2))))))
38.5b
(*.f64 2 (*.f64 (sqrt.f64 (*.f64 (cos.f64 (/.f64 (fma.f64 x 2 eps) 2)) (sin.f64 (/.f64 eps 2)))) (sqrt.f64 (*.f64 (cos.f64 (/.f64 (fma.f64 x 2 eps) 2)) (sin.f64 (/.f64 eps 2))))))
27.1b
(-.f64 (+.f64 (*.f64 (sin.f64 x) (cos.f64 eps)) (*.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x))
36.9b
(*.f64 2 (cbrt.f64 (*.f64 (*.f64 (*.f64 (sin.f64 (/.f64 eps 2)) (cos.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2))) (*.f64 (sin.f64 (/.f64 eps 2)) (cos.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2)))) (*.f64 (sin.f64 (/.f64 eps 2)) (cos.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2))))))
27.1b
(+.f64 (*.f64 (sin.f64 x) (cos.f64 eps)) (-.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))
11.8b
(*.f64 2 (*.f64 (sin.f64 (/.f64 eps 2)) (cbrt.f64 (*.f64 (*.f64 (cos.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2)) (cos.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2))) (cos.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2))))))
29.6b
(*.f64 2 (*.f64 (sin.f64 (/.f64 eps 2)) (-.f64 (cos.f64 (*.f64 1/2 eps)) (*.f64 (sin.f64 (*.f64 1/2 eps)) x))))
28.4b
(*.f64 2 (*.f64 (*.f64 (sqrt.f64 (cos.f64 (/.f64 (fma.f64 x 2 eps) 2))) (sin.f64 (/.f64 eps 2))) (sqrt.f64 (cos.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2)))))
▶11.6b
(*.f64 2 (*.f64 (sin.f64 (/.f64 eps 2)) (log1p.f64 (expm1.f64 (cos.f64 (/.f64 (fma.f64 x 2 eps) 2))))))
11.6b
(*.f64 2 (*.f64 (sin.f64 (/.f64 eps 2)) (expm1.f64 (log1p.f64 (cos.f64 (/.f64 (fma.f64 x 2 eps) 2))))))
12.6b
(*.f64 2 (*.f64 (*.f64 (cbrt.f64 (sin.f64 (/.f64 eps 2))) (cbrt.f64 (sin.f64 (/.f64 eps 2)))) (*.f64 (cos.f64 (/.f64 (fma.f64 x 2 eps) 2)) (cbrt.f64 (sin.f64 (/.f64 eps 2))))))
27.1b
(-.f64 (+.f64 (*.f64 (sin.f64 x) (cos.f64 eps)) (*.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x))
▶11.6b
(*.f64 2 (*.f64 (sin.f64 (/.f64 eps 2)) (cos.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2))))
27.1b
(+.f64 (*.f64 (sin.f64 x) (cos.f64 eps)) (-.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))
42.1b
(/.f64 (-.f64 (pow.f64 (sin.f64 (+.f64 eps x)) 3) (pow.f64 (sin.f64 x) 3)) (fma.f64 (sin.f64 x) (sin.f64 x) (*.f64 (sin.f64 (+.f64 eps x)) (+.f64 (sin.f64 (+.f64 eps x)) (sin.f64 x)))))
▶38.7b
(-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))
0.3b
(*.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.3b
(/.f64 1 (fma.f64 (sqrt.f64 (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x)))) (*.f64 (sqrt.f64 (sqrt.f64 (cbrt.f64 (+.f64 1 x)))) (sqrt.f64 (sqrt.f64 (cbrt.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))))
10.2b
(*.f64 (/.f64 1 (+.f64 (pow.f64 (sqrt.f64 (+.f64 1 x)) 3) (pow.f64 (sqrt.f64 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.1b
(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))
0.3b
(*.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.3b
(/.f64 1 (fma.f64 (sqrt.f64 (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x)))) (*.f64 (sqrt.f64 (sqrt.f64 (cbrt.f64 (+.f64 1 x)))) (sqrt.f64 (sqrt.f64 (cbrt.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))))
10.2b
(*.f64 (/.f64 1 (+.f64 (pow.f64 (sqrt.f64 (+.f64 1 x)) 3) (pow.f64 (sqrt.f64 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.1b
(/.f64 1 (+.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))))
10.2b
(*.f64 (/.f64 1 (+.f64 (pow.f64 (sqrt.f64 (+.f64 1 x)) 3) (pow.f64 (sqrt.f64 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.1b
(/.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))))) (/.f64 1 (cbrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))))
0.3b
(*.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.3b
(/.f64 1 (fma.f64 (sqrt.f64 (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x)))) (sqrt.f64 (cbrt.f64 (+.f64 1 x))) (sqrt.f64 x)))
29.4b
(-.f64 (fma.f64 1/2 x 1) (sqrt.f64 x))
▶0.1b
(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))
28.0b
(+.f64 (fma.f64 (sqrt.f64 (sqrt.f64 (+.f64 x 1))) (sqrt.f64 (sqrt.f64 (+.f64 x 1))) (neg.f64 (*.f64 (sqrt.f64 (sqrt.f64 x)) (sqrt.f64 (sqrt.f64 x))))) (fma.f64 (neg.f64 (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 x)) (*.f64 (sqrt.f64 (sqrt.f64 x)) (sqrt.f64 (sqrt.f64 x)))))
▶28.0b
(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
33.0b
(+.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)))))
21.2b
(/.f64 (fma.f64 (cos.f64 x) (+.f64 (tan.f64 x) (tan.f64 eps)) (*.f64 (sin.f64 x) (+.f64 (/.f64 (*.f64 (sin.f64 eps) (tan.f64 x)) (cos.f64 eps)) -1))) (*.f64 (cos.f64 x) (-.f64 1 (/.f64 (*.f64 (sin.f64 eps) (tan.f64 x)) (cos.f64 eps)))))
21.3b
(fma.f64 (fma.f64 (*.f64 (cbrt.f64 (tan.f64 x)) (cbrt.f64 (tan.f64 x))) (cbrt.f64 (tan.f64 x)) (tan.f64 eps)) (/.f64 1 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))) (neg.f64 (tan.f64 x)))
21.0b
(-.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))
✓21.0b
(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)))
21.9b
(fma.f64 (/.f64 (*.f64 (cbrt.f64 (+.f64 (tan.f64 x) (tan.f64 eps))) (cbrt.f64 (+.f64 (tan.f64 x) (tan.f64 eps)))) 1) (/.f64 (cbrt.f64 (+.f64 (tan.f64 x) (tan.f64 eps))) (-.f64 1 (/.f64 (*.f64 (tan.f64 x) (sin.f64 eps)) (cos.f64 eps)))) (neg.f64 (tan.f64 x)))
21.1b
(-.f64 (+.f64 (/.f64 (sin.f64 x) (*.f64 (-.f64 1 (/.f64 (*.f64 (sin.f64 x) (sin.f64 eps)) (*.f64 (cos.f64 eps) (cos.f64 x)))) (cos.f64 x))) (/.f64 (sin.f64 eps) (*.f64 (-.f64 1 (/.f64 (*.f64 (sin.f64 x) (sin.f64 eps)) (*.f64 (cos.f64 eps) (cos.f64 x)))) (cos.f64 eps)))) (/.f64 (sin.f64 x) (cos.f64 x)))
33.0b
(+.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)))))))))))
32.6b
(*.f64 eps (+.f64 1 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2))))
21.1b
(-.f64 (+.f64 (/.f64 (sin.f64 x) (*.f64 (-.f64 1 (/.f64 (*.f64 (sin.f64 x) (sin.f64 eps)) (*.f64 (cos.f64 eps) (cos.f64 x)))) (cos.f64 x))) (/.f64 (sin.f64 eps) (*.f64 (-.f64 1 (/.f64 (*.f64 (sin.f64 x) (sin.f64 eps)) (*.f64 (cos.f64 eps) (cos.f64 x)))) (cos.f64 eps)))) (/.f64 (sin.f64 x) (cos.f64 x)))
23.9b
(cbrt.f64 (pow.f64 (-.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))) (tan.f64 x)) 3))
33.0b
(+.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)))))
21.2b
(/.f64 (fma.f64 (cos.f64 x) (+.f64 (tan.f64 x) (tan.f64 eps)) (*.f64 (sin.f64 x) (+.f64 (/.f64 (*.f64 (sin.f64 eps) (tan.f64 x)) (cos.f64 eps)) -1))) (*.f64 (cos.f64 x) (-.f64 1 (/.f64 (*.f64 (sin.f64 eps) (tan.f64 x)) (cos.f64 eps)))))
21.0b
(-.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))
▶21.0b
(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)))
21.9b
(fma.f64 (/.f64 (*.f64 (cbrt.f64 (+.f64 (tan.f64 x) (tan.f64 eps))) (cbrt.f64 (+.f64 (tan.f64 x) (tan.f64 eps)))) 1) (/.f64 (cbrt.f64 (+.f64 (tan.f64 x) (tan.f64 eps))) (-.f64 1 (/.f64 (*.f64 (tan.f64 x) (sin.f64 eps)) (cos.f64 eps)))) (neg.f64 (tan.f64 x)))
33.0b
(+.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)))))))))))
32.6b
(*.f64 eps (+.f64 1 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2))))
▶21.0b
(-.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (/.f64 (*.f64 (tan.f64 x) (sin.f64 eps)) (cos.f64 eps)))) (tan.f64 x))
21.0b
(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)))
21.1b
(-.f64 (+.f64 (/.f64 (sin.f64 x) (*.f64 (-.f64 1 (/.f64 (*.f64 (sin.f64 x) (sin.f64 eps)) (*.f64 (cos.f64 eps) (cos.f64 x)))) (cos.f64 x))) (/.f64 (sin.f64 eps) (*.f64 (-.f64 1 (/.f64 (*.f64 (sin.f64 x) (sin.f64 eps)) (*.f64 (cos.f64 eps) (cos.f64 x)))) (cos.f64 eps)))) (/.f64 (sin.f64 x) (cos.f64 x)))
23.9b
(cbrt.f64 (pow.f64 (-.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))) (tan.f64 x)) 3))
21.0b
(-.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))
21.2b
(/.f64 (fma.f64 (cos.f64 x) (+.f64 (tan.f64 x) (tan.f64 eps)) (*.f64 (sin.f64 x) (+.f64 (*.f64 (tan.f64 x) (tan.f64 eps)) -1))) (*.f64 (cos.f64 x) (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))))
33.0b
(+.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)))))))))))
22.0b
(+.f64 (-.f64 (pow.f64 (/.f64 (cbrt.f64 (+.f64 (tan.f64 x) (tan.f64 eps))) (cbrt.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))))) 3) (tan.f64 x)) 0)
32.6b
(*.f64 eps (+.f64 1 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2))))
33.0b
(+.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.0b
(+.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)))))
▶21.0b
(-.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))) (tan.f64 x))
21.1b
(/.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)))))
21.1b
(/.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)))
33.0b
(+.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)))))))))))
32.6b
(*.f64 eps (+.f64 1 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2))))
▶36.1b
(-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))
0.5b
(/.f64 (sqrt.f64 2) (/.f64 (fma.f64 x x -1) (/.f64 (sqrt.f64 2) x)))
20.5b
(*.f64 (sqrt.f64 (/.f64 2 (*.f64 x (fma.f64 x x -1)))) (sqrt.f64 (/.f64 2 (*.f64 x (fma.f64 x x -1)))))
0.0b
(/.f64 (/.f64 2 (fma.f64 x x x)) (-.f64 x 1))
0.1b
(/.f64 -2 (*.f64 x (neg.f64 (fma.f64 x x -1))))
28.3b
(/.f64 (+.f64 (*.f64 (-.f64 (*.f64 1 x) (*.f64 (+.f64 x 1) 2)) (-.f64 x 1)) (*.f64 (*.f64 (+.f64 x 1) x) 1)) (-.f64 (pow.f64 x 3) x))
28.3b
(*.f64 (/.f64 (+.f64 (*.f64 (-.f64 (*.f64 1 x) (*.f64 (+.f64 x 1) 2)) (-.f64 x 1)) (*.f64 (*.f64 (+.f64 x 1) x) 1)) (*.f64 (*.f64 (-.f64 (*.f64 x x) (*.f64 1 1)) x) (-.f64 x 1))) (-.f64 x 1))
▶0.1b
(/.f64 2 (*.f64 (*.f64 (+.f64 x 1) x) (-.f64 x 1)))
29.2b
(expm1.f64 (log1p.f64 (+.f64 (/.f64 2 (pow.f64 x 3)) (/.f64 2 (pow.f64 x 5)))))
✓26.1b
(expm1.f64 (log1p.f64 (+.f64 (-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 2 x)) (/.f64 1 (-.f64 x 1)))))
✓10.5b
(+.f64 (-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 2 x)) (/.f64 1 (-.f64 x 1)))
29.2b
(expm1.f64 (log1p.f64 (+.f64 (/.f64 2 (pow.f64 x 3)) (/.f64 2 (pow.f64 x 5)))))
28.9b
(/.f64 (fma.f64 (+.f64 x -1) (-.f64 x (+.f64 2 (*.f64 x 2))) (fma.f64 x x x)) (*.f64 x (fma.f64 x x -1)))
▶28.3b
(/.f64 (+.f64 (*.f64 (-.f64 (*.f64 1 x) (*.f64 (+.f64 x 1) 2)) (-.f64 x 1)) (*.f64 (*.f64 (+.f64 x 1) x) 1)) (*.f64 (*.f64 (+.f64 x 1) x) (-.f64 x 1)))
29.0b
(+.f64 (/.f64 2 (pow.f64 x 5)) (+.f64 (/.f64 2 (pow.f64 x 7)) (+.f64 (/.f64 2 (pow.f64 x 3)) (/.f64 2 (pow.f64 x 9)))))
✓10.5b
(+.f64 (-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 2 x)) (/.f64 1 (-.f64 x 1)))
▶26.1b
(expm1.f64 (log1p.f64 (+.f64 (-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 2 x)) (/.f64 1 (-.f64 x 1)))))
28.9b
(/.f64 (fma.f64 (+.f64 x -1) (-.f64 x (+.f64 2 (*.f64 x 2))) (fma.f64 x x x)) (*.f64 x (fma.f64 x x -1)))
28.3b
(/.f64 (+.f64 (*.f64 (-.f64 (*.f64 1 x) (*.f64 (+.f64 x 1) 2)) (-.f64 x 1)) (*.f64 (*.f64 (+.f64 x 1) x) 1)) (*.f64 (*.f64 (+.f64 x 1) x) (-.f64 x 1)))
▶10.5b
(+.f64 (-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 2 x)) (/.f64 1 (-.f64 x 1)))
✓1.3b
(+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2))
29.5b
(+.f64 (log1p.f64 (expm1.f64 (-.f64 (exp.f64 x) 2))) (exp.f64 (neg.f64 x)))
29.5b
(-.f64 (exp.f64 x) (-.f64 2 (exp.f64 (neg.f64 x))))
3.7b
(fma.f64 1/12 (pow.f64 x 4) (exp.f64 (log.f64 (fma.f64 1/360 (pow.f64 x 6) (fma.f64 x x (*.f64 1/20160 (pow.f64 x 8)))))))
20.2b
(cbrt.f64 (pow.f64 (fma.f64 1/12 (pow.f64 x 4) (fma.f64 1/360 (pow.f64 x 6) (fma.f64 x x (*.f64 1/20160 (pow.f64 x 8))))) 3))
✓0.9b
(fma.f64 1/12 (pow.f64 x 4) (fma.f64 1/360 (pow.f64 x 6) (fma.f64 x x (*.f64 1/20160 (pow.f64 x 8)))))
✓1.3b
(fma.f64 x x (*.f64 1/12 (pow.f64 x 4)))
▶1.3b
(+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2))
29.5b
(+.f64 (log1p.f64 (expm1.f64 (-.f64 (exp.f64 x) 2))) (exp.f64 (neg.f64 x)))
29.5b
(-.f64 (exp.f64 x) (-.f64 2 (exp.f64 (neg.f64 x))))
3.7b
(fma.f64 1/12 (pow.f64 x 4) (exp.f64 (log.f64 (fma.f64 1/360 (pow.f64 x 6) (fma.f64 x x (*.f64 1/20160 (pow.f64 x 8)))))))
20.2b
(cbrt.f64 (pow.f64 (fma.f64 1/12 (pow.f64 x 4) (fma.f64 1/360 (pow.f64 x 6) (fma.f64 x x (*.f64 1/20160 (pow.f64 x 8))))) 3))
✓0.9b
(fma.f64 1/12 (pow.f64 x 4) (fma.f64 1/360 (pow.f64 x 6) (fma.f64 x x (*.f64 1/20160 (pow.f64 x 8)))))
✓1.3b
(fma.f64 x x (*.f64 1/12 (pow.f64 x 4)))
1.3b
(+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2))
29.5b
(+.f64 (log1p.f64 (expm1.f64 (-.f64 (exp.f64 x) 2))) (exp.f64 (neg.f64 x)))
29.5b
(-.f64 (exp.f64 x) (-.f64 2 (exp.f64 (neg.f64 x))))
3.7b
(fma.f64 1/12 (pow.f64 x 4) (exp.f64 (log.f64 (fma.f64 1/360 (pow.f64 x 6) (fma.f64 x x (*.f64 1/20160 (pow.f64 x 8)))))))
20.2b
(cbrt.f64 (pow.f64 (fma.f64 1/12 (pow.f64 x 4) (fma.f64 1/360 (pow.f64 x 6) (fma.f64 x x (*.f64 1/20160 (pow.f64 x 8))))) 3))
✓0.9b
(fma.f64 1/12 (pow.f64 x 4) (fma.f64 1/360 (pow.f64 x 6) (fma.f64 x x (*.f64 1/20160 (pow.f64 x 8)))))
▶1.3b
(fma.f64 x x (*.f64 1/12 (pow.f64 x 4)))
1.3b
(+.f64 (*.f64 1/12 (pow.f64 x 4)) (pow.f64 x 2))
29.5b
(+.f64 (log1p.f64 (expm1.f64 (-.f64 (exp.f64 x) 2))) (exp.f64 (neg.f64 x)))
29.5b
(-.f64 (exp.f64 x) (-.f64 2 (exp.f64 (neg.f64 x))))
▶0.9b
(fma.f64 1/12 (pow.f64 x 4) (fma.f64 1/360 (pow.f64 x 6) (fma.f64 x x (*.f64 1/20160 (pow.f64 x 8)))))
1.3b
(fma.f64 x x (*.f64 1/12 (pow.f64 x 4)))
▶29.5b
(+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))
✓27.7b
(log.f64 (exp.f64 (expm1.f64 (*.f64 a x))))
42.2b
(cbrt.f64 (*.f64 (*.f64 (exp.f64 (log.f64 (expm1.f64 (*.f64 a x)))) (pow.f64 (E.f64) (log.f64 (expm1.f64 (*.f64 a x))))) (exp.f64 (log.f64 (expm1.f64 (*.f64 a x))))))
✓42.2b
(cbrt.f64 (*.f64 (*.f64 (exp.f64 (log.f64 (expm1.f64 (*.f64 a x)))) (exp.f64 (log.f64 (expm1.f64 (*.f64 a x))))) (exp.f64 (log.f64 (expm1.f64 (*.f64 a x))))))
✓0.0b
(expm1.f64 (*.f64 a x))
✓27.7b
(log.f64 (exp.f64 (expm1.f64 (*.f64 a x))))
▶42.2b
(cbrt.f64 (*.f64 (*.f64 (exp.f64 (log.f64 (expm1.f64 (*.f64 a x)))) (exp.f64 (log.f64 (expm1.f64 (*.f64 a x))))) (exp.f64 (log.f64 (expm1.f64 (*.f64 a x))))))
✓0.0b
(expm1.f64 (*.f64 a x))
✓27.7b
(log.f64 (exp.f64 (expm1.f64 (*.f64 a x))))
✓0.0b
(expm1.f64 (*.f64 a x))
▶35.0b
(exp.f64 (log.f64 (expm1.f64 (*.f64 a x))))
▶27.7b
(log.f64 (exp.f64 (expm1.f64 (*.f64 a x))))
✓0.0b
(expm1.f64 (*.f64 a x))
35.0b
(exp.f64 (log.f64 (expm1.f64 (*.f64 a x))))
▶0.0b
(expm1.f64 (*.f64 a x))
✓0.0b
(expm1.f64 x)
✓38.5b
(cbrt.f64 (pow.f64 (expm1.f64 x) 3))
✓0.0b
(expm1.f64 x)
▶38.5b
(cbrt.f64 (pow.f64 (expm1.f64 x) 3))
▶0.0b
(expm1.f64 x)
✓0.5b
(/.f64 (exp.f64 x) (expm1.f64 x))
49.0b
(*.f64 (*.f64 (cbrt.f64 (cbrt.f64 (+.f64 (+.f64 (/.f64 1 x) (+.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 3/2 (*.f64 x x)))) 3/8))) (cbrt.f64 (cbrt.f64 (+.f64 (+.f64 (/.f64 1 x) (+.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 3/2 (*.f64 x x)))) 3/8)))) (cbrt.f64 (cbrt.f64 (+.f64 (+.f64 (/.f64 1 x) (+.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 3/2 (*.f64 x x)))) 3/8))))
✓22.6b
(+.f64 1/2 (/.f64 1 x))
56.1b
(*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (+.f64 (/.f64 1 x) (+.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 3/2 (*.f64 x x)))) 3/8))) (cbrt.f64 (sqrt.f64 (+.f64 (+.f64 (/.f64 1 x) (+.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 3/2 (*.f64 x x)))) 3/8))))
✓22.6b
(+.f64 1/2 (/.f64 1 x))
▶48.9b
(cbrt.f64 (+.f64 (+.f64 (/.f64 1 x) (+.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 3/2 (*.f64 x x)))) 3/8))
✓0.5b
(/.f64 (exp.f64 x) (expm1.f64 x))
▶27.2b
(cbrt.f64 (pow.f64 (/.f64 (exp.f64 x) (expm1.f64 x)) 3))
✓22.6b
(+.f64 1/2 (/.f64 1 x))
✓0.5b
(/.f64 (exp.f64 x) (expm1.f64 x))
27.2b
(cbrt.f64 (pow.f64 (/.f64 (exp.f64 x) (expm1.f64 x)) 3))
▶22.6b
(+.f64 1/2 (/.f64 1 x))
✓0.5b
(/.f64 (exp.f64 x) (expm1.f64 x))
▶0.5b
(/.f64 (exp.f64 x) (expm1.f64 x))
✓15.9b
(/.f64 (+.f64 a b) (*.f64 a b))
✓44.1b
(/.f64 (*.f64 eps (expm1.f64 (*.f64 eps (+.f64 a b)))) (*.f64 (expm1.f64 (*.f64 eps a)) (expm1.f64 (*.f64 eps b))))
34.7b
(fma.f64 1/12 (*.f64 a (*.f64 eps eps)) (*.f64 (sqrt.f64 (+.f64 (/.f64 1 b) (fma.f64 1/12 (*.f64 b (*.f64 eps eps)) (/.f64 1 a)))) (sqrt.f64 (+.f64 (/.f64 1 b) (fma.f64 1/12 (*.f64 b (*.f64 eps eps)) (/.f64 1 a))))))
✓20.9b
(fma.f64 1/12 (*.f64 a (*.f64 eps eps)) (fma.f64 (sqrt.f64 (/.f64 1 b)) (sqrt.f64 (/.f64 1 b)) (fma.f64 1/12 (*.f64 b (*.f64 eps eps)) (/.f64 1 a))))
59.0b
(-.f64 (+.f64 (/.f64 (*.f64 (pow.f64 eps 3) (exp.f64 (*.f64 eps b))) (pow.f64 (-.f64 (*.f64 eps (exp.f64 (*.f64 eps b))) eps) 2)) (+.f64 (/.f64 (*.f64 eps (exp.f64 (*.f64 eps b))) (*.f64 a (-.f64 (*.f64 eps (exp.f64 (*.f64 eps b))) eps))) (/.f64 (*.f64 (pow.f64 eps 2) (exp.f64 (*.f64 eps b))) (-.f64 (*.f64 eps (exp.f64 (*.f64 eps b))) eps)))) (+.f64 (*.f64 1/2 (/.f64 (*.f64 (pow.f64 eps 3) (pow.f64 (exp.f64 (*.f64 eps b)) 2)) (pow.f64 (-.f64 (*.f64 eps (exp.f64 (*.f64 eps b))) eps) 2))) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 eps 3) (pow.f64 (-.f64 (*.f64 eps (exp.f64 (*.f64 eps b))) eps) 2))) (/.f64 eps (*.f64 a (-.f64 (*.f64 eps (exp.f64 (*.f64 eps b))) eps))))))
✓6.2b
(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))))
✓15.9b
(/.f64 (+.f64 a b) (*.f64 a b))
✓44.1b
(/.f64 (*.f64 eps (expm1.f64 (*.f64 eps (+.f64 a b)))) (*.f64 (expm1.f64 (*.f64 eps a)) (expm1.f64 (*.f64 eps b))))
34.7b
(fma.f64 1/12 (*.f64 a (*.f64 eps eps)) (*.f64 (sqrt.f64 (+.f64 (/.f64 1 b) (fma.f64 1/12 (*.f64 b (*.f64 eps eps)) (/.f64 1 a)))) (sqrt.f64 (+.f64 (/.f64 1 b) (fma.f64 1/12 (*.f64 b (*.f64 eps eps)) (/.f64 1 a))))))
▶20.9b
(fma.f64 1/12 (*.f64 a (*.f64 eps eps)) (fma.f64 (sqrt.f64 (/.f64 1 b)) (sqrt.f64 (/.f64 1 b)) (fma.f64 1/12 (*.f64 b (*.f64 eps eps)) (/.f64 1 a))))
59.0b
(-.f64 (+.f64 (/.f64 (*.f64 (pow.f64 eps 3) (exp.f64 (*.f64 eps b))) (pow.f64 (-.f64 (*.f64 eps (exp.f64 (*.f64 eps b))) eps) 2)) (+.f64 (/.f64 (*.f64 eps (exp.f64 (*.f64 eps b))) (*.f64 a (-.f64 (*.f64 eps (exp.f64 (*.f64 eps b))) eps))) (/.f64 (*.f64 (pow.f64 eps 2) (exp.f64 (*.f64 eps b))) (-.f64 (*.f64 eps (exp.f64 (*.f64 eps b))) eps)))) (+.f64 (*.f64 1/2 (/.f64 (*.f64 (pow.f64 eps 3) (pow.f64 (exp.f64 (*.f64 eps b)) 2)) (pow.f64 (-.f64 (*.f64 eps (exp.f64 (*.f64 eps b))) eps) 2))) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 eps 3) (pow.f64 (-.f64 (*.f64 eps (exp.f64 (*.f64 eps b))) eps) 2))) (/.f64 eps (*.f64 a (-.f64 (*.f64 eps (exp.f64 (*.f64 eps b))) eps))))))
✓6.2b
(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))))
▶15.9b
(/.f64 (+.f64 a b) (*.f64 a b))
✓44.1b
(/.f64 (*.f64 eps (expm1.f64 (*.f64 eps (+.f64 a b)))) (*.f64 (expm1.f64 (*.f64 eps a)) (expm1.f64 (*.f64 eps b))))
34.7b
(fma.f64 1/12 (*.f64 a (*.f64 eps eps)) (*.f64 (sqrt.f64 (+.f64 (/.f64 1 b) (fma.f64 1/12 (*.f64 b (*.f64 eps eps)) (/.f64 1 a)))) (sqrt.f64 (+.f64 (/.f64 1 b) (fma.f64 1/12 (*.f64 b (*.f64 eps eps)) (/.f64 1 a))))))
20.9b
(fma.f64 1/12 (*.f64 a (*.f64 eps eps)) (fma.f64 (sqrt.f64 (/.f64 1 b)) (sqrt.f64 (/.f64 1 b)) (fma.f64 1/12 (*.f64 b (*.f64 eps eps)) (/.f64 1 a))))
59.0b
(-.f64 (+.f64 (/.f64 (*.f64 (pow.f64 eps 3) (exp.f64 (*.f64 eps b))) (pow.f64 (-.f64 (*.f64 eps (exp.f64 (*.f64 eps b))) eps) 2)) (+.f64 (/.f64 (*.f64 eps (exp.f64 (*.f64 eps b))) (*.f64 a (-.f64 (*.f64 eps (exp.f64 (*.f64 eps b))) eps))) (/.f64 (*.f64 (pow.f64 eps 2) (exp.f64 (*.f64 eps b))) (-.f64 (*.f64 eps (exp.f64 (*.f64 eps b))) eps)))) (+.f64 (*.f64 1/2 (/.f64 (*.f64 (pow.f64 eps 3) (pow.f64 (exp.f64 (*.f64 eps b)) 2)) (pow.f64 (-.f64 (*.f64 eps (exp.f64 (*.f64 eps b))) eps) 2))) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 eps 3) (pow.f64 (-.f64 (*.f64 eps (exp.f64 (*.f64 eps b))) eps) 2))) (/.f64 eps (*.f64 a (-.f64 (*.f64 eps (exp.f64 (*.f64 eps b))) eps))))))
✓6.2b
(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))))
15.9b
(/.f64 (+.f64 a b) (*.f64 a b))
✓44.1b
(/.f64 (*.f64 eps (expm1.f64 (*.f64 eps (+.f64 a b)))) (*.f64 (expm1.f64 (*.f64 eps a)) (expm1.f64 (*.f64 eps b))))
59.0b
(-.f64 (+.f64 (/.f64 (*.f64 (pow.f64 eps 3) (exp.f64 (*.f64 eps b))) (pow.f64 (-.f64 (*.f64 eps (exp.f64 (*.f64 eps b))) eps) 2)) (+.f64 (/.f64 (*.f64 eps (exp.f64 (*.f64 eps b))) (*.f64 a (-.f64 (*.f64 eps (exp.f64 (*.f64 eps b))) eps))) (/.f64 (*.f64 (pow.f64 eps 2) (exp.f64 (*.f64 eps b))) (-.f64 (*.f64 eps (exp.f64 (*.f64 eps b))) eps)))) (+.f64 (*.f64 1/2 (/.f64 (*.f64 (pow.f64 eps 3) (pow.f64 (exp.f64 (*.f64 eps b)) 2)) (pow.f64 (-.f64 (*.f64 eps (exp.f64 (*.f64 eps b))) eps) 2))) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 eps 3) (pow.f64 (-.f64 (*.f64 eps (exp.f64 (*.f64 eps b))) eps) 2))) (/.f64 eps (*.f64 a (-.f64 (*.f64 eps (exp.f64 (*.f64 eps b))) eps))))))
▶6.2b
(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))))
▶44.1b
(/.f64 (*.f64 eps (expm1.f64 (*.f64 eps (+.f64 a b)))) (*.f64 (expm1.f64 (*.f64 eps a)) (expm1.f64 (*.f64 eps b))))
39.9b
(fma.f64 2/945 (pow.f64 x 5) (fma.f64 15 (/.f64 (*.f64 -1/45 (pow.f64 (/.f64 -1 x) -3)) (*.f64 x x)) (*.f64 -1/45 (pow.f64 (/.f64 -1 x) -3))))
✓1.4b
(fma.f64 2/945 (pow.f64 x 5) (pow.f64 (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))) 3))
35.7b
(fma.f64 2/945 (pow.f64 x 5) (pow.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)))))) 3))
✓0.3b
(fma.f64 2/945 (pow.f64 x 5) (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))
2.3b
(fma.f64 2/945 (pow.f64 x 5) (*.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)))))) (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))) 4)) (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))))
2.0b
(fma.f64 2/945 (pow.f64 x 5) (*.f64 (*.f64 (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))) (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))) 2) (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))))))
34.9b
(fma.f64 2/945 (pow.f64 x 5) (*.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))))))
37.8b
(fma.f64 2/945 (pow.f64 x 5) (cbrt.f64 (pow.f64 (fma.f64 1/45 (pow.f64 x 3) (*.f64 1/3 x)) 3)))
1.5b
(fma.f64 2/945 (pow.f64 x 5) (*.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 (*.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))))))))
39.8b
(fma.f64 2/945 (pow.f64 x 5) (fma.f64 1/45 (pow.f64 x 3) (*.f64 15 (/.f64 (*.f64 1/45 (pow.f64 x 3)) (*.f64 x x)))))
37.0b
(fma.f64 2/945 (pow.f64 x 5) (*.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))))) (exp.f64 (*.f64 1/3 (+.f64 (log.f64 1/3) (log.f64 x))))))
35.4b
(fma.f64 2/945 (pow.f64 x 5) (*.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))) 5) (sqrt.f64 (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))))))
2.8b
(fma.f64 2/945 (pow.f64 x 5) (pow.f64 (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))) 2) (cbrt.f64 (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))))) 3))
38.0b
(fma.f64 2/945 (pow.f64 x 5) (cbrt.f64 (*.f64 (*.f64 (*.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 (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 (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)))))) (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))))
1.5b
(fma.f64 2/945 (pow.f64 x 5) (*.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 (*.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))))))))
36.5b
(fma.f64 2/945 (pow.f64 x 5) (*.f64 (*.f64 (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))) (cbrt.f64 (exp.f64 (log.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.4b
(fma.f64 2/945 (pow.f64 x 5) (pow.f64 (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))) 3))
2.7b
(fma.f64 2/945 (pow.f64 x 5) (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))) 8) (cbrt.f64 (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/3 x (*.f64 1/45 (pow.f64 x 3))))
2.3b
(fma.f64 2/945 (pow.f64 x 5) (*.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)))))) (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))) 4)) (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))))
2.0b
(fma.f64 2/945 (pow.f64 x 5) (*.f64 (*.f64 (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))) (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))) 2) (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))))))
34.9b
(fma.f64 2/945 (pow.f64 x 5) (*.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))))))
37.8b
(fma.f64 2/945 (pow.f64 x 5) (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))))))
36.9b
(fma.f64 2/945 (pow.f64 x 5) (*.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))))) (pow.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))) 1/3)))
37.0b
(fma.f64 2/945 (pow.f64 x 5) (*.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))))) (exp.f64 (*.f64 1/3 (+.f64 (log.f64 1/3) (log.f64 x))))))
35.4b
(fma.f64 2/945 (pow.f64 x 5) (*.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))) 5) (sqrt.f64 (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3)))))))
35.3b
(fma.f64 2/945 (pow.f64 x 5) (*.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 (sqrt.f64 (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))) (sqrt.f64 (cbrt.f64 (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))))))
37.8b
(fma.f64 2/945 (pow.f64 x 5) (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/3 x (*.f64 1/45 (pow.f64 x 3))))
34.9b
(fma.f64 2/945 (pow.f64 x 5) (*.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.4b
(fma.f64 2/945 (pow.f64 x 5) (*.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))))))
▶0.3b
(fma.f64 2/945 (pow.f64 x 5) (fma.f64 1/3 x (*.f64 1/45 (pow.f64 x 3))))
▶60.1b
(-.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.3b
(+.f64 (fma.f64 n (-.f64 (log1p.f64 n) (log.f64 n)) (log1p.f64 n)) -1)
63.0b
(-.f64 (-.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (*.f64 n (log.f64 n))) 1)
✓0.5b
(-.f64 -1 x)
✓0.0b
(/.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 x))
▶0.5b
(-.f64 -1 x)
✓0.0b
(/.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 x))
▶0.0b
(/.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 x))
44.3b
(*.f64 -1/2 (*.f64 2 (-.f64 (/.f64 b a) (/.f64 c b))))
40.9b
(*.f64 -1/2 (/.f64 1 (*.f64 1/2 (/.f64 b c))))
✓34.4b
(*.f64 -1/2 (*.f64 (/.f64 (sqrt.f64 (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))))) (*.f64 (cbrt.f64 a) (cbrt.f64 a))) (/.f64 (sqrt.f64 (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))))) (cbrt.f64 a))))
48.2b
(*.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))
44.8b
(*.f64 -1/2 (/.f64 1 (/.f64 a (+.f64 b (hypot.f64 b (*.f64 (sqrt.f64 a) (sqrt.f64 (*.f64 c -4))))))))
49.6b
(*.f64 -1/2 (cbrt.f64 (pow.f64 (/.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4))))) a) 3)))
45.6b
(*.f64 -1/2 (/.f64 (/.f64 (-.f64 (*.f64 b b) (fma.f64 a (*.f64 c -4) (*.f64 b b))) (-.f64 b (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4)))))) a))
44.1b
(*.f64 -1/2 (/.f64 (+.f64 b b) a))
41.5b
(*.f64 -1/2 (/.f64 (/.f64 (+.f64 (pow.f64 b 3) (pow.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) 3)) (+.f64 (*.f64 b b) (-.f64 (*.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) (*.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))))))) a))
40.5b
(neg.f64 (/.f64 c b))
✓32.8b
(*.f64 -1/2 (/.f64 1 (/.f64 a (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4))))))))
57.0b
(*.f64 -1/2 (log.f64 (exp.f64 (/.f64 2 (-.f64 (/.f64 b c) (/.f64 a b))))))
▶40.5b
(*.f64 -1/2 (/.f64 1 (fma.f64 -1/2 (/.f64 a b) (*.f64 (/.f64 b (*.f64 -4 c)) -2))))
41.5b
(*.f64 -1/2 (/.f64 (/.f64 (+.f64 (pow.f64 b 3) (pow.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) 3)) (+.f64 (*.f64 b b) (-.f64 (*.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) (*.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))))))) a))
40.5b
(*.f64 -1/2 (*.f64 2 (/.f64 c b)))
✓34.4b
(*.f64 -1/2 (*.f64 (/.f64 (sqrt.f64 (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))))) (*.f64 (cbrt.f64 a) (cbrt.f64 a))) (/.f64 (sqrt.f64 (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))))) (cbrt.f64 a))))
48.2b
(*.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))
44.8b
(*.f64 -1/2 (/.f64 1 (/.f64 a (+.f64 b (hypot.f64 b (*.f64 (sqrt.f64 a) (sqrt.f64 (*.f64 c -4))))))))
49.6b
(*.f64 -1/2 (cbrt.f64 (pow.f64 (/.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4))))) a) 3)))
45.6b
(*.f64 -1/2 (/.f64 (/.f64 (-.f64 (*.f64 b b) (fma.f64 a (*.f64 c -4) (*.f64 b b))) (-.f64 b (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4)))))) a))
44.1b
(*.f64 -1/2 (/.f64 (+.f64 b b) a))
44.3b
(*.f64 -1/2 (*.f64 2 (-.f64 (/.f64 b a) (/.f64 c b))))
40.9b
(*.f64 -1/2 (/.f64 1 (*.f64 (/.f64 b (*.f64 -4 c)) -2)))
✓32.8b
(*.f64 -1/2 (/.f64 1 (/.f64 a (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4))))))))
40.5b
(*.f64 -1/2 (/.f64 1 (fma.f64 -1/2 (/.f64 a b) (*.f64 (/.f64 b (*.f64 -4 c)) -2))))
41.5b
(*.f64 -1/2 (/.f64 (/.f64 (+.f64 (pow.f64 b 3) (pow.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) 3)) (+.f64 (*.f64 b b) (-.f64 (*.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) (*.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))))))) a))
40.5b
(*.f64 -1/2 (*.f64 2 (/.f64 c b)))
▶34.4b
(*.f64 -1/2 (*.f64 (/.f64 (sqrt.f64 (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))))) (*.f64 (cbrt.f64 a) (cbrt.f64 a))) (/.f64 (sqrt.f64 (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))))) (cbrt.f64 a))))
48.2b
(*.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))
44.8b
(*.f64 -1/2 (/.f64 1 (/.f64 a (+.f64 b (hypot.f64 b (*.f64 (sqrt.f64 a) (sqrt.f64 (*.f64 c -4))))))))
49.6b
(*.f64 -1/2 (cbrt.f64 (pow.f64 (/.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4))))) a) 3)))
45.6b
(*.f64 -1/2 (/.f64 (/.f64 (-.f64 (*.f64 b b) (fma.f64 a (*.f64 c -4) (*.f64 b b))) (-.f64 b (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4)))))) a))
44.1b
(*.f64 -1/2 (/.f64 (+.f64 b b) a))
44.3b
(*.f64 -1/2 (*.f64 2 (-.f64 (/.f64 b a) (/.f64 c b))))
40.9b
(*.f64 -1/2 (/.f64 1 (*.f64 (/.f64 b (*.f64 -4 c)) -2)))
✓32.8b
(*.f64 -1/2 (/.f64 1 (/.f64 a (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4))))))))
32.9b
(*.f64 -1/2 (*.f64 (sqrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4)))))) (/.f64 (sqrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4)))))) a)))
41.5b
(*.f64 -1/2 (/.f64 (/.f64 (+.f64 (pow.f64 b 3) (pow.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) 3)) (+.f64 (*.f64 b b) (-.f64 (*.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) (*.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))))))) a))
40.5b
(*.f64 -1/2 (*.f64 2 (/.f64 c b)))
34.4b
(*.f64 -1/2 (*.f64 (/.f64 (sqrt.f64 (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))))) (*.f64 (cbrt.f64 a) (cbrt.f64 a))) (/.f64 (sqrt.f64 (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))))) (cbrt.f64 a))))
48.2b
(*.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))
45.6b
(*.f64 -1/2 (/.f64 (/.f64 (-.f64 (*.f64 b b) (fma.f64 a (*.f64 c -4) (*.f64 b b))) (-.f64 b (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4)))))) a))
44.1b
(*.f64 -1/2 (/.f64 (+.f64 b b) a))
44.3b
(*.f64 -1/2 (*.f64 2 (-.f64 (/.f64 b a) (/.f64 c b))))
▶32.8b
(*.f64 -1/2 (/.f64 1 (/.f64 a (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4))))))))
57.3b
(*.f64 -1/2 (/.f64 (+.f64 b (neg.f64 b)) a))
49.6b
(*.f64 -1/2 (cbrt.f64 (pow.f64 (/.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4))))) a) 3)))
▶33.9b
(*.f64 -1/2 (/.f64 (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) a))
44.0b
(*.f64 (*.f64 -2 b) (/.f64 1/2 a))
✓32.1b
(*.f64 (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (*.f64 c (*.f64 a -4))) b) b)) 2) (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (*.f64 c (*.f64 a -4))) b) b)) a))
56.1b
(*.f64 (-.f64 b b) (/.f64 1/2 a))
✓32.5b
(*.f64 (-.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a))
43.6b
(/.f64 (neg.f64 b) a)
32.0b
(/.f64 (*.f64 1/2 (-.f64 (hypot.f64 b (sqrt.f64 (*.f64 c (*.f64 a -4)))) b)) a)
39.3b
(neg.f64 (/.f64 c b))
32.5b
(/.f64 1 (/.f64 (*.f64 2 a) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))))))
31.9b
(/.f64 (*.f64 (+.f64 (*.f64 c (*.f64 a -4)) 0) (/.f64 1/2 a)) (+.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) b))
✓32.3b
(*.f64 (/.f64 (*.f64 (fabs.f64 (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (*.f64 -4 (*.f64 c a))) b) b))) (sqrt.f64 (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (*.f64 -4 (*.f64 c a))) b) b)))) 2) (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (*.f64 c (*.f64 a -4))) b) b)) a))
50.3b
(*.f64 (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (*.f64 c (*.f64 a -4))) b) b)) 2) (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (*.f64 (sqrt.f64 c) (sqrt.f64 (*.f64 a -4))) b) b)) a))
43.7b
(-.f64 (/.f64 c b) (/.f64 b a))
39.3b
(neg.f64 (/.f64 c b))
32.5b
(/.f64 1 (/.f64 (*.f64 2 a) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))))))
56.1b
(/.f64 (+.f64 (neg.f64 b) b) (*.f64 2 a))
✓32.1b
(*.f64 (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (*.f64 c (*.f64 a -4))) b) b)) 2) (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (*.f64 c (*.f64 a -4))) b) b)) a))
✓32.3b
(*.f64 (/.f64 (*.f64 (fabs.f64 (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (*.f64 -4 (*.f64 c a))) b) b))) (sqrt.f64 (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (*.f64 -4 (*.f64 c a))) b) b)))) 2) (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (*.f64 c (*.f64 a -4))) b) b)) a))
50.3b
(*.f64 (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (*.f64 c (*.f64 a -4))) b) b)) 2) (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (*.f64 (sqrt.f64 c) (sqrt.f64 (*.f64 a -4))) b) b)) a))
▶32.5b
(*.f64 (-.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a))
36.9b
(/.f64 (/.f64 (*.f64 4 (*.f64 c a)) (-.f64 (neg.f64 b) (hypot.f64 (sqrt.f64 (*.f64 c (*.f64 a -4))) b))) (*.f64 2 a))
43.7b
(-.f64 (/.f64 c b) (/.f64 b a))
43.6b
(/.f64 (neg.f64 b) a)
39.3b
(neg.f64 (/.f64 c b))
32.5b
(/.f64 1 (/.f64 (*.f64 2 a) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))))))
56.1b
(/.f64 (+.f64 (neg.f64 b) b) (*.f64 2 a))
✓32.1b
(*.f64 (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (*.f64 c (*.f64 a -4))) b) b)) 2) (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (*.f64 c (*.f64 a -4))) b) b)) a))
▶32.3b
(*.f64 (/.f64 (*.f64 (fabs.f64 (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (*.f64 -4 (*.f64 c a))) b) b))) (sqrt.f64 (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (*.f64 -4 (*.f64 c a))) b) b)))) 2) (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (*.f64 c (*.f64 a -4))) b) b)) a))
50.3b
(*.f64 (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (*.f64 c (*.f64 a -4))) b) b)) 2) (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (*.f64 (sqrt.f64 c) (sqrt.f64 (*.f64 a -4))) b) b)) a))
32.5b
(*.f64 (-.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a))
36.9b
(/.f64 (/.f64 (*.f64 4 (*.f64 c a)) (-.f64 (neg.f64 b) (hypot.f64 (sqrt.f64 (*.f64 c (*.f64 a -4))) b))) (*.f64 2 a))
43.7b
(-.f64 (/.f64 c b) (/.f64 b a))
43.6b
(/.f64 (neg.f64 b) a)
39.3b
(neg.f64 (/.f64 c b))
32.5b
(/.f64 1 (/.f64 (*.f64 2 a) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))))))
57.9b
(log.f64 (sqrt.f64 (exp.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (*.f64 c (*.f64 a -4))) b) b) a))))
56.1b
(/.f64 (+.f64 (neg.f64 b) b) (*.f64 2 a))
▶32.1b
(*.f64 (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (*.f64 c (*.f64 a -4))) b) b)) 2) (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (*.f64 c (*.f64 a -4))) b) b)) a))
32.5b
(*.f64 (/.f64 (*.f64 (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (*.f64 c (*.f64 a -4))) b) b)) (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (*.f64 c (*.f64 a -4))) b) b))) 2) (/.f64 (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (*.f64 c (*.f64 a -4))) b) b)) a))
32.5b
(*.f64 (-.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a))
36.9b
(/.f64 (/.f64 (*.f64 4 (*.f64 c a)) (-.f64 (neg.f64 b) (hypot.f64 (sqrt.f64 (*.f64 c (*.f64 a -4))) b))) (*.f64 2 a))
43.7b
(-.f64 (/.f64 c b) (/.f64 b a))
43.6b
(/.f64 (neg.f64 b) a)
32.5b
(*.f64 (-.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a))
▶32.4b
(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))) (*.f64 2 a))
✓0b
(tan.f64 (/.f64 x 2))
▶0b
(tan.f64 (/.f64 x 2))
49.3b
(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)))
49.4b
(fma.f64 (cbrt.f64 (/.f64 1 (pow.f64 x 5))) -1/9 (*.f64 1/3 (cbrt.f64 (/.f64 1 (*.f64 x x)))))
31.5b
(*.f64 (/.f64 (cbrt.f64 x) x) (-.f64 1/3 (/.f64 1/9 x)))
✓30.3b
(-.f64 (cbrt.f64 (+.f64 x 1)) (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2) (cbrt.f64 (cbrt.f64 x))))
34.5b
(/.f64 1 (+.f64 (pow.f64 x 2/3) (*.f64 (cbrt.f64 (+.f64 1 x)) (+.f64 (cbrt.f64 x) (cbrt.f64 (+.f64 1 x))))))
31.7b
(-.f64 (fma.f64 x 1/3 1) (cbrt.f64 x))
49.3b
(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)))
49.4b
(fma.f64 (cbrt.f64 (/.f64 1 (pow.f64 x 5))) -1/9 (*.f64 1/3 (cbrt.f64 (/.f64 1 (*.f64 x x)))))
31.5b
(*.f64 (/.f64 (cbrt.f64 x) x) (-.f64 1/3 (/.f64 1/9 x)))
▶30.3b
(-.f64 (cbrt.f64 (+.f64 x 1)) (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2) (cbrt.f64 (cbrt.f64 x))))
34.5b
(/.f64 1 (+.f64 (pow.f64 x 2/3) (*.f64 (cbrt.f64 (+.f64 1 x)) (+.f64 (cbrt.f64 x) (cbrt.f64 (+.f64 1 x))))))
31.7b
(-.f64 (fma.f64 x 1/3 1) (cbrt.f64 x))
▶30.3b
(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 (cbrt.f64 x))))))
30.3b
(-.f64 (cbrt.f64 (+.f64 x 1)) (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2) (cbrt.f64 (cbrt.f64 x))))
49.3b
(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)))
49.4b
(fma.f64 (cbrt.f64 (/.f64 1 (pow.f64 x 5))) -1/9 (*.f64 1/3 (cbrt.f64 (/.f64 1 (*.f64 x x)))))
34.5b
(/.f64 1 (+.f64 (pow.f64 x 2/3) (*.f64 (cbrt.f64 (+.f64 1 x)) (+.f64 (cbrt.f64 x) (cbrt.f64 (+.f64 1 x))))))
30.3b
(/.f64 (-.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (*.f64 (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x))) (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x))))) (+.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x)))))
30.4b
(+.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))))))
30.4b
(+.f64 (fma.f64 (*.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1))) (cbrt.f64 (cbrt.f64 (+.f64 x 1)))) (cbrt.f64 (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))))))
31.7b
(-.f64 (fma.f64 x 1/3 1) (cbrt.f64 x))
30.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))))))
30.4b
(fma.f64 (cbrt.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1)))) (cbrt.f64 (cbrt.f64 (+.f64 x 1))) (neg.f64 (cbrt.f64 x)))
30.5b
(fma.f64 (*.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1))) (cbrt.f64 (cbrt.f64 (+.f64 x 1)))) (cbrt.f64 (cbrt.f64 (+.f64 x 1))) (neg.f64 (cbrt.f64 x)))
34.5b
(/.f64 1 (+.f64 (pow.f64 x 2/3) (*.f64 (cbrt.f64 (+.f64 1 x)) (+.f64 (cbrt.f64 x) (cbrt.f64 (+.f64 1 x))))))
49.0b
(*.f64 1/3 (cbrt.f64 (/.f64 1 (*.f64 x x))))
30.3b
(-.f64 (cbrt.f64 (+.f64 x 1)) (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 (cbrt.f64 x))))
30.4b
(fma.f64 (cbrt.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1)))) (cbrt.f64 (cbrt.f64 (+.f64 x 1))) (neg.f64 (cbrt.f64 x)))
30.3b
(-.f64 (cbrt.f64 (+.f64 x 1)) (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 x))) (cbrt.f64 (cbrt.f64 x))))
30.5b
(fma.f64 (*.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1))) (cbrt.f64 (cbrt.f64 (+.f64 x 1)))) (cbrt.f64 (cbrt.f64 (+.f64 x 1))) (neg.f64 (cbrt.f64 x)))
30.4b
(+.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))))))
30.4b
(+.f64 (fma.f64 (*.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1))) (cbrt.f64 (cbrt.f64 (+.f64 x 1)))) (cbrt.f64 (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))))))
49.3b
(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.7b
(-.f64 (fma.f64 x 1/3 1) (cbrt.f64 x))
30.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))))))
▶30.3b
(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x))))
▶30.2b
(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
28.7b
(-.f64 (*.f64 (cos.f64 x) (cos.f64 eps)) (fma.f64 (sin.f64 eps) (sin.f64 x) (cos.f64 x)))
35.5b
(*.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))))))
23.8b
(*.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))))))
43.9b
(*.f64 -2 (exp.f64 (+.f64 (log.f64 (sin.f64 (/.f64 eps 2))) (log.f64 (expm1.f64 (log1p.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2))))))))
28.7b
(-.f64 (-.f64 (*.f64 (cos.f64 x) (cos.f64 eps)) (*.f64 (sin.f64 x) (sin.f64 eps))) (cos.f64 x))
32.6b
(*.f64 -2 (cbrt.f64 (pow.f64 (*.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2)) (sin.f64 (/.f64 eps 2))) 3)))
28.8b
(-.f64 (*.f64 (cos.f64 x) (cos.f64 eps)) (+.f64 (*.f64 (sin.f64 x) (sin.f64 eps)) (cos.f64 x)))
22.2b
(*.f64 -2 (*.f64 (sin.f64 (/.f64 eps 2)) (log.f64 (exp.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2))))))
26.2b
(neg.f64 (fma.f64 eps (sin.f64 x) (*.f64 1/2 (*.f64 (cos.f64 x) (*.f64 eps eps)))))
23.1b
(*.f64 -2 (*.f64 (sin.f64 (/.f64 eps 2)) (expm1.f64 (cbrt.f64 (log.f64 (exp.f64 (pow.f64 (log1p.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2))) 3)))))))
40.2b
(cbrt.f64 (*.f64 (*.f64 (-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x)) (-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))) (-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))))
14.3b
(*.f64 -2 (*.f64 (sin.f64 (/.f64 eps 2)) (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2)) 3))))
28.7b
(-.f64 (*.f64 (cos.f64 x) (cos.f64 eps)) (fma.f64 (sin.f64 eps) (sin.f64 x) (cos.f64 x)))
35.5b
(*.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))))))
23.8b
(*.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))))))
43.9b
(*.f64 -2 (exp.f64 (+.f64 (log.f64 (sin.f64 (/.f64 eps 2))) (log.f64 (expm1.f64 (log1p.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2))))))))
▶14.2b
(*.f64 -2 (*.f64 (sin.f64 (/.f64 eps 2)) (expm1.f64 (cbrt.f64 (pow.f64 (log1p.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2))) 3)))))
28.7b
(-.f64 (-.f64 (*.f64 (cos.f64 x) (cos.f64 eps)) (*.f64 (sin.f64 x) (sin.f64 eps))) (cos.f64 x))
32.6b
(*.f64 -2 (cbrt.f64 (pow.f64 (*.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2)) (sin.f64 (/.f64 eps 2))) 3)))
28.8b
(-.f64 (*.f64 (cos.f64 x) (cos.f64 eps)) (+.f64 (*.f64 (sin.f64 x) (sin.f64 eps)) (cos.f64 x)))
22.2b
(*.f64 -2 (*.f64 (sin.f64 (/.f64 eps 2)) (log.f64 (exp.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2))))))
26.2b
(neg.f64 (fma.f64 eps (sin.f64 x) (*.f64 1/2 (*.f64 (cos.f64 x) (*.f64 eps eps)))))
40.2b
(cbrt.f64 (*.f64 (*.f64 (-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x)) (-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))) (-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))))
14.3b
(*.f64 -2 (*.f64 (sin.f64 (/.f64 eps 2)) (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2)) 3))))
28.7b
(-.f64 (*.f64 (cos.f64 x) (cos.f64 eps)) (fma.f64 (sin.f64 eps) (sin.f64 x) (cos.f64 x)))
35.5b
(*.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))))))
28.7b
(-.f64 (-.f64 (*.f64 (cos.f64 x) (cos.f64 eps)) (*.f64 (sin.f64 x) (sin.f64 eps))) (cos.f64 x))
32.6b
(*.f64 -2 (cbrt.f64 (pow.f64 (*.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2)) (sin.f64 (/.f64 eps 2))) 3)))
28.8b
(-.f64 (*.f64 (cos.f64 x) (cos.f64 eps)) (+.f64 (*.f64 (sin.f64 x) (sin.f64 eps)) (cos.f64 x)))
22.2b
(*.f64 -2 (*.f64 (sin.f64 (/.f64 eps 2)) (log.f64 (exp.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2))))))
26.2b
(neg.f64 (fma.f64 eps (sin.f64 x) (*.f64 1/2 (*.f64 (cos.f64 x) (*.f64 eps eps)))))
▶11.8b
(*.f64 -2 (*.f64 (sin.f64 (/.f64 eps 2)) (expm1.f64 (log1p.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2))))))
43.9b
(*.f64 -2 (exp.f64 (+.f64 (log.f64 (sin.f64 (/.f64 eps 2))) (log.f64 (sin.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2))))))
40.2b
(cbrt.f64 (*.f64 (*.f64 (-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x)) (-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))) (-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))))
14.3b
(*.f64 -2 (*.f64 (sin.f64 (/.f64 eps 2)) (cbrt.f64 (pow.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2)) 3))))
23.8b
(*.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))))))
28.7b
(-.f64 (-.f64 (*.f64 (cos.f64 x) (cos.f64 eps)) (*.f64 (sin.f64 x) (sin.f64 eps))) (cos.f64 x))
40.2b
(/.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)))))
26.2b
(neg.f64 (fma.f64 eps (sin.f64 x) (*.f64 1/2 (*.f64 (cos.f64 x) (*.f64 eps eps)))))
40.2b
(cbrt.f64 (*.f64 (*.f64 (-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x)) (-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))) (-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))))
▶11.7b
(*.f64 -2 (*.f64 (sin.f64 (/.f64 eps 2)) (sin.f64 (/.f64 (+.f64 x (+.f64 eps x)) 2))))
28.7b
(-.f64 (*.f64 (cos.f64 x) (cos.f64 eps)) (fma.f64 (sin.f64 eps) (sin.f64 x) (cos.f64 x)))
28.8b
(-.f64 (*.f64 (cos.f64 x) (cos.f64 eps)) (+.f64 (*.f64 (sin.f64 x) (sin.f64 eps)) (cos.f64 x)))
▶40.2b
(-.f64 (cos.f64 (+.f64 x eps)) (cos.f64 x))
15.2b
(/.f64 (/.f64 -1 (*.f64 (cbrt.f64 (fma.f64 x x x)) (sqrt.f64 (cbrt.f64 (fma.f64 x x x))))) (sqrt.f64 (fma.f64 x x x)))
27.6b
(cbrt.f64 (pow.f64 (/.f64 -1 (fma.f64 x x x)) 3))
29.0b
(fma.f64 (+.f64 (/.f64 -1 x) 1) (/.f64 1 (pow.f64 x 3)) (/.f64 -1 (*.f64 x x)))
✓13.9b
(+.f64 (/.f64 1 (+.f64 x 1)) (/.f64 -1 x))
✓15.0b
(/.f64 (/.f64 -1 (sqrt.f64 (fma.f64 x x x))) (sqrt.f64 (fma.f64 x x x)))
27.6b
(cbrt.f64 (pow.f64 (/.f64 -1 (fma.f64 x x x)) 3))
29.0b
(fma.f64 (+.f64 (/.f64 -1 x) 1) (/.f64 1 (pow.f64 x 3)) (/.f64 -1 (*.f64 x x)))
✓13.9b
(+.f64 (/.f64 1 (+.f64 x 1)) (/.f64 -1 x))
▶15.0b
(/.f64 (/.f64 -1 (sqrt.f64 (fma.f64 x x x))) (sqrt.f64 (fma.f64 x x x)))
27.6b
(cbrt.f64 (pow.f64 (/.f64 -1 (fma.f64 x x x)) 3))
29.0b
(fma.f64 (+.f64 (/.f64 -1 x) 1) (/.f64 1 (pow.f64 x 3)) (/.f64 -1 (*.f64 x x)))
▶13.9b
(+.f64 (/.f64 1 (+.f64 x 1)) (/.f64 -1 x))
15.0b
(/.f64 (/.f64 -1 (sqrt.f64 (fma.f64 x x x))) (sqrt.f64 (fma.f64 x x x)))
29.1b
(-.f64 (+.f64 (/.f64 1 (pow.f64 x 5)) (/.f64 1 (pow.f64 x 3))) (+.f64 (/.f64 1 (pow.f64 x 4)) (/.f64 1 (pow.f64 x 2))))
32.5b
(cbrt.f64 (pow.f64 (+.f64 (/.f64 -1 x) (/.f64 1 (+.f64 x 1))) 3))
13.9b
(+.f64 (/.f64 1 (+.f64 x 1)) (/.f64 -1 x))
▶0.3b
(/.f64 -1 (fma.f64 x x x))
▶13.9b
(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 x))
28.0b
(log.f64 (/.f64 (+.f64 1 N) N))
✓27.6b
(-.f64 (+.f64 (log1p.f64 N) (neg.f64 (log.f64 (sqrt.f64 N)))) (log.f64 (sqrt.f64 N)))
28.1b
(exp.f64 (log.f64 (-.f64 (log.f64 (/.f64 (+.f64 1 N) (sqrt.f64 N))) (log.f64 (sqrt.f64 N)))))
✓27.5b
(-.f64 (log.f64 (/.f64 (+.f64 1 N) (sqrt.f64 N))) (log.f64 (sqrt.f64 N)))
33.2b
(+.f64 (-.f64 (/.f64 1 N) (/.f64 1/2 (*.f64 N N))) (/.f64 1/3 (pow.f64 N 3)))
28.0b
(log.f64 (/.f64 (+.f64 1 N) N))
▶27.6b
(-.f64 (+.f64 (log1p.f64 N) (neg.f64 (log.f64 (sqrt.f64 N)))) (log.f64 (sqrt.f64 N)))
28.1b
(exp.f64 (log.f64 (-.f64 (log.f64 (/.f64 (+.f64 1 N) (sqrt.f64 N))) (log.f64 (sqrt.f64 N)))))
✓27.5b
(-.f64 (log.f64 (/.f64 (+.f64 1 N) (sqrt.f64 N))) (log.f64 (sqrt.f64 N)))
33.2b
(+.f64 (-.f64 (/.f64 1 N) (/.f64 1/2 (*.f64 N N))) (/.f64 1/3 (pow.f64 N 3)))
28.0b
(log.f64 (/.f64 (+.f64 1 N) N))
27.6b
(-.f64 (+.f64 (log1p.f64 N) (neg.f64 (log.f64 (sqrt.f64 N)))) (log.f64 (sqrt.f64 N)))
▶27.5b
(-.f64 (log.f64 (/.f64 (+.f64 1 N) (sqrt.f64 N))) (log.f64 (sqrt.f64 N)))
33.2b
(+.f64 (-.f64 (/.f64 1 N) (/.f64 1/2 (*.f64 N N))) (/.f64 1/3 (pow.f64 N 3)))
▶27.6b
(-.f64 (-.f64 (log1p.f64 N) (log.f64 (sqrt.f64 N))) (log.f64 (sqrt.f64 N)))
28.0b
(log.f64 (/.f64 (+.f64 1 N) N))
✓27.6b
(-.f64 (log1p.f64 N) (log.f64 N))
33.2b
(+.f64 (-.f64 (/.f64 1 N) (/.f64 1/2 (*.f64 N N))) (/.f64 1/3 (pow.f64 N 3)))
▶27.6b
(-.f64 (log1p.f64 N) (log.f64 N))
35.1b
(+.f64 (fma.f64 1 (pow.f64 (+.f64 x 1) (/.f64 1 n)) (neg.f64 (*.f64 (pow.f64 (cbrt.f64 x) (/.f64 1 n)) (pow.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (/.f64 1 n))))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 x) (/.f64 1 n))) (pow.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (/.f64 1 n)) (*.f64 (pow.f64 (cbrt.f64 x) (/.f64 1 n)) (pow.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (/.f64 1 n)))))
34.8b
(-.f64 (exp.f64 (/.f64 (log1p.f64 x) n)) (pow.f64 x (/.f64 1 n)))
40.1b
(/.f64 (-.f64 (/.f64 1 x) (/.f64 1/2 (*.f64 x x))) n)
21.5b
(/.f64 (/.f64 (-.f64 (*.f64 (log1p.f64 x) (log1p.f64 x)) (pow.f64 (log.f64 x) 2)) n) (+.f64 (log1p.f64 x) (log.f64 x)))
21.6b
(*.f64 (sqrt.f64 (-.f64 (log1p.f64 x) (log.f64 x))) (/.f64 (sqrt.f64 (-.f64 (log1p.f64 x) (log.f64 x))) n))
29.8b
(-.f64 (+.f64 (*.f64 1/2 (/.f64 (pow.f64 (log.f64 (+.f64 1 x)) 2) (pow.f64 n 2))) (+.f64 (*.f64 1/24 (/.f64 (pow.f64 (log.f64 (+.f64 1 x)) 4) (pow.f64 n 4))) (+.f64 (*.f64 1/6 (/.f64 (pow.f64 (log.f64 (+.f64 1 x)) 3) (pow.f64 n 3))) (/.f64 (log.f64 (+.f64 1 x)) n)))) (+.f64 (*.f64 1/6 (/.f64 (pow.f64 (log.f64 x) 3) (pow.f64 n 3))) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 (log.f64 x) 2) (pow.f64 n 2))) (+.f64 (*.f64 1/24 (/.f64 (pow.f64 (log.f64 x) 4) (pow.f64 n 4))) (/.f64 (log.f64 x) n)))))
46.5b
(/.f64 (-.f64 (pow.f64 (+.f64 1 x) (/.f64 2 n)) (pow.f64 x (/.f64 2 n))) (+.f64 (pow.f64 x (/.f64 1 n)) (exp.f64 (/.f64 (log1p.f64 x) n))))
✓21.5b
(/.f64 (-.f64 (*.f64 (log1p.f64 x) (log1p.f64 x)) (*.f64 (log.f64 x) (log.f64 x))) (*.f64 n (+.f64 (log1p.f64 x) (log.f64 x))))
37.2b
(-.f64 (fma.f64 11/24 (/.f64 (pow.f64 x (/.f64 1 n)) (*.f64 (*.f64 n n) (pow.f64 x 4))) (fma.f64 1/3 (/.f64 (pow.f64 x (/.f64 1 n)) (*.f64 n (pow.f64 x 3))) (fma.f64 1/24 (/.f64 (pow.f64 x (/.f64 1 n)) (*.f64 (pow.f64 x 4) (pow.f64 n 4))) (fma.f64 1/2 (/.f64 (pow.f64 x (/.f64 1 n)) (*.f64 (*.f64 x x) (*.f64 n n))) (fma.f64 1/6 (/.f64 (pow.f64 x (/.f64 1 n)) (*.f64 (pow.f64 x 3) (pow.f64 n 3))) (/.f64 (pow.f64 x (/.f64 1 n)) (*.f64 x n))))))) (fma.f64 1/2 (+.f64 (/.f64 (pow.f64 x (/.f64 1 n)) (*.f64 x (*.f64 x n))) (/.f64 (pow.f64 x (/.f64 1 n)) (*.f64 n (*.f64 n (pow.f64 x 3))))) (*.f64 1/4 (+.f64 (/.f64 (pow.f64 x (/.f64 1 n)) (*.f64 n (pow.f64 x 4))) (/.f64 (pow.f64 x (/.f64 1 n)) (*.f64 (pow.f64 n 3) (pow.f64 x 4)))))))
✓21.5b
(/.f64 1 (/.f64 n (-.f64 (log1p.f64 x) (log.f64 x))))
40.2b
(/.f64 (+.f64 (*.f64 2 (/.f64 (log.f64 x) x)) (-.f64 (/.f64 1 (*.f64 x x)) (/.f64 (log.f64 x) (*.f64 x x)))) (*.f64 n (+.f64 (log1p.f64 x) (log.f64 x))))
35.1b
(+.f64 (fma.f64 1 (pow.f64 (+.f64 x 1) (/.f64 1 n)) (neg.f64 (*.f64 (pow.f64 (cbrt.f64 x) (/.f64 1 n)) (pow.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (/.f64 1 n))))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 x) (/.f64 1 n))) (pow.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (/.f64 1 n)) (*.f64 (pow.f64 (cbrt.f64 x) (/.f64 1 n)) (pow.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (/.f64 1 n)))))
34.8b
(-.f64 (exp.f64 (/.f64 (log1p.f64 x) n)) (pow.f64 x (/.f64 1 n)))
40.1b
(/.f64 (-.f64 (/.f64 1 x) (/.f64 1/2 (*.f64 x x))) n)
37.2b
(-.f64 (fma.f64 11/24 (/.f64 (pow.f64 x (/.f64 1 n)) (*.f64 (*.f64 n n) (pow.f64 x 4))) (fma.f64 1/3 (/.f64 (pow.f64 x (/.f64 1 n)) (*.f64 n (pow.f64 x 3))) (fma.f64 1/24 (/.f64 (pow.f64 x (/.f64 1 n)) (*.f64 (pow.f64 x 4) (pow.f64 n 4))) (fma.f64 1/2 (/.f64 (pow.f64 x (/.f64 1 n)) (*.f64 (*.f64 x x) (*.f64 n n))) (fma.f64 1/6 (/.f64 (pow.f64 x (/.f64 1 n)) (*.f64 (pow.f64 x 3) (pow.f64 n 3))) (/.f64 (pow.f64 x (/.f64 1 n)) (*.f64 x n))))))) (fma.f64 1/2 (+.f64 (/.f64 (pow.f64 x (/.f64 1 n)) (*.f64 x (*.f64 x n))) (/.f64 (pow.f64 x (/.f64 1 n)) (*.f64 n (*.f64 n (pow.f64 x 3))))) (*.f64 1/4 (+.f64 (/.f64 (pow.f64 x (/.f64 1 n)) (*.f64 n (pow.f64 x 4))) (/.f64 (pow.f64 x (/.f64 1 n)) (*.f64 (pow.f64 n 3) (pow.f64 x 4)))))))
21.5b
(*.f64 (-.f64 (log1p.f64 x) (log.f64 x)) (/.f64 1 n))
21.6b
(*.f64 (sqrt.f64 (-.f64 (log1p.f64 x) (log.f64 x))) (/.f64 (sqrt.f64 (-.f64 (log1p.f64 x) (log.f64 x))) n))
29.8b
(-.f64 (+.f64 (*.f64 1/2 (/.f64 (pow.f64 (log.f64 (+.f64 1 x)) 2) (pow.f64 n 2))) (+.f64 (*.f64 1/24 (/.f64 (pow.f64 (log.f64 (+.f64 1 x)) 4) (pow.f64 n 4))) (+.f64 (*.f64 1/6 (/.f64 (pow.f64 (log.f64 (+.f64 1 x)) 3) (pow.f64 n 3))) (/.f64 (log.f64 (+.f64 1 x)) n)))) (+.f64 (*.f64 1/6 (/.f64 (pow.f64 (log.f64 x) 3) (pow.f64 n 3))) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 (log.f64 x) 2) (pow.f64 n 2))) (+.f64 (*.f64 1/24 (/.f64 (pow.f64 (log.f64 x) 4) (pow.f64 n 4))) (/.f64 (log.f64 x) n)))))
46.5b
(/.f64 (-.f64 (pow.f64 (+.f64 1 x) (/.f64 2 n)) (pow.f64 x (/.f64 2 n))) (+.f64 (pow.f64 x (/.f64 1 n)) (exp.f64 (/.f64 (log1p.f64 x) n))))
✓21.5b
(/.f64 (-.f64 (*.f64 (log1p.f64 x) (log1p.f64 x)) (*.f64 (log.f64 x) (log.f64 x))) (*.f64 n (+.f64 (log1p.f64 x) (log.f64 x))))
▶21.5b
(/.f64 1 (/.f64 n (-.f64 (log1p.f64 x) (log.f64 x))))
40.2b
(/.f64 (+.f64 (*.f64 2 (/.f64 (log.f64 x) x)) (-.f64 (/.f64 1 (*.f64 x x)) (/.f64 (log.f64 x) (*.f64 x x)))) (*.f64 n (+.f64 (log1p.f64 x) (log.f64 x))))
35.1b
(+.f64 (fma.f64 1 (pow.f64 (+.f64 x 1) (/.f64 1 n)) (neg.f64 (*.f64 (pow.f64 (cbrt.f64 x) (/.f64 1 n)) (pow.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (/.f64 1 n))))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 x) (/.f64 1 n))) (pow.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (/.f64 1 n)) (*.f64 (pow.f64 (cbrt.f64 x) (/.f64 1 n)) (pow.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (/.f64 1 n)))))
34.8b
(-.f64 (exp.f64 (/.f64 (log1p.f64 x) n)) (pow.f64 x (/.f64 1 n)))
40.1b
(/.f64 (-.f64 (/.f64 1 x) (/.f64 1/2 (*.f64 x x))) n)
37.2b
(-.f64 (fma.f64 11/24 (/.f64 (pow.f64 x (/.f64 1 n)) (*.f64 (*.f64 n n) (pow.f64 x 4))) (fma.f64 1/3 (/.f64 (pow.f64 x (/.f64 1 n)) (*.f64 n (pow.f64 x 3))) (fma.f64 1/24 (/.f64 (pow.f64 x (/.f64 1 n)) (*.f64 (pow.f64 x 4) (pow.f64 n 4))) (fma.f64 1/2 (/.f64 (pow.f64 x (/.f64 1 n)) (*.f64 (*.f64 x x) (*.f64 n n))) (fma.f64 1/6 (/.f64 (pow.f64 x (/.f64 1 n)) (*.f64 (pow.f64 x 3) (pow.f64 n 3))) (/.f64 (pow.f64 x (/.f64 1 n)) (*.f64 x n))))))) (fma.f64 1/2 (+.f64 (/.f64 (pow.f64 x (/.f64 1 n)) (*.f64 x (*.f64 x n))) (/.f64 (pow.f64 x (/.f64 1 n)) (*.f64 n (*.f64 n (pow.f64 x 3))))) (*.f64 1/4 (+.f64 (/.f64 (pow.f64 x (/.f64 1 n)) (*.f64 n (pow.f64 x 4))) (/.f64 (pow.f64 x (/.f64 1 n)) (*.f64 (pow.f64 n 3) (pow.f64 x 4)))))))
21.5b
(*.f64 (-.f64 (log1p.f64 x) (log.f64 x)) (/.f64 1 n))
21.6b
(*.f64 (sqrt.f64 (-.f64 (log1p.f64 x) (log.f64 x))) (/.f64 (sqrt.f64 (-.f64 (log1p.f64 x) (log.f64 x))) n))
29.8b
(-.f64 (+.f64 (*.f64 1/2 (/.f64 (pow.f64 (log.f64 (+.f64 1 x)) 2) (pow.f64 n 2))) (+.f64 (*.f64 1/24 (/.f64 (pow.f64 (log.f64 (+.f64 1 x)) 4) (pow.f64 n 4))) (+.f64 (*.f64 1/6 (/.f64 (pow.f64 (log.f64 (+.f64 1 x)) 3) (pow.f64 n 3))) (/.f64 (log.f64 (+.f64 1 x)) n)))) (+.f64 (*.f64 1/6 (/.f64 (pow.f64 (log.f64 x) 3) (pow.f64 n 3))) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 (log.f64 x) 2) (pow.f64 n 2))) (+.f64 (*.f64 1/24 (/.f64 (pow.f64 (log.f64 x) 4) (pow.f64 n 4))) (/.f64 (log.f64 x) n)))))
46.5b
(/.f64 (-.f64 (pow.f64 (+.f64 1 x) (/.f64 2 n)) (pow.f64 x (/.f64 2 n))) (+.f64 (pow.f64 x (/.f64 1 n)) (exp.f64 (/.f64 (log1p.f64 x) n))))
▶21.5b
(/.f64 (-.f64 (*.f64 (log1p.f64 x) (log1p.f64 x)) (*.f64 (log.f64 x) (log.f64 x))) (*.f64 n (+.f64 (log1p.f64 x) (log.f64 x))))
21.5b
(/.f64 1 (/.f64 n (-.f64 (log1p.f64 x) (log.f64 x))))
35.1b
(+.f64 (fma.f64 1 (pow.f64 (+.f64 x 1) (/.f64 1 n)) (neg.f64 (*.f64 (pow.f64 (cbrt.f64 x) (/.f64 1 n)) (pow.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (/.f64 1 n))))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 x) (/.f64 1 n))) (pow.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (/.f64 1 n)) (*.f64 (pow.f64 (cbrt.f64 x) (/.f64 1 n)) (pow.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (/.f64 1 n)))))
34.8b
(-.f64 (exp.f64 (/.f64 (log1p.f64 x) n)) (pow.f64 x (/.f64 1 n)))
29.8b
(-.f64 (+.f64 (*.f64 1/2 (/.f64 (pow.f64 (log.f64 (+.f64 1 x)) 2) (pow.f64 n 2))) (+.f64 (*.f64 1/24 (/.f64 (pow.f64 (log.f64 (+.f64 1 x)) 4) (pow.f64 n 4))) (+.f64 (*.f64 1/6 (/.f64 (pow.f64 (log.f64 (+.f64 1 x)) 3) (pow.f64 n 3))) (/.f64 (log.f64 (+.f64 1 x)) n)))) (+.f64 (*.f64 1/6 (/.f64 (pow.f64 (log.f64 x) 3) (pow.f64 n 3))) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 (log.f64 x) 2) (pow.f64 n 2))) (+.f64 (*.f64 1/24 (/.f64 (pow.f64 (log.f64 x) 4) (pow.f64 n 4))) (/.f64 (log.f64 x) n)))))
46.5b
(/.f64 (-.f64 (pow.f64 (+.f64 1 x) (/.f64 2 n)) (pow.f64 x (/.f64 2 n))) (+.f64 (pow.f64 x (/.f64 1 n)) (exp.f64 (/.f64 (log1p.f64 x) n))))
▶21.5b
(/.f64 (-.f64 (log1p.f64 x) (log.f64 x)) n)
37.2b
(-.f64 (fma.f64 11/24 (/.f64 (pow.f64 x (/.f64 1 n)) (*.f64 (*.f64 n n) (pow.f64 x 4))) (fma.f64 1/3 (/.f64 (pow.f64 x (/.f64 1 n)) (*.f64 n (pow.f64 x 3))) (fma.f64 1/24 (/.f64 (pow.f64 x (/.f64 1 n)) (*.f64 (pow.f64 x 4) (pow.f64 n 4))) (fma.f64 1/2 (/.f64 (pow.f64 x (/.f64 1 n)) (*.f64 (*.f64 x x) (*.f64 n n))) (fma.f64 1/6 (/.f64 (pow.f64 x (/.f64 1 n)) (*.f64 (pow.f64 x 3) (pow.f64 n 3))) (/.f64 (pow.f64 x (/.f64 1 n)) (*.f64 x n))))))) (fma.f64 1/2 (+.f64 (/.f64 (pow.f64 x (/.f64 1 n)) (*.f64 x (*.f64 x n))) (/.f64 (pow.f64 x (/.f64 1 n)) (*.f64 n (*.f64 n (pow.f64 x 3))))) (*.f64 1/4 (+.f64 (/.f64 (pow.f64 x (/.f64 1 n)) (*.f64 n (pow.f64 x 4))) (/.f64 (pow.f64 x (/.f64 1 n)) (*.f64 (pow.f64 n 3) (pow.f64 x 4)))))))
▶35.2b
(-.f64 (pow.f64 (+.f64 x 1) (/.f64 1 n)) (pow.f64 x (/.f64 1 n)))
✓17.3b
(/.f64 (*.f64 (sin.f64 x) (sin.f64 x)) (*.f64 x (fma.f64 x (cos.f64 x) x)))
33.8b
(*.f64 (/.f64 1 x) (/.f64 (-.f64 1 (cos.f64 x)) x))
34.4b
(/.f64 (sqrt.f64 (-.f64 1 (cos.f64 x))) (/.f64 (*.f64 x x) (sqrt.f64 (-.f64 1 (cos.f64 x)))))
28.6b
(fma.f64 (*.f64 x x) -1/24 1/2)
✓0.1b
(/.f64 (*.f64 (/.f64 (sin.f64 x) x) (tan.f64 (/.f64 x 2))) x)
▶17.3b
(/.f64 (*.f64 (sin.f64 x) (sin.f64 x)) (*.f64 x (fma.f64 x (cos.f64 x) x)))
33.8b
(*.f64 (/.f64 1 x) (/.f64 (-.f64 1 (cos.f64 x)) x))
34.4b
(/.f64 (sqrt.f64 (-.f64 1 (cos.f64 x))) (/.f64 (*.f64 x x) (sqrt.f64 (-.f64 1 (cos.f64 x)))))
28.6b
(fma.f64 (*.f64 x x) -1/24 1/2)
✓0.1b
(/.f64 (*.f64 (/.f64 (sin.f64 x) x) (tan.f64 (/.f64 x 2))) x)
17.3b
(/.f64 (*.f64 (sin.f64 x) (sin.f64 x)) (*.f64 x (fma.f64 x (cos.f64 x) x)))
33.8b
(*.f64 (/.f64 1 x) (/.f64 (-.f64 1 (cos.f64 x)) x))
34.4b
(/.f64 (sqrt.f64 (-.f64 1 (cos.f64 x))) (/.f64 (*.f64 x x) (sqrt.f64 (-.f64 1 (cos.f64 x)))))
28.6b
(fma.f64 (*.f64 x x) -1/24 1/2)
▶0.1b
(/.f64 (*.f64 (/.f64 (sin.f64 x) x) (tan.f64 (/.f64 x 2))) x)
34.6b
(/.f64 (log.f64 (exp.f64 (-.f64 1 (cos.f64 x)))) (*.f64 x x))
34.4b
(/.f64 (-.f64 (pow.f64 1 3) (pow.f64 (cos.f64 x) 3)) (*.f64 x (fma.f64 x (fma.f64 (cos.f64 x) (cos.f64 x) (cos.f64 x)) x)))
34.4b
(/.f64 (sqrt.f64 (-.f64 1 (cos.f64 x))) (/.f64 (*.f64 x x) (sqrt.f64 (-.f64 1 (cos.f64 x)))))
34.5b
(/.f64 (-.f64 (*.f64 1 1) (*.f64 (cos.f64 x) (cos.f64 x))) (*.f64 (*.f64 x x) (+.f64 1 (cos.f64 x))))
28.6b
(fma.f64 (*.f64 x x) -1/24 1/2)
33.8b
(*.f64 (/.f64 1 x) (/.f64 (-.f64 1 (cos.f64 x)) x))
▶16.9b
(/.f64 (/.f64 (*.f64 (sin.f64 x) (sin.f64 x)) (+.f64 1 (cos.f64 x))) (*.f64 x x))
▶34.4b
(/.f64 (-.f64 1 (cos.f64 x)) (*.f64 x x))
46.4b
(/.f64 (/.f64 -1 a) (/.f64 1 (+.f64 b_2 (hypot.f64 (*.f64 (sqrt.f64 c) (sqrt.f64 (neg.f64 a))) b_2))))
33.8b
(*.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c)))) (/.f64 1 a))
46.4b
(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (*.f64 (sqrt.f64 c) (sqrt.f64 (neg.f64 a))) b_2))))
49.7b
(/.f64 (/.f64 -1 a) (fma.f64 1/8 (/.f64 (neg.f64 (*.f64 a c)) (pow.f64 b_2 3)) (fma.f64 (/.f64 (*.f64 (*.f64 a c) (*.f64 a c)) (pow.f64 b_2 5)) -1/16 (fma.f64 -2 (/.f64 b_2 (neg.f64 (*.f64 a c))) (/.f64 -1/2 b_2)))))
40.1b
(*.f64 -1/2 (/.f64 c b_2))
46.6b
(fma.f64 1/2 (/.f64 c b_2) (*.f64 -2 (/.f64 b_2 a)))
44.0b
(/.f64 (/.f64 -1 a) (/.f64 1 (+.f64 b_2 (hypot.f64 (*.f64 (sqrt.f64 (neg.f64 c)) (sqrt.f64 a)) b_2))))
33.9b
(/.f64 (-.f64 (neg.f64 b_2) (*.f64 (sqrt.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)) (sqrt.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)))) a)
44.0b
(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (*.f64 (sqrt.f64 (neg.f64 c)) (sqrt.f64 a)) b_2))))
✓31.5b
(/.f64 1 (/.f64 (neg.f64 a) (+.f64 b_2 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))))
35.5b
(/.f64 (/.f64 (*.f64 c a) (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)) a)
33.9b
(/.f64 (-.f64 (neg.f64 b_2) (*.f64 (sqrt.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)) (sqrt.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)))) a)
▶31.5b
(/.f64 (/.f64 -1 a) (/.f64 1 (+.f64 b_2 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))))
52.8b
(fma.f64 (/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b_2 7)) -5/128 (fma.f64 (/.f64 (*.f64 (*.f64 a a) (pow.f64 c 3)) (pow.f64 b_2 5)) -1/16 (fma.f64 -1/2 (/.f64 c b_2) (*.f64 (/.f64 (*.f64 c (*.f64 c a)) (pow.f64 b_2 3)) -1/8))))
40.1b
(*.f64 -1/2 (/.f64 c b_2))
46.6b
(fma.f64 1/2 (/.f64 c b_2) (*.f64 -2 (/.f64 b_2 a)))
33.8b
(*.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c)))) (/.f64 1 a))
44.0b
(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (*.f64 (sqrt.f64 (neg.f64 c)) (sqrt.f64 a)) b_2))))
✓31.5b
(/.f64 1 (/.f64 (neg.f64 a) (+.f64 b_2 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))))
46.4b
(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (*.f64 (sqrt.f64 c) (sqrt.f64 (neg.f64 a))) b_2))))
35.5b
(/.f64 (/.f64 (*.f64 c a) (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)) a)
31.5b
(/.f64 (/.f64 1 a) (/.f64 1 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))))
35.5b
(/.f64 (/.f64 (*.f64 c a) (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)) a)
52.8b
(fma.f64 (/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b_2 7)) -5/128 (fma.f64 (/.f64 (*.f64 (*.f64 a a) (pow.f64 c 3)) (pow.f64 b_2 5)) -1/16 (fma.f64 -1/2 (/.f64 c b_2) (*.f64 (/.f64 (*.f64 c (*.f64 c a)) (pow.f64 b_2 3)) -1/8))))
40.1b
(*.f64 -1/2 (/.f64 c b_2))
46.6b
(fma.f64 1/2 (/.f64 c b_2) (*.f64 -2 (/.f64 b_2 a)))
33.8b
(*.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c)))) (/.f64 1 a))
33.9b
(/.f64 (-.f64 (neg.f64 b_2) (*.f64 (sqrt.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)) (sqrt.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)))) a)
44.0b
(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (*.f64 (sqrt.f64 (neg.f64 c)) (sqrt.f64 a)) b_2))))
▶31.5b
(/.f64 1 (/.f64 (neg.f64 a) (+.f64 b_2 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))))
46.4b
(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (*.f64 (sqrt.f64 c) (sqrt.f64 (neg.f64 a))) b_2))))
46.3b
(*.f64 (sqrt.f64 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)) a)) (sqrt.f64 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)) a)))
33.6b
(/.f64 (-.f64 (neg.f64 b_2) (*.f64 (*.f64 (cbrt.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)) (cbrt.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))) (cbrt.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)))) a)
35.5b
(/.f64 (/.f64 (*.f64 c a) (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)) a)
56.1b
(/.f64 (-.f64 (neg.f64 b_2) (neg.f64 b_2)) a)
52.8b
(fma.f64 (/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b_2 7)) -5/128 (fma.f64 (/.f64 (*.f64 (*.f64 a a) (pow.f64 c 3)) (pow.f64 b_2 5)) -1/16 (fma.f64 -1/2 (/.f64 c b_2) (*.f64 (/.f64 (*.f64 c (*.f64 c a)) (pow.f64 b_2 3)) -1/8))))
40.1b
(*.f64 -1/2 (/.f64 c b_2))
46.6b
(fma.f64 1/2 (/.f64 c b_2) (*.f64 -2 (/.f64 b_2 a)))
33.8b
(*.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c)))) (/.f64 1 a))
▶31.5b
(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))))
33.9b
(/.f64 (-.f64 (neg.f64 b_2) (*.f64 (sqrt.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)) (sqrt.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)))) a)
46.4b
(/.f64 (*.f64 -2 b_2) a)
50.0b
(cbrt.f64 (*.f64 (*.f64 (/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c)))) a) (/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c)))) a)) (/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c)))) a)))
▶33.8b
(/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c)))) a)
44.5b
(/.f64 (*.f64 -2 b_2) a)
47.9b
(*.f64 (pow.f64 (sqrt.f64 (sqrt.f64 (-.f64 (hypot.f64 (*.f64 (sqrt.f64 (neg.f64 c)) (sqrt.f64 a)) b_2) b_2))) 3) (/.f64 (sqrt.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2))) a))
51.0b
(*.f64 (pow.f64 (sqrt.f64 (sqrt.f64 (-.f64 (hypot.f64 (*.f64 (sqrt.f64 c) (sqrt.f64 (neg.f64 a))) b_2) b_2))) 3) (/.f64 (sqrt.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2))) a))
44.7b
(fma.f64 1/2 (/.f64 c b_2) (*.f64 -2 (/.f64 b_2 a)))
44.3b
(fma.f64 -1/2 (/.f64 c b_2) (*.f64 (/.f64 (*.f64 c (*.f64 c a)) (pow.f64 b_2 3)) -1/8))
38.7b
(*.f64 -1/2 (/.f64 c b_2))
57.1b
(/.f64 (-.f64 b_2 b_2) a)
34.9b
(fma.f64 (/.f64 (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c)))) 1) (/.f64 (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c)))) a) (neg.f64 (/.f64 b_2 a)))
34.8b
(-.f64 (/.f64 (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c)))) (/.f64 a (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c)))))) (/.f64 b_2 a))
✓34.1b
(-.f64 (/.f64 (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c))) a) (/.f64 b_2 a))
45.4b
(/.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)
44.5b
(/.f64 (*.f64 -2 b_2) a)
47.9b
(*.f64 (pow.f64 (sqrt.f64 (sqrt.f64 (-.f64 (hypot.f64 (*.f64 (sqrt.f64 (neg.f64 c)) (sqrt.f64 a)) b_2) b_2))) 3) (/.f64 (sqrt.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2))) a))
34.3b
(/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c))) b_2)) (/.f64 a (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c))) b_2))))
38.7b
(*.f64 -1/2 (/.f64 c b_2))
51.0b
(*.f64 (pow.f64 (sqrt.f64 (sqrt.f64 (-.f64 (hypot.f64 (*.f64 (sqrt.f64 c) (sqrt.f64 (neg.f64 a))) b_2) b_2))) 3) (/.f64 (sqrt.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2))) a))
44.7b
(fma.f64 1/2 (/.f64 c b_2) (*.f64 -2 (/.f64 b_2 a)))
44.3b
(fma.f64 -1/2 (/.f64 c b_2) (*.f64 (/.f64 (*.f64 c (*.f64 c a)) (pow.f64 b_2 3)) -1/8))
57.1b
(/.f64 (-.f64 b_2 b_2) a)
▶34.1b
(-.f64 (/.f64 (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c))) a) (/.f64 b_2 a))
51.0b
(*.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)) (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (*.f64 (sqrt.f64 c) (sqrt.f64 (neg.f64 a))) b_2) b_2)) a))
45.4b
(/.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.3b
(/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c))) b_2)) (/.f64 a (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c))) b_2))))
38.7b
(*.f64 -1/2 (/.f64 c b_2))
▶33.0b
(*.f64 (pow.f64 (sqrt.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2))) 3) (/.f64 (sqrt.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2))) a))
44.5b
(/.f64 (*.f64 -2 b_2) a)
44.7b
(fma.f64 1/2 (/.f64 c b_2) (*.f64 -2 (/.f64 b_2 a)))
44.3b
(fma.f64 -1/2 (/.f64 c b_2) (*.f64 (/.f64 (*.f64 c (*.f64 c a)) (pow.f64 b_2 3)) -1/8))
57.1b
(/.f64 (-.f64 b_2 b_2) a)
34.1b
(-.f64 (/.f64 (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c))) a) (/.f64 b_2 a))
47.9b
(*.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)) (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (*.f64 (sqrt.f64 (neg.f64 c)) (sqrt.f64 a)) b_2) b_2)) a))
51.0b
(*.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)) (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (*.f64 (sqrt.f64 c) (sqrt.f64 (neg.f64 a))) b_2) b_2)) a))
45.4b
(/.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.7b
(/.f64 (exp.f64 (log.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2))) a)
44.7b
(fma.f64 1/2 (/.f64 c b_2) (*.f64 -2 (/.f64 b_2 a)))
34.3b
(/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c))) b_2)) (/.f64 a (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c))) b_2))))
38.7b
(*.f64 -1/2 (/.f64 c b_2))
45.6b
(/.f64 (-.f64 (pow.f64 (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c))) 3) (pow.f64 b_2 3)) (*.f64 a (+.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 (*.f64 b_2 b_2) (*.f64 (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c))) b_2)))))
57.1b
(/.f64 (-.f64 b_2 b_2) a)
46.9b
(*.f64 (/.f64 1 (sqrt.f64 a)) (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2) (sqrt.f64 a)))
45.4b
(/.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)
44.5b
(/.f64 (*.f64 -2 b_2) a)
▶32.8b
(*.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.3b
(fma.f64 -1/2 (/.f64 c b_2) (*.f64 (/.f64 (*.f64 c (*.f64 c a)) (pow.f64 b_2 3)) -1/8))
33.1b
(*.f64 (*.f64 (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)) (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2))) (/.f64 (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)) a))
34.2b
(*.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c))) b_2) (/.f64 1 a))
34.1b
(-.f64 (/.f64 (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c))) a) (/.f64 b_2 a))
▶34.1b
(/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c))) b_2) a)
✓30.2b
(/.f64 1 (/.f64 (-.f64 x (tan.f64 x)) (-.f64 x (sin.f64 x))))
33.4b
(-.f64 (fma.f64 9/40 (*.f64 x x) (*.f64 (pow.f64 x 4) -27/2800)) 1/2)
46.2b
(/.f64 (-.f64 x (sin.f64 x)) (+.f64 (fma.f64 1 x (neg.f64 (*.f64 (sqrt.f64 (tan.f64 x)) (sqrt.f64 (tan.f64 x))))) (fma.f64 (neg.f64 (sqrt.f64 (tan.f64 x))) (sqrt.f64 (tan.f64 x)) (*.f64 (sqrt.f64 (tan.f64 x)) (sqrt.f64 (tan.f64 x))))))
✓30.4b
(+.f64 1 (*.f64 (/.f64 (sin.f64 x) x) (+.f64 (/.f64 1 (cos.f64 x)) -1)))
46.2b
(/.f64 (-.f64 x (sin.f64 x)) (+.f64 (fma.f64 1 x (neg.f64 (*.f64 (sqrt.f64 (tan.f64 x)) (sqrt.f64 (tan.f64 x))))) (fma.f64 (neg.f64 (sqrt.f64 (tan.f64 x))) (sqrt.f64 (tan.f64 x)) (*.f64 (sqrt.f64 (tan.f64 x)) (sqrt.f64 (tan.f64 x))))))
✓30.4b
(+.f64 1 (*.f64 (/.f64 (sin.f64 x) x) (+.f64 (/.f64 1 (cos.f64 x)) -1)))
▶33.4b
(-.f64 (*.f64 9/40 (*.f64 x x)) (fma.f64 27/2800 (pow.f64 x 4) 1/2))
✓30.2b
(/.f64 1 (/.f64 (-.f64 x (tan.f64 x)) (-.f64 x (sin.f64 x))))
46.2b
(/.f64 (-.f64 x (sin.f64 x)) (+.f64 (fma.f64 1 x (neg.f64 (*.f64 (sqrt.f64 (tan.f64 x)) (sqrt.f64 (tan.f64 x))))) (fma.f64 (neg.f64 (sqrt.f64 (tan.f64 x))) (sqrt.f64 (tan.f64 x)) (*.f64 (sqrt.f64 (tan.f64 x)) (sqrt.f64 (tan.f64 x))))))
▶30.4b
(+.f64 1 (*.f64 (/.f64 (sin.f64 x) x) (+.f64 (/.f64 1 (cos.f64 x)) -1)))
33.4b
(-.f64 (*.f64 9/40 (*.f64 x x)) (fma.f64 27/2800 (pow.f64 x 4) 1/2))
✓30.2b
(/.f64 1 (/.f64 (-.f64 x (tan.f64 x)) (-.f64 x (sin.f64 x))))
46.2b
(/.f64 (-.f64 x (sin.f64 x)) (+.f64 (fma.f64 1 x (neg.f64 (*.f64 (sqrt.f64 (tan.f64 x)) (sqrt.f64 (tan.f64 x))))) (fma.f64 (neg.f64 (sqrt.f64 (tan.f64 x))) (sqrt.f64 (tan.f64 x)) (*.f64 (sqrt.f64 (tan.f64 x)) (sqrt.f64 (tan.f64 x))))))
30.4b
(+.f64 1 (*.f64 (/.f64 (sin.f64 x) x) (+.f64 (/.f64 1 (cos.f64 x)) -1)))
33.4b
(-.f64 (*.f64 9/40 (*.f64 x x)) (fma.f64 27/2800 (pow.f64 x 4) 1/2))
▶30.2b
(/.f64 1 (/.f64 (-.f64 x (tan.f64 x)) (-.f64 x (sin.f64 x))))
▶30.2b
(/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x)))
✓0.3b
(hypot.f64 1 (sqrt.f64 (exp.f64 x)))
✓0.0b
(hypot.f64 1 (exp.f64 (*.f64 1/2 x)))
✓0.3b
(hypot.f64 1 (sqrt.f64 (exp.f64 x)))
▶0.0b
(hypot.f64 1 (exp.f64 (*.f64 1/2 x)))
✓0.3b
(hypot.f64 1 (sqrt.f64 (exp.f64 x)))
▶0.0b
(hypot.f64 1 (pow.f64 (exp.f64 1) (/.f64 x 2)))
▶0.3b
(hypot.f64 1 (sqrt.f64 (exp.f64 x)))
23.1b
(-.f64 (+.f64 (fma.f64 1/16 (/.f64 (pow.f64 x 3) (pow.f64 (sqrt.f64 2) 5)) (fma.f64 1/2 (/.f64 x (sqrt.f64 2)) (sqrt.f64 2))) (*.f64 (*.f64 (/.f64 x (sqrt.f64 2)) x) 3/16)) (*.f64 (/.f64 (pow.f64 x 3) (sqrt.f64 2)) -1/48))
▶0.3b
(sqrt.f64 (+.f64 1 (exp.f64 x)))
Compiler

Compiled 610485 to 336861 computations (44.8% saved)

series26.9s (9.8%)

Counts
250 → 3519
Calls

239 calls:

1.7s
(pow.f64 (sqrt.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2))) 3)
1.1s
(/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)) a)
1.0s
(log1p.f64 (cos.f64 (/.f64 (fma.f64 x 2 eps) 2)))
980.0ms
(pow.f64 (log1p.f64 (sin.f64 (/.f64 (fma.f64 x 2 eps) 2))) 3)
910.0ms
(pow.f64 x (/.f64 1 n))

analyze24.5s (9%)

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)

simplify23.0s (8.4%)

Algorithm
151×egg-herbie
Rules
53103×fma-def_binary64
48384×fma-neg_binary64
25895×times-frac_binary64
20503×cancel-sign-sub-inv_binary64
20228×associate-/l*_binary64
Counts
14415 → 15531

rewrite4.8s (1.8%)

Algorithm
95×rewrite-expression-head
Rules
6517×*-un-lft-identity_binary64
5962×times-frac_binary64
5730×add-sqr-sqrt_binary64
4611×add-cube-cbrt_binary64
2590×prod-diff_binary64
Counts
250 → 10868
Calls

239 calls:

108.0ms
(+.f64 (-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 2 x)) (/.f64 1 (-.f64 x 1)))
93.0ms
(-.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 1 (sqrt.f64 (+.f64 x 1))))
64.0ms
(+.f64 (tan.f64 x) (tan.f64 eps))
50.0ms
(sqrt.f64 (+.f64 x 1))
48.0ms
(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 2 x))

localize1.4s (0.5%)

bsearch1.2s (0.4%)

Compiler

Compiled 67 to 47 computations (29.9% saved)

end64.0ms (0%)

Compiler

Compiled 1037 to 646 computations (37.7% saved)

Profiling

Loading profile data...