Date:Saturday, October 2nd, 2021
Commit:d3249e97 on master
Hostname:warfa with Racket 8.1
Seed:2021275
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: 2.3min)

sample46.2s (33.2%)

Algorithm
26×intervals
Results
13.6s6506×body8192exit
10.2s17030×body1024valid
5.3s79466×body128valid
2.4s6863×body512valid
1.9s4970×body1024nan
1.1s24768×pre128true
983.0ms797×body2048valid
780.0ms3172×body256valid
549.0ms2420×body512nan
365.0ms2000×body128invalid
196.0ms214×body1024invalid
162.0ms1195×body256nan
151.0ms248×body512invalid
70.0ms803×body128nan
63.0ms169×body256invalid
15.0ms176×body128overflowed
3.0ms5×body2048nan
3.0ms1×body8192nan
2.0ms1×body4096nan
Compiler

Compiled 4158 to 2152 computations (48.2% saved)

analyze38.2s (27.4%)

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

Compiled 211 to 152 computations (28% saved)

regimes14.9s (10.7%)

Counts
1572 → 13
Compiler

Compiled 260311 to 146767 computations (43.6% saved)

prune14.8s (10.6%)

Counts
8427 → 405
Alt Table
StatusErrorProgram
51.9b
(-.f64 (+.f64 1 (*.f64 (*.f64 (+.f64 1 (/.f64 hi lo)) (*.f64 (cbrt.f64 (/.f64 hi lo)) (cbrt.f64 (/.f64 hi lo)))) (cbrt.f64 (/.f64 hi lo)))) (+.f64 (/.f64 x lo) (*.f64 (/.f64 x lo) (*.f64 (/.f64 hi lo) (/.f64 hi lo)))))
56.9b
(-.f64 (+.f64 1 (+.f64 (*.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 hi lo)) (pow.f64 (/.f64 hi lo) 3))) (+.f64 (/.f64 x lo) (*.f64 (/.f64 x lo) (*.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 hi lo)))))
51.9b
(-.f64 (+.f64 1 (*.f64 (*.f64 (log.f64 (exp.f64 (+.f64 1 (/.f64 hi lo)))) (/.f64 (*.f64 (cbrt.f64 hi) (cbrt.f64 hi)) 1)) (/.f64 (cbrt.f64 hi) lo))) (+.f64 (/.f64 x lo) (*.f64 (/.f64 x lo) (*.f64 (/.f64 hi lo) (/.f64 hi lo)))))
51.9b
(-.f64 (+.f64 1 (*.f64 (+.f64 (*.f64 2 (log.f64 (cbrt.f64 (exp.f64 (+.f64 1 (/.f64 hi lo)))))) (log.f64 (cbrt.f64 (exp.f64 (+.f64 1 (/.f64 hi lo)))))) (/.f64 hi lo))) (+.f64 (/.f64 x lo) (*.f64 (/.f64 x lo) (*.f64 (/.f64 hi lo) (/.f64 hi lo)))))
51.9b
(-.f64 (+.f64 1 (*.f64 (*.f64 (log.f64 (exp.f64 (+.f64 1 (/.f64 hi lo)))) (/.f64 (*.f64 (cbrt.f64 hi) (cbrt.f64 hi)) (*.f64 (cbrt.f64 lo) (cbrt.f64 lo)))) (/.f64 (cbrt.f64 hi) (cbrt.f64 lo)))) (+.f64 (/.f64 x lo) (*.f64 (/.f64 x lo) (*.f64 (/.f64 hi lo) (/.f64 hi lo)))))
51.9b
(-.f64 (+.f64 1 (*.f64 (+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (+.f64 1 (/.f64 hi lo)))) (cbrt.f64 (exp.f64 (+.f64 1 (/.f64 hi lo)))))) (log.f64 (cbrt.f64 (exp.f64 (+.f64 1 (/.f64 hi lo)))))) (/.f64 hi lo))) (+.f64 (/.f64 x lo) (*.f64 (/.f64 x lo) (*.f64 (/.f64 hi lo) (/.f64 hi lo)))))
51.9b
(-.f64 (+.f64 1 (*.f64 (*.f64 (log.f64 (exp.f64 (+.f64 1 (/.f64 hi lo)))) (*.f64 (cbrt.f64 (/.f64 hi lo)) (cbrt.f64 (/.f64 hi lo)))) (cbrt.f64 (/.f64 hi lo)))) (+.f64 (/.f64 x lo) (*.f64 (/.f64 x lo) (*.f64 (/.f64 hi lo) (/.f64 hi lo)))))
51.9b
(-.f64 (+.f64 1 (*.f64 (+.f64 (log.f64 (exp.f64 1)) (log.f64 (exp.f64 (/.f64 hi lo)))) (/.f64 hi lo))) (+.f64 (/.f64 x lo) (*.f64 (/.f64 x lo) (*.f64 (/.f64 hi lo) (/.f64 hi lo)))))
51.9b
(-.f64 (+.f64 1 (*.f64 (*.f64 (cbrt.f64 (/.f64 (fma.f64 hi (/.f64 hi lo) hi) lo)) (cbrt.f64 (/.f64 (fma.f64 hi (/.f64 hi lo) hi) lo))) (cbrt.f64 (/.f64 (fma.f64 hi (/.f64 hi lo) hi) lo)))) (+.f64 (/.f64 x lo) (*.f64 (/.f64 x lo) (*.f64 (/.f64 hi lo) (/.f64 hi lo)))))
52.0b
(+.f64 (/.f64 x hi) (-.f64 (fma.f64 (/.f64 x hi) (*.f64 (+.f64 (/.f64 lo hi) 1) (/.f64 lo hi)) (*.f64 (/.f64 lo hi) (-.f64 -1 (/.f64 lo hi)))) (pow.f64 (/.f64 lo hi) 3)))
51.9b
(-.f64 (+.f64 1 (*.f64 (log.f64 (exp.f64 (/.f64 (+.f64 (pow.f64 1 3) (pow.f64 (/.f64 hi lo) 3)) (+.f64 (*.f64 1 1) (-.f64 (*.f64 (/.f64 hi lo) (/.f64 hi lo)) (*.f64 1 (/.f64 hi lo))))))) (/.f64 hi lo))) (+.f64 (/.f64 x lo) (*.f64 (/.f64 x lo) (*.f64 (/.f64 hi lo) (/.f64 hi lo)))))
51.9b
(-.f64 (+.f64 1 (log.f64 (exp.f64 (*.f64 (log.f64 (exp.f64 (+.f64 1 (/.f64 hi lo)))) (/.f64 hi lo))))) (+.f64 (/.f64 x lo) (*.f64 (/.f64 x lo) (*.f64 (/.f64 hi lo) (/.f64 hi lo)))))
51.9b
(-.f64 (+.f64 1 (log.f64 (exp.f64 (/.f64 (fma.f64 hi (/.f64 hi lo) hi) lo)))) (+.f64 (/.f64 x lo) (*.f64 (/.f64 x lo) (*.f64 (/.f64 hi lo) (/.f64 hi lo)))))
51.9b
(-.f64 (+.f64 1 (*.f64 (+.f64 (log.f64 (sqrt.f64 (exp.f64 (+.f64 1 (/.f64 hi lo))))) (log.f64 (sqrt.f64 (exp.f64 (+.f64 1 (/.f64 hi lo)))))) (/.f64 hi lo))) (+.f64 (/.f64 x lo) (*.f64 (/.f64 x lo) (*.f64 (/.f64 hi lo) (/.f64 hi lo)))))
51.9b
(-.f64 (+.f64 1 (*.f64 (*.f64 (+.f64 1 (/.f64 hi lo)) (*.f64 (cbrt.f64 (/.f64 hi lo)) (cbrt.f64 (/.f64 hi lo)))) (cbrt.f64 (/.f64 hi lo)))) (+.f64 (/.f64 x lo) (*.f64 (/.f64 x lo) (*.f64 (/.f64 hi lo) (/.f64 hi lo)))))
56.9b
(-.f64 (+.f64 1 (+.f64 (*.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 hi lo)) (pow.f64 (/.f64 hi lo) 3))) (+.f64 (/.f64 x lo) (*.f64 (/.f64 x lo) (*.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 hi lo)))))
51.9b
(-.f64 (+.f64 1 (/.f64 (-.f64 (/.f64 hi lo) (pow.f64 (/.f64 hi lo) 3)) (-.f64 1 (/.f64 hi lo)))) (+.f64 (/.f64 x lo) (*.f64 (/.f64 x lo) (*.f64 (/.f64 hi lo) (/.f64 hi lo)))))
51.9b
(-.f64 (+.f64 1 (*.f64 (*.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 (sqrt.f64 hi) (*.f64 (cbrt.f64 lo) (cbrt.f64 lo)))) (/.f64 (sqrt.f64 hi) (cbrt.f64 lo)))) (+.f64 (/.f64 x lo) (*.f64 (/.f64 x lo) (*.f64 (/.f64 hi lo) (/.f64 hi lo)))))
51.9b
(-.f64 (+.f64 1 (*.f64 (*.f64 (cbrt.f64 (/.f64 (fma.f64 hi (/.f64 hi lo) hi) lo)) (cbrt.f64 (/.f64 (fma.f64 hi (/.f64 hi lo) hi) lo))) (cbrt.f64 (/.f64 (fma.f64 hi (/.f64 hi lo) hi) lo)))) (+.f64 (/.f64 x lo) (*.f64 (/.f64 x lo) (*.f64 (/.f64 hi lo) (/.f64 hi lo)))))
52.0b
(+.f64 (/.f64 x hi) (-.f64 (fma.f64 (/.f64 x hi) (*.f64 (+.f64 (/.f64 lo hi) 1) (/.f64 lo hi)) (*.f64 (/.f64 lo hi) (-.f64 -1 (/.f64 lo hi)))) (pow.f64 (/.f64 lo hi) 3)))
51.9b
(-.f64 (+.f64 1 (*.f64 (*.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 (*.f64 (cbrt.f64 hi) (cbrt.f64 hi)) (*.f64 (cbrt.f64 lo) (cbrt.f64 lo)))) (/.f64 (cbrt.f64 hi) (cbrt.f64 lo)))) (+.f64 (/.f64 x lo) (*.f64 (/.f64 x lo) (*.f64 (/.f64 hi lo) (/.f64 hi lo)))))
51.9b
(-.f64 (+.f64 1 (log.f64 (exp.f64 (/.f64 (fma.f64 hi (/.f64 hi lo) hi) lo)))) (+.f64 (/.f64 x lo) (*.f64 (/.f64 x lo) (*.f64 (/.f64 hi lo) (/.f64 hi lo)))))
51.9b
(-.f64 (+.f64 1 (*.f64 (*.f64 (+.f64 1 (/.f64 hi lo)) (*.f64 (cbrt.f64 hi) (cbrt.f64 hi))) (/.f64 (cbrt.f64 hi) lo))) (+.f64 (/.f64 x lo) (*.f64 (/.f64 x lo) (*.f64 (/.f64 hi lo) (/.f64 hi lo)))))
51.9b
(-.f64 (+.f64 1 (*.f64 (fma.f64 hi (/.f64 hi lo) hi) (/.f64 1 lo))) (+.f64 (/.f64 x lo) (*.f64 (/.f64 x lo) (*.f64 (/.f64 hi lo) (/.f64 hi lo)))))
▶51.9b
(-.f64 (+.f64 1 (*.f64 (log.f64 (exp.f64 (+.f64 1 (/.f64 hi lo)))) (/.f64 hi lo))) (+.f64 (/.f64 x lo) (*.f64 (/.f64 x lo) (*.f64 (/.f64 hi lo) (/.f64 hi lo)))))
51.9b
(-.f64 (+.f64 1 (*.f64 (fma.f64 hi (/.f64 hi lo) hi) (/.f64 1 lo))) (+.f64 (/.f64 x lo) (*.f64 (/.f64 x lo) (*.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 hi lo)))))
51.9b
(-.f64 (+.f64 1 (*.f64 (*.f64 (cbrt.f64 (/.f64 (fma.f64 hi (/.f64 hi lo) hi) lo)) (cbrt.f64 (/.f64 (fma.f64 hi (/.f64 hi lo) hi) lo))) (cbrt.f64 (/.f64 (fma.f64 hi (/.f64 hi lo) hi) lo)))) (+.f64 (/.f64 x lo) (*.f64 (/.f64 x lo) (*.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 hi lo)))))
51.9b
(-.f64 (+.f64 1 (*.f64 (*.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 (*.f64 (cbrt.f64 hi) (cbrt.f64 hi)) (*.f64 (cbrt.f64 lo) (cbrt.f64 lo)))) (/.f64 (cbrt.f64 hi) (cbrt.f64 lo)))) (+.f64 (/.f64 x lo) (*.f64 (/.f64 x lo) (*.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 hi lo)))))
52.0b
(+.f64 (/.f64 x hi) (-.f64 (fma.f64 (/.f64 x hi) (*.f64 (+.f64 (/.f64 lo hi) 1) (/.f64 lo hi)) (*.f64 (/.f64 lo hi) (-.f64 -1 (/.f64 lo hi)))) (pow.f64 (/.f64 lo hi) 3)))
51.9b
(-.f64 (+.f64 1 (*.f64 (*.f64 (+.f64 1 (/.f64 hi lo)) (*.f64 (cbrt.f64 (/.f64 hi lo)) (cbrt.f64 (/.f64 hi lo)))) (cbrt.f64 (/.f64 hi lo)))) (+.f64 (/.f64 x lo) (*.f64 (/.f64 x lo) (*.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 hi lo)))))
51.9b
(-.f64 (+.f64 1 (*.f64 (log.f64 (exp.f64 (+.f64 1 (/.f64 hi lo)))) (/.f64 hi lo))) (+.f64 (/.f64 x lo) (*.f64 (/.f64 x lo) (*.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 hi lo)))))
56.9b
(-.f64 (+.f64 1 (+.f64 (*.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 hi lo)) (pow.f64 (/.f64 hi lo) 3))) (+.f64 (/.f64 x lo) (*.f64 (/.f64 x lo) (*.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 hi lo)))))
51.9b
(-.f64 (+.f64 1 (/.f64 (-.f64 (/.f64 hi lo) (pow.f64 (/.f64 hi lo) 3)) (-.f64 1 (/.f64 hi lo)))) (+.f64 (/.f64 x lo) (*.f64 (/.f64 x lo) (*.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 hi lo)))))
51.9b
(-.f64 (+.f64 1 (log.f64 (exp.f64 (*.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 hi lo))))) (+.f64 (/.f64 x lo) (*.f64 (/.f64 x lo) (*.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 hi lo)))))
▶51.9b
(-.f64 (+.f64 1 (*.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 hi lo))) (+.f64 (/.f64 x lo) (*.f64 (/.f64 x lo) (*.f64 (/.f64 hi lo) (/.f64 hi lo)))))
51.9b
(-.f64 (+.f64 1 (*.f64 (*.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 (sqrt.f64 hi) (*.f64 (cbrt.f64 lo) (cbrt.f64 lo)))) (/.f64 (sqrt.f64 hi) (cbrt.f64 lo)))) (+.f64 (/.f64 x lo) (*.f64 (/.f64 x lo) (*.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 hi lo)))))
51.9b
(-.f64 (+.f64 1 (*.f64 (*.f64 (+.f64 1 (/.f64 hi lo)) (*.f64 (cbrt.f64 hi) (cbrt.f64 hi))) (/.f64 (cbrt.f64 hi) lo))) (+.f64 (/.f64 x lo) (*.f64 (/.f64 x lo) (*.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 hi lo)))))
56.9b
(-.f64 (+.f64 1 (+.f64 (*.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 hi lo)) (pow.f64 (/.f64 hi lo) 3))) (+.f64 (/.f64 x lo) (*.f64 (/.f64 x lo) (*.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 hi lo)))))
52.0b
(+.f64 (/.f64 x hi) (-.f64 (fma.f64 (/.f64 x hi) (*.f64 (+.f64 (/.f64 lo hi) 1) (/.f64 lo hi)) (*.f64 (/.f64 lo hi) (-.f64 -1 (/.f64 lo hi)))) (pow.f64 (/.f64 lo hi) 3)))
▶51.9b
(-.f64 (+.f64 1 (*.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 hi lo))) (+.f64 (/.f64 x lo) (*.f64 (/.f64 x lo) (*.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 hi lo)))))
▶62.0b
(/.f64 (-.f64 x lo) (-.f64 hi lo))
0.3b
(*.f64 (cbrt.f64 (pow.f64 (exp.f64 w) -2)) (*.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (pow.f64 l (exp.f64 w))))
1.3b
(*.f64 (/.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1))) (cbrt.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)))) (cbrt.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)))) (*.f64 (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 (exp.f64 w)) (cbrt.f64 (exp.f64 w)))) (cbrt.f64 (*.f64 (cbrt.f64 (exp.f64 w)) (cbrt.f64 (exp.f64 w))))) (cbrt.f64 (*.f64 (cbrt.f64 (exp.f64 w)) (cbrt.f64 (exp.f64 w)))))) (*.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (*.f64 (pow.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l)) (exp.f64 w)) (pow.f64 (cbrt.f64 l) (exp.f64 w)))))
14.1b
(-.f64 (+.f64 (fma.f64 1/6 (*.f64 (*.f64 l (pow.f64 w 3)) (+.f64 (log.f64 l) (pow.f64 (log.f64 l) 3))) (fma.f64 (log.f64 l) (*.f64 l w) l)) (*.f64 (*.f64 l (*.f64 w w)) (+.f64 (*.f64 1/2 (pow.f64 (log.f64 l) 2)) 1/2))) (fma.f64 l (*.f64 (pow.f64 w 3) 1/6) (*.f64 l (+.f64 w (*.f64 (log.f64 (sqrt.f64 l)) (*.f64 w w))))))
0.3b
(*.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (cbrt.f64 (exp.f64 (neg.f64 w))))) (cbrt.f64 (*.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (cbrt.f64 (exp.f64 (neg.f64 w)))))) (cbrt.f64 (*.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (cbrt.f64 (exp.f64 (neg.f64 w)))))) (*.f64 (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (cbrt.f64 (exp.f64 (neg.f64 w)))) (cbrt.f64 (exp.f64 (neg.f64 w))))) (pow.f64 l (exp.f64 w))))
0.4b
(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w))))
14.0b
(fma.f64 w (-.f64 (*.f64 l (log.f64 l)) l) l)
14.0b
(fma.f64 w (-.f64 (*.f64 l (log.f64 l)) l) l)
▶0.3b
(*.f64 (/.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1))) (cbrt.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)))) (cbrt.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)))) (*.f64 (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 (exp.f64 w)) (cbrt.f64 (exp.f64 w)))) (cbrt.f64 (*.f64 (cbrt.f64 (exp.f64 w)) (cbrt.f64 (exp.f64 w))))) (cbrt.f64 (*.f64 (cbrt.f64 (exp.f64 w)) (cbrt.f64 (exp.f64 w)))))) (*.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (pow.f64 l (exp.f64 w))))
0.3b
(*.f64 (cbrt.f64 (pow.f64 (exp.f64 w) -2)) (*.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (pow.f64 l (exp.f64 w))))
14.1b
(-.f64 (+.f64 (fma.f64 1/6 (*.f64 (*.f64 l (pow.f64 w 3)) (+.f64 (log.f64 l) (pow.f64 (log.f64 l) 3))) (fma.f64 (log.f64 l) (*.f64 l w) l)) (*.f64 (*.f64 l (*.f64 w w)) (+.f64 (*.f64 1/2 (pow.f64 (log.f64 l) 2)) 1/2))) (fma.f64 l (*.f64 (pow.f64 w 3) 1/6) (*.f64 l (+.f64 w (*.f64 (log.f64 (sqrt.f64 l)) (*.f64 w w))))))
0.3b
(*.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (cbrt.f64 (exp.f64 (neg.f64 w))))) (cbrt.f64 (*.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (cbrt.f64 (exp.f64 (neg.f64 w)))))) (cbrt.f64 (*.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (cbrt.f64 (exp.f64 (neg.f64 w)))))) (*.f64 (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (cbrt.f64 (exp.f64 (neg.f64 w)))) (cbrt.f64 (exp.f64 (neg.f64 w))))) (pow.f64 l (exp.f64 w))))
0.4b
(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w))))
1.3b
(*.f64 (*.f64 (cbrt.f64 (/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w))) (cbrt.f64 (/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w)))) (cbrt.f64 (/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w))))
0.3b
(*.f64 (cbrt.f64 (pow.f64 (exp.f64 w) -2)) (*.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (pow.f64 l (exp.f64 w))))
▶0.3b
(*.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (cbrt.f64 (exp.f64 (neg.f64 w))))) (cbrt.f64 (*.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (cbrt.f64 (exp.f64 (neg.f64 w)))))) (cbrt.f64 (*.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (cbrt.f64 (exp.f64 (neg.f64 w)))))) (*.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (pow.f64 l (exp.f64 w))))
14.1b
(-.f64 (+.f64 (fma.f64 1/6 (*.f64 (*.f64 l (pow.f64 w 3)) (+.f64 (log.f64 l) (pow.f64 (log.f64 l) 3))) (fma.f64 (log.f64 l) (*.f64 l w) l)) (*.f64 (*.f64 l (*.f64 w w)) (+.f64 (*.f64 1/2 (pow.f64 (log.f64 l) 2)) 1/2))) (fma.f64 l (*.f64 (pow.f64 w 3) 1/6) (*.f64 l (+.f64 w (*.f64 (log.f64 (sqrt.f64 l)) (*.f64 w w))))))
0.4b
(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w))))
14.0b
(fma.f64 w (-.f64 (*.f64 l (log.f64 l)) l) l)
1.3b
(*.f64 (*.f64 (cbrt.f64 (/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w))) (cbrt.f64 (/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w)))) (cbrt.f64 (/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w))))
14.1b
(-.f64 (+.f64 (fma.f64 1/6 (*.f64 (*.f64 l (pow.f64 w 3)) (+.f64 (log.f64 l) (pow.f64 (log.f64 l) 3))) (fma.f64 (log.f64 l) (*.f64 l w) l)) (*.f64 (*.f64 l (*.f64 w w)) (+.f64 (*.f64 1/2 (pow.f64 (log.f64 l) 2)) 1/2))) (fma.f64 l (*.f64 (pow.f64 w 3) 1/6) (*.f64 l (+.f64 w (*.f64 (log.f64 (sqrt.f64 l)) (*.f64 w w))))))
0.7b
(*.f64 (*.f64 (sqrt.f64 (exp.f64 (neg.f64 w))) (pow.f64 (sqrt.f64 l) (exp.f64 w))) (*.f64 (sqrt.f64 (exp.f64 (neg.f64 w))) (pow.f64 (sqrt.f64 l) (exp.f64 w))))
0.4b
(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w))))
14.0b
(fma.f64 w (-.f64 (*.f64 l (log.f64 l)) l) l)
▶0.3b
(*.f64 (*.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (cbrt.f64 (exp.f64 (neg.f64 w)))) (*.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (pow.f64 l (exp.f64 w))))
0.3b
(/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w))
▶0.3b
(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 l (exp.f64 w)))
60.3b
(/.f64 (exp.f64 (*.f64 (*.f64 (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))) (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))) (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))))) (exp.f64 x))
60.3b
(/.f64 (exp.f64 (cbrt.f64 (*.f64 (*.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))) (log.f64 (+.f64 (log.f64 (sqrt.f64 (exp.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))) (log.f64 (sqrt.f64 (exp.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))))))) (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))))) (exp.f64 x))
60.4b
(/.f64 (exp.f64 (cbrt.f64 (*.f64 (*.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))) (log.f64 (+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))) (cbrt.f64 (exp.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))))) (log.f64 (cbrt.f64 (exp.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))))))) (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))))) (exp.f64 x))
60.3b
(/.f64 (exp.f64 (cbrt.f64 (*.f64 (*.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))) (log.f64 (*.f64 (cbrt.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))) (log.f64 (exp.f64 (*.f64 (cbrt.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))) (cbrt.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))))))) (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))))) (exp.f64 x))
✓60.3b
(/.f64 (exp.f64 (cbrt.f64 (*.f64 (*.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))) (log.f64 (log.f64 (exp.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))))) (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))))) (exp.f64 x))
60.3b
(/.f64 (log.f64 (exp.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))) (exp.f64 x))
▶60.3b
(/.f64 (exp.f64 (cbrt.f64 (*.f64 (*.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))) (log.f64 (log.f64 (exp.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))))) (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))))) (exp.f64 x))
60.3b
(/.f64 (pow.f64 (exp.f64 (*.f64 (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))) (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))))) (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))) (exp.f64 x))
60.3b
(/.f64 (exp.f64 (*.f64 (*.f64 (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))) (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))) (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))))) (exp.f64 x))
60.3b
(/.f64 (pow.f64 (exp.f64 (*.f64 (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))) (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))))) (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))) (exp.f64 x))
60.3b
(/.f64 (exp.f64 (*.f64 (*.f64 (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))) (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))) (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))))) (exp.f64 x))
▶60.3b
(/.f64 (exp.f64 (cbrt.f64 (*.f64 (*.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))) (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))) (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))))) (exp.f64 x))
60.3b
(/.f64 (log.f64 (exp.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))) (exp.f64 x))
60.3b
(/.f64 (cbrt.f64 (pow.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) 3)) (exp.f64 x))
▶60.3b
(/.f64 (exp.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))) (exp.f64 x))
60.3b
(/.f64 (log.f64 (exp.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))) (exp.f64 x))
▶60.3b
(/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))
21.5b
(/.f64 1 (/.f64 (*.f64 c c) (/.f64 (cos.f64 (*.f64 2 x)) (pow.f64 (fabs.f64 (*.f64 s x)) 2))))
2.1b
(/.f64 (/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (cbrt.f64 (pow.f64 (*.f64 c (fabs.f64 (*.f64 s x))) 2)) (cbrt.f64 (pow.f64 (*.f64 c (fabs.f64 (*.f64 s x))) 2)))) (cbrt.f64 (pow.f64 (*.f64 c (fabs.f64 (*.f64 s x))) 2)))
13.7b
(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 c (*.f64 c (pow.f64 (fabs.f64 (*.f64 s x)) 2))))
1.8b
(/.f64 (log.f64 (exp.f64 (cos.f64 (*.f64 2 x)))) (pow.f64 (*.f64 c (fabs.f64 (*.f64 s x))) 2))
2.1b
(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (*.f64 (cbrt.f64 (pow.f64 (*.f64 c (fabs.f64 (*.f64 s x))) 2)) (cbrt.f64 (pow.f64 (*.f64 c (fabs.f64 (*.f64 s x))) 2))) (cbrt.f64 (pow.f64 (*.f64 c (fabs.f64 (*.f64 s x))) 2))))
3.3b
(/.f64 (cos.f64 (*.f64 2 x)) (pow.f64 (*.f64 (*.f64 c (fabs.f64 s)) (fabs.f64 x)) 2))
28.8b
(/.f64 (/.f64 (cos.f64 (*.f64 2 x)) (pow.f64 c 2)) (*.f64 (*.f64 x (pow.f64 s 2)) x))
21.1b
(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (*.f64 (cbrt.f64 (pow.f64 c 2)) (cbrt.f64 (pow.f64 c 2))) (*.f64 (pow.f64 (fabs.f64 (*.f64 s x)) 2) (cbrt.f64 (*.f64 c c)))))
1.6b
(/.f64 (/.f64 (cos.f64 (*.f64 2 x)) (*.f64 c (fabs.f64 (*.f64 s x)))) (*.f64 c (fabs.f64 (*.f64 s x))))
24.6b
(/.f64 (cos.f64 (*.f64 2 x)) (cbrt.f64 (pow.f64 (*.f64 c (fabs.f64 (*.f64 s x))) 6)))
21.7b
(*.f64 (/.f64 (*.f64 (cbrt.f64 (cos.f64 (*.f64 2 x))) (cbrt.f64 (cos.f64 (*.f64 2 x)))) (*.f64 c c)) (/.f64 (cbrt.f64 (cos.f64 (*.f64 2 x))) (pow.f64 (fabs.f64 (*.f64 s x)) 2)))
9.3b
(*.f64 (sqrt.f64 (/.f64 (cos.f64 (*.f64 2 x)) (pow.f64 (*.f64 c (fabs.f64 (*.f64 s x))) 2))) (sqrt.f64 (/.f64 (cos.f64 (*.f64 2 x)) (pow.f64 (*.f64 c (fabs.f64 (*.f64 s x))) 2))))
2.2b
(*.f64 (*.f64 (cbrt.f64 (/.f64 (cos.f64 (*.f64 2 x)) (pow.f64 (*.f64 c (fabs.f64 (*.f64 s x))) 2))) (cbrt.f64 (/.f64 (cos.f64 (*.f64 2 x)) (pow.f64 (*.f64 c (fabs.f64 (*.f64 s x))) 2)))) (cbrt.f64 (/.f64 (cos.f64 (*.f64 2 x)) (pow.f64 (*.f64 c (fabs.f64 (*.f64 s x))) 2))))
1.7b
(-.f64 (/.f64 (*.f64 (cos.f64 x) (cos.f64 x)) (pow.f64 (*.f64 c (fabs.f64 (*.f64 s x))) 2)) (/.f64 (*.f64 (sin.f64 x) (sin.f64 x)) (pow.f64 (*.f64 (*.f64 c (sqrt.f64 (fabs.f64 (*.f64 s x)))) (sqrt.f64 (fabs.f64 (*.f64 s x)))) 2)))
21.5b
(/.f64 1 (/.f64 (*.f64 c c) (/.f64 (cos.f64 (*.f64 2 x)) (pow.f64 (fabs.f64 (*.f64 s x)) 2))))
2.1b
(/.f64 (/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (cbrt.f64 (pow.f64 (*.f64 c (fabs.f64 (*.f64 s x))) 2)) (cbrt.f64 (pow.f64 (*.f64 c (fabs.f64 (*.f64 s x))) 2)))) (cbrt.f64 (pow.f64 (*.f64 c (fabs.f64 (*.f64 s x))) 2)))
13.7b
(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 c (*.f64 c (pow.f64 (fabs.f64 (*.f64 s x)) 2))))
1.8b
(/.f64 (log.f64 (exp.f64 (cos.f64 (*.f64 2 x)))) (pow.f64 (*.f64 c (fabs.f64 (*.f64 s x))) 2))
2.1b
(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (*.f64 (cbrt.f64 (pow.f64 (*.f64 c (fabs.f64 (*.f64 s x))) 2)) (cbrt.f64 (pow.f64 (*.f64 c (fabs.f64 (*.f64 s x))) 2))) (cbrt.f64 (pow.f64 (*.f64 c (fabs.f64 (*.f64 s x))) 2))))
▶1.6b
(-.f64 (/.f64 (*.f64 (cos.f64 x) (cos.f64 x)) (pow.f64 (*.f64 c (fabs.f64 (*.f64 s x))) 2)) (/.f64 (*.f64 (sin.f64 x) (sin.f64 x)) (pow.f64 (*.f64 c (fabs.f64 (*.f64 s x))) 2)))
3.3b
(/.f64 (cos.f64 (*.f64 2 x)) (pow.f64 (*.f64 (*.f64 c (fabs.f64 s)) (fabs.f64 x)) 2))
28.8b
(/.f64 (/.f64 (cos.f64 (*.f64 2 x)) (pow.f64 c 2)) (*.f64 (*.f64 x (pow.f64 s 2)) x))
2.2b
(*.f64 (*.f64 (cbrt.f64 (/.f64 (cos.f64 (*.f64 2 x)) (pow.f64 (*.f64 c (fabs.f64 (*.f64 s x))) 2))) (cbrt.f64 (/.f64 (cos.f64 (*.f64 2 x)) (pow.f64 (*.f64 c (fabs.f64 (*.f64 s x))) 2)))) (cbrt.f64 (/.f64 (cos.f64 (*.f64 2 x)) (pow.f64 (*.f64 c (fabs.f64 (*.f64 s x))) 2))))
2.0b
(/.f64 (cos.f64 (*.f64 2 x)) (pow.f64 (*.f64 (*.f64 c (sqrt.f64 (fabs.f64 (*.f64 s x)))) (sqrt.f64 (fabs.f64 (*.f64 s x)))) 2))
21.1b
(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (*.f64 (cbrt.f64 (pow.f64 c 2)) (cbrt.f64 (pow.f64 c 2))) (*.f64 (pow.f64 (fabs.f64 (*.f64 s x)) 2) (cbrt.f64 (*.f64 c c)))))
1.6b
(/.f64 (/.f64 (cos.f64 (*.f64 2 x)) (*.f64 c (fabs.f64 (*.f64 s x)))) (*.f64 c (fabs.f64 (*.f64 s x))))
24.6b
(/.f64 (cos.f64 (*.f64 2 x)) (cbrt.f64 (pow.f64 (*.f64 c (fabs.f64 (*.f64 s x))) 6)))
21.7b
(*.f64 (/.f64 (*.f64 (cbrt.f64 (cos.f64 (*.f64 2 x))) (cbrt.f64 (cos.f64 (*.f64 2 x)))) (*.f64 c c)) (/.f64 (cbrt.f64 (cos.f64 (*.f64 2 x))) (pow.f64 (fabs.f64 (*.f64 s x)) 2)))
9.3b
(*.f64 (sqrt.f64 (/.f64 (cos.f64 (*.f64 2 x)) (pow.f64 (*.f64 c (fabs.f64 (*.f64 s x))) 2))) (sqrt.f64 (/.f64 (cos.f64 (*.f64 2 x)) (pow.f64 (*.f64 c (fabs.f64 (*.f64 s x))) 2))))
25.3b
(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (*.f64 (pow.f64 c 2) (*.f64 x (pow.f64 s 2))) x))
6.8b
(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (*.f64 c (*.f64 c (fabs.f64 (*.f64 s x)))) (fabs.f64 (*.f64 s x))))
21.1b
(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (*.f64 (cbrt.f64 (pow.f64 c 2)) (cbrt.f64 (pow.f64 c 2))) (*.f64 (pow.f64 (fabs.f64 (*.f64 s x)) 2) (cbrt.f64 (*.f64 c c)))))
22.7b
(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (pow.f64 c 2) (*.f64 (fabs.f64 s) (*.f64 (fabs.f64 x) (fabs.f64 (*.f64 s x))))))
▶1.8b
(/.f64 (cos.f64 (*.f64 2 x)) (pow.f64 (*.f64 c (fabs.f64 (*.f64 s x))) 2))
15.9b
(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (*.f64 (pow.f64 c 2) (fabs.f64 (*.f64 s x))) (fabs.f64 (*.f64 s x))))
21.5b
(/.f64 1 (/.f64 (*.f64 c c) (/.f64 (cos.f64 (*.f64 2 x)) (pow.f64 (fabs.f64 (*.f64 s x)) 2))))
30.2b
(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 s s) (*.f64 (*.f64 c c) (*.f64 x x)))) (cbrt.f64 (*.f64 (*.f64 s s) (*.f64 (*.f64 c c) (*.f64 x x))))) (cbrt.f64 (*.f64 (*.f64 s s) (*.f64 (*.f64 c c) (*.f64 x x))))))
13.7b
(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 c (*.f64 c (pow.f64 (fabs.f64 (*.f64 s x)) 2))))
21.0b
(/.f64 (cbrt.f64 (*.f64 (*.f64 (cos.f64 (*.f64 2 x)) (cos.f64 (*.f64 2 x))) (cos.f64 (*.f64 2 x)))) (*.f64 (pow.f64 c 2) (*.f64 (fabs.f64 (*.f64 s x)) (fabs.f64 (*.f64 s x)))))
21.7b
(*.f64 (/.f64 (*.f64 (cbrt.f64 (cos.f64 (*.f64 2 x))) (cbrt.f64 (cos.f64 (*.f64 2 x)))) (*.f64 c c)) (/.f64 (cbrt.f64 (cos.f64 (*.f64 2 x))) (pow.f64 (fabs.f64 (*.f64 s x)) 2)))
28.8b
(/.f64 (/.f64 (cos.f64 (*.f64 2 x)) (pow.f64 c 2)) (*.f64 (*.f64 x (pow.f64 s 2)) x))
50.8b
(exp.f64 (fma.f64 -2 (log.f64 (*.f64 c (fabs.f64 (*.f64 s x)))) (log.f64 (cos.f64 (*.f64 2 x)))))
28.6b
(/.f64 1 (/.f64 (*.f64 (pow.f64 c 2) (*.f64 (*.f64 x (pow.f64 s 2)) x)) (cos.f64 (*.f64 2 x))))
25.3b
(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (*.f64 (pow.f64 c 2) (*.f64 x (pow.f64 s 2))) x))
31.7b
(*.f64 (/.f64 1 (*.f64 c c)) (/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (*.f64 s s) (*.f64 x x))))
30.2b
(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 s s) (*.f64 (*.f64 c c) (*.f64 x x)))) (cbrt.f64 (*.f64 (*.f64 s s) (*.f64 (*.f64 c c) (*.f64 x x))))) (cbrt.f64 (*.f64 (*.f64 s s) (*.f64 (*.f64 c c) (*.f64 x x))))))
23.2b
(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (pow.f64 c 2) (*.f64 (*.f64 (*.f64 x s) s) x)))
23.0b
(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 c (*.f64 c (*.f64 (*.f64 x (pow.f64 s 2)) x))))
33.1b
(*.f64 (sqrt.f64 (/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (*.f64 s s) (*.f64 (*.f64 c c) (*.f64 x x))))) (sqrt.f64 (/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (*.f64 s s) (*.f64 (*.f64 c c) (*.f64 x x))))))
46.5b
(/.f64 (cos.f64 (*.f64 2 x)) (exp.f64 (+.f64 (log.f64 (pow.f64 c 2)) (+.f64 (+.f64 (log.f64 x) (*.f64 (log.f64 s) 2)) (log.f64 x)))))
34.1b
(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (pow.f64 c 2) (*.f64 (*.f64 (*.f64 s x) (pow.f64 (sqrt.f64 s) 2)) x)))
28.8b
(/.f64 (/.f64 (cos.f64 (*.f64 2 x)) (pow.f64 c 2)) (*.f64 (*.f64 x (pow.f64 s 2)) x))
57.6b
(exp.f64 (-.f64 (log.f64 (cos.f64 (*.f64 2 x))) (+.f64 (*.f64 (log.f64 c) 2) (+.f64 (+.f64 (log.f64 x) (*.f64 (log.f64 s) 2)) (log.f64 x)))))
25.2b
(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (pow.f64 (*.f64 (cbrt.f64 c) (cbrt.f64 c)) 2) (*.f64 (pow.f64 (cbrt.f64 c) 2) (*.f64 (*.f64 x (pow.f64 s 2)) x))))
56.0b
(/.f64 (cos.f64 (*.f64 2 x)) (exp.f64 (+.f64 (*.f64 (log.f64 c) 2) (+.f64 (+.f64 (log.f64 x) (*.f64 (log.f64 s) 2)) (log.f64 x)))))
28.7b
(/.f64 (*.f64 (cbrt.f64 (cos.f64 (*.f64 2 x))) (cbrt.f64 (cos.f64 (*.f64 2 x)))) (/.f64 (*.f64 (pow.f64 c 2) (*.f64 (*.f64 x (pow.f64 s 2)) x)) (cbrt.f64 (cos.f64 (*.f64 2 x)))))
▶20.9b
(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (pow.f64 c 2) (*.f64 (fabs.f64 (*.f64 s x)) (fabs.f64 (*.f64 s x)))))
▶28.6b
(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (pow.f64 c 2) (*.f64 (*.f64 x (pow.f64 s 2)) x)))
0.4b
(/.f64 (*.f64 r (sin.f64 b)) (expm1.f64 (log1p.f64 (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))))
0.4b
(*.f64 (/.f64 (*.f64 (sin.f64 b) r) (*.f64 (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a))) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a))))) (-.f64 (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (*.f64 (sin.f64 b) (sin.f64 a)))) (fma.f64 (neg.f64 (sin.f64 b)) (sin.f64 a) (*.f64 (sin.f64 b) (sin.f64 a)))))
0.3b
(/.f64 (*.f64 r (sin.f64 b)) (+.f64 (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (log1p.f64 (expm1.f64 (*.f64 (sin.f64 b) (sin.f64 a)))))) (fma.f64 (neg.f64 (sin.f64 b)) (sin.f64 a) (*.f64 (sin.f64 b) (sin.f64 a)))))
33.2b
(*.f64 (sqrt.f64 (/.f64 (*.f64 r (sin.f64 b)) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (cbrt.f64 (*.f64 (*.f64 (*.f64 (sin.f64 a) (sin.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))) (*.f64 (sin.f64 a) (sin.f64 b))))))) (sqrt.f64 (/.f64 (*.f64 r (sin.f64 b)) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (cbrt.f64 (*.f64 (*.f64 (*.f64 (sin.f64 a) (sin.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))) (*.f64 (sin.f64 a) (sin.f64 b))))))))
0.3b
(/.f64 (*.f64 r (sin.f64 b)) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (cbrt.f64 (*.f64 (expm1.f64 (log1p.f64 (*.f64 (pow.f64 (sin.f64 b) 2) (pow.f64 (sin.f64 a) 2)))) (*.f64 (sin.f64 a) (sin.f64 b))))))
0.4b
(/.f64 r (/.f64 (+.f64 (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (*.f64 (sin.f64 b) (sin.f64 a)))) (fma.f64 (neg.f64 (sin.f64 b)) (sin.f64 a) (*.f64 (sin.f64 b) (sin.f64 a)))) (sin.f64 b)))
0.4b
(*.f64 (*.f64 r (sin.f64 b)) (/.f64 1 (+.f64 (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (*.f64 (sin.f64 b) (sin.f64 a)))) (fma.f64 (neg.f64 (sin.f64 b)) (sin.f64 a) (*.f64 (sin.f64 b) (sin.f64 a))))))
0.3b
(*.f64 (/.f64 r 1) (/.f64 (sin.f64 b) (+.f64 (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (*.f64 (sin.f64 b) (sin.f64 a)))) (fma.f64 (neg.f64 (sin.f64 b)) (sin.f64 a) (*.f64 (sin.f64 b) (sin.f64 a))))))
0.4b
(/.f64 (*.f64 r (sin.f64 b)) (/.f64 (-.f64 (pow.f64 (*.f64 (cos.f64 a) (cos.f64 b)) 3) (pow.f64 (*.f64 (sin.f64 b) (sin.f64 a)) 3)) (fma.f64 (sin.f64 b) (*.f64 (sin.f64 a) (fma.f64 (sin.f64 b) (sin.f64 a) (*.f64 (cos.f64 a) (cos.f64 b)))) (*.f64 (pow.f64 (cos.f64 a) 2) (pow.f64 (cos.f64 b) 2)))))
14.6b
(/.f64 (*.f64 r (sin.f64 b)) (cbrt.f64 (pow.f64 (cos.f64 (+.f64 b a)) 3)))
36.2b
(cbrt.f64 (*.f64 (*.f64 (/.f64 (*.f64 r (sin.f64 b)) (+.f64 (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (*.f64 (sin.f64 b) (sin.f64 a)))) (fma.f64 (neg.f64 (sin.f64 b)) (sin.f64 a) (*.f64 (sin.f64 b) (sin.f64 a))))) (/.f64 (*.f64 r (sin.f64 b)) (+.f64 (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (*.f64 (sin.f64 b) (sin.f64 a)))) (fma.f64 (neg.f64 (sin.f64 b)) (sin.f64 a) (*.f64 (sin.f64 b) (sin.f64 a)))))) (/.f64 (*.f64 r (sin.f64 b)) (+.f64 (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (*.f64 (sin.f64 b) (sin.f64 a)))) (fma.f64 (neg.f64 (sin.f64 b)) (sin.f64 a) (*.f64 (sin.f64 b) (sin.f64 a)))))))
0.4b
(/.f64 (*.f64 r (sin.f64 b)) (expm1.f64 (log1p.f64 (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))))
0.4b
(*.f64 (/.f64 (*.f64 (sin.f64 b) r) (*.f64 (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a))) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a))))) (-.f64 (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (*.f64 (sin.f64 b) (sin.f64 a)))) (fma.f64 (neg.f64 (sin.f64 b)) (sin.f64 a) (*.f64 (sin.f64 b) (sin.f64 a)))))
▶0.3b
(/.f64 (*.f64 r (sin.f64 b)) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (cbrt.f64 (*.f64 (*.f64 (*.f64 (sin.f64 a) (sin.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))) (*.f64 (sin.f64 a) (sin.f64 b))))))
38.7b
(*.f64 (sqrt.f64 (/.f64 (*.f64 r (sin.f64 b)) (cos.f64 (+.f64 a b)))) (sqrt.f64 (/.f64 (*.f64 r (sin.f64 b)) (cos.f64 (+.f64 a b)))))
0.4b
(/.f64 r (/.f64 (+.f64 (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (*.f64 (sin.f64 b) (sin.f64 a)))) (fma.f64 (neg.f64 (sin.f64 b)) (sin.f64 a) (*.f64 (sin.f64 b) (sin.f64 a)))) (sin.f64 b)))
0.4b
(*.f64 (*.f64 r (sin.f64 b)) (/.f64 1 (+.f64 (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (*.f64 (sin.f64 b) (sin.f64 a)))) (fma.f64 (neg.f64 (sin.f64 b)) (sin.f64 a) (*.f64 (sin.f64 b) (sin.f64 a))))))
0.3b
(/.f64 (*.f64 r (sin.f64 b)) (+.f64 (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (cbrt.f64 (*.f64 (*.f64 (*.f64 (sin.f64 b) (sin.f64 b)) (sin.f64 b)) (*.f64 (*.f64 (sin.f64 a) (sin.f64 a)) (sin.f64 a)))))) (fma.f64 (neg.f64 (sin.f64 b)) (sin.f64 a) (*.f64 (sin.f64 b) (sin.f64 a)))))
0.3b
(*.f64 (/.f64 r 1) (/.f64 (sin.f64 b) (+.f64 (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (*.f64 (sin.f64 b) (sin.f64 a)))) (fma.f64 (neg.f64 (sin.f64 b)) (sin.f64 a) (*.f64 (sin.f64 b) (sin.f64 a))))))
0.4b
(/.f64 (*.f64 r (sin.f64 b)) (/.f64 (-.f64 (pow.f64 (*.f64 (cos.f64 a) (cos.f64 b)) 3) (pow.f64 (*.f64 (sin.f64 b) (sin.f64 a)) 3)) (fma.f64 (sin.f64 b) (*.f64 (sin.f64 a) (fma.f64 (sin.f64 b) (sin.f64 a) (*.f64 (cos.f64 a) (cos.f64 b)))) (*.f64 (pow.f64 (cos.f64 a) 2) (pow.f64 (cos.f64 b) 2)))))
14.6b
(/.f64 (*.f64 r (sin.f64 b)) (cbrt.f64 (pow.f64 (cos.f64 (+.f64 b a)) 3)))
0.3b
(/.f64 (*.f64 r (sin.f64 b)) (+.f64 (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (log1p.f64 (expm1.f64 (*.f64 (sin.f64 b) (sin.f64 a)))))) (fma.f64 (neg.f64 (sin.f64 b)) (sin.f64 a) (*.f64 (sin.f64 b) (sin.f64 a)))))
36.2b
(cbrt.f64 (*.f64 (*.f64 (/.f64 (*.f64 r (sin.f64 b)) (+.f64 (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (*.f64 (sin.f64 b) (sin.f64 a)))) (fma.f64 (neg.f64 (sin.f64 b)) (sin.f64 a) (*.f64 (sin.f64 b) (sin.f64 a))))) (/.f64 (*.f64 r (sin.f64 b)) (+.f64 (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (*.f64 (sin.f64 b) (sin.f64 a)))) (fma.f64 (neg.f64 (sin.f64 b)) (sin.f64 a) (*.f64 (sin.f64 b) (sin.f64 a)))))) (/.f64 (*.f64 r (sin.f64 b)) (+.f64 (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (*.f64 (sin.f64 b) (sin.f64 a)))) (fma.f64 (neg.f64 (sin.f64 b)) (sin.f64 a) (*.f64 (sin.f64 b) (sin.f64 a)))))))
0.3b
(/.f64 (*.f64 r (sin.f64 b)) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (cbrt.f64 (*.f64 (*.f64 (*.f64 (sin.f64 a) (sin.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))) (*.f64 (sin.f64 a) (sin.f64 b))))))
38.7b
(*.f64 (sqrt.f64 (/.f64 (*.f64 r (sin.f64 b)) (cos.f64 (+.f64 a b)))) (sqrt.f64 (/.f64 (*.f64 r (sin.f64 b)) (cos.f64 (+.f64 a b)))))
0.4b
(/.f64 r (-.f64 (/.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (sin.f64 b)) (/.f64 (sin.f64 a) 1)))
0.4b
(/.f64 (*.f64 r (sin.f64 b)) (expm1.f64 (log1p.f64 (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))))
▶0.3b
(/.f64 (*.f64 r (sin.f64 b)) (+.f64 (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (*.f64 (sin.f64 b) (sin.f64 a)))) (fma.f64 (neg.f64 (sin.f64 b)) (sin.f64 a) (*.f64 (sin.f64 b) (sin.f64 a)))))
0.4b
(*.f64 (/.f64 (*.f64 (sin.f64 b) r) (-.f64 (*.f64 (pow.f64 (cos.f64 a) 2) (pow.f64 (cos.f64 b) 2)) (*.f64 (pow.f64 (sin.f64 a) 2) (pow.f64 (sin.f64 b) 2)))) (+.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))
0.4b
(*.f64 (/.f64 (*.f64 r (sin.f64 b)) (-.f64 (pow.f64 (*.f64 (cos.f64 a) (cos.f64 b)) 3) (pow.f64 (*.f64 (sin.f64 a) (sin.f64 b)) 3))) (+.f64 (*.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (cos.f64 a) (cos.f64 b))) (+.f64 (*.f64 (*.f64 (sin.f64 a) (sin.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))) (*.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))))
0.4b
(/.f64 (*.f64 r (sin.f64 b)) (/.f64 (-.f64 (pow.f64 (*.f64 (cos.f64 a) (cos.f64 b)) 3) (pow.f64 (*.f64 (sin.f64 b) (sin.f64 a)) 3)) (fma.f64 (sin.f64 b) (*.f64 (sin.f64 a) (fma.f64 (sin.f64 b) (sin.f64 a) (*.f64 (cos.f64 a) (cos.f64 b)))) (*.f64 (pow.f64 (cos.f64 a) 2) (pow.f64 (cos.f64 b) 2)))))
14.6b
(/.f64 (*.f64 r (sin.f64 b)) (cbrt.f64 (pow.f64 (cos.f64 (+.f64 b a)) 3)))
0.4b
(/.f64 (*.f64 r (sin.f64 b)) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (cbrt.f64 (*.f64 (*.f64 (*.f64 (sin.f64 a) (sin.f64 a)) (sin.f64 a)) (*.f64 (*.f64 (sin.f64 b) (sin.f64 b)) (sin.f64 b))))))
0.7b
(/.f64 1 (/.f64 (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))) (*.f64 r (sin.f64 b))))
37.4b
(/.f64 (*.f64 (sqrt.f64 r) (*.f64 (sqrt.f64 r) (sin.f64 b))) (cos.f64 (+.f64 a b)))
14.6b
(/.f64 r (/.f64 (cos.f64 (+.f64 a b)) (sin.f64 b)))
14.5b
(/.f64 (*.f64 r (sin.f64 b)) (expm1.f64 (log1p.f64 (cos.f64 (+.f64 a b)))))
40.7b
(cbrt.f64 (*.f64 (*.f64 (/.f64 (*.f64 r (sin.f64 b)) (cos.f64 (+.f64 a b))) (/.f64 (*.f64 r (sin.f64 b)) (cos.f64 (+.f64 a b)))) (/.f64 (*.f64 r (sin.f64 b)) (cos.f64 (+.f64 a b)))))
▶0.3b
(/.f64 (*.f64 r (sin.f64 b)) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))
14.5b
(*.f64 r (/.f64 (sin.f64 b) (cos.f64 (+.f64 b a))))
14.6b
(/.f64 (*.f64 r (sin.f64 b)) (cbrt.f64 (pow.f64 (cos.f64 (+.f64 b a)) 3)))
38.7b
(*.f64 (sqrt.f64 (/.f64 (*.f64 r (sin.f64 b)) (cos.f64 (+.f64 a b)))) (sqrt.f64 (/.f64 (*.f64 r (sin.f64 b)) (cos.f64 (+.f64 a b)))))
▶14.5b
(/.f64 (*.f64 r (sin.f64 b)) (cos.f64 (+.f64 a b)))
30.7b
(*.f64 (*.f64 r (sqrt.f64 (/.f64 (sin.f64 b) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a)))))) (sqrt.f64 (/.f64 (sin.f64 b) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (cbrt.f64 (*.f64 (*.f64 (*.f64 (sin.f64 a) (sin.f64 b)) (log.f64 (exp.f64 (*.f64 (sin.f64 a) (sin.f64 b))))) (*.f64 (sin.f64 a) (sin.f64 b))))))))
31.7b
(*.f64 r (exp.f64 (log.f64 (/.f64 (sin.f64 b) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (cbrt.f64 (*.f64 (*.f64 (*.f64 (sin.f64 a) (sin.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))) (*.f64 (sin.f64 a) (sin.f64 b)))))))))
✓0.3b
(*.f64 r (/.f64 (sin.f64 b) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (cbrt.f64 (*.f64 (*.f64 (*.f64 (sin.f64 a) (sin.f64 b)) (log.f64 (exp.f64 (*.f64 (sin.f64 a) (sin.f64 b))))) (*.f64 (sin.f64 a) (sin.f64 b)))))))
0.4b
(*.f64 (*.f64 r (/.f64 (sin.f64 b) (-.f64 (pow.f64 (*.f64 (cos.f64 a) (cos.f64 b)) 3) (pow.f64 (*.f64 (sin.f64 a) (sin.f64 b)) 3)))) (+.f64 (*.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (cos.f64 a) (cos.f64 b))) (+.f64 (*.f64 (*.f64 (sin.f64 a) (sin.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))) (*.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))))
0.5b
(*.f64 (*.f64 r (/.f64 (sin.f64 b) (-.f64 (*.f64 (pow.f64 (cos.f64 a) 2) (pow.f64 (cos.f64 b) 2)) (*.f64 (pow.f64 (sin.f64 a) 2) (pow.f64 (sin.f64 b) 2))))) (+.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))
23.3b
(*.f64 (/.f64 r (sqrt.f64 (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))) (/.f64 (sin.f64 b) (sqrt.f64 (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))))
0.4b
(/.f64 r (-.f64 (/.f64 (cos.f64 a) (/.f64 (sin.f64 b) (cos.f64 b))) (/.f64 (sin.f64 a) 1)))
13.8b
(*.f64 r (cbrt.f64 (*.f64 (*.f64 (/.f64 (sin.f64 b) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))) (/.f64 (sin.f64 b) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))) (/.f64 (sin.f64 b) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))))))
13.8b
(*.f64 r (cbrt.f64 (/.f64 (*.f64 (*.f64 (sin.f64 b) (sin.f64 b)) (sin.f64 b)) (*.f64 (*.f64 (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (cbrt.f64 (*.f64 (*.f64 (*.f64 (sin.f64 a) (sin.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))) (*.f64 (sin.f64 a) (sin.f64 b))))) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (cbrt.f64 (*.f64 (*.f64 (*.f64 (sin.f64 a) (sin.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))) (*.f64 (sin.f64 a) (sin.f64 b)))))) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (cbrt.f64 (*.f64 (*.f64 (*.f64 (sin.f64 a) (sin.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))) (*.f64 (sin.f64 a) (sin.f64 b)))))))))
0.9b
(*.f64 r (/.f64 (/.f64 (sin.f64 b) (*.f64 (cbrt.f64 (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))) (cbrt.f64 (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))))) (cbrt.f64 (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))))
▶0.3b
(*.f64 r (/.f64 (sin.f64 b) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (cbrt.f64 (*.f64 (*.f64 (*.f64 (sin.f64 a) (sin.f64 b)) (log.f64 (exp.f64 (*.f64 (sin.f64 a) (sin.f64 b))))) (*.f64 (sin.f64 a) (sin.f64 b)))))))
0.4b
(*.f64 (*.f64 r (/.f64 (sin.f64 b) (-.f64 (pow.f64 (*.f64 (cos.f64 a) (cos.f64 b)) 3) (pow.f64 (*.f64 (sin.f64 a) (sin.f64 b)) 3)))) (+.f64 (*.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (cos.f64 a) (cos.f64 b))) (+.f64 (*.f64 (*.f64 (sin.f64 a) (sin.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))) (*.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))))
31.7b
(*.f64 r (exp.f64 (log.f64 (/.f64 (sin.f64 b) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (cbrt.f64 (*.f64 (*.f64 (*.f64 (sin.f64 a) (sin.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))) (*.f64 (sin.f64 a) (sin.f64 b)))))))))
0.5b
(*.f64 (*.f64 r (/.f64 (sin.f64 b) (-.f64 (*.f64 (pow.f64 (cos.f64 a) 2) (pow.f64 (cos.f64 b) 2)) (*.f64 (pow.f64 (sin.f64 a) 2) (pow.f64 (sin.f64 b) 2))))) (+.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))
23.3b
(*.f64 (/.f64 r (sqrt.f64 (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))) (/.f64 (sin.f64 b) (sqrt.f64 (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))))
0.4b
(/.f64 r (-.f64 (/.f64 (cos.f64 a) (/.f64 (sin.f64 b) (cos.f64 b))) (/.f64 (sin.f64 a) 1)))
13.8b
(*.f64 r (cbrt.f64 (*.f64 (*.f64 (/.f64 (sin.f64 b) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))) (/.f64 (sin.f64 b) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))) (/.f64 (sin.f64 b) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))))))
1.3b
(*.f64 (*.f64 r (*.f64 (cbrt.f64 (/.f64 (sin.f64 b) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))) (cbrt.f64 (/.f64 (sin.f64 b) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))))) (cbrt.f64 (/.f64 (sin.f64 b) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))))
13.8b
(*.f64 r (cbrt.f64 (/.f64 (*.f64 (*.f64 (sin.f64 b) (sin.f64 b)) (sin.f64 b)) (*.f64 (*.f64 (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (cbrt.f64 (*.f64 (*.f64 (*.f64 (sin.f64 a) (sin.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))) (*.f64 (sin.f64 a) (sin.f64 b))))) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (cbrt.f64 (*.f64 (*.f64 (*.f64 (sin.f64 a) (sin.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))) (*.f64 (sin.f64 a) (sin.f64 b)))))) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (cbrt.f64 (*.f64 (*.f64 (*.f64 (sin.f64 a) (sin.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))) (*.f64 (sin.f64 a) (sin.f64 b)))))))))
0.9b
(*.f64 r (/.f64 (/.f64 (sin.f64 b) (*.f64 (cbrt.f64 (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))) (cbrt.f64 (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))))) (cbrt.f64 (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))))
▶0.3b
(*.f64 r (/.f64 (sin.f64 b) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (cbrt.f64 (*.f64 (*.f64 (*.f64 (sin.f64 a) (sin.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))) (*.f64 (sin.f64 a) (sin.f64 b)))))))
0.4b
(/.f64 r (-.f64 (/.f64 (cos.f64 a) (/.f64 (sin.f64 b) (cos.f64 b))) (/.f64 (sin.f64 a) 1)))
0.3b
(/.f64 (*.f64 (sin.f64 b) r) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))
0.4b
(*.f64 (*.f64 r (/.f64 (sin.f64 b) (-.f64 (pow.f64 (*.f64 (cos.f64 a) (cos.f64 b)) 3) (pow.f64 (*.f64 (sin.f64 a) (sin.f64 b)) 3)))) (+.f64 (*.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (cos.f64 a) (cos.f64 b))) (+.f64 (*.f64 (*.f64 (sin.f64 a) (sin.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))) (*.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))))
0.4b
(*.f64 r (/.f64 (sin.f64 b) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (cbrt.f64 (*.f64 (*.f64 (*.f64 (sin.f64 a) (sin.f64 a)) (sin.f64 a)) (*.f64 (*.f64 (sin.f64 b) (sin.f64 b)) (sin.f64 b)))))))
1.3b
(*.f64 (*.f64 r (*.f64 (cbrt.f64 (/.f64 (sin.f64 b) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))) (cbrt.f64 (/.f64 (sin.f64 b) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))))) (cbrt.f64 (/.f64 (sin.f64 b) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))))
0.5b
(*.f64 (*.f64 r (/.f64 (sin.f64 b) (-.f64 (*.f64 (pow.f64 (cos.f64 a) 2) (pow.f64 (cos.f64 b) 2)) (*.f64 (pow.f64 (sin.f64 a) 2) (pow.f64 (sin.f64 b) 2))))) (+.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))
23.3b
(*.f64 (/.f64 r (sqrt.f64 (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))) (/.f64 (sin.f64 b) (sqrt.f64 (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))))
13.8b
(*.f64 r (cbrt.f64 (*.f64 (*.f64 (/.f64 (sin.f64 b) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))) (/.f64 (sin.f64 b) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))) (/.f64 (sin.f64 b) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))))))
0.9b
(*.f64 r (/.f64 (/.f64 (sin.f64 b) (*.f64 (cbrt.f64 (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))) (cbrt.f64 (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))))) (cbrt.f64 (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))))
15.3b
(*.f64 r (*.f64 (/.f64 (*.f64 (cbrt.f64 (sin.f64 b)) (cbrt.f64 (sin.f64 b))) (*.f64 (cbrt.f64 (cos.f64 (+.f64 a b))) (cbrt.f64 (cos.f64 (+.f64 a b))))) (/.f64 (cbrt.f64 (sin.f64 b)) (cbrt.f64 (cos.f64 (+.f64 a b))))))
14.5b
(/.f64 (*.f64 (sin.f64 b) r) (cos.f64 (+.f64 a b)))
27.9b
(*.f64 r (cbrt.f64 (*.f64 (*.f64 (/.f64 (sin.f64 b) (cos.f64 (+.f64 a b))) (/.f64 (sin.f64 b) (cos.f64 (+.f64 a b)))) (/.f64 (sin.f64 b) (cos.f64 (+.f64 a b))))))
14.7b
(*.f64 r (/.f64 (sin.f64 b) (cbrt.f64 (pow.f64 (cos.f64 (+.f64 b a)) 3))))
14.5b
(*.f64 (*.f64 r (sin.f64 b)) (/.f64 1 (cos.f64 (+.f64 a b))))
▶0.3b
(*.f64 r (/.f64 (sin.f64 b) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))))
29.5b
(*.f64 (/.f64 r (sqrt.f64 (cos.f64 (+.f64 b a)))) (/.f64 (sin.f64 b) (sqrt.f64 (cos.f64 (+.f64 a b)))))
38.7b
(*.f64 (sqrt.f64 (*.f64 r (/.f64 (sin.f64 b) (cos.f64 (+.f64 a b))))) (sqrt.f64 (*.f64 r (/.f64 (sin.f64 b) (cos.f64 (+.f64 a b))))))
▶14.5b
(*.f64 r (/.f64 (sin.f64 b) (cos.f64 (+.f64 a b))))
✓0.1b
(hypot.f64 x x)
41.5b
(cbrt.f64 (*.f64 (*.f64 (*.f64 (sqrt.f64 (hypot.f64 x x)) (sqrt.f64 (hypot.f64 x x))) (sqrt.f64 (hypot.f64 x x))) (*.f64 (hypot.f64 x x) (sqrt.f64 (hypot.f64 x x)))))
✓1.3b
(*.f64 (pow.f64 (cbrt.f64 (hypot.f64 x x)) 2) (cbrt.f64 (hypot.f64 x x)))
✓0.6b
(*.f64 (sqrt.f64 (hypot.f64 x x)) (sqrt.f64 (hypot.f64 x x)))
1.5b
(*.f64 (*.f64 (pow.f64 (cbrt.f64 (hypot.f64 x x)) 2) (cbrt.f64 (pow.f64 (cbrt.f64 (hypot.f64 x x)) 2))) (cbrt.f64 (cbrt.f64 (hypot.f64 x x))))
31.6b
(neg.f64 (*.f64 (sqrt.f64 2) x))
31.3b
(*.f64 (sqrt.f64 2) x)
✓0.1b
(hypot.f64 x x)
41.5b
(cbrt.f64 (*.f64 (*.f64 (*.f64 (sqrt.f64 (hypot.f64 x x)) (sqrt.f64 (hypot.f64 x x))) (sqrt.f64 (hypot.f64 x x))) (*.f64 (hypot.f64 x x) (sqrt.f64 (hypot.f64 x x)))))
▶1.3b
(*.f64 (pow.f64 (cbrt.f64 (hypot.f64 x x)) 2) (cbrt.f64 (hypot.f64 x x)))
31.3b
(*.f64 (sqrt.f64 2) x)
✓0.9b
(*.f64 (sqrt.f64 (hypot.f64 x x)) (*.f64 (cbrt.f64 (hypot.f64 x x)) (cbrt.f64 (sqrt.f64 (hypot.f64 x x)))))
✓0.6b
(*.f64 (sqrt.f64 (hypot.f64 x x)) (sqrt.f64 (hypot.f64 x x)))
31.6b
(neg.f64 (*.f64 (sqrt.f64 2) x))
✓0.1b
(hypot.f64 x x)
1.3b
(*.f64 (pow.f64 (cbrt.f64 (hypot.f64 x x)) 2) (cbrt.f64 (hypot.f64 x x)))
31.3b
(*.f64 (sqrt.f64 2) x)
▶0.9b
(*.f64 (sqrt.f64 (hypot.f64 x x)) (*.f64 (cbrt.f64 (hypot.f64 x x)) (cbrt.f64 (sqrt.f64 (hypot.f64 x x)))))
41.6b
(cbrt.f64 (*.f64 (*.f64 (*.f64 (sqrt.f64 (hypot.f64 x x)) (sqrt.f64 (hypot.f64 x x))) (sqrt.f64 (hypot.f64 x x))) (*.f64 (*.f64 (sqrt.f64 (hypot.f64 x x)) (sqrt.f64 (hypot.f64 x x))) (sqrt.f64 (hypot.f64 x x)))))
✓0.6b
(*.f64 (sqrt.f64 (hypot.f64 x x)) (sqrt.f64 (hypot.f64 x x)))
31.6b
(neg.f64 (*.f64 (sqrt.f64 2) x))
✓0.1b
(hypot.f64 x x)
▶0.6b
(*.f64 (sqrt.f64 (hypot.f64 x x)) (sqrt.f64 (hypot.f64 x x)))
1.3b
(*.f64 (*.f64 (cbrt.f64 (hypot.f64 x x)) (cbrt.f64 (hypot.f64 x x))) (cbrt.f64 (hypot.f64 x x)))
41.5b
(cbrt.f64 (pow.f64 (hypot.f64 x x) 3))
31.6b
(neg.f64 (*.f64 (sqrt.f64 2) x))
31.3b
(*.f64 (sqrt.f64 2) x)
▶0.1b
(hypot.f64 x x)
✓31.2b
(*.f64 (*.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2))) (*.f64 (cbrt.f64 (sqrt.f64 2)) x))
✓31.3b
(*.f64 (sqrt.f64 2) x)
✓32.0b
(sqrt.f64 (*.f64 (*.f64 2 x) x))
31.2b
(*.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 2))) (*.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 2))) (*.f64 (sqrt.f64 (sqrt.f64 2)) x)))
41.5b
(cbrt.f64 (pow.f64 (sqrt.f64 (*.f64 x (*.f64 2 x))) 3))
31.6b
(neg.f64 (*.f64 (sqrt.f64 2) x))
✓31.3b
(*.f64 (sqrt.f64 (sqrt.f64 2)) (*.f64 (sqrt.f64 (sqrt.f64 2)) x))
✓31.2b
(*.f64 (*.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2))) (*.f64 (cbrt.f64 (sqrt.f64 2)) x))
✓31.3b
(*.f64 (sqrt.f64 2) x)
✓32.0b
(sqrt.f64 (*.f64 (*.f64 2 x) x))
41.5b
(cbrt.f64 (pow.f64 (sqrt.f64 (*.f64 x (*.f64 2 x))) 3))
31.6b
(neg.f64 (*.f64 (sqrt.f64 2) x))
▶31.3b
(*.f64 (sqrt.f64 (sqrt.f64 2)) (*.f64 (sqrt.f64 (sqrt.f64 2)) x))
▶31.2b
(*.f64 (*.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2))) (*.f64 (cbrt.f64 (sqrt.f64 2)) x))
✓31.3b
(*.f64 (sqrt.f64 2) x)
✓32.0b
(sqrt.f64 (*.f64 (*.f64 2 x) x))
41.5b
(cbrt.f64 (pow.f64 (sqrt.f64 (*.f64 x (*.f64 2 x))) 3))
31.6b
(neg.f64 (*.f64 (sqrt.f64 2) x))
31.3b
(*.f64 (sqrt.f64 (sqrt.f64 2)) (*.f64 (sqrt.f64 (sqrt.f64 2)) x))
✓32.0b
(sqrt.f64 (*.f64 (*.f64 2 x) x))
32.1b
(*.f64 (sqrt.f64 (*.f64 2 x)) (sqrt.f64 x))
32.2b
(*.f64 (sqrt.f64 (sqrt.f64 (*.f64 (*.f64 2 x) x))) (sqrt.f64 (sqrt.f64 (*.f64 (*.f64 2 x) x))))
41.5b
(cbrt.f64 (pow.f64 (sqrt.f64 (*.f64 x (*.f64 2 x))) 3))
31.6b
(neg.f64 (*.f64 (sqrt.f64 2) x))
▶31.3b
(*.f64 (sqrt.f64 2) x)
▶32.0b
(sqrt.f64 (*.f64 (*.f64 2 x) x))
41.5b
(cbrt.f64 (*.f64 (*.f64 (*.f64 (sqrt.f64 (hypot.f64 x x)) (sqrt.f64 (hypot.f64 x x))) (sqrt.f64 (hypot.f64 x x))) (*.f64 (hypot.f64 x x) (sqrt.f64 (hypot.f64 x x)))))
31.6b
(neg.f64 (*.f64 (sqrt.f64 2) x))
1.3b
(*.f64 (pow.f64 (cbrt.f64 (hypot.f64 x x)) 2) (cbrt.f64 (hypot.f64 x x)))
31.3b
(*.f64 (sqrt.f64 2) x)
✓0.9b
(*.f64 (sqrt.f64 (hypot.f64 x x)) (*.f64 (cbrt.f64 (hypot.f64 x x)) (cbrt.f64 (sqrt.f64 (hypot.f64 x x)))))
✓0.6b
(*.f64 (sqrt.f64 (hypot.f64 x x)) (sqrt.f64 (hypot.f64 x x)))
✓0.1b
(hypot.f64 x x)
41.6b
(cbrt.f64 (*.f64 (*.f64 (*.f64 (sqrt.f64 (hypot.f64 x x)) (sqrt.f64 (hypot.f64 x x))) (sqrt.f64 (hypot.f64 x x))) (*.f64 (*.f64 (sqrt.f64 (hypot.f64 x x)) (sqrt.f64 (hypot.f64 x x))) (sqrt.f64 (hypot.f64 x x)))))
31.6b
(neg.f64 (*.f64 (sqrt.f64 2) x))
1.3b
(*.f64 (pow.f64 (cbrt.f64 (hypot.f64 x x)) 2) (cbrt.f64 (hypot.f64 x x)))
31.3b
(*.f64 (sqrt.f64 2) x)
▶0.9b
(*.f64 (sqrt.f64 (hypot.f64 x x)) (*.f64 (cbrt.f64 (hypot.f64 x x)) (cbrt.f64 (sqrt.f64 (hypot.f64 x x)))))
✓0.6b
(*.f64 (sqrt.f64 (hypot.f64 x x)) (sqrt.f64 (hypot.f64 x x)))
✓0.1b
(hypot.f64 x x)
41.6b
(cbrt.f64 (*.f64 (*.f64 (*.f64 (sqrt.f64 (hypot.f64 x x)) (sqrt.f64 (hypot.f64 x x))) (sqrt.f64 (hypot.f64 x x))) (*.f64 (*.f64 (sqrt.f64 (hypot.f64 x x)) (sqrt.f64 (hypot.f64 x x))) (sqrt.f64 (hypot.f64 x x)))))
31.6b
(neg.f64 (*.f64 (sqrt.f64 2) x))
1.3b
(*.f64 (pow.f64 (cbrt.f64 (hypot.f64 x x)) 2) (cbrt.f64 (hypot.f64 x x)))
31.3b
(*.f64 (sqrt.f64 2) x)
0.9b
(*.f64 (sqrt.f64 (hypot.f64 x x)) (*.f64 (cbrt.f64 (hypot.f64 x x)) (cbrt.f64 (sqrt.f64 (hypot.f64 x x)))))
✓0.6b
(*.f64 (sqrt.f64 (hypot.f64 x x)) (sqrt.f64 (hypot.f64 x x)))
▶0.1b
(hypot.f64 x x)
2.7b
(expm1.f64 (log1p.f64 (hypot.f64 x x)))
31.6b
(neg.f64 (*.f64 (sqrt.f64 2) x))
31.3b
(*.f64 (sqrt.f64 2) x)
53.0b
(sqrt.f64 (cbrt.f64 (*.f64 (*.f64 (*.f64 2 (*.f64 x x)) (*.f64 2 (*.f64 x x))) (*.f64 2 (*.f64 x x)))))
▶0.6b
(*.f64 (sqrt.f64 (hypot.f64 x x)) (sqrt.f64 (hypot.f64 x x)))
✓32.0b
(sqrt.f64 (*.f64 2 (*.f64 x x)))
1.3b
(*.f64 (*.f64 (cbrt.f64 (hypot.f64 x x)) (cbrt.f64 (hypot.f64 x x))) (cbrt.f64 (hypot.f64 x x)))
▶32.0b
(sqrt.f64 (*.f64 2 (*.f64 x x)))
41.5b
(cbrt.f64 (*.f64 (*.f64 (*.f64 (sqrt.f64 (hypot.f64 x x)) (sqrt.f64 (hypot.f64 x x))) (sqrt.f64 (hypot.f64 x x))) (*.f64 (hypot.f64 x x) (sqrt.f64 (hypot.f64 x x)))))
✓0.9b
(*.f64 (sqrt.f64 (hypot.f64 x x)) (*.f64 (cbrt.f64 (hypot.f64 x x)) (cbrt.f64 (sqrt.f64 (hypot.f64 x x)))))
31.3b
(*.f64 (sqrt.f64 2) x)
✓0.6b
(*.f64 (sqrt.f64 (hypot.f64 x x)) (sqrt.f64 (hypot.f64 x x)))
✓0.1b
(hypot.f64 x x)
1.3b
(*.f64 (pow.f64 (cbrt.f64 (hypot.f64 x x)) 2) (cbrt.f64 (hypot.f64 x x)))
31.6b
(neg.f64 (*.f64 (sqrt.f64 2) x))
▶0.9b
(*.f64 (sqrt.f64 (hypot.f64 x x)) (*.f64 (cbrt.f64 (hypot.f64 x x)) (cbrt.f64 (sqrt.f64 (hypot.f64 x x)))))
31.3b
(*.f64 (sqrt.f64 2) x)
✓0.6b
(*.f64 (sqrt.f64 (hypot.f64 x x)) (sqrt.f64 (hypot.f64 x x)))
✓0.1b
(hypot.f64 x x)
41.6b
(cbrt.f64 (*.f64 (*.f64 (*.f64 (sqrt.f64 (hypot.f64 x x)) (sqrt.f64 (hypot.f64 x x))) (sqrt.f64 (hypot.f64 x x))) (*.f64 (*.f64 (sqrt.f64 (hypot.f64 x x)) (sqrt.f64 (hypot.f64 x x))) (sqrt.f64 (hypot.f64 x x)))))
1.3b
(*.f64 (pow.f64 (cbrt.f64 (hypot.f64 x x)) 2) (cbrt.f64 (hypot.f64 x x)))
31.6b
(neg.f64 (*.f64 (sqrt.f64 2) x))
0.9b
(*.f64 (sqrt.f64 (hypot.f64 x x)) (*.f64 (cbrt.f64 (hypot.f64 x x)) (cbrt.f64 (sqrt.f64 (hypot.f64 x x)))))
31.3b
(*.f64 (sqrt.f64 2) x)
✓0.6b
(*.f64 (sqrt.f64 (hypot.f64 x x)) (sqrt.f64 (hypot.f64 x x)))
▶0.1b
(hypot.f64 x x)
41.6b
(cbrt.f64 (*.f64 (*.f64 (*.f64 (sqrt.f64 (hypot.f64 x x)) (sqrt.f64 (hypot.f64 x x))) (sqrt.f64 (hypot.f64 x x))) (*.f64 (*.f64 (sqrt.f64 (hypot.f64 x x)) (sqrt.f64 (hypot.f64 x x))) (sqrt.f64 (hypot.f64 x x)))))
1.3b
(*.f64 (pow.f64 (cbrt.f64 (hypot.f64 x x)) 2) (cbrt.f64 (hypot.f64 x x)))
31.6b
(neg.f64 (*.f64 (sqrt.f64 2) x))
✓32.0b
(sqrt.f64 (*.f64 2 (pow.f64 x 2)))
53.0b
(sqrt.f64 (cbrt.f64 (*.f64 (*.f64 (*.f64 2 (pow.f64 x 2)) (*.f64 2 (pow.f64 x 2))) (*.f64 2 (pow.f64 x 2)))))
2.7b
(expm1.f64 (log1p.f64 (hypot.f64 x x)))
31.3b
(*.f64 (sqrt.f64 2) x)
▶0.6b
(*.f64 (sqrt.f64 (hypot.f64 x x)) (sqrt.f64 (hypot.f64 x x)))
1.3b
(*.f64 (*.f64 (cbrt.f64 (hypot.f64 x x)) (cbrt.f64 (hypot.f64 x x))) (cbrt.f64 (hypot.f64 x x)))
31.6b
(neg.f64 (*.f64 (sqrt.f64 2) x))
▶32.0b
(sqrt.f64 (*.f64 2 (pow.f64 x 2)))
✓0.1b
(hypot.f64 x x)
✓0.6b
(*.f64 (sqrt.f64 (hypot.f64 x x)) (sqrt.f64 (hypot.f64 x x)))
31.6b
(neg.f64 (*.f64 (sqrt.f64 2) x))
31.3b
(*.f64 (sqrt.f64 2) x)
1.5b
(*.f64 (*.f64 (pow.f64 (cbrt.f64 (hypot.f64 x x)) 2) (cbrt.f64 (pow.f64 (cbrt.f64 (hypot.f64 x x)) 2))) (cbrt.f64 (cbrt.f64 (hypot.f64 x x))))
✓1.3b
(*.f64 (pow.f64 (cbrt.f64 (hypot.f64 x x)) 2) (cbrt.f64 (hypot.f64 x x)))
41.5b
(cbrt.f64 (*.f64 (*.f64 (*.f64 (sqrt.f64 (hypot.f64 x x)) (sqrt.f64 (hypot.f64 x x))) (sqrt.f64 (hypot.f64 x x))) (*.f64 (hypot.f64 x x) (sqrt.f64 (hypot.f64 x x)))))
✓0.9b
(*.f64 (sqrt.f64 (hypot.f64 x x)) (*.f64 (cbrt.f64 (hypot.f64 x x)) (cbrt.f64 (sqrt.f64 (hypot.f64 x x)))))
31.3b
(*.f64 (sqrt.f64 2) x)
✓0.1b
(hypot.f64 x x)
✓0.6b
(*.f64 (sqrt.f64 (hypot.f64 x x)) (sqrt.f64 (hypot.f64 x x)))
31.6b
(neg.f64 (*.f64 (sqrt.f64 2) x))
▶1.3b
(*.f64 (pow.f64 (cbrt.f64 (hypot.f64 x x)) 2) (cbrt.f64 (hypot.f64 x x)))
41.5b
(cbrt.f64 (*.f64 (*.f64 (*.f64 (sqrt.f64 (hypot.f64 x x)) (sqrt.f64 (hypot.f64 x x))) (sqrt.f64 (hypot.f64 x x))) (*.f64 (hypot.f64 x x) (sqrt.f64 (hypot.f64 x x)))))
▶0.9b
(*.f64 (sqrt.f64 (hypot.f64 x x)) (*.f64 (cbrt.f64 (hypot.f64 x x)) (cbrt.f64 (sqrt.f64 (hypot.f64 x x)))))
31.3b
(*.f64 (sqrt.f64 2) x)
✓0.1b
(hypot.f64 x x)
✓0.6b
(*.f64 (sqrt.f64 (hypot.f64 x x)) (sqrt.f64 (hypot.f64 x x)))
31.6b
(neg.f64 (*.f64 (sqrt.f64 2) x))
41.6b
(cbrt.f64 (*.f64 (*.f64 (*.f64 (sqrt.f64 (hypot.f64 x x)) (sqrt.f64 (hypot.f64 x x))) (sqrt.f64 (hypot.f64 x x))) (*.f64 (*.f64 (sqrt.f64 (hypot.f64 x x)) (sqrt.f64 (hypot.f64 x x))) (sqrt.f64 (hypot.f64 x x)))))
1.3b
(*.f64 (pow.f64 (cbrt.f64 (hypot.f64 x x)) 2) (cbrt.f64 (hypot.f64 x x)))
✓0.1b
(hypot.f64 x x)
▶0.6b
(*.f64 (sqrt.f64 (hypot.f64 x x)) (sqrt.f64 (hypot.f64 x x)))
31.6b
(neg.f64 (*.f64 (sqrt.f64 2) x))
31.3b
(*.f64 (sqrt.f64 2) x)
1.3b
(*.f64 (*.f64 (cbrt.f64 (hypot.f64 x x)) (cbrt.f64 (hypot.f64 x x))) (cbrt.f64 (hypot.f64 x x)))
41.5b
(cbrt.f64 (pow.f64 (hypot.f64 x x) 3))
▶0.1b
(hypot.f64 x x)
0.2b
(+.f64 x (*.f64 (/.f64 (fma.f64 (cos.f64 a) (+.f64 (tan.f64 y) (tan.f64 z)) (*.f64 (sin.f64 a) (+.f64 (*.f64 (tan.f64 y) (tan.f64 z)) -1))) (*.f64 (cos.f64 a) (-.f64 (pow.f64 1 3) (pow.f64 (/.f64 (*.f64 (sin.f64 y) (sin.f64 z)) (*.f64 (cos.f64 y) (cos.f64 z))) 3)))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 (/.f64 (*.f64 (sin.f64 y) (sin.f64 z)) (*.f64 (cos.f64 y) (cos.f64 z))) (/.f64 (*.f64 (sin.f64 y) (sin.f64 z)) (*.f64 (cos.f64 y) (cos.f64 z)))) (*.f64 1 (/.f64 (*.f64 (sin.f64 y) (sin.f64 z)) (*.f64 (cos.f64 y) (cos.f64 z))))))))
0.5b
(+.f64 x (*.f64 (*.f64 (cbrt.f64 (/.f64 (fma.f64 (cos.f64 a) (+.f64 (tan.f64 y) (tan.f64 z)) (*.f64 (sin.f64 a) (+.f64 (*.f64 (tan.f64 y) (tan.f64 z)) -1))) (*.f64 (cos.f64 a) (-.f64 1 (/.f64 (*.f64 (sin.f64 y) (sin.f64 z)) (*.f64 (cos.f64 y) (cos.f64 z))))))) (cbrt.f64 (/.f64 (fma.f64 (cos.f64 a) (+.f64 (tan.f64 y) (tan.f64 z)) (*.f64 (sin.f64 a) (+.f64 (*.f64 (tan.f64 y) (tan.f64 z)) -1))) (*.f64 (cos.f64 a) (-.f64 1 (/.f64 (*.f64 (sin.f64 y) (sin.f64 z)) (*.f64 (cos.f64 y) (cos.f64 z)))))))) (cbrt.f64 (/.f64 (fma.f64 (cos.f64 a) (+.f64 (tan.f64 y) (tan.f64 z)) (*.f64 (sin.f64 a) (+.f64 (*.f64 (tan.f64 y) (tan.f64 z)) -1))) (*.f64 (cos.f64 a) (-.f64 1 (/.f64 (*.f64 (sin.f64 y) (sin.f64 z)) (*.f64 (cos.f64 y) (cos.f64 z)))))))))
0.3b
(+.f64 (+.f64 (fma.f64 (/.f64 (sin.f64 a) (cos.f64 a)) (*.f64 (/.f64 (sin.f64 y) (*.f64 (cos.f64 y) (-.f64 1 (/.f64 (*.f64 (sin.f64 z) (sin.f64 y)) (*.f64 (cos.f64 z) (cos.f64 y)))))) (/.f64 (sin.f64 z) (cos.f64 z))) (/.f64 (sin.f64 z) (*.f64 (cos.f64 z) (-.f64 1 (/.f64 (*.f64 (sin.f64 z) (sin.f64 y)) (*.f64 (cos.f64 z) (cos.f64 y))))))) x) (-.f64 (/.f64 (sin.f64 y) (*.f64 (cos.f64 y) (-.f64 1 (/.f64 (*.f64 (sin.f64 z) (sin.f64 y)) (*.f64 (cos.f64 z) (cos.f64 y)))))) (/.f64 (sin.f64 a) (*.f64 (-.f64 1 (/.f64 (*.f64 (sin.f64 z) (sin.f64 y)) (*.f64 (cos.f64 z) (cos.f64 y)))) (cos.f64 a)))))
12.0b
(/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)) 3)) (+.f64 (*.f64 x x) (-.f64 (*.f64 (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)) (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a))) (*.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a))))))
11.8b
(+.f64 (+.f64 x (tan.f64 (+.f64 y z))) (*.f64 (neg.f64 (*.f64 (cbrt.f64 (tan.f64 a)) (cbrt.f64 (tan.f64 a)))) (cbrt.f64 (tan.f64 a))))
11.8b
(log.f64 (*.f64 (exp.f64 x) (/.f64 (exp.f64 (tan.f64 (+.f64 y z))) (exp.f64 (tan.f64 a)))))
✓0.2b
(+.f64 x (/.f64 (/.f64 (fma.f64 (cos.f64 a) (+.f64 (tan.f64 y) (tan.f64 z)) (*.f64 (sin.f64 a) (fma.f64 (tan.f64 y) (tan.f64 z) -1))) (cos.f64 a)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))))
12.6b
(fma.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x) (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))
11.9b
(/.f64 (fma.f64 x x (*.f64 (-.f64 (tan.f64 (+.f64 z y)) (tan.f64 a)) (-.f64 (tan.f64 a) (tan.f64 (+.f64 z y))))) (-.f64 x (-.f64 (tan.f64 (+.f64 z y)) (tan.f64 a))))
12.1b
(cbrt.f64 (*.f64 (*.f64 (+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a))) (+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))) (+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))))
0.2b
(+.f64 x (*.f64 (/.f64 (fma.f64 (cos.f64 a) (+.f64 (tan.f64 y) (tan.f64 z)) (*.f64 (sin.f64 a) (+.f64 (*.f64 (tan.f64 y) (tan.f64 z)) -1))) (*.f64 (cos.f64 a) (-.f64 (pow.f64 1 3) (pow.f64 (/.f64 (*.f64 (sin.f64 y) (sin.f64 z)) (*.f64 (cos.f64 y) (cos.f64 z))) 3)))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 (/.f64 (*.f64 (sin.f64 y) (sin.f64 z)) (*.f64 (cos.f64 y) (cos.f64 z))) (/.f64 (*.f64 (sin.f64 y) (sin.f64 z)) (*.f64 (cos.f64 y) (cos.f64 z)))) (*.f64 1 (/.f64 (*.f64 (sin.f64 y) (sin.f64 z)) (*.f64 (cos.f64 y) (cos.f64 z))))))))
0.5b
(+.f64 x (*.f64 (*.f64 (cbrt.f64 (/.f64 (fma.f64 (cos.f64 a) (+.f64 (tan.f64 y) (tan.f64 z)) (*.f64 (sin.f64 a) (+.f64 (*.f64 (tan.f64 y) (tan.f64 z)) -1))) (*.f64 (cos.f64 a) (-.f64 1 (/.f64 (*.f64 (sin.f64 y) (sin.f64 z)) (*.f64 (cos.f64 y) (cos.f64 z))))))) (cbrt.f64 (/.f64 (fma.f64 (cos.f64 a) (+.f64 (tan.f64 y) (tan.f64 z)) (*.f64 (sin.f64 a) (+.f64 (*.f64 (tan.f64 y) (tan.f64 z)) -1))) (*.f64 (cos.f64 a) (-.f64 1 (/.f64 (*.f64 (sin.f64 y) (sin.f64 z)) (*.f64 (cos.f64 y) (cos.f64 z)))))))) (cbrt.f64 (/.f64 (fma.f64 (cos.f64 a) (+.f64 (tan.f64 y) (tan.f64 z)) (*.f64 (sin.f64 a) (+.f64 (*.f64 (tan.f64 y) (tan.f64 z)) -1))) (*.f64 (cos.f64 a) (-.f64 1 (/.f64 (*.f64 (sin.f64 y) (sin.f64 z)) (*.f64 (cos.f64 y) (cos.f64 z)))))))))
0.3b
(+.f64 (+.f64 (fma.f64 (/.f64 (sin.f64 a) (cos.f64 a)) (*.f64 (/.f64 (sin.f64 y) (*.f64 (cos.f64 y) (-.f64 1 (/.f64 (*.f64 (sin.f64 z) (sin.f64 y)) (*.f64 (cos.f64 z) (cos.f64 y)))))) (/.f64 (sin.f64 z) (cos.f64 z))) (/.f64 (sin.f64 z) (*.f64 (cos.f64 z) (-.f64 1 (/.f64 (*.f64 (sin.f64 z) (sin.f64 y)) (*.f64 (cos.f64 z) (cos.f64 y))))))) x) (-.f64 (/.f64 (sin.f64 y) (*.f64 (cos.f64 y) (-.f64 1 (/.f64 (*.f64 (sin.f64 z) (sin.f64 y)) (*.f64 (cos.f64 z) (cos.f64 y)))))) (/.f64 (sin.f64 a) (*.f64 (-.f64 1 (/.f64 (*.f64 (sin.f64 z) (sin.f64 y)) (*.f64 (cos.f64 z) (cos.f64 y)))) (cos.f64 a)))))
12.0b
(/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)) 3)) (+.f64 (*.f64 x x) (-.f64 (*.f64 (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)) (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a))) (*.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a))))))
11.8b
(+.f64 (+.f64 x (tan.f64 (+.f64 y z))) (*.f64 (neg.f64 (*.f64 (cbrt.f64 (tan.f64 a)) (cbrt.f64 (tan.f64 a)))) (cbrt.f64 (tan.f64 a))))
11.8b
(log.f64 (*.f64 (exp.f64 x) (/.f64 (exp.f64 (tan.f64 (+.f64 y z))) (exp.f64 (tan.f64 a)))))
▶0.2b
(+.f64 x (/.f64 (/.f64 (fma.f64 (cos.f64 a) (+.f64 (tan.f64 y) (tan.f64 z)) (*.f64 (sin.f64 a) (fma.f64 (tan.f64 y) (tan.f64 z) -1))) (cos.f64 a)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))))
12.6b
(fma.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x) (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))
11.9b
(/.f64 (fma.f64 x x (*.f64 (-.f64 (tan.f64 (+.f64 z y)) (tan.f64 a)) (-.f64 (tan.f64 a) (tan.f64 (+.f64 z y))))) (-.f64 x (-.f64 (tan.f64 (+.f64 z y)) (tan.f64 a))))
12.1b
(cbrt.f64 (*.f64 (*.f64 (+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a))) (+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))) (+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))))
0.2b
(+.f64 x (/.f64 (/.f64 (fma.f64 (cos.f64 a) (+.f64 (tan.f64 y) (tan.f64 z)) (*.f64 (sin.f64 a) (fma.f64 (tan.f64 y) (tan.f64 z) -1))) (cos.f64 a)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))))
▶0.2b
(+.f64 x (/.f64 (fma.f64 (cos.f64 a) (+.f64 (tan.f64 y) (tan.f64 z)) (*.f64 (sin.f64 a) (+.f64 (*.f64 (tan.f64 y) (tan.f64 z)) -1))) (*.f64 (cos.f64 a) (-.f64 1 (/.f64 (*.f64 (sin.f64 y) (sin.f64 z)) (*.f64 (cos.f64 y) (cos.f64 z)))))))
0.2b
(+.f64 x (*.f64 (fma.f64 (cos.f64 a) (+.f64 (tan.f64 y) (tan.f64 z)) (*.f64 (sin.f64 a) (+.f64 (*.f64 (tan.f64 y) (tan.f64 z)) -1))) (/.f64 1 (*.f64 (cos.f64 a) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))))))
12.6b
(fma.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x) (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))
0.3b
(+.f64 (+.f64 (fma.f64 (/.f64 (sin.f64 a) (cos.f64 a)) (*.f64 (/.f64 (sin.f64 y) (*.f64 (cos.f64 y) (-.f64 1 (/.f64 (*.f64 (sin.f64 z) (sin.f64 y)) (*.f64 (cos.f64 z) (cos.f64 y)))))) (/.f64 (sin.f64 z) (cos.f64 z))) (/.f64 (sin.f64 z) (*.f64 (cos.f64 z) (-.f64 1 (/.f64 (*.f64 (sin.f64 z) (sin.f64 y)) (*.f64 (cos.f64 z) (cos.f64 y))))))) x) (-.f64 (/.f64 (sin.f64 y) (*.f64 (cos.f64 y) (-.f64 1 (/.f64 (*.f64 (sin.f64 z) (sin.f64 y)) (*.f64 (cos.f64 z) (cos.f64 y)))))) (/.f64 (sin.f64 a) (*.f64 (-.f64 1 (/.f64 (*.f64 (sin.f64 z) (sin.f64 y)) (*.f64 (cos.f64 z) (cos.f64 y)))) (cos.f64 a)))))
12.0b
(/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)) 3)) (+.f64 (*.f64 x x) (-.f64 (*.f64 (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)) (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a))) (*.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a))))))
11.8b
(+.f64 (+.f64 x (tan.f64 (+.f64 y z))) (*.f64 (neg.f64 (*.f64 (cbrt.f64 (tan.f64 a)) (cbrt.f64 (tan.f64 a)))) (cbrt.f64 (tan.f64 a))))
11.8b
(log.f64 (*.f64 (exp.f64 x) (/.f64 (exp.f64 (tan.f64 (+.f64 y z))) (exp.f64 (tan.f64 a)))))
11.9b
(/.f64 (fma.f64 x x (*.f64 (-.f64 (tan.f64 (+.f64 z y)) (tan.f64 a)) (-.f64 (tan.f64 a) (tan.f64 (+.f64 z y))))) (-.f64 x (-.f64 (tan.f64 (+.f64 z y)) (tan.f64 a))))
12.1b
(cbrt.f64 (*.f64 (*.f64 (+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a))) (+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))) (+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))))
▶0.2b
(+.f64 x (/.f64 (fma.f64 (cos.f64 a) (+.f64 (tan.f64 y) (tan.f64 z)) (*.f64 (sin.f64 a) (+.f64 (*.f64 (tan.f64 y) (tan.f64 z)) -1))) (*.f64 (cos.f64 a) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))))))
11.9b
(/.f64 (fma.f64 x x (*.f64 (-.f64 (tan.f64 (+.f64 z y)) (tan.f64 a)) (-.f64 (tan.f64 a) (tan.f64 (+.f64 z y))))) (-.f64 x (-.f64 (tan.f64 (+.f64 z y)) (tan.f64 a))))
11.8b
(+.f64 (+.f64 x (tan.f64 (+.f64 y z))) (*.f64 (neg.f64 (*.f64 (cbrt.f64 (tan.f64 a)) (cbrt.f64 (tan.f64 a)))) (cbrt.f64 (tan.f64 a))))
11.8b
(log.f64 (*.f64 (exp.f64 x) (/.f64 (exp.f64 (tan.f64 (+.f64 y z))) (exp.f64 (tan.f64 a)))))
0.2b
(+.f64 x (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)))
12.6b
(fma.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x) (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))
12.0b
(/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)) 3)) (+.f64 (*.f64 x x) (-.f64 (*.f64 (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)) (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a))) (*.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a))))))
12.1b
(cbrt.f64 (*.f64 (*.f64 (+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a))) (+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))) (+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))))
▶11.7b
(+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))
✓0b
x
▶0b
x
Compiler

Compiled 289327 to 92890 computations (67.9% saved)

series14.2s (10.2%)

Counts
122 → 2214
Calls

94 calls:

1.1s
(cbrt.f64 (hypot.f64 x x))
1.1s
(cbrt.f64 (sqrt.f64 (hypot.f64 x x)))
951.0ms
(/.f64 (*.f64 r (sin.f64 b)) (+.f64 (fma.f64 (cos.f64 a) (cos.f64 b) (neg.f64 (*.f64 (sin.f64 b) (sin.f64 a)))) (fma.f64 (neg.f64 (sin.f64 b)) (sin.f64 a) (*.f64 (sin.f64 b) (sin.f64 a)))))
651.0ms
(pow.f64 (cbrt.f64 (hypot.f64 x x)) 2)
636.0ms
(*.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (pow.f64 l (exp.f64 w)))

simplify8.6s (6.1%)

Algorithm
72×egg-herbie
Rules
24045×fma-def_binary64
15268×unswap-sqr_binary64
12252×sqr-pow_binary64
12061×*-commutative_binary64
10902×associate-*l*_binary64
Counts
6095 → 6128

rewrite1.7s (1.2%)

Algorithm
46×rewrite-expression-head
Rules
4930×cbrt-div_binary64
2247×frac-times_binary64
1473×exp-diff_binary64
1473×exp-neg_binary64
1473×neg-sub0_binary64
Counts
122 → 3868
Calls

94 calls:

74.0ms
(*.f64 (sqrt.f64 (hypot.f64 x x)) (sqrt.f64 (hypot.f64 x x)))
35.0ms
(*.f64 (sqrt.f64 (hypot.f64 x x)) (*.f64 (cbrt.f64 (hypot.f64 x x)) (cbrt.f64 (sqrt.f64 (hypot.f64 x x)))))
33.0ms
(cbrt.f64 (*.f64 (*.f64 (*.f64 (sin.f64 a) (sin.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))) (*.f64 (sin.f64 a) (sin.f64 b))))
32.0ms
(*.f64 (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (cbrt.f64 (exp.f64 (neg.f64 w))))) (cbrt.f64 (*.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (cbrt.f64 (exp.f64 (neg.f64 w)))))) (cbrt.f64 (*.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (cbrt.f64 (exp.f64 (neg.f64 w))))))
29.0ms
(*.f64 (cbrt.f64 (hypot.f64 x x)) (cbrt.f64 (sqrt.f64 (hypot.f64 x x))))

localize690.0ms (0.5%)

end32.0ms (0%)

Compiler

Compiled 529 to 281 computations (46.9% saved)

bsearch30.0ms (0%)

Compiler

Compiled 2 to 1 computations (50% saved)

Profiling

Loading profile data...