Details

Time bar (total: 6.9s)

analyze1.2s (17.6%)

Algorithm
search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
0%99.9%0.1%5
0%99.9%0.1%6
6.2%93.7%0.1%7
15.6%84.3%0.1%8
28.1%71.8%0.1%9
30.4%69.5%0.1%10
38.2%61.7%0.1%11
39.6%60.3%0.1%12
43.9%56%0.1%13
44.6%55.3%0.1%14
Compiler

Compiled 16 to 12 computations (25% saved)

sample3.3s (48.2%)

Results
1.2s1183×body2048valid
894.0ms1314×body1024valid
712.0ms4468×body128valid
373.0ms875×body512valid
127.0ms413×body256valid
9.0msbody4096valid
Compiler

Compiled 32 to 24 computations (25% saved)

preprocess20.0ms (0.3%)

Algorithm
egg-herbie
Rules
associate-/r*_binary64
*-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01440
12040
22440
022
Stop Event
saturated
saturated
Calls
Call 1
Inputs
0
1
Outputs
0
1
Call 2
Inputs
(/.f64 (tan.f64 (/.f64 x (*.f64 y 2))) (sin.f64 (/.f64 x (*.f64 y 2))))
(/.f64 (tan.f64 (/.f64 y (*.f64 x 2))) (sin.f64 (/.f64 y (*.f64 x 2))))
Outputs
(/.f64 (tan.f64 (/.f64 x (*.f64 y 2))) (sin.f64 (/.f64 x (*.f64 y 2))))
(/.f64 (tan.f64 (/.f64 (/.f64 x 2) y)) (sin.f64 (/.f64 (/.f64 x 2) y)))
(/.f64 (tan.f64 (/.f64 y (*.f64 x 2))) (sin.f64 (/.f64 y (*.f64 x 2))))
(/.f64 (tan.f64 (/.f64 (/.f64 y x) 2)) (sin.f64 (/.f64 (/.f64 y x) 2)))
Compiler

Compiled 15 to 11 computations (26.7% saved)

simplify8.0ms (0.1%)

Algorithm
egg-herbie
Rules
associate-/r*_binary64
*-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0920
11220
21420
Stop Event
saturated
Counts
1 → 1
Calls
Call 1
Inputs
(/.f64 (tan.f64 (/.f64 x (*.f64 y 2))) (sin.f64 (/.f64 x (*.f64 y 2))))
Outputs
(/.f64 (tan.f64 (/.f64 x (*.f64 y 2))) (sin.f64 (/.f64 x (*.f64 y 2))))

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
32.6b
Counts
2 → 1
Alt Table
StatusErrorProgram
32.6b
(/.f64 (tan.f64 (/.f64 x (*.f64 y 2))) (sin.f64 (/.f64 x (*.f64 y 2))))
Compiler

Compiled 45 to 33 computations (26.7% saved)

localize9.0ms (0.1%)

Local error

Found 3 expressions with local error:

NewErrorProgram
6.9b
(/.f64 (tan.f64 (/.f64 x (*.f64 y 2))) (sin.f64 (/.f64 x (*.f64 y 2))))
25.6b
(sin.f64 (/.f64 x (*.f64 y 2)))
25.8b
(tan.f64 (/.f64 x (*.f64 y 2)))

series15.0ms (0.2%)

Counts
3 → 72
Calls

18 calls:

TimeVariablePointExpression
2.0ms
x
@0
(/.f64 (tan.f64 (/.f64 x (*.f64 y 2))) (sin.f64 (/.f64 x (*.f64 y 2))))
2.0ms
x
@0
(tan.f64 (/.f64 x (*.f64 y 2)))
2.0ms
y
@-inf
(tan.f64 (/.f64 x (*.f64 y 2)))
1.0ms
y
@inf
(tan.f64 (/.f64 x (*.f64 y 2)))
1.0ms
x
@-inf
(tan.f64 (/.f64 x (*.f64 y 2)))

rewrite56.0ms (0.8%)

Algorithm
batch-egg-rewrite
Rules
621×prod-diff_binary64
522×log-prod_binary64
180×expm1-udef_binary64
180×log1p-udef_binary64
151×log-pow_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0938
119338
2262238
Stop Event
node limit
Counts
3 → 87
Calls
Call 1
Inputs
(tan.f64 (/.f64 x (*.f64 y 2)))
(sin.f64 (/.f64 x (*.f64 y 2)))
(/.f64 (tan.f64 (/.f64 x (*.f64 y 2))) (sin.f64 (/.f64 x (*.f64 y 2))))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (tan.f64 (*.f64 (/.f64 x y) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)))) (cbrt.f64 (exp.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)))))) (log.f64 (cbrt.f64 (exp.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (exp.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2))))) (log.f64 (sqrt.f64 (exp.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2)) (/.f64 1 (cos.f64 (*.f64 (/.f64 x y) 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (tan.f64 (*.f64 (/.f64 x y) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2))) (pow.f64 (cbrt.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2))) 2) (cbrt.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2))) (sqrt.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2)) (cos.f64 (*.f64 (/.f64 x y) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (cos.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (cbrt.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2))) 2) (/.f64 (cos.f64 (*.f64 (/.f64 x y) 1/2)) (cbrt.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2))) (/.f64 (cos.f64 (*.f64 (/.f64 x y) 1/2)) (sqrt.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2))) (neg.f64 (cos.f64 (*.f64 (/.f64 x y) 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (tan.f64 (/.f64 x (*.f64 y -2))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2))) 1))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (sin.f64 (*.f64 (/.f64 x y) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2)))) (cbrt.f64 (exp.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2)))))) (log.f64 (cbrt.f64 (exp.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2))))) (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (sin.f64 (exp.f64 (log1p.f64 (*.f64 (/.f64 x y) 1/2)))) (cos.f64 1)) (*.f64 (cos.f64 (exp.f64 (log1p.f64 (*.f64 (/.f64 x y) 1/2)))) (sin.f64 1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (sin.f64 (*.f64 (/.f64 x y) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2))) (pow.f64 (cbrt.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2))) 2) (cbrt.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2))) (sqrt.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (sin.f64 (/.f64 x (*.f64 y -2))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2))) 1))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2))))) (cbrt.f64 (exp.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2))))))) (log.f64 (cbrt.f64 (exp.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (/.f64 1 (sin.f64 (*.f64 (/.f64 x y) 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))) (pow.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))) 2) (cbrt.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2))) 2) (*.f64 (cbrt.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2))) (/.f64 1 (sin.f64 (*.f64 (/.f64 x y) 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))) (sqrt.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2))) (*.f64 (sqrt.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2))) (/.f64 1 (sin.f64 (*.f64 (/.f64 x y) 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2))) (/.f64 1 (neg.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (sin.f64 (*.f64 (/.f64 x y) 1/2))) (tan.f64 (*.f64 (/.f64 x y) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2))) 2) 1) (/.f64 (cbrt.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2))) (sin.f64 (*.f64 (/.f64 x y) 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2))) 1) (/.f64 (sqrt.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2))) (sin.f64 (*.f64 (/.f64 x y) 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (pow.f64 (cbrt.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2))) 2)) (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (cbrt.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2))) 2) (pow.f64 (cbrt.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2))) 2)) (cbrt.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2))) (pow.f64 (cbrt.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2))) 2)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2))) (cbrt.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (sqrt.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2)))) (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sqrt.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2))) 2) (sqrt.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2)))) (/.f64 (cbrt.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2))) (sqrt.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2)) (tan.f64 (*.f64 (/.f64 x y) 1/2))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (neg.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 (pow.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) 3) (pow.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))) 1))))))

simplify52.0ms (0.7%)

Algorithm
egg-herbie
Rules
363×associate-/r/_binary64
360×cancel-sign-sub-inv_binary64
359×times-frac_binary64
339×associate-/l/_binary64
215×fma-neg_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0701410
11871392
25441326
326621299
Stop Event
node limit
Counts
159 → 110
Calls
Call 1
Inputs
(*.f64 1/2 (/.f64 x y))
(+.f64 (*.f64 1/2 (/.f64 x y)) (*.f64 1/24 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))
(+.f64 (*.f64 1/2 (/.f64 x y)) (+.f64 (*.f64 1/240 (/.f64 (pow.f64 x 5) (pow.f64 y 5))) (*.f64 1/24 (/.f64 (pow.f64 x 3) (pow.f64 y 3)))))
(+.f64 (*.f64 1/2 (/.f64 x y)) (+.f64 (*.f64 1/240 (/.f64 (pow.f64 x 5) (pow.f64 y 5))) (+.f64 (*.f64 1/24 (/.f64 (pow.f64 x 3) (pow.f64 y 3))) (*.f64 17/40320 (/.f64 (pow.f64 x 7) (pow.f64 y 7))))))
(/.f64 (sin.f64 (*.f64 1/2 (/.f64 x y))) (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 (sin.f64 (*.f64 1/2 (/.f64 x y))) (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 (sin.f64 (*.f64 1/2 (/.f64 x y))) (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 (sin.f64 (*.f64 1/2 (/.f64 x y))) (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 (sin.f64 (*.f64 1/2 (/.f64 x y))) (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 (sin.f64 (*.f64 1/2 (/.f64 x y))) (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 (sin.f64 (*.f64 1/2 (/.f64 x y))) (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 (sin.f64 (*.f64 1/2 (/.f64 x y))) (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 (sin.f64 (*.f64 1/2 (/.f64 x y))) (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 (sin.f64 (*.f64 1/2 (/.f64 x y))) (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 (sin.f64 (*.f64 1/2 (/.f64 x y))) (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 (sin.f64 (*.f64 1/2 (/.f64 x y))) (cos.f64 (*.f64 1/2 (/.f64 x y))))
(*.f64 1/2 (/.f64 x y))
(+.f64 (*.f64 1/2 (/.f64 x y)) (*.f64 1/24 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))
(+.f64 (*.f64 1/2 (/.f64 x y)) (+.f64 (*.f64 1/240 (/.f64 (pow.f64 x 5) (pow.f64 y 5))) (*.f64 1/24 (/.f64 (pow.f64 x 3) (pow.f64 y 3)))))
(+.f64 (*.f64 1/2 (/.f64 x y)) (+.f64 (*.f64 1/240 (/.f64 (pow.f64 x 5) (pow.f64 y 5))) (+.f64 (*.f64 1/24 (/.f64 (pow.f64 x 3) (pow.f64 y 3))) (*.f64 17/40320 (/.f64 (pow.f64 x 7) (pow.f64 y 7))))))
(*.f64 1/2 (/.f64 x y))
(+.f64 (*.f64 1/2 (/.f64 x y)) (*.f64 1/24 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))
(+.f64 (*.f64 1/2 (/.f64 x y)) (+.f64 (*.f64 1/240 (/.f64 (pow.f64 x 5) (pow.f64 y 5))) (*.f64 1/24 (/.f64 (pow.f64 x 3) (pow.f64 y 3)))))
(+.f64 (*.f64 1/2 (/.f64 x y)) (+.f64 (*.f64 1/240 (/.f64 (pow.f64 x 5) (pow.f64 y 5))) (+.f64 (*.f64 1/24 (/.f64 (pow.f64 x 3) (pow.f64 y 3))) (*.f64 17/40320 (/.f64 (pow.f64 x 7) (pow.f64 y 7))))))
(*.f64 1/2 (/.f64 x y))
(-.f64 (*.f64 1/2 (/.f64 x y)) (*.f64 1/48 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))
(-.f64 (+.f64 (*.f64 1/2 (/.f64 x y)) (*.f64 1/3840 (/.f64 (pow.f64 x 5) (pow.f64 y 5)))) (*.f64 1/48 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))
(-.f64 (+.f64 (*.f64 1/2 (/.f64 x y)) (*.f64 1/3840 (/.f64 (pow.f64 x 5) (pow.f64 y 5)))) (+.f64 (*.f64 1/48 (/.f64 (pow.f64 x 3) (pow.f64 y 3))) (*.f64 1/645120 (/.f64 (pow.f64 x 7) (pow.f64 y 7)))))
(sin.f64 (*.f64 1/2 (/.f64 x y)))
(sin.f64 (*.f64 1/2 (/.f64 x y)))
(sin.f64 (*.f64 1/2 (/.f64 x y)))
(sin.f64 (*.f64 1/2 (/.f64 x y)))
(sin.f64 (*.f64 1/2 (/.f64 x y)))
(sin.f64 (*.f64 1/2 (/.f64 x y)))
(sin.f64 (*.f64 1/2 (/.f64 x y)))
(sin.f64 (*.f64 1/2 (/.f64 x y)))
(sin.f64 (*.f64 1/2 (/.f64 x y)))
(sin.f64 (*.f64 1/2 (/.f64 x y)))
(sin.f64 (*.f64 1/2 (/.f64 x y)))
(sin.f64 (*.f64 1/2 (/.f64 x y)))
(*.f64 1/2 (/.f64 x y))
(-.f64 (*.f64 1/2 (/.f64 x y)) (*.f64 1/48 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))
(-.f64 (+.f64 (*.f64 1/2 (/.f64 x y)) (*.f64 1/3840 (/.f64 (pow.f64 x 5) (pow.f64 y 5)))) (*.f64 1/48 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))
(-.f64 (+.f64 (*.f64 1/2 (/.f64 x y)) (*.f64 1/3840 (/.f64 (pow.f64 x 5) (pow.f64 y 5)))) (+.f64 (*.f64 1/48 (/.f64 (pow.f64 x 3) (pow.f64 y 3))) (*.f64 1/645120 (/.f64 (pow.f64 x 7) (pow.f64 y 7)))))
(*.f64 1/2 (/.f64 x y))
(-.f64 (*.f64 1/2 (/.f64 x y)) (*.f64 1/48 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))
(-.f64 (+.f64 (*.f64 1/2 (/.f64 x y)) (*.f64 1/3840 (/.f64 (pow.f64 x 5) (pow.f64 y 5)))) (*.f64 1/48 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))
(-.f64 (+.f64 (*.f64 1/2 (/.f64 x y)) (*.f64 1/3840 (/.f64 (pow.f64 x 5) (pow.f64 y 5)))) (+.f64 (*.f64 1/48 (/.f64 (pow.f64 x 3) (pow.f64 y 3))) (*.f64 1/645120 (/.f64 (pow.f64 x 7) (pow.f64 y 7)))))
1
(+.f64 1 (*.f64 1/8 (/.f64 (pow.f64 x 2) (pow.f64 y 2))))
(+.f64 1 (+.f64 (*.f64 5/384 (/.f64 (pow.f64 x 4) (pow.f64 y 4))) (*.f64 1/8 (/.f64 (pow.f64 x 2) (pow.f64 y 2)))))
(+.f64 1 (+.f64 (*.f64 5/384 (/.f64 (pow.f64 x 4) (pow.f64 y 4))) (+.f64 (*.f64 1/8 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (*.f64 61/46080 (/.f64 (pow.f64 x 6) (pow.f64 y 6))))))
(/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y))))
1
(+.f64 1 (*.f64 1/8 (/.f64 (pow.f64 x 2) (pow.f64 y 2))))
(+.f64 1 (+.f64 (*.f64 5/384 (/.f64 (pow.f64 x 4) (pow.f64 y 4))) (*.f64 1/8 (/.f64 (pow.f64 x 2) (pow.f64 y 2)))))
(+.f64 1 (+.f64 (*.f64 5/384 (/.f64 (pow.f64 x 4) (pow.f64 y 4))) (+.f64 (*.f64 1/8 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (*.f64 61/46080 (/.f64 (pow.f64 x 6) (pow.f64 y 6))))))
1
(+.f64 1 (*.f64 1/8 (/.f64 (pow.f64 x 2) (pow.f64 y 2))))
(+.f64 1 (+.f64 (*.f64 5/384 (/.f64 (pow.f64 x 4) (pow.f64 y 4))) (*.f64 1/8 (/.f64 (pow.f64 x 2) (pow.f64 y 2)))))
(+.f64 1 (+.f64 (*.f64 5/384 (/.f64 (pow.f64 x 4) (pow.f64 y 4))) (+.f64 (*.f64 1/8 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (*.f64 61/46080 (/.f64 (pow.f64 x 6) (pow.f64 y 6))))))
Outputs
(*.f64 1/2 (/.f64 x y))
(+.f64 (*.f64 1/2 (/.f64 x y)) (*.f64 1/24 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))
(fma.f64 1/2 (/.f64 x y) (*.f64 1/24 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))
(fma.f64 1/2 (/.f64 x y) (*.f64 1/24 (pow.f64 (/.f64 x y) 3)))
(+.f64 (*.f64 1/2 (/.f64 x y)) (+.f64 (*.f64 1/240 (/.f64 (pow.f64 x 5) (pow.f64 y 5))) (*.f64 1/24 (/.f64 (pow.f64 x 3) (pow.f64 y 3)))))
(fma.f64 1/2 (/.f64 x y) (fma.f64 1/240 (/.f64 (pow.f64 x 5) (pow.f64 y 5)) (*.f64 1/24 (/.f64 (pow.f64 x 3) (pow.f64 y 3)))))
(fma.f64 1/2 (/.f64 x y) (fma.f64 1/24 (/.f64 (pow.f64 x 3) (pow.f64 y 3)) (*.f64 1/240 (/.f64 (pow.f64 x 5) (pow.f64 y 5)))))
(fma.f64 1/24 (pow.f64 (/.f64 x y) 3) (fma.f64 1/240 (/.f64 (pow.f64 x 5) (pow.f64 y 5)) (*.f64 1/2 (/.f64 x y))))
(+.f64 (*.f64 1/2 (/.f64 x y)) (+.f64 (*.f64 1/240 (/.f64 (pow.f64 x 5) (pow.f64 y 5))) (+.f64 (*.f64 1/24 (/.f64 (pow.f64 x 3) (pow.f64 y 3))) (*.f64 17/40320 (/.f64 (pow.f64 x 7) (pow.f64 y 7))))))
(fma.f64 1/2 (/.f64 x y) (fma.f64 1/240 (/.f64 (pow.f64 x 5) (pow.f64 y 5)) (fma.f64 1/24 (/.f64 (pow.f64 x 3) (pow.f64 y 3)) (*.f64 17/40320 (/.f64 (pow.f64 x 7) (pow.f64 y 7))))))
(fma.f64 1/2 (/.f64 x y) (fma.f64 1/24 (pow.f64 (/.f64 x y) 3) (fma.f64 1/240 (/.f64 (pow.f64 x 5) (pow.f64 y 5)) (*.f64 17/40320 (/.f64 (pow.f64 x 7) (pow.f64 y 7))))))
(/.f64 (sin.f64 (*.f64 1/2 (/.f64 x y))) (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 (sin.f64 (*.f64 1/2 (/.f64 x y))) (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 (sin.f64 (*.f64 1/2 (/.f64 x y))) (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 (sin.f64 (*.f64 1/2 (/.f64 x y))) (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 (sin.f64 (*.f64 1/2 (/.f64 x y))) (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 (sin.f64 (*.f64 1/2 (/.f64 x y))) (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 (sin.f64 (*.f64 1/2 (/.f64 x y))) (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 (sin.f64 (*.f64 1/2 (/.f64 x y))) (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 (sin.f64 (*.f64 1/2 (/.f64 x y))) (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 (sin.f64 (*.f64 1/2 (/.f64 x y))) (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 (sin.f64 (*.f64 1/2 (/.f64 x y))) (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 (sin.f64 (*.f64 1/2 (/.f64 x y))) (cos.f64 (*.f64 1/2 (/.f64 x y))))
(*.f64 1/2 (/.f64 x y))
(+.f64 (*.f64 1/2 (/.f64 x y)) (*.f64 1/24 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))
(fma.f64 1/2 (/.f64 x y) (*.f64 1/24 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))
(fma.f64 1/2 (/.f64 x y) (*.f64 1/24 (pow.f64 (/.f64 x y) 3)))
(+.f64 (*.f64 1/2 (/.f64 x y)) (+.f64 (*.f64 1/240 (/.f64 (pow.f64 x 5) (pow.f64 y 5))) (*.f64 1/24 (/.f64 (pow.f64 x 3) (pow.f64 y 3)))))
(fma.f64 1/2 (/.f64 x y) (fma.f64 1/240 (/.f64 (pow.f64 x 5) (pow.f64 y 5)) (*.f64 1/24 (/.f64 (pow.f64 x 3) (pow.f64 y 3)))))
(fma.f64 1/2 (/.f64 x y) (fma.f64 1/24 (/.f64 (pow.f64 x 3) (pow.f64 y 3)) (*.f64 1/240 (/.f64 (pow.f64 x 5) (pow.f64 y 5)))))
(fma.f64 1/24 (pow.f64 (/.f64 x y) 3) (fma.f64 1/240 (/.f64 (pow.f64 x 5) (pow.f64 y 5)) (*.f64 1/2 (/.f64 x y))))
(+.f64 (*.f64 1/2 (/.f64 x y)) (+.f64 (*.f64 1/240 (/.f64 (pow.f64 x 5) (pow.f64 y 5))) (+.f64 (*.f64 1/24 (/.f64 (pow.f64 x 3) (pow.f64 y 3))) (*.f64 17/40320 (/.f64 (pow.f64 x 7) (pow.f64 y 7))))))
(fma.f64 1/2 (/.f64 x y) (fma.f64 1/240 (/.f64 (pow.f64 x 5) (pow.f64 y 5)) (fma.f64 1/24 (/.f64 (pow.f64 x 3) (pow.f64 y 3)) (*.f64 17/40320 (/.f64 (pow.f64 x 7) (pow.f64 y 7))))))
(fma.f64 1/2 (/.f64 x y) (fma.f64 1/24 (pow.f64 (/.f64 x y) 3) (fma.f64 1/240 (/.f64 (pow.f64 x 5) (pow.f64 y 5)) (*.f64 17/40320 (/.f64 (pow.f64 x 7) (pow.f64 y 7))))))
(*.f64 1/2 (/.f64 x y))
(+.f64 (*.f64 1/2 (/.f64 x y)) (*.f64 1/24 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))
(fma.f64 1/2 (/.f64 x y) (*.f64 1/24 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))
(fma.f64 1/2 (/.f64 x y) (*.f64 1/24 (pow.f64 (/.f64 x y) 3)))
(+.f64 (*.f64 1/2 (/.f64 x y)) (+.f64 (*.f64 1/240 (/.f64 (pow.f64 x 5) (pow.f64 y 5))) (*.f64 1/24 (/.f64 (pow.f64 x 3) (pow.f64 y 3)))))
(fma.f64 1/2 (/.f64 x y) (fma.f64 1/240 (/.f64 (pow.f64 x 5) (pow.f64 y 5)) (*.f64 1/24 (/.f64 (pow.f64 x 3) (pow.f64 y 3)))))
(fma.f64 1/2 (/.f64 x y) (fma.f64 1/24 (/.f64 (pow.f64 x 3) (pow.f64 y 3)) (*.f64 1/240 (/.f64 (pow.f64 x 5) (pow.f64 y 5)))))
(fma.f64 1/24 (pow.f64 (/.f64 x y) 3) (fma.f64 1/240 (/.f64 (pow.f64 x 5) (pow.f64 y 5)) (*.f64 1/2 (/.f64 x y))))
(+.f64 (*.f64 1/2 (/.f64 x y)) (+.f64 (*.f64 1/240 (/.f64 (pow.f64 x 5) (pow.f64 y 5))) (+.f64 (*.f64 1/24 (/.f64 (pow.f64 x 3) (pow.f64 y 3))) (*.f64 17/40320 (/.f64 (pow.f64 x 7) (pow.f64 y 7))))))
(fma.f64 1/2 (/.f64 x y) (fma.f64 1/240 (/.f64 (pow.f64 x 5) (pow.f64 y 5)) (fma.f64 1/24 (/.f64 (pow.f64 x 3) (pow.f64 y 3)) (*.f64 17/40320 (/.f64 (pow.f64 x 7) (pow.f64 y 7))))))
(fma.f64 1/2 (/.f64 x y) (fma.f64 1/24 (pow.f64 (/.f64 x y) 3) (fma.f64 1/240 (/.f64 (pow.f64 x 5) (pow.f64 y 5)) (*.f64 17/40320 (/.f64 (pow.f64 x 7) (pow.f64 y 7))))))
(*.f64 1/2 (/.f64 x y))
(-.f64 (*.f64 1/2 (/.f64 x y)) (*.f64 1/48 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))
(+.f64 (*.f64 1/2 (/.f64 x y)) (*.f64 -1/48 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))
(fma.f64 1/2 (/.f64 x y) (*.f64 (/.f64 (pow.f64 x 3) (pow.f64 y 3)) -1/48))
(fma.f64 (pow.f64 (/.f64 x y) 3) -1/48 (*.f64 1/2 (/.f64 x y)))
(-.f64 (+.f64 (*.f64 1/2 (/.f64 x y)) (*.f64 1/3840 (/.f64 (pow.f64 x 5) (pow.f64 y 5)))) (*.f64 1/48 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))
(+.f64 (fma.f64 1/2 (/.f64 x y) (*.f64 (/.f64 (pow.f64 x 5) (pow.f64 y 5)) 1/3840)) (*.f64 -1/48 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))
(fma.f64 1/2 (/.f64 x y) (fma.f64 (/.f64 (pow.f64 x 5) (pow.f64 y 5)) 1/3840 (*.f64 (/.f64 (pow.f64 x 3) (pow.f64 y 3)) -1/48)))
(fma.f64 (pow.f64 (/.f64 x y) 3) -1/48 (fma.f64 1/2 (/.f64 x y) (*.f64 (/.f64 (pow.f64 x 5) (pow.f64 y 5)) 1/3840)))
(-.f64 (+.f64 (*.f64 1/2 (/.f64 x y)) (*.f64 1/3840 (/.f64 (pow.f64 x 5) (pow.f64 y 5)))) (+.f64 (*.f64 1/48 (/.f64 (pow.f64 x 3) (pow.f64 y 3))) (*.f64 1/645120 (/.f64 (pow.f64 x 7) (pow.f64 y 7)))))
(-.f64 (fma.f64 1/2 (/.f64 x y) (*.f64 (/.f64 (pow.f64 x 5) (pow.f64 y 5)) 1/3840)) (fma.f64 1/48 (/.f64 (pow.f64 x 3) (pow.f64 y 3)) (*.f64 (/.f64 (pow.f64 x 7) (pow.f64 y 7)) 1/645120)))
(-.f64 (fma.f64 (/.f64 (pow.f64 x 5) (pow.f64 y 5)) 1/3840 (*.f64 1/2 (/.f64 x y))) (fma.f64 (/.f64 (pow.f64 x 3) (pow.f64 y 3)) 1/48 (*.f64 (/.f64 (pow.f64 x 7) (pow.f64 y 7)) 1/645120)))
(fma.f64 (/.f64 (pow.f64 x 5) (pow.f64 y 5)) 1/3840 (fma.f64 1/2 (/.f64 x y) (fma.f64 (pow.f64 (/.f64 x y) 3) -1/48 (*.f64 (/.f64 (pow.f64 x 7) (pow.f64 y 7)) -1/645120))))
(fma.f64 1/2 (/.f64 x y) (fma.f64 (/.f64 (pow.f64 x 5) (pow.f64 y 5)) 1/3840 (fma.f64 (pow.f64 (/.f64 x y) 3) -1/48 (*.f64 (/.f64 (pow.f64 x 7) (pow.f64 y 7)) -1/645120))))
(sin.f64 (*.f64 1/2 (/.f64 x y)))
(sin.f64 (*.f64 1/2 (/.f64 x y)))
(sin.f64 (*.f64 1/2 (/.f64 x y)))
(sin.f64 (*.f64 1/2 (/.f64 x y)))
(sin.f64 (*.f64 1/2 (/.f64 x y)))
(sin.f64 (*.f64 1/2 (/.f64 x y)))
(sin.f64 (*.f64 1/2 (/.f64 x y)))
(sin.f64 (*.f64 1/2 (/.f64 x y)))
(sin.f64 (*.f64 1/2 (/.f64 x y)))
(sin.f64 (*.f64 1/2 (/.f64 x y)))
(sin.f64 (*.f64 1/2 (/.f64 x y)))
(sin.f64 (*.f64 1/2 (/.f64 x y)))
(*.f64 1/2 (/.f64 x y))
(-.f64 (*.f64 1/2 (/.f64 x y)) (*.f64 1/48 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))
(+.f64 (*.f64 1/2 (/.f64 x y)) (*.f64 -1/48 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))
(fma.f64 1/2 (/.f64 x y) (*.f64 (/.f64 (pow.f64 x 3) (pow.f64 y 3)) -1/48))
(fma.f64 (pow.f64 (/.f64 x y) 3) -1/48 (*.f64 1/2 (/.f64 x y)))
(-.f64 (+.f64 (*.f64 1/2 (/.f64 x y)) (*.f64 1/3840 (/.f64 (pow.f64 x 5) (pow.f64 y 5)))) (*.f64 1/48 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))
(+.f64 (fma.f64 1/2 (/.f64 x y) (*.f64 (/.f64 (pow.f64 x 5) (pow.f64 y 5)) 1/3840)) (*.f64 -1/48 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))
(fma.f64 1/2 (/.f64 x y) (fma.f64 (/.f64 (pow.f64 x 5) (pow.f64 y 5)) 1/3840 (*.f64 (/.f64 (pow.f64 x 3) (pow.f64 y 3)) -1/48)))
(fma.f64 (pow.f64 (/.f64 x y) 3) -1/48 (fma.f64 1/2 (/.f64 x y) (*.f64 (/.f64 (pow.f64 x 5) (pow.f64 y 5)) 1/3840)))
(-.f64 (+.f64 (*.f64 1/2 (/.f64 x y)) (*.f64 1/3840 (/.f64 (pow.f64 x 5) (pow.f64 y 5)))) (+.f64 (*.f64 1/48 (/.f64 (pow.f64 x 3) (pow.f64 y 3))) (*.f64 1/645120 (/.f64 (pow.f64 x 7) (pow.f64 y 7)))))
(-.f64 (fma.f64 1/2 (/.f64 x y) (*.f64 (/.f64 (pow.f64 x 5) (pow.f64 y 5)) 1/3840)) (fma.f64 1/48 (/.f64 (pow.f64 x 3) (pow.f64 y 3)) (*.f64 (/.f64 (pow.f64 x 7) (pow.f64 y 7)) 1/645120)))
(-.f64 (fma.f64 (/.f64 (pow.f64 x 5) (pow.f64 y 5)) 1/3840 (*.f64 1/2 (/.f64 x y))) (fma.f64 (/.f64 (pow.f64 x 3) (pow.f64 y 3)) 1/48 (*.f64 (/.f64 (pow.f64 x 7) (pow.f64 y 7)) 1/645120)))
(fma.f64 (/.f64 (pow.f64 x 5) (pow.f64 y 5)) 1/3840 (fma.f64 1/2 (/.f64 x y) (fma.f64 (pow.f64 (/.f64 x y) 3) -1/48 (*.f64 (/.f64 (pow.f64 x 7) (pow.f64 y 7)) -1/645120))))
(fma.f64 1/2 (/.f64 x y) (fma.f64 (/.f64 (pow.f64 x 5) (pow.f64 y 5)) 1/3840 (fma.f64 (pow.f64 (/.f64 x y) 3) -1/48 (*.f64 (/.f64 (pow.f64 x 7) (pow.f64 y 7)) -1/645120))))
(*.f64 1/2 (/.f64 x y))
(-.f64 (*.f64 1/2 (/.f64 x y)) (*.f64 1/48 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))
(+.f64 (*.f64 1/2 (/.f64 x y)) (*.f64 -1/48 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))
(fma.f64 1/2 (/.f64 x y) (*.f64 (/.f64 (pow.f64 x 3) (pow.f64 y 3)) -1/48))
(fma.f64 (pow.f64 (/.f64 x y) 3) -1/48 (*.f64 1/2 (/.f64 x y)))
(-.f64 (+.f64 (*.f64 1/2 (/.f64 x y)) (*.f64 1/3840 (/.f64 (pow.f64 x 5) (pow.f64 y 5)))) (*.f64 1/48 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))
(+.f64 (fma.f64 1/2 (/.f64 x y) (*.f64 (/.f64 (pow.f64 x 5) (pow.f64 y 5)) 1/3840)) (*.f64 -1/48 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))
(fma.f64 1/2 (/.f64 x y) (fma.f64 (/.f64 (pow.f64 x 5) (pow.f64 y 5)) 1/3840 (*.f64 (/.f64 (pow.f64 x 3) (pow.f64 y 3)) -1/48)))
(fma.f64 (pow.f64 (/.f64 x y) 3) -1/48 (fma.f64 1/2 (/.f64 x y) (*.f64 (/.f64 (pow.f64 x 5) (pow.f64 y 5)) 1/3840)))
(-.f64 (+.f64 (*.f64 1/2 (/.f64 x y)) (*.f64 1/3840 (/.f64 (pow.f64 x 5) (pow.f64 y 5)))) (+.f64 (*.f64 1/48 (/.f64 (pow.f64 x 3) (pow.f64 y 3))) (*.f64 1/645120 (/.f64 (pow.f64 x 7) (pow.f64 y 7)))))
(-.f64 (fma.f64 1/2 (/.f64 x y) (*.f64 (/.f64 (pow.f64 x 5) (pow.f64 y 5)) 1/3840)) (fma.f64 1/48 (/.f64 (pow.f64 x 3) (pow.f64 y 3)) (*.f64 (/.f64 (pow.f64 x 7) (pow.f64 y 7)) 1/645120)))
(-.f64 (fma.f64 (/.f64 (pow.f64 x 5) (pow.f64 y 5)) 1/3840 (*.f64 1/2 (/.f64 x y))) (fma.f64 (/.f64 (pow.f64 x 3) (pow.f64 y 3)) 1/48 (*.f64 (/.f64 (pow.f64 x 7) (pow.f64 y 7)) 1/645120)))
(fma.f64 (/.f64 (pow.f64 x 5) (pow.f64 y 5)) 1/3840 (fma.f64 1/2 (/.f64 x y) (fma.f64 (pow.f64 (/.f64 x y) 3) -1/48 (*.f64 (/.f64 (pow.f64 x 7) (pow.f64 y 7)) -1/645120))))
(fma.f64 1/2 (/.f64 x y) (fma.f64 (/.f64 (pow.f64 x 5) (pow.f64 y 5)) 1/3840 (fma.f64 (pow.f64 (/.f64 x y) 3) -1/48 (*.f64 (/.f64 (pow.f64 x 7) (pow.f64 y 7)) -1/645120))))
1
(+.f64 1 (*.f64 1/8 (/.f64 (pow.f64 x 2) (pow.f64 y 2))))
(+.f64 1 (*.f64 1/8 (/.f64 (*.f64 x x) (*.f64 y y))))
(fma.f64 1/8 (*.f64 (/.f64 x y) (/.f64 x y)) 1)
(fma.f64 (/.f64 1/8 y) (/.f64 x (/.f64 y x)) 1)
(+.f64 1 (+.f64 (*.f64 5/384 (/.f64 (pow.f64 x 4) (pow.f64 y 4))) (*.f64 1/8 (/.f64 (pow.f64 x 2) (pow.f64 y 2)))))
(+.f64 1 (fma.f64 5/384 (/.f64 (pow.f64 x 4) (pow.f64 y 4)) (*.f64 1/8 (/.f64 (*.f64 x x) (*.f64 y y)))))
(+.f64 1 (fma.f64 1/8 (*.f64 (/.f64 x y) (/.f64 x y)) (*.f64 5/384 (/.f64 (pow.f64 x 4) (pow.f64 y 4)))))
(fma.f64 5/384 (/.f64 (pow.f64 x 4) (pow.f64 y 4)) (fma.f64 (/.f64 1/8 y) (/.f64 x (/.f64 y x)) 1))
(fma.f64 5/384 (pow.f64 (/.f64 x y) 4) (fma.f64 (/.f64 1/8 y) (/.f64 x (/.f64 y x)) 1))
(+.f64 1 (+.f64 (*.f64 5/384 (/.f64 (pow.f64 x 4) (pow.f64 y 4))) (+.f64 (*.f64 1/8 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (*.f64 61/46080 (/.f64 (pow.f64 x 6) (pow.f64 y 6))))))
(+.f64 1 (fma.f64 5/384 (/.f64 (pow.f64 x 4) (pow.f64 y 4)) (fma.f64 1/8 (/.f64 (*.f64 x x) (*.f64 y y)) (*.f64 61/46080 (/.f64 (pow.f64 x 6) (pow.f64 y 6))))))
(+.f64 1 (fma.f64 5/384 (/.f64 (pow.f64 x 4) (pow.f64 y 4)) (fma.f64 1/8 (*.f64 (/.f64 x y) (/.f64 x y)) (*.f64 61/46080 (/.f64 (pow.f64 x 6) (pow.f64 y 6))))))
(+.f64 1 (fma.f64 1/8 (*.f64 (/.f64 x y) (/.f64 x y)) (fma.f64 5/384 (/.f64 (pow.f64 x 4) (pow.f64 y 4)) (*.f64 61/46080 (/.f64 (pow.f64 x 6) (pow.f64 y 6))))))
(+.f64 1 (fma.f64 1/8 (*.f64 (/.f64 x y) (/.f64 x y)) (fma.f64 5/384 (pow.f64 (/.f64 x y) 4) (*.f64 61/46080 (pow.f64 (/.f64 x y) 6)))))
(/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y))))
1
(+.f64 1 (*.f64 1/8 (/.f64 (pow.f64 x 2) (pow.f64 y 2))))
(+.f64 1 (*.f64 1/8 (/.f64 (*.f64 x x) (*.f64 y y))))
(fma.f64 1/8 (*.f64 (/.f64 x y) (/.f64 x y)) 1)
(fma.f64 (/.f64 1/8 y) (/.f64 x (/.f64 y x)) 1)
(+.f64 1 (+.f64 (*.f64 5/384 (/.f64 (pow.f64 x 4) (pow.f64 y 4))) (*.f64 1/8 (/.f64 (pow.f64 x 2) (pow.f64 y 2)))))
(+.f64 1 (fma.f64 5/384 (/.f64 (pow.f64 x 4) (pow.f64 y 4)) (*.f64 1/8 (/.f64 (*.f64 x x) (*.f64 y y)))))
(+.f64 1 (fma.f64 1/8 (*.f64 (/.f64 x y) (/.f64 x y)) (*.f64 5/384 (/.f64 (pow.f64 x 4) (pow.f64 y 4)))))
(fma.f64 5/384 (/.f64 (pow.f64 x 4) (pow.f64 y 4)) (fma.f64 (/.f64 1/8 y) (/.f64 x (/.f64 y x)) 1))
(fma.f64 5/384 (pow.f64 (/.f64 x y) 4) (fma.f64 (/.f64 1/8 y) (/.f64 x (/.f64 y x)) 1))
(+.f64 1 (+.f64 (*.f64 5/384 (/.f64 (pow.f64 x 4) (pow.f64 y 4))) (+.f64 (*.f64 1/8 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (*.f64 61/46080 (/.f64 (pow.f64 x 6) (pow.f64 y 6))))))
(+.f64 1 (fma.f64 5/384 (/.f64 (pow.f64 x 4) (pow.f64 y 4)) (fma.f64 1/8 (/.f64 (*.f64 x x) (*.f64 y y)) (*.f64 61/46080 (/.f64 (pow.f64 x 6) (pow.f64 y 6))))))
(+.f64 1 (fma.f64 5/384 (/.f64 (pow.f64 x 4) (pow.f64 y 4)) (fma.f64 1/8 (*.f64 (/.f64 x y) (/.f64 x y)) (*.f64 61/46080 (/.f64 (pow.f64 x 6) (pow.f64 y 6))))))
(+.f64 1 (fma.f64 1/8 (*.f64 (/.f64 x y) (/.f64 x y)) (fma.f64 5/384 (/.f64 (pow.f64 x 4) (pow.f64 y 4)) (*.f64 61/46080 (/.f64 (pow.f64 x 6) (pow.f64 y 6))))))
(+.f64 1 (fma.f64 1/8 (*.f64 (/.f64 x y) (/.f64 x y)) (fma.f64 5/384 (pow.f64 (/.f64 x y) 4) (*.f64 61/46080 (pow.f64 (/.f64 x y) 6)))))
1
(+.f64 1 (*.f64 1/8 (/.f64 (pow.f64 x 2) (pow.f64 y 2))))
(+.f64 1 (*.f64 1/8 (/.f64 (*.f64 x x) (*.f64 y y))))
(fma.f64 1/8 (*.f64 (/.f64 x y) (/.f64 x y)) 1)
(fma.f64 (/.f64 1/8 y) (/.f64 x (/.f64 y x)) 1)
(+.f64 1 (+.f64 (*.f64 5/384 (/.f64 (pow.f64 x 4) (pow.f64 y 4))) (*.f64 1/8 (/.f64 (pow.f64 x 2) (pow.f64 y 2)))))
(+.f64 1 (fma.f64 5/384 (/.f64 (pow.f64 x 4) (pow.f64 y 4)) (*.f64 1/8 (/.f64 (*.f64 x x) (*.f64 y y)))))
(+.f64 1 (fma.f64 1/8 (*.f64 (/.f64 x y) (/.f64 x y)) (*.f64 5/384 (/.f64 (pow.f64 x 4) (pow.f64 y 4)))))
(fma.f64 5/384 (/.f64 (pow.f64 x 4) (pow.f64 y 4)) (fma.f64 (/.f64 1/8 y) (/.f64 x (/.f64 y x)) 1))
(fma.f64 5/384 (pow.f64 (/.f64 x y) 4) (fma.f64 (/.f64 1/8 y) (/.f64 x (/.f64 y x)) 1))
(+.f64 1 (+.f64 (*.f64 5/384 (/.f64 (pow.f64 x 4) (pow.f64 y 4))) (+.f64 (*.f64 1/8 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (*.f64 61/46080 (/.f64 (pow.f64 x 6) (pow.f64 y 6))))))
(+.f64 1 (fma.f64 5/384 (/.f64 (pow.f64 x 4) (pow.f64 y 4)) (fma.f64 1/8 (/.f64 (*.f64 x x) (*.f64 y y)) (*.f64 61/46080 (/.f64 (pow.f64 x 6) (pow.f64 y 6))))))
(+.f64 1 (fma.f64 5/384 (/.f64 (pow.f64 x 4) (pow.f64 y 4)) (fma.f64 1/8 (*.f64 (/.f64 x y) (/.f64 x y)) (*.f64 61/46080 (/.f64 (pow.f64 x 6) (pow.f64 y 6))))))
(+.f64 1 (fma.f64 1/8 (*.f64 (/.f64 x y) (/.f64 x y)) (fma.f64 5/384 (/.f64 (pow.f64 x 4) (pow.f64 y 4)) (*.f64 61/46080 (/.f64 (pow.f64 x 6) (pow.f64 y 6))))))
(+.f64 1 (fma.f64 1/8 (*.f64 (/.f64 x y) (/.f64 x y)) (fma.f64 5/384 (pow.f64 (/.f64 x y) 4) (*.f64 61/46080 (pow.f64 (/.f64 x y) 6)))))

prune182.0ms (2.6%)

Pruning

19 alts after pruning (19 fresh and 0 done)

PrunedKeptTotal
New9119110
Fresh000
Picked101
Done000
Total9219111
Error
22.6b
Counts
111 → 19
Alt Table
StatusErrorProgram
35.0b
(*.f64 (pow.f64 (cbrt.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2))) 2) (*.f64 (cbrt.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2))) (/.f64 1 (sin.f64 (*.f64 (/.f64 x y) 1/2)))))
58.6b
(/.f64 (tan.f64 (/.f64 x (*.f64 y 2))) (+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2)))) (cbrt.f64 (exp.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2)))))) (log.f64 (cbrt.f64 (exp.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2)))))))
57.8b
(/.f64 (+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)))) (cbrt.f64 (exp.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)))))) (log.f64 (cbrt.f64 (exp.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)))))) (sin.f64 (/.f64 x (*.f64 y 2))))
33.5b
(/.f64 (/.f64 (pow.f64 (cbrt.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2))) 2) (/.f64 (cos.f64 (*.f64 (/.f64 x y) 1/2)) (cbrt.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2))))) (sin.f64 (/.f64 x (*.f64 y 2))))
36.1b
(/.f64 (tan.f64 (/.f64 x (*.f64 y 2))) (fma.f64 (pow.f64 (/.f64 x y) 3) -1/48 (*.f64 1/2 (/.f64 x y))))
33.2b
(*.f64 (/.f64 1 (pow.f64 (cbrt.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2))) 2)) (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (cbrt.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2)))))
53.0b
(/.f64 (sqrt.f64 (pow.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) 2)) (sin.f64 (/.f64 x (*.f64 y 2))))
36.5b
(/.f64 (*.f64 1/2 (/.f64 x y)) (sin.f64 (/.f64 x (*.f64 y 2))))
33.3b
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2))) 2) 1) (/.f64 (cbrt.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2))) (sin.f64 (*.f64 (/.f64 x y) 1/2))))
60.7b
(/.f64 (tan.f64 (/.f64 x (*.f64 y 2))) (-.f64 (*.f64 (sin.f64 (exp.f64 (log1p.f64 (*.f64 (/.f64 x y) 1/2)))) (cos.f64 1)) (*.f64 (cos.f64 (exp.f64 (log1p.f64 (*.f64 (/.f64 x y) 1/2)))) (sin.f64 1))))
58.6b
(/.f64 (tan.f64 (/.f64 x (*.f64 y 2))) (+.f64 (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2))))) (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2)))))))
32.7b
(*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))) (pow.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))) 2))
26.2b
1
33.6b
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2))))) (cbrt.f64 (exp.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2))))))) (log.f64 (cbrt.f64 (exp.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))))))
50.5b
(/.f64 (tan.f64 (/.f64 x (*.f64 y 2))) (cbrt.f64 (pow.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2)) 3)))
32.6b
(log1p.f64 (expm1.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))))
54.2b
(/.f64 (tan.f64 (/.f64 x (*.f64 y 2))) (sqrt.f64 (pow.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2)) 2)))
33.3b
(/.f64 (tan.f64 (/.f64 x (*.f64 y 2))) (pow.f64 (cbrt.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2))) 3))
33.4b
(/.f64 (tan.f64 (/.f64 x (*.f64 y 2))) (*.f64 (cbrt.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2))) (pow.f64 (cbrt.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2))) 2)))
Compiler

Compiled 3247 to 2202 computations (32.2% saved)

localize0.0ms (0%)

prune28.0ms (0.4%)

Pruning

19 alts after pruning (18 fresh and 1 done)

PrunedKeptTotal
New000
Fresh01818
Picked011
Done000
Total01919
Error
22.6b
Counts
19 → 19
Alt Table
StatusErrorProgram
35.0b
(*.f64 (pow.f64 (cbrt.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2))) 2) (*.f64 (cbrt.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2))) (/.f64 1 (sin.f64 (*.f64 (/.f64 x y) 1/2)))))
58.6b
(/.f64 (tan.f64 (/.f64 x (*.f64 y 2))) (+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2)))) (cbrt.f64 (exp.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2)))))) (log.f64 (cbrt.f64 (exp.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2)))))))
57.8b
(/.f64 (+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)))) (cbrt.f64 (exp.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)))))) (log.f64 (cbrt.f64 (exp.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)))))) (sin.f64 (/.f64 x (*.f64 y 2))))
33.5b
(/.f64 (/.f64 (pow.f64 (cbrt.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2))) 2) (/.f64 (cos.f64 (*.f64 (/.f64 x y) 1/2)) (cbrt.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2))))) (sin.f64 (/.f64 x (*.f64 y 2))))
36.1b
(/.f64 (tan.f64 (/.f64 x (*.f64 y 2))) (fma.f64 (pow.f64 (/.f64 x y) 3) -1/48 (*.f64 1/2 (/.f64 x y))))
33.2b
(*.f64 (/.f64 1 (pow.f64 (cbrt.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2))) 2)) (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (cbrt.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2)))))
53.0b
(/.f64 (sqrt.f64 (pow.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) 2)) (sin.f64 (/.f64 x (*.f64 y 2))))
36.5b
(/.f64 (*.f64 1/2 (/.f64 x y)) (sin.f64 (/.f64 x (*.f64 y 2))))
33.3b
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2))) 2) 1) (/.f64 (cbrt.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2))) (sin.f64 (*.f64 (/.f64 x y) 1/2))))
60.7b
(/.f64 (tan.f64 (/.f64 x (*.f64 y 2))) (-.f64 (*.f64 (sin.f64 (exp.f64 (log1p.f64 (*.f64 (/.f64 x y) 1/2)))) (cos.f64 1)) (*.f64 (cos.f64 (exp.f64 (log1p.f64 (*.f64 (/.f64 x y) 1/2)))) (sin.f64 1))))
58.6b
(/.f64 (tan.f64 (/.f64 x (*.f64 y 2))) (+.f64 (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2))))) (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2)))))))
32.7b
(*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))) (pow.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))) 2))
26.2b
1
33.6b
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2))))) (cbrt.f64 (exp.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2))))))) (log.f64 (cbrt.f64 (exp.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))))))
50.5b
(/.f64 (tan.f64 (/.f64 x (*.f64 y 2))) (cbrt.f64 (pow.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2)) 3)))
32.6b
(log1p.f64 (expm1.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))))
54.2b
(/.f64 (tan.f64 (/.f64 x (*.f64 y 2))) (sqrt.f64 (pow.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2)) 2)))
33.3b
(/.f64 (tan.f64 (/.f64 x (*.f64 y 2))) (pow.f64 (cbrt.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2))) 3))
33.4b
(/.f64 (tan.f64 (/.f64 x (*.f64 y 2))) (*.f64 (cbrt.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2))) (pow.f64 (cbrt.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2))) 2)))
Compiler

Compiled 973 to 703 computations (27.7% saved)

localize12.0ms (0.2%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.8b
(expm1.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2))))
6.9b
(/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))
25.6b
(sin.f64 (*.f64 (/.f64 x y) 1/2))
25.8b
(tan.f64 (*.f64 (/.f64 x y) 1/2))

series12.0ms (0.2%)

Counts
4 → 96
Calls

24 calls:

TimeVariablePointExpression
1.0ms
x
@0
(expm1.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2))))
1.0ms
y
@inf
(expm1.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2))))
0.0ms
x
@0
(tan.f64 (*.f64 (/.f64 x y) 1/2))
0.0ms
y
@-inf
(expm1.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2))))
0.0ms
x
@-inf
(expm1.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2))))

rewrite71.0ms (1%)

Algorithm
batch-egg-rewrite
Rules
542×log-prod_binary64
292×prod-diff_binary64
195×expm1-udef_binary64
195×log1p-udef_binary64
165×log-pow_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01060
121160
2275160
Stop Event
node limit
Counts
4 → 111
Calls
Call 1
Inputs
(tan.f64 (*.f64 (/.f64 x y) 1/2))
(sin.f64 (*.f64 (/.f64 x y) 1/2))
(/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))
(expm1.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2))))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (tan.f64 (*.f64 (/.f64 x y) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)))) (cbrt.f64 (exp.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)))))) (log.f64 (cbrt.f64 (exp.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (exp.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2))))) (log.f64 (sqrt.f64 (exp.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2)) (/.f64 1 (cos.f64 (*.f64 (/.f64 x y) 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (tan.f64 (*.f64 (/.f64 x y) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2))) (pow.f64 (cbrt.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2))) 2) (cbrt.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2))) (sqrt.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2)) (cos.f64 (*.f64 (/.f64 x y) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (cos.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (cbrt.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2))) 2) (/.f64 (cos.f64 (*.f64 (/.f64 x y) 1/2)) (cbrt.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2))) (/.f64 (cos.f64 (*.f64 (/.f64 x y) 1/2)) (sqrt.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2))) (neg.f64 (cos.f64 (*.f64 (/.f64 x y) 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2))) 1))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (sin.f64 (*.f64 (/.f64 x y) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2)))) (cbrt.f64 (exp.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2)))))) (log.f64 (cbrt.f64 (exp.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2))))) (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (sin.f64 (exp.f64 (log1p.f64 (*.f64 (/.f64 x y) 1/2)))) (cos.f64 1)) (*.f64 (cos.f64 (exp.f64 (log1p.f64 (*.f64 (/.f64 x y) 1/2)))) (sin.f64 1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (sin.f64 (*.f64 (/.f64 x y) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2))) (pow.f64 (cbrt.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2))) 2) (cbrt.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2))) (sqrt.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2))) 1))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2))))) (cbrt.f64 (exp.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2))))))) (log.f64 (cbrt.f64 (exp.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (/.f64 1 (sin.f64 (*.f64 (/.f64 x y) 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))) (pow.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))) 2) (cbrt.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2))) 2) (*.f64 (cbrt.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2))) (/.f64 1 (sin.f64 (*.f64 (/.f64 x y) 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))) (sqrt.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2))) (*.f64 (sqrt.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2))) (/.f64 1 (sin.f64 (*.f64 (/.f64 x y) 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2))) (/.f64 1 (neg.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (sin.f64 (*.f64 (/.f64 x y) 1/2))) (tan.f64 (*.f64 (/.f64 x y) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2))) 2) 1) (/.f64 (cbrt.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2))) (sin.f64 (*.f64 (/.f64 x y) 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2))) 1) (/.f64 (sqrt.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2))) (sin.f64 (*.f64 (/.f64 x y) 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (pow.f64 (cbrt.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2))) 2)) (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (cbrt.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2))) 2) (pow.f64 (cbrt.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2))) 2)) (cbrt.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2))) (pow.f64 (cbrt.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2))) 2)) (/.f64 (sqrt.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2))) (cbrt.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (sqrt.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2)))) (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sqrt.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2))) 2) (sqrt.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2)))) (/.f64 (cbrt.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2))) (sqrt.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2)) (tan.f64 (*.f64 (/.f64 x y) 1/2))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (neg.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 (pow.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) 3) (pow.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))) 1))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (exp.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (expm1.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (expm1.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))))) (cbrt.f64 (exp.f64 (expm1.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))))))) (log.f64 (cbrt.f64 (exp.f64 (expm1.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2))))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (exp.f64 (expm1.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2))))))) (log.f64 (sqrt.f64 (exp.f64 (expm1.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2))))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (expm1.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (expm1.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (expm1.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2))))) (pow.f64 (cbrt.f64 (expm1.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2))))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (expm1.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2))))) 2) (cbrt.f64 (expm1.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (expm1.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2))))) (sqrt.f64 (expm1.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (exp.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))) 3) 1) (fma.f64 (exp.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))) (exp.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))) (+.f64 1 (*.f64 (exp.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (fma.f64 (exp.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))) (exp.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))) -1) (+.f64 (exp.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (expm1.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (expm1.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (expm1.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2))))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (expm1.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2))))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (expm1.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (expm1.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (expm1.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (expm1.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (expm1.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2))))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (exp.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (cbrt.f64 (exp.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2))))) (cbrt.f64 (exp.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))))) (cbrt.f64 (exp.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2))))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (exp.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2))))) (sqrt.f64 (exp.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2))))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (expm1.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (expm1.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2))))) 1))))))

simplify63.0ms (0.9%)

Algorithm
egg-herbie
Rules
537×times-frac_binary64
377×cancel-sign-sub-inv_binary64
298×fma-neg_binary64
269×associate-/l*_binary64
228×associate-/r*_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0921944
12581914
27671836
338961782
Stop Event
node limit
Counts
207 → 144
Calls
Call 1
Inputs
(*.f64 1/2 (/.f64 x y))
(+.f64 (*.f64 1/2 (/.f64 x y)) (*.f64 1/24 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))
(+.f64 (*.f64 1/2 (/.f64 x y)) (+.f64 (*.f64 1/240 (/.f64 (pow.f64 x 5) (pow.f64 y 5))) (*.f64 1/24 (/.f64 (pow.f64 x 3) (pow.f64 y 3)))))
(+.f64 (*.f64 1/2 (/.f64 x y)) (+.f64 (*.f64 1/240 (/.f64 (pow.f64 x 5) (pow.f64 y 5))) (+.f64 (*.f64 1/24 (/.f64 (pow.f64 x 3) (pow.f64 y 3))) (*.f64 17/40320 (/.f64 (pow.f64 x 7) (pow.f64 y 7))))))
(/.f64 (sin.f64 (*.f64 1/2 (/.f64 x y))) (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 (sin.f64 (*.f64 1/2 (/.f64 x y))) (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 (sin.f64 (*.f64 1/2 (/.f64 x y))) (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 (sin.f64 (*.f64 1/2 (/.f64 x y))) (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 (sin.f64 (*.f64 1/2 (/.f64 x y))) (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 (sin.f64 (*.f64 1/2 (/.f64 x y))) (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 (sin.f64 (*.f64 1/2 (/.f64 x y))) (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 (sin.f64 (*.f64 1/2 (/.f64 x y))) (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 (sin.f64 (*.f64 1/2 (/.f64 x y))) (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 (sin.f64 (*.f64 1/2 (/.f64 x y))) (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 (sin.f64 (*.f64 1/2 (/.f64 x y))) (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 (sin.f64 (*.f64 1/2 (/.f64 x y))) (cos.f64 (*.f64 1/2 (/.f64 x y))))
(*.f64 1/2 (/.f64 x y))
(+.f64 (*.f64 1/2 (/.f64 x y)) (*.f64 1/24 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))
(+.f64 (*.f64 1/2 (/.f64 x y)) (+.f64 (*.f64 1/240 (/.f64 (pow.f64 x 5) (pow.f64 y 5))) (*.f64 1/24 (/.f64 (pow.f64 x 3) (pow.f64 y 3)))))
(+.f64 (*.f64 1/2 (/.f64 x y)) (+.f64 (*.f64 1/240 (/.f64 (pow.f64 x 5) (pow.f64 y 5))) (+.f64 (*.f64 1/24 (/.f64 (pow.f64 x 3) (pow.f64 y 3))) (*.f64 17/40320 (/.f64 (pow.f64 x 7) (pow.f64 y 7))))))
(*.f64 1/2 (/.f64 x y))
(+.f64 (*.f64 1/2 (/.f64 x y)) (*.f64 1/24 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))
(+.f64 (*.f64 1/2 (/.f64 x y)) (+.f64 (*.f64 1/240 (/.f64 (pow.f64 x 5) (pow.f64 y 5))) (*.f64 1/24 (/.f64 (pow.f64 x 3) (pow.f64 y 3)))))
(+.f64 (*.f64 1/2 (/.f64 x y)) (+.f64 (*.f64 1/240 (/.f64 (pow.f64 x 5) (pow.f64 y 5))) (+.f64 (*.f64 1/24 (/.f64 (pow.f64 x 3) (pow.f64 y 3))) (*.f64 17/40320 (/.f64 (pow.f64 x 7) (pow.f64 y 7))))))
(*.f64 1/2 (/.f64 x y))
(-.f64 (*.f64 1/2 (/.f64 x y)) (*.f64 1/48 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))
(-.f64 (+.f64 (*.f64 1/2 (/.f64 x y)) (*.f64 1/3840 (/.f64 (pow.f64 x 5) (pow.f64 y 5)))) (*.f64 1/48 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))
(-.f64 (+.f64 (*.f64 1/2 (/.f64 x y)) (*.f64 1/3840 (/.f64 (pow.f64 x 5) (pow.f64 y 5)))) (+.f64 (*.f64 1/48 (/.f64 (pow.f64 x 3) (pow.f64 y 3))) (*.f64 1/645120 (/.f64 (pow.f64 x 7) (pow.f64 y 7)))))
(sin.f64 (*.f64 1/2 (/.f64 x y)))
(sin.f64 (*.f64 1/2 (/.f64 x y)))
(sin.f64 (*.f64 1/2 (/.f64 x y)))
(sin.f64 (*.f64 1/2 (/.f64 x y)))
(sin.f64 (*.f64 1/2 (/.f64 x y)))
(sin.f64 (*.f64 1/2 (/.f64 x y)))
(sin.f64 (*.f64 1/2 (/.f64 x y)))
(sin.f64 (*.f64 1/2 (/.f64 x y)))
(sin.f64 (*.f64 1/2 (/.f64 x y)))
(sin.f64 (*.f64 1/2 (/.f64 x y)))
(sin.f64 (*.f64 1/2 (/.f64 x y)))
(sin.f64 (*.f64 1/2 (/.f64 x y)))
(*.f64 1/2 (/.f64 x y))
(-.f64 (*.f64 1/2 (/.f64 x y)) (*.f64 1/48 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))
(-.f64 (+.f64 (*.f64 1/2 (/.f64 x y)) (*.f64 1/3840 (/.f64 (pow.f64 x 5) (pow.f64 y 5)))) (*.f64 1/48 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))
(-.f64 (+.f64 (*.f64 1/2 (/.f64 x y)) (*.f64 1/3840 (/.f64 (pow.f64 x 5) (pow.f64 y 5)))) (+.f64 (*.f64 1/48 (/.f64 (pow.f64 x 3) (pow.f64 y 3))) (*.f64 1/645120 (/.f64 (pow.f64 x 7) (pow.f64 y 7)))))
(*.f64 1/2 (/.f64 x y))
(-.f64 (*.f64 1/2 (/.f64 x y)) (*.f64 1/48 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))
(-.f64 (+.f64 (*.f64 1/2 (/.f64 x y)) (*.f64 1/3840 (/.f64 (pow.f64 x 5) (pow.f64 y 5)))) (*.f64 1/48 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))
(-.f64 (+.f64 (*.f64 1/2 (/.f64 x y)) (*.f64 1/3840 (/.f64 (pow.f64 x 5) (pow.f64 y 5)))) (+.f64 (*.f64 1/48 (/.f64 (pow.f64 x 3) (pow.f64 y 3))) (*.f64 1/645120 (/.f64 (pow.f64 x 7) (pow.f64 y 7)))))
1
(+.f64 1 (*.f64 1/8 (/.f64 (pow.f64 x 2) (pow.f64 y 2))))
(+.f64 1 (+.f64 (*.f64 5/384 (/.f64 (pow.f64 x 4) (pow.f64 y 4))) (*.f64 1/8 (/.f64 (pow.f64 x 2) (pow.f64 y 2)))))
(+.f64 1 (+.f64 (*.f64 5/384 (/.f64 (pow.f64 x 4) (pow.f64 y 4))) (+.f64 (*.f64 1/8 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (*.f64 61/46080 (/.f64 (pow.f64 x 6) (pow.f64 y 6))))))
(/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y))))
1
(+.f64 1 (*.f64 1/8 (/.f64 (pow.f64 x 2) (pow.f64 y 2))))
(+.f64 1 (+.f64 (*.f64 5/384 (/.f64 (pow.f64 x 4) (pow.f64 y 4))) (*.f64 1/8 (/.f64 (pow.f64 x 2) (pow.f64 y 2)))))
(+.f64 1 (+.f64 (*.f64 5/384 (/.f64 (pow.f64 x 4) (pow.f64 y 4))) (+.f64 (*.f64 1/8 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (*.f64 61/46080 (/.f64 (pow.f64 x 6) (pow.f64 y 6))))))
1
(+.f64 1 (*.f64 1/8 (/.f64 (pow.f64 x 2) (pow.f64 y 2))))
(+.f64 1 (+.f64 (*.f64 5/384 (/.f64 (pow.f64 x 4) (pow.f64 y 4))) (*.f64 1/8 (/.f64 (pow.f64 x 2) (pow.f64 y 2)))))
(+.f64 1 (+.f64 (*.f64 5/384 (/.f64 (pow.f64 x 4) (pow.f64 y 4))) (+.f64 (*.f64 1/8 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (*.f64 61/46080 (/.f64 (pow.f64 x 6) (pow.f64 y 6))))))
(-.f64 (E.f64) 1)
(-.f64 (+.f64 (*.f64 1/8 (/.f64 (*.f64 (E.f64) (pow.f64 x 2)) (pow.f64 y 2))) (E.f64)) 1)
(-.f64 (+.f64 (*.f64 1/8 (/.f64 (*.f64 (E.f64) (pow.f64 x 2)) (pow.f64 y 2))) (+.f64 (*.f64 1/48 (/.f64 (*.f64 (E.f64) (pow.f64 x 4)) (pow.f64 y 4))) (E.f64))) 1)
(-.f64 (+.f64 (*.f64 1/8 (/.f64 (*.f64 (E.f64) (pow.f64 x 2)) (pow.f64 y 2))) (+.f64 (*.f64 151/46080 (/.f64 (*.f64 (E.f64) (pow.f64 x 6)) (pow.f64 y 6))) (+.f64 (*.f64 1/48 (/.f64 (*.f64 (E.f64) (pow.f64 x 4)) (pow.f64 y 4))) (E.f64)))) 1)
(-.f64 (exp.f64 (/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y))))) 1)
(-.f64 (exp.f64 (/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y))))) 1)
(-.f64 (exp.f64 (/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y))))) 1)
(-.f64 (exp.f64 (/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y))))) 1)
(-.f64 (exp.f64 (/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y))))) 1)
(-.f64 (exp.f64 (/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y))))) 1)
(-.f64 (exp.f64 (/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y))))) 1)
(-.f64 (exp.f64 (/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y))))) 1)
(-.f64 (exp.f64 (/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y))))) 1)
(-.f64 (exp.f64 (/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y))))) 1)
(-.f64 (exp.f64 (/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y))))) 1)
(-.f64 (exp.f64 (/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y))))) 1)
(-.f64 (E.f64) 1)
(-.f64 (+.f64 (*.f64 1/8 (/.f64 (*.f64 (E.f64) (pow.f64 x 2)) (pow.f64 y 2))) (E.f64)) 1)
(-.f64 (+.f64 (*.f64 1/8 (/.f64 (*.f64 (E.f64) (pow.f64 x 2)) (pow.f64 y 2))) (+.f64 (*.f64 1/48 (/.f64 (*.f64 (E.f64) (pow.f64 x 4)) (pow.f64 y 4))) (E.f64))) 1)
(-.f64 (+.f64 (*.f64 1/8 (/.f64 (*.f64 (E.f64) (pow.f64 x 2)) (pow.f64 y 2))) (+.f64 (*.f64 151/46080 (/.f64 (*.f64 (E.f64) (pow.f64 x 6)) (pow.f64 y 6))) (+.f64 (*.f64 1/48 (/.f64 (*.f64 (E.f64) (pow.f64 x 4)) (pow.f64 y 4))) (E.f64)))) 1)
(-.f64 (E.f64) 1)
(-.f64 (+.f64 (*.f64 1/8 (/.f64 (*.f64 (E.f64) (pow.f64 x 2)) (pow.f64 y 2))) (E.f64)) 1)
(-.f64 (+.f64 (*.f64 1/8 (/.f64 (*.f64 (E.f64) (pow.f64 x 2)) (pow.f64 y 2))) (+.f64 (*.f64 1/48 (/.f64 (*.f64 (E.f64) (pow.f64 x 4)) (pow.f64 y 4))) (E.f64))) 1)
(-.f64 (+.f64 (*.f64 1/8 (/.f64 (*.f64 (E.f64) (pow.f64 x 2)) (pow.f64 y 2))) (+.f64 (*.f64 151/46080 (/.f64 (*.f64 (E.f64) (pow.f64 x 6)) (pow.f64 y 6))) (+.f64 (*.f64 1/48 (/.f64 (*.f64 (E.f64) (pow.f64 x 4)) (pow.f64 y 4))) (E.f64)))) 1)
Outputs
(*.f64 1/2 (/.f64 x y))
(+.f64 (*.f64 1/2 (/.f64 x y)) (*.f64 1/24 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))
(fma.f64 1/2 (/.f64 x y) (/.f64 (*.f64 1/24 (pow.f64 x 3)) (pow.f64 y 3)))
(fma.f64 1/2 (/.f64 x y) (*.f64 1/24 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))
(fma.f64 1/2 (/.f64 x y) (*.f64 1/24 (pow.f64 (/.f64 x y) 3)))
(+.f64 (*.f64 1/2 (/.f64 x y)) (+.f64 (*.f64 1/240 (/.f64 (pow.f64 x 5) (pow.f64 y 5))) (*.f64 1/24 (/.f64 (pow.f64 x 3) (pow.f64 y 3)))))
(fma.f64 1/2 (/.f64 x y) (fma.f64 1/240 (/.f64 (pow.f64 x 5) (pow.f64 y 5)) (/.f64 (*.f64 1/24 (pow.f64 x 3)) (pow.f64 y 3))))
(fma.f64 1/2 (/.f64 x y) (fma.f64 1/24 (/.f64 (pow.f64 x 3) (pow.f64 y 3)) (*.f64 1/240 (/.f64 (pow.f64 x 5) (pow.f64 y 5)))))
(fma.f64 1/24 (pow.f64 (/.f64 x y) 3) (fma.f64 1/2 (/.f64 x y) (*.f64 1/240 (/.f64 (pow.f64 x 5) (pow.f64 y 5)))))
(fma.f64 1/24 (pow.f64 (/.f64 x y) 3) (fma.f64 1/2 (/.f64 x y) (/.f64 (*.f64 1/240 (pow.f64 x 5)) (pow.f64 y 5))))
(+.f64 (*.f64 1/2 (/.f64 x y)) (+.f64 (*.f64 1/240 (/.f64 (pow.f64 x 5) (pow.f64 y 5))) (+.f64 (*.f64 1/24 (/.f64 (pow.f64 x 3) (pow.f64 y 3))) (*.f64 17/40320 (/.f64 (pow.f64 x 7) (pow.f64 y 7))))))
(fma.f64 1/2 (/.f64 x y) (fma.f64 1/240 (/.f64 (pow.f64 x 5) (pow.f64 y 5)) (fma.f64 1/24 (/.f64 (pow.f64 x 3) (pow.f64 y 3)) (*.f64 17/40320 (/.f64 (pow.f64 x 7) (pow.f64 y 7))))))
(fma.f64 1/2 (/.f64 x y) (fma.f64 1/24 (pow.f64 (/.f64 x y) 3) (fma.f64 1/240 (/.f64 (pow.f64 x 5) (pow.f64 y 5)) (*.f64 17/40320 (/.f64 (pow.f64 x 7) (pow.f64 y 7))))))
(/.f64 (sin.f64 (*.f64 1/2 (/.f64 x y))) (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 (sin.f64 (*.f64 1/2 (/.f64 x y))) (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 (sin.f64 (*.f64 1/2 (/.f64 x y))) (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 (sin.f64 (*.f64 1/2 (/.f64 x y))) (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 (sin.f64 (*.f64 1/2 (/.f64 x y))) (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 (sin.f64 (*.f64 1/2 (/.f64 x y))) (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 (sin.f64 (*.f64 1/2 (/.f64 x y))) (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 (sin.f64 (*.f64 1/2 (/.f64 x y))) (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 (sin.f64 (*.f64 1/2 (/.f64 x y))) (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 (sin.f64 (*.f64 1/2 (/.f64 x y))) (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 (sin.f64 (*.f64 1/2 (/.f64 x y))) (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 (sin.f64 (*.f64 1/2 (/.f64 x y))) (cos.f64 (*.f64 1/2 (/.f64 x y))))
(*.f64 1/2 (/.f64 x y))
(+.f64 (*.f64 1/2 (/.f64 x y)) (*.f64 1/24 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))
(fma.f64 1/2 (/.f64 x y) (/.f64 (*.f64 1/24 (pow.f64 x 3)) (pow.f64 y 3)))
(fma.f64 1/2 (/.f64 x y) (*.f64 1/24 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))
(fma.f64 1/2 (/.f64 x y) (*.f64 1/24 (pow.f64 (/.f64 x y) 3)))
(+.f64 (*.f64 1/2 (/.f64 x y)) (+.f64 (*.f64 1/240 (/.f64 (pow.f64 x 5) (pow.f64 y 5))) (*.f64 1/24 (/.f64 (pow.f64 x 3) (pow.f64 y 3)))))
(fma.f64 1/2 (/.f64 x y) (fma.f64 1/240 (/.f64 (pow.f64 x 5) (pow.f64 y 5)) (/.f64 (*.f64 1/24 (pow.f64 x 3)) (pow.f64 y 3))))
(fma.f64 1/2 (/.f64 x y) (fma.f64 1/24 (/.f64 (pow.f64 x 3) (pow.f64 y 3)) (*.f64 1/240 (/.f64 (pow.f64 x 5) (pow.f64 y 5)))))
(fma.f64 1/24 (pow.f64 (/.f64 x y) 3) (fma.f64 1/2 (/.f64 x y) (*.f64 1/240 (/.f64 (pow.f64 x 5) (pow.f64 y 5)))))
(fma.f64 1/24 (pow.f64 (/.f64 x y) 3) (fma.f64 1/2 (/.f64 x y) (/.f64 (*.f64 1/240 (pow.f64 x 5)) (pow.f64 y 5))))
(+.f64 (*.f64 1/2 (/.f64 x y)) (+.f64 (*.f64 1/240 (/.f64 (pow.f64 x 5) (pow.f64 y 5))) (+.f64 (*.f64 1/24 (/.f64 (pow.f64 x 3) (pow.f64 y 3))) (*.f64 17/40320 (/.f64 (pow.f64 x 7) (pow.f64 y 7))))))
(fma.f64 1/2 (/.f64 x y) (fma.f64 1/240 (/.f64 (pow.f64 x 5) (pow.f64 y 5)) (fma.f64 1/24 (/.f64 (pow.f64 x 3) (pow.f64 y 3)) (*.f64 17/40320 (/.f64 (pow.f64 x 7) (pow.f64 y 7))))))
(fma.f64 1/2 (/.f64 x y) (fma.f64 1/24 (pow.f64 (/.f64 x y) 3) (fma.f64 1/240 (/.f64 (pow.f64 x 5) (pow.f64 y 5)) (*.f64 17/40320 (/.f64 (pow.f64 x 7) (pow.f64 y 7))))))
(*.f64 1/2 (/.f64 x y))
(+.f64 (*.f64 1/2 (/.f64 x y)) (*.f64 1/24 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))
(fma.f64 1/2 (/.f64 x y) (/.f64 (*.f64 1/24 (pow.f64 x 3)) (pow.f64 y 3)))
(fma.f64 1/2 (/.f64 x y) (*.f64 1/24 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))
(fma.f64 1/2 (/.f64 x y) (*.f64 1/24 (pow.f64 (/.f64 x y) 3)))
(+.f64 (*.f64 1/2 (/.f64 x y)) (+.f64 (*.f64 1/240 (/.f64 (pow.f64 x 5) (pow.f64 y 5))) (*.f64 1/24 (/.f64 (pow.f64 x 3) (pow.f64 y 3)))))
(fma.f64 1/2 (/.f64 x y) (fma.f64 1/240 (/.f64 (pow.f64 x 5) (pow.f64 y 5)) (/.f64 (*.f64 1/24 (pow.f64 x 3)) (pow.f64 y 3))))
(fma.f64 1/2 (/.f64 x y) (fma.f64 1/24 (/.f64 (pow.f64 x 3) (pow.f64 y 3)) (*.f64 1/240 (/.f64 (pow.f64 x 5) (pow.f64 y 5)))))
(fma.f64 1/24 (pow.f64 (/.f64 x y) 3) (fma.f64 1/2 (/.f64 x y) (*.f64 1/240 (/.f64 (pow.f64 x 5) (pow.f64 y 5)))))
(fma.f64 1/24 (pow.f64 (/.f64 x y) 3) (fma.f64 1/2 (/.f64 x y) (/.f64 (*.f64 1/240 (pow.f64 x 5)) (pow.f64 y 5))))
(+.f64 (*.f64 1/2 (/.f64 x y)) (+.f64 (*.f64 1/240 (/.f64 (pow.f64 x 5) (pow.f64 y 5))) (+.f64 (*.f64 1/24 (/.f64 (pow.f64 x 3) (pow.f64 y 3))) (*.f64 17/40320 (/.f64 (pow.f64 x 7) (pow.f64 y 7))))))
(fma.f64 1/2 (/.f64 x y) (fma.f64 1/240 (/.f64 (pow.f64 x 5) (pow.f64 y 5)) (fma.f64 1/24 (/.f64 (pow.f64 x 3) (pow.f64 y 3)) (*.f64 17/40320 (/.f64 (pow.f64 x 7) (pow.f64 y 7))))))
(fma.f64 1/2 (/.f64 x y) (fma.f64 1/24 (pow.f64 (/.f64 x y) 3) (fma.f64 1/240 (/.f64 (pow.f64 x 5) (pow.f64 y 5)) (*.f64 17/40320 (/.f64 (pow.f64 x 7) (pow.f64 y 7))))))
(*.f64 1/2 (/.f64 x y))
(-.f64 (*.f64 1/2 (/.f64 x y)) (*.f64 1/48 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))
(+.f64 (*.f64 1/2 (/.f64 x y)) (*.f64 -1/48 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))
(fma.f64 1/2 (/.f64 x y) (*.f64 (/.f64 (pow.f64 x 3) (pow.f64 y 3)) -1/48))
(fma.f64 1/2 (/.f64 x y) (*.f64 (pow.f64 (/.f64 x y) 3) -1/48))
(fma.f64 1/2 (/.f64 x y) (/.f64 -1/48 (pow.f64 (/.f64 y x) 3)))
(-.f64 (+.f64 (*.f64 1/2 (/.f64 x y)) (*.f64 1/3840 (/.f64 (pow.f64 x 5) (pow.f64 y 5)))) (*.f64 1/48 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))
(+.f64 (fma.f64 1/2 (/.f64 x y) (*.f64 (/.f64 (pow.f64 x 5) (pow.f64 y 5)) 1/3840)) (*.f64 -1/48 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))
(fma.f64 1/2 (/.f64 x y) (fma.f64 (/.f64 (pow.f64 x 5) (pow.f64 y 5)) 1/3840 (*.f64 (/.f64 (pow.f64 x 3) (pow.f64 y 3)) -1/48)))
(fma.f64 (pow.f64 (/.f64 x y) 3) -1/48 (fma.f64 1/2 (/.f64 x y) (*.f64 (/.f64 (pow.f64 x 5) (pow.f64 y 5)) 1/3840)))
(fma.f64 1/2 (/.f64 x y) (fma.f64 (/.f64 (pow.f64 x 5) (pow.f64 y 5)) 1/3840 (/.f64 -1/48 (pow.f64 (/.f64 y x) 3))))
(-.f64 (+.f64 (*.f64 1/2 (/.f64 x y)) (*.f64 1/3840 (/.f64 (pow.f64 x 5) (pow.f64 y 5)))) (+.f64 (*.f64 1/48 (/.f64 (pow.f64 x 3) (pow.f64 y 3))) (*.f64 1/645120 (/.f64 (pow.f64 x 7) (pow.f64 y 7)))))
(-.f64 (fma.f64 1/2 (/.f64 x y) (*.f64 (/.f64 (pow.f64 x 5) (pow.f64 y 5)) 1/3840)) (fma.f64 1/48 (/.f64 (pow.f64 x 3) (pow.f64 y 3)) (*.f64 (/.f64 (pow.f64 x 7) (pow.f64 y 7)) 1/645120)))
(-.f64 (fma.f64 (/.f64 (pow.f64 x 5) (pow.f64 y 5)) 1/3840 (*.f64 1/2 (/.f64 x y))) (fma.f64 (/.f64 (pow.f64 x 3) (pow.f64 y 3)) 1/48 (*.f64 (/.f64 (pow.f64 x 7) (pow.f64 y 7)) 1/645120)))
(fma.f64 1/2 (/.f64 x y) (fma.f64 (/.f64 (pow.f64 x 5) (pow.f64 y 5)) 1/3840 (fma.f64 (pow.f64 (/.f64 x y) 3) -1/48 (*.f64 (/.f64 (pow.f64 x 7) (pow.f64 y 7)) -1/645120))))
(sin.f64 (*.f64 1/2 (/.f64 x y)))
(sin.f64 (*.f64 1/2 (/.f64 x y)))
(sin.f64 (*.f64 1/2 (/.f64 x y)))
(sin.f64 (*.f64 1/2 (/.f64 x y)))
(sin.f64 (*.f64 1/2 (/.f64 x y)))
(sin.f64 (*.f64 1/2 (/.f64 x y)))
(sin.f64 (*.f64 1/2 (/.f64 x y)))
(sin.f64 (*.f64 1/2 (/.f64 x y)))
(sin.f64 (*.f64 1/2 (/.f64 x y)))
(sin.f64 (*.f64 1/2 (/.f64 x y)))
(sin.f64 (*.f64 1/2 (/.f64 x y)))
(sin.f64 (*.f64 1/2 (/.f64 x y)))
(*.f64 1/2 (/.f64 x y))
(-.f64 (*.f64 1/2 (/.f64 x y)) (*.f64 1/48 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))
(+.f64 (*.f64 1/2 (/.f64 x y)) (*.f64 -1/48 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))
(fma.f64 1/2 (/.f64 x y) (*.f64 (/.f64 (pow.f64 x 3) (pow.f64 y 3)) -1/48))
(fma.f64 1/2 (/.f64 x y) (*.f64 (pow.f64 (/.f64 x y) 3) -1/48))
(fma.f64 1/2 (/.f64 x y) (/.f64 -1/48 (pow.f64 (/.f64 y x) 3)))
(-.f64 (+.f64 (*.f64 1/2 (/.f64 x y)) (*.f64 1/3840 (/.f64 (pow.f64 x 5) (pow.f64 y 5)))) (*.f64 1/48 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))
(+.f64 (fma.f64 1/2 (/.f64 x y) (*.f64 (/.f64 (pow.f64 x 5) (pow.f64 y 5)) 1/3840)) (*.f64 -1/48 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))
(fma.f64 1/2 (/.f64 x y) (fma.f64 (/.f64 (pow.f64 x 5) (pow.f64 y 5)) 1/3840 (*.f64 (/.f64 (pow.f64 x 3) (pow.f64 y 3)) -1/48)))
(fma.f64 (pow.f64 (/.f64 x y) 3) -1/48 (fma.f64 1/2 (/.f64 x y) (*.f64 (/.f64 (pow.f64 x 5) (pow.f64 y 5)) 1/3840)))
(fma.f64 1/2 (/.f64 x y) (fma.f64 (/.f64 (pow.f64 x 5) (pow.f64 y 5)) 1/3840 (/.f64 -1/48 (pow.f64 (/.f64 y x) 3))))
(-.f64 (+.f64 (*.f64 1/2 (/.f64 x y)) (*.f64 1/3840 (/.f64 (pow.f64 x 5) (pow.f64 y 5)))) (+.f64 (*.f64 1/48 (/.f64 (pow.f64 x 3) (pow.f64 y 3))) (*.f64 1/645120 (/.f64 (pow.f64 x 7) (pow.f64 y 7)))))
(-.f64 (fma.f64 1/2 (/.f64 x y) (*.f64 (/.f64 (pow.f64 x 5) (pow.f64 y 5)) 1/3840)) (fma.f64 1/48 (/.f64 (pow.f64 x 3) (pow.f64 y 3)) (*.f64 (/.f64 (pow.f64 x 7) (pow.f64 y 7)) 1/645120)))
(-.f64 (fma.f64 (/.f64 (pow.f64 x 5) (pow.f64 y 5)) 1/3840 (*.f64 1/2 (/.f64 x y))) (fma.f64 (/.f64 (pow.f64 x 3) (pow.f64 y 3)) 1/48 (*.f64 (/.f64 (pow.f64 x 7) (pow.f64 y 7)) 1/645120)))
(fma.f64 1/2 (/.f64 x y) (fma.f64 (/.f64 (pow.f64 x 5) (pow.f64 y 5)) 1/3840 (fma.f64 (pow.f64 (/.f64 x y) 3) -1/48 (*.f64 (/.f64 (pow.f64 x 7) (pow.f64 y 7)) -1/645120))))
(*.f64 1/2 (/.f64 x y))
(-.f64 (*.f64 1/2 (/.f64 x y)) (*.f64 1/48 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))
(+.f64 (*.f64 1/2 (/.f64 x y)) (*.f64 -1/48 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))
(fma.f64 1/2 (/.f64 x y) (*.f64 (/.f64 (pow.f64 x 3) (pow.f64 y 3)) -1/48))
(fma.f64 1/2 (/.f64 x y) (*.f64 (pow.f64 (/.f64 x y) 3) -1/48))
(fma.f64 1/2 (/.f64 x y) (/.f64 -1/48 (pow.f64 (/.f64 y x) 3)))
(-.f64 (+.f64 (*.f64 1/2 (/.f64 x y)) (*.f64 1/3840 (/.f64 (pow.f64 x 5) (pow.f64 y 5)))) (*.f64 1/48 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))
(+.f64 (fma.f64 1/2 (/.f64 x y) (*.f64 (/.f64 (pow.f64 x 5) (pow.f64 y 5)) 1/3840)) (*.f64 -1/48 (/.f64 (pow.f64 x 3) (pow.f64 y 3))))
(fma.f64 1/2 (/.f64 x y) (fma.f64 (/.f64 (pow.f64 x 5) (pow.f64 y 5)) 1/3840 (*.f64 (/.f64 (pow.f64 x 3) (pow.f64 y 3)) -1/48)))
(fma.f64 (pow.f64 (/.f64 x y) 3) -1/48 (fma.f64 1/2 (/.f64 x y) (*.f64 (/.f64 (pow.f64 x 5) (pow.f64 y 5)) 1/3840)))
(fma.f64 1/2 (/.f64 x y) (fma.f64 (/.f64 (pow.f64 x 5) (pow.f64 y 5)) 1/3840 (/.f64 -1/48 (pow.f64 (/.f64 y x) 3))))
(-.f64 (+.f64 (*.f64 1/2 (/.f64 x y)) (*.f64 1/3840 (/.f64 (pow.f64 x 5) (pow.f64 y 5)))) (+.f64 (*.f64 1/48 (/.f64 (pow.f64 x 3) (pow.f64 y 3))) (*.f64 1/645120 (/.f64 (pow.f64 x 7) (pow.f64 y 7)))))
(-.f64 (fma.f64 1/2 (/.f64 x y) (*.f64 (/.f64 (pow.f64 x 5) (pow.f64 y 5)) 1/3840)) (fma.f64 1/48 (/.f64 (pow.f64 x 3) (pow.f64 y 3)) (*.f64 (/.f64 (pow.f64 x 7) (pow.f64 y 7)) 1/645120)))
(-.f64 (fma.f64 (/.f64 (pow.f64 x 5) (pow.f64 y 5)) 1/3840 (*.f64 1/2 (/.f64 x y))) (fma.f64 (/.f64 (pow.f64 x 3) (pow.f64 y 3)) 1/48 (*.f64 (/.f64 (pow.f64 x 7) (pow.f64 y 7)) 1/645120)))
(fma.f64 1/2 (/.f64 x y) (fma.f64 (/.f64 (pow.f64 x 5) (pow.f64 y 5)) 1/3840 (fma.f64 (pow.f64 (/.f64 x y) 3) -1/48 (*.f64 (/.f64 (pow.f64 x 7) (pow.f64 y 7)) -1/645120))))
1
(+.f64 1 (*.f64 1/8 (/.f64 (pow.f64 x 2) (pow.f64 y 2))))
(+.f64 1 (/.f64 (*.f64 1/8 (*.f64 x x)) (*.f64 y y)))
(fma.f64 1/8 (*.f64 (/.f64 x y) (/.f64 x y)) 1)
(+.f64 1 (+.f64 (*.f64 5/384 (/.f64 (pow.f64 x 4) (pow.f64 y 4))) (*.f64 1/8 (/.f64 (pow.f64 x 2) (pow.f64 y 2)))))
(+.f64 1 (fma.f64 5/384 (/.f64 (pow.f64 x 4) (pow.f64 y 4)) (/.f64 (*.f64 1/8 (*.f64 x x)) (*.f64 y y))))
(+.f64 1 (fma.f64 1/8 (*.f64 (/.f64 x y) (/.f64 x y)) (*.f64 5/384 (/.f64 (pow.f64 x 4) (pow.f64 y 4)))))
(fma.f64 1/8 (*.f64 (/.f64 x y) (/.f64 x y)) (fma.f64 5/384 (/.f64 (pow.f64 x 4) (pow.f64 y 4)) 1))
(fma.f64 1/8 (*.f64 (/.f64 x y) (/.f64 x y)) (fma.f64 5/384 (pow.f64 (/.f64 x y) 4) 1))
(+.f64 1 (+.f64 (*.f64 5/384 (/.f64 (pow.f64 x 4) (pow.f64 y 4))) (+.f64 (*.f64 1/8 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (*.f64 61/46080 (/.f64 (pow.f64 x 6) (pow.f64 y 6))))))
(+.f64 1 (fma.f64 5/384 (/.f64 (pow.f64 x 4) (pow.f64 y 4)) (fma.f64 1/8 (/.f64 (*.f64 x x) (*.f64 y y)) (*.f64 61/46080 (/.f64 (pow.f64 x 6) (pow.f64 y 6))))))
(+.f64 1 (fma.f64 5/384 (/.f64 (pow.f64 x 4) (pow.f64 y 4)) (fma.f64 1/8 (*.f64 (/.f64 x y) (/.f64 x y)) (*.f64 61/46080 (/.f64 (pow.f64 x 6) (pow.f64 y 6))))))
(+.f64 1 (fma.f64 1/8 (*.f64 (/.f64 x y) (/.f64 x y)) (fma.f64 5/384 (/.f64 (pow.f64 x 4) (pow.f64 y 4)) (*.f64 61/46080 (/.f64 (pow.f64 x 6) (pow.f64 y 6))))))
(+.f64 1 (fma.f64 1/8 (*.f64 (/.f64 x y) (/.f64 x y)) (fma.f64 5/384 (pow.f64 (/.f64 x y) 4) (*.f64 61/46080 (pow.f64 (/.f64 x y) 6)))))
(/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y))))
(/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y))))
1
(+.f64 1 (*.f64 1/8 (/.f64 (pow.f64 x 2) (pow.f64 y 2))))
(+.f64 1 (/.f64 (*.f64 1/8 (*.f64 x x)) (*.f64 y y)))
(fma.f64 1/8 (*.f64 (/.f64 x y) (/.f64 x y)) 1)
(+.f64 1 (+.f64 (*.f64 5/384 (/.f64 (pow.f64 x 4) (pow.f64 y 4))) (*.f64 1/8 (/.f64 (pow.f64 x 2) (pow.f64 y 2)))))
(+.f64 1 (fma.f64 5/384 (/.f64 (pow.f64 x 4) (pow.f64 y 4)) (/.f64 (*.f64 1/8 (*.f64 x x)) (*.f64 y y))))
(+.f64 1 (fma.f64 1/8 (*.f64 (/.f64 x y) (/.f64 x y)) (*.f64 5/384 (/.f64 (pow.f64 x 4) (pow.f64 y 4)))))
(fma.f64 1/8 (*.f64 (/.f64 x y) (/.f64 x y)) (fma.f64 5/384 (/.f64 (pow.f64 x 4) (pow.f64 y 4)) 1))
(fma.f64 1/8 (*.f64 (/.f64 x y) (/.f64 x y)) (fma.f64 5/384 (pow.f64 (/.f64 x y) 4) 1))
(+.f64 1 (+.f64 (*.f64 5/384 (/.f64 (pow.f64 x 4) (pow.f64 y 4))) (+.f64 (*.f64 1/8 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (*.f64 61/46080 (/.f64 (pow.f64 x 6) (pow.f64 y 6))))))
(+.f64 1 (fma.f64 5/384 (/.f64 (pow.f64 x 4) (pow.f64 y 4)) (fma.f64 1/8 (/.f64 (*.f64 x x) (*.f64 y y)) (*.f64 61/46080 (/.f64 (pow.f64 x 6) (pow.f64 y 6))))))
(+.f64 1 (fma.f64 5/384 (/.f64 (pow.f64 x 4) (pow.f64 y 4)) (fma.f64 1/8 (*.f64 (/.f64 x y) (/.f64 x y)) (*.f64 61/46080 (/.f64 (pow.f64 x 6) (pow.f64 y 6))))))
(+.f64 1 (fma.f64 1/8 (*.f64 (/.f64 x y) (/.f64 x y)) (fma.f64 5/384 (/.f64 (pow.f64 x 4) (pow.f64 y 4)) (*.f64 61/46080 (/.f64 (pow.f64 x 6) (pow.f64 y 6))))))
(+.f64 1 (fma.f64 1/8 (*.f64 (/.f64 x y) (/.f64 x y)) (fma.f64 5/384 (pow.f64 (/.f64 x y) 4) (*.f64 61/46080 (pow.f64 (/.f64 x y) 6)))))
1
(+.f64 1 (*.f64 1/8 (/.f64 (pow.f64 x 2) (pow.f64 y 2))))
(+.f64 1 (/.f64 (*.f64 1/8 (*.f64 x x)) (*.f64 y y)))
(fma.f64 1/8 (*.f64 (/.f64 x y) (/.f64 x y)) 1)
(+.f64 1 (+.f64 (*.f64 5/384 (/.f64 (pow.f64 x 4) (pow.f64 y 4))) (*.f64 1/8 (/.f64 (pow.f64 x 2) (pow.f64 y 2)))))
(+.f64 1 (fma.f64 5/384 (/.f64 (pow.f64 x 4) (pow.f64 y 4)) (/.f64 (*.f64 1/8 (*.f64 x x)) (*.f64 y y))))
(+.f64 1 (fma.f64 1/8 (*.f64 (/.f64 x y) (/.f64 x y)) (*.f64 5/384 (/.f64 (pow.f64 x 4) (pow.f64 y 4)))))
(fma.f64 1/8 (*.f64 (/.f64 x y) (/.f64 x y)) (fma.f64 5/384 (/.f64 (pow.f64 x 4) (pow.f64 y 4)) 1))
(fma.f64 1/8 (*.f64 (/.f64 x y) (/.f64 x y)) (fma.f64 5/384 (pow.f64 (/.f64 x y) 4) 1))
(+.f64 1 (+.f64 (*.f64 5/384 (/.f64 (pow.f64 x 4) (pow.f64 y 4))) (+.f64 (*.f64 1/8 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (*.f64 61/46080 (/.f64 (pow.f64 x 6) (pow.f64 y 6))))))
(+.f64 1 (fma.f64 5/384 (/.f64 (pow.f64 x 4) (pow.f64 y 4)) (fma.f64 1/8 (/.f64 (*.f64 x x) (*.f64 y y)) (*.f64 61/46080 (/.f64 (pow.f64 x 6) (pow.f64 y 6))))))
(+.f64 1 (fma.f64 5/384 (/.f64 (pow.f64 x 4) (pow.f64 y 4)) (fma.f64 1/8 (*.f64 (/.f64 x y) (/.f64 x y)) (*.f64 61/46080 (/.f64 (pow.f64 x 6) (pow.f64 y 6))))))
(+.f64 1 (fma.f64 1/8 (*.f64 (/.f64 x y) (/.f64 x y)) (fma.f64 5/384 (/.f64 (pow.f64 x 4) (pow.f64 y 4)) (*.f64 61/46080 (/.f64 (pow.f64 x 6) (pow.f64 y 6))))))
(+.f64 1 (fma.f64 1/8 (*.f64 (/.f64 x y) (/.f64 x y)) (fma.f64 5/384 (pow.f64 (/.f64 x y) 4) (*.f64 61/46080 (pow.f64 (/.f64 x y) 6)))))
(-.f64 (E.f64) 1)
(+.f64 (E.f64) -1)
(expm1.f64 1)
(-.f64 (+.f64 (*.f64 1/8 (/.f64 (*.f64 (E.f64) (pow.f64 x 2)) (pow.f64 y 2))) (E.f64)) 1)
(+.f64 (fma.f64 1/8 (/.f64 (E.f64) (/.f64 (*.f64 y y) (*.f64 x x))) (E.f64)) -1)
(fma.f64 1/8 (/.f64 (*.f64 x x) (/.f64 (*.f64 y y) (E.f64))) (expm1.f64 1))
(fma.f64 1/8 (/.f64 (E.f64) (*.f64 (/.f64 y x) (/.f64 y x))) (expm1.f64 1))
(-.f64 (+.f64 (*.f64 1/8 (/.f64 (*.f64 (E.f64) (pow.f64 x 2)) (pow.f64 y 2))) (+.f64 (*.f64 1/48 (/.f64 (*.f64 (E.f64) (pow.f64 x 4)) (pow.f64 y 4))) (E.f64))) 1)
(+.f64 (fma.f64 1/8 (/.f64 (E.f64) (/.f64 (*.f64 y y) (*.f64 x x))) (fma.f64 1/48 (/.f64 (E.f64) (/.f64 (pow.f64 y 4) (pow.f64 x 4))) (E.f64))) -1)
(+.f64 (fma.f64 1/8 (/.f64 (*.f64 x x) (/.f64 (*.f64 y y) (E.f64))) (fma.f64 1/48 (*.f64 (/.f64 (E.f64) (pow.f64 y 4)) (pow.f64 x 4)) (E.f64))) -1)
(fma.f64 1/8 (/.f64 (E.f64) (*.f64 (/.f64 y x) (/.f64 y x))) (fma.f64 1/48 (*.f64 (/.f64 (pow.f64 x 4) (pow.f64 y 4)) (E.f64)) (expm1.f64 1)))
(fma.f64 1/8 (/.f64 (E.f64) (*.f64 (/.f64 y x) (/.f64 y x))) (fma.f64 1/48 (*.f64 (pow.f64 (/.f64 x y) 4) (E.f64)) (expm1.f64 1)))
(-.f64 (+.f64 (*.f64 1/8 (/.f64 (*.f64 (E.f64) (pow.f64 x 2)) (pow.f64 y 2))) (+.f64 (*.f64 151/46080 (/.f64 (*.f64 (E.f64) (pow.f64 x 6)) (pow.f64 y 6))) (+.f64 (*.f64 1/48 (/.f64 (*.f64 (E.f64) (pow.f64 x 4)) (pow.f64 y 4))) (E.f64)))) 1)
(+.f64 (fma.f64 1/8 (/.f64 (E.f64) (/.f64 (*.f64 y y) (*.f64 x x))) (fma.f64 151/46080 (/.f64 (E.f64) (/.f64 (pow.f64 y 6) (pow.f64 x 6))) (fma.f64 1/48 (/.f64 (E.f64) (/.f64 (pow.f64 y 4) (pow.f64 x 4))) (E.f64)))) -1)
(+.f64 (fma.f64 1/8 (/.f64 (*.f64 x x) (/.f64 (*.f64 y y) (E.f64))) (fma.f64 151/46080 (*.f64 (/.f64 (E.f64) (pow.f64 y 6)) (pow.f64 x 6)) (fma.f64 1/48 (*.f64 (/.f64 (E.f64) (pow.f64 y 4)) (pow.f64 x 4)) (E.f64)))) -1)
(fma.f64 1/8 (/.f64 (E.f64) (*.f64 (/.f64 y x) (/.f64 y x))) (fma.f64 151/46080 (/.f64 (*.f64 (pow.f64 x 6) (E.f64)) (pow.f64 y 6)) (fma.f64 1/48 (*.f64 (/.f64 (pow.f64 x 4) (pow.f64 y 4)) (E.f64)) (expm1.f64 1))))
(fma.f64 1/8 (/.f64 (E.f64) (*.f64 (/.f64 y x) (/.f64 y x))) (fma.f64 151/46080 (*.f64 (pow.f64 (/.f64 x y) 6) (E.f64)) (fma.f64 1/48 (*.f64 (pow.f64 (/.f64 x y) 4) (E.f64)) (expm1.f64 1))))
(-.f64 (exp.f64 (/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y))))) 1)
(expm1.f64 (/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y)))))
(-.f64 (exp.f64 (/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y))))) 1)
(expm1.f64 (/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y)))))
(-.f64 (exp.f64 (/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y))))) 1)
(expm1.f64 (/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y)))))
(-.f64 (exp.f64 (/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y))))) 1)
(expm1.f64 (/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y)))))
(-.f64 (exp.f64 (/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y))))) 1)
(expm1.f64 (/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y)))))
(-.f64 (exp.f64 (/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y))))) 1)
(expm1.f64 (/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y)))))
(-.f64 (exp.f64 (/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y))))) 1)
(expm1.f64 (/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y)))))
(-.f64 (exp.f64 (/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y))))) 1)
(expm1.f64 (/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y)))))
(-.f64 (exp.f64 (/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y))))) 1)
(expm1.f64 (/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y)))))
(-.f64 (exp.f64 (/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y))))) 1)
(expm1.f64 (/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y)))))
(-.f64 (exp.f64 (/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y))))) 1)
(expm1.f64 (/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y)))))
(-.f64 (exp.f64 (/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y))))) 1)
(expm1.f64 (/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y)))))
(-.f64 (E.f64) 1)
(+.f64 (E.f64) -1)
(expm1.f64 1)
(-.f64 (+.f64 (*.f64 1/8 (/.f64 (*.f64 (E.f64) (pow.f64 x 2)) (pow.f64 y 2))) (E.f64)) 1)
(+.f64 (fma.f64 1/8 (/.f64 (E.f64) (/.f64 (*.f64 y y) (*.f64 x x))) (E.f64)) -1)
(fma.f64 1/8 (/.f64 (*.f64 x x) (/.f64 (*.f64 y y) (E.f64))) (expm1.f64 1))
(fma.f64 1/8 (/.f64 (E.f64) (*.f64 (/.f64 y x) (/.f64 y x))) (expm1.f64 1))
(-.f64 (+.f64 (*.f64 1/8 (/.f64 (*.f64 (E.f64) (pow.f64 x 2)) (pow.f64 y 2))) (+.f64 (*.f64 1/48 (/.f64 (*.f64 (E.f64) (pow.f64 x 4)) (pow.f64 y 4))) (E.f64))) 1)
(+.f64 (fma.f64 1/8 (/.f64 (E.f64) (/.f64 (*.f64 y y) (*.f64 x x))) (fma.f64 1/48 (/.f64 (E.f64) (/.f64 (pow.f64 y 4) (pow.f64 x 4))) (E.f64))) -1)
(+.f64 (fma.f64 1/8 (/.f64 (*.f64 x x) (/.f64 (*.f64 y y) (E.f64))) (fma.f64 1/48 (*.f64 (/.f64 (E.f64) (pow.f64 y 4)) (pow.f64 x 4)) (E.f64))) -1)
(fma.f64 1/8 (/.f64 (E.f64) (*.f64 (/.f64 y x) (/.f64 y x))) (fma.f64 1/48 (*.f64 (/.f64 (pow.f64 x 4) (pow.f64 y 4)) (E.f64)) (expm1.f64 1)))
(fma.f64 1/8 (/.f64 (E.f64) (*.f64 (/.f64 y x) (/.f64 y x))) (fma.f64 1/48 (*.f64 (pow.f64 (/.f64 x y) 4) (E.f64)) (expm1.f64 1)))
(-.f64 (+.f64 (*.f64 1/8 (/.f64 (*.f64 (E.f64) (pow.f64 x 2)) (pow.f64 y 2))) (+.f64 (*.f64 151/46080 (/.f64 (*.f64 (E.f64) (pow.f64 x 6)) (pow.f64 y 6))) (+.f64 (*.f64 1/48 (/.f64 (*.f64 (E.f64) (pow.f64 x 4)) (pow.f64 y 4))) (E.f64)))) 1)
(+.f64 (fma.f64 1/8 (/.f64 (E.f64) (/.f64 (*.f64 y y) (*.f64 x x))) (fma.f64 151/46080 (/.f64 (E.f64) (/.f64 (pow.f64 y 6) (pow.f64 x 6))) (fma.f64 1/48 (/.f64 (E.f64) (/.f64 (pow.f64 y 4) (pow.f64 x 4))) (E.f64)))) -1)
(+.f64 (fma.f64 1/8 (/.f64 (*.f64 x x) (/.f64 (*.f64 y y) (E.f64))) (fma.f64 151/46080 (*.f64 (/.f64 (E.f64) (pow.f64 y 6)) (pow.f64 x 6)) (fma.f64 1/48 (*.f64 (/.f64 (E.f64) (pow.f64 y 4)) (pow.f64 x 4)) (E.f64)))) -1)
(fma.f64 1/8 (/.f64 (E.f64) (*.f64 (/.f64 y x) (/.f64 y x))) (fma.f64 151/46080 (/.f64 (*.f64 (pow.f64 x 6) (E.f64)) (pow.f64 y 6)) (fma.f64 1/48 (*.f64 (/.f64 (pow.f64 x 4) (pow.f64 y 4)) (E.f64)) (expm1.f64 1))))
(fma.f64 1/8 (/.f64 (E.f64) (*.f64 (/.f64 y x) (/.f64 y x))) (fma.f64 151/46080 (*.f64 (pow.f64 (/.f64 x y) 6) (E.f64)) (fma.f64 1/48 (*.f64 (pow.f64 (/.f64 x y) 4) (E.f64)) (expm1.f64 1))))
(-.f64 (E.f64) 1)
(+.f64 (E.f64) -1)
(expm1.f64 1)
(-.f64 (+.f64 (*.f64 1/8 (/.f64 (*.f64 (E.f64) (pow.f64 x 2)) (pow.f64 y 2))) (E.f64)) 1)
(+.f64 (fma.f64 1/8 (/.f64 (E.f64) (/.f64 (*.f64 y y) (*.f64 x x))) (E.f64)) -1)
(fma.f64 1/8 (/.f64 (*.f64 x x) (/.f64 (*.f64 y y) (E.f64))) (expm1.f64 1))
(fma.f64 1/8 (/.f64 (E.f64) (*.f64 (/.f64 y x) (/.f64 y x))) (expm1.f64 1))
(-.f64 (+.f64 (*.f64 1/8 (/.f64 (*.f64 (E.f64) (pow.f64 x 2)) (pow.f64 y 2))) (+.f64 (*.f64 1/48 (/.f64 (*.f64 (E.f64) (pow.f64 x 4)) (pow.f64 y 4))) (E.f64))) 1)
(+.f64 (fma.f64 1/8 (/.f64 (E.f64) (/.f64 (*.f64 y y) (*.f64 x x))) (fma.f64 1/48 (/.f64 (E.f64) (/.f64 (pow.f64 y 4) (pow.f64 x 4))) (E.f64))) -1)
(+.f64 (fma.f64 1/8 (/.f64 (*.f64 x x) (/.f64 (*.f64 y y) (E.f64))) (fma.f64 1/48 (*.f64 (/.f64 (E.f64) (pow.f64 y 4)) (pow.f64 x 4)) (E.f64))) -1)
(fma.f64 1/8 (/.f64 (E.f64) (*.f64 (/.f64 y x) (/.f64 y x))) (fma.f64 1/48 (*.f64 (/.f64 (pow.f64 x 4) (pow.f64 y 4)) (E.f64)) (expm1.f64 1)))
(fma.f64 1/8 (/.f64 (E.f64) (*.f64 (/.f64 y x) (/.f64 y x))) (fma.f64 1/48 (*.f64 (pow.f64 (/.f64 x y) 4) (E.f64)) (expm1.f64 1)))
(-.f64 (+.f64 (*.f64 1/8 (/.f64 (*.f64 (E.f64) (pow.f64 x 2)) (pow.f64 y 2))) (+.f64 (*.f64 151/46080 (/.f64 (*.f64 (E.f64) (pow.f64 x 6)) (pow.f64 y 6))) (+.f64 (*.f64 1/48 (/.f64 (*.f64 (E.f64) (pow.f64 x 4)) (pow.f64 y 4))) (E.f64)))) 1)
(+.f64 (fma.f64 1/8 (/.f64 (E.f64) (/.f64 (*.f64 y y) (*.f64 x x))) (fma.f64 151/46080 (/.f64 (E.f64) (/.f64 (pow.f64 y 6) (pow.f64 x 6))) (fma.f64 1/48 (/.f64 (E.f64) (/.f64 (pow.f64 y 4) (pow.f64 x 4))) (E.f64)))) -1)
(+.f64 (fma.f64 1/8 (/.f64 (*.f64 x x) (/.f64 (*.f64 y y) (E.f64))) (fma.f64 151/46080 (*.f64 (/.f64 (E.f64) (pow.f64 y 6)) (pow.f64 x 6)) (fma.f64 1/48 (*.f64 (/.f64 (E.f64) (pow.f64 y 4)) (pow.f64 x 4)) (E.f64)))) -1)
(fma.f64 1/8 (/.f64 (E.f64) (*.f64 (/.f64 y x) (/.f64 y x))) (fma.f64 151/46080 (/.f64 (*.f64 (pow.f64 x 6) (E.f64)) (pow.f64 y 6)) (fma.f64 1/48 (*.f64 (/.f64 (pow.f64 x 4) (pow.f64 y 4)) (E.f64)) (expm1.f64 1))))
(fma.f64 1/8 (/.f64 (E.f64) (*.f64 (/.f64 y x) (/.f64 y x))) (fma.f64 151/46080 (*.f64 (pow.f64 (/.f64 x y) 6) (E.f64)) (fma.f64 1/48 (*.f64 (pow.f64 (/.f64 x y) 4) (E.f64)) (expm1.f64 1))))

prune194.0ms (2.8%)

Pruning

18 alts after pruning (17 fresh and 1 done)

PrunedKeptTotal
New1368144
Fresh8917
Picked101
Done011
Total14518163
Error
22.6b
Counts
163 → 18
Alt Table
StatusErrorProgram
33.2b
(log1p.f64 (expm1.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (*.f64 (cbrt.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2))) (pow.f64 (cbrt.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2))) 2)))))
58.6b
(/.f64 (tan.f64 (/.f64 x (*.f64 y 2))) (+.f64 (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2))))) (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2)))))))
57.8b
(/.f64 (+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)))) (cbrt.f64 (exp.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)))))) (log.f64 (cbrt.f64 (exp.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)))))) (sin.f64 (/.f64 x (*.f64 y 2))))
33.6b
(log1p.f64 (fma.f64 (*.f64 (cbrt.f64 (exp.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2))))) (cbrt.f64 (exp.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))))) (cbrt.f64 (exp.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2))))) -1))
58.6b
(log1p.f64 (expm1.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2)))) (cbrt.f64 (exp.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2)))))) (log.f64 (cbrt.f64 (exp.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2)))))))))
32.7b
(*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))) (pow.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))) 2))
32.7b
(log1p.f64 (log1p.f64 (expm1.f64 (expm1.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))))))
28.7b
(log1p.f64 (fma.f64 1/8 (/.f64 (E.f64) (*.f64 (/.f64 y x) (/.f64 y x))) (expm1.f64 1)))
33.1b
(log1p.f64 (pow.f64 (cbrt.f64 (expm1.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2))))) 3))
33.5b
(/.f64 (/.f64 (pow.f64 (cbrt.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2))) 2) (/.f64 (cos.f64 (*.f64 (/.f64 x y) 1/2)) (cbrt.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2))))) (sin.f64 (/.f64 x (*.f64 y 2))))
36.1b
(/.f64 (tan.f64 (/.f64 x (*.f64 y 2))) (fma.f64 (pow.f64 (/.f64 x y) 3) -1/48 (*.f64 1/2 (/.f64 x y))))
36.5b
(/.f64 (*.f64 1/2 (/.f64 x y)) (sin.f64 (/.f64 x (*.f64 y 2))))
32.7b
(log1p.f64 (+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (expm1.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))))) (cbrt.f64 (exp.f64 (expm1.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))))))) (log.f64 (cbrt.f64 (exp.f64 (expm1.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))))))))
53.0b
(log1p.f64 (expm1.f64 (/.f64 (sqrt.f64 (pow.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) 2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))))
26.2b
1
50.5b
(/.f64 (tan.f64 (/.f64 x (*.f64 y 2))) (cbrt.f64 (pow.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2)) 3)))
54.2b
(/.f64 (tan.f64 (/.f64 x (*.f64 y 2))) (sqrt.f64 (pow.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2)) 2)))
60.7b
(/.f64 (tan.f64 (/.f64 x (*.f64 y 2))) (-.f64 (*.f64 (sin.f64 (exp.f64 (log1p.f64 (*.f64 (/.f64 x y) 1/2)))) (cos.f64 1)) (*.f64 (cos.f64 (exp.f64 (log1p.f64 (*.f64 (/.f64 x y) 1/2)))) (sin.f64 1))))
Compiler

Compiled 4294 to 2882 computations (32.9% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.2b
(/.f64 (E.f64) (*.f64 (/.f64 y x) (/.f64 y x)))
0.2b
(*.f64 (/.f64 y x) (/.f64 y x))
1.0b
(expm1.f64 1)
16.9b
(log1p.f64 (fma.f64 1/8 (/.f64 (E.f64) (*.f64 (/.f64 y x) (/.f64 y x))) (expm1.f64 1)))

series17.0ms (0.2%)

Counts
4 → 72
Calls

18 calls:

TimeVariablePointExpression
3.0ms
y
@0
(log1p.f64 (fma.f64 1/8 (/.f64 (E.f64) (*.f64 (/.f64 y x) (/.f64 y x))) (expm1.f64 1)))
2.0ms
x
@-inf
(log1p.f64 (fma.f64 1/8 (/.f64 (E.f64) (*.f64 (/.f64 y x) (/.f64 y x))) (expm1.f64 1)))
2.0ms
x
@inf
(log1p.f64 (fma.f64 1/8 (/.f64 (E.f64) (*.f64 (/.f64 y x) (/.f64 y x))) (expm1.f64 1)))
2.0ms
y
@inf
(log1p.f64 (fma.f64 1/8 (/.f64 (E.f64) (*.f64 (/.f64 y x) (/.f64 y x))) (expm1.f64 1)))
1.0ms
x
@0
(log1p.f64 (fma.f64 1/8 (/.f64 (E.f64) (*.f64 (/.f64 y x) (/.f64 y x))) (expm1.f64 1)))

rewrite61.0ms (0.9%)

Algorithm
batch-egg-rewrite
Rules
580×log-prod_binary64
208×expm1-udef_binary64
208×log1p-udef_binary64
171×log-pow_binary64
169×log-div_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01240
124840
2320240
Stop Event
node limit
Counts
4 → 131
Calls
Call 1
Inputs
(log1p.f64 (fma.f64 1/8 (/.f64 (E.f64) (*.f64 (/.f64 y x) (/.f64 y x))) (expm1.f64 1)))
(expm1.f64 1)
(*.f64 (/.f64 y x) (/.f64 y x))
(/.f64 (E.f64) (*.f64 (/.f64 y x) (/.f64 y x)))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (log1p.f64 (fma.f64 (*.f64 1/8 (E.f64)) (pow.f64 (/.f64 y x) -2) (expm1.f64 1))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (*.f64 (cbrt.f64 (+.f64 1 (fma.f64 (*.f64 1/8 (E.f64)) (pow.f64 (/.f64 y x) -2) (expm1.f64 1)))) (cbrt.f64 (+.f64 1 (fma.f64 (*.f64 1/8 (E.f64)) (pow.f64 (/.f64 y x) -2) (expm1.f64 1)))))) (log.f64 (cbrt.f64 (+.f64 1 (fma.f64 (*.f64 1/8 (E.f64)) (pow.f64 (/.f64 y x) -2) (expm1.f64 1))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (+.f64 1 (fma.f64 (*.f64 1/8 (E.f64)) (pow.f64 (/.f64 y x) -2) (expm1.f64 1))))) (log.f64 (sqrt.f64 (+.f64 1 (fma.f64 (*.f64 1/8 (E.f64)) (pow.f64 (/.f64 y x) -2) (expm1.f64 1))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (log1p.f64 (pow.f64 (fma.f64 (*.f64 1/8 (E.f64)) (pow.f64 (/.f64 y x) -2) (expm1.f64 1)) 3)) (log.f64 (+.f64 1 (-.f64 (pow.f64 (fma.f64 (*.f64 1/8 (E.f64)) (pow.f64 (/.f64 y x) -2) (expm1.f64 1)) 2) (fma.f64 (*.f64 1/8 (E.f64)) (pow.f64 (/.f64 y x) -2) (expm1.f64 1))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (log1p.f64 (fma.f64 (*.f64 1/8 (E.f64)) (pow.f64 (/.f64 y x) -2) (expm1.f64 1))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (log.f64 (-.f64 1 (pow.f64 (fma.f64 (*.f64 1/8 (E.f64)) (pow.f64 (/.f64 y x) -2) (expm1.f64 1)) 2))) (log.f64 (-.f64 1 (fma.f64 (*.f64 1/8 (E.f64)) (pow.f64 (/.f64 y x) -2) (expm1.f64 1)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (log1p.f64 (fma.f64 (*.f64 1/8 (E.f64)) (pow.f64 (/.f64 y x) -2) (expm1.f64 1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (log1p.f64 (fma.f64 (*.f64 1/8 (E.f64)) (pow.f64 (/.f64 y x) -2) (expm1.f64 1))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (log1p.f64 (fma.f64 (*.f64 1/8 (E.f64)) (pow.f64 (/.f64 y x) -2) (expm1.f64 1)))) (pow.f64 (cbrt.f64 (log1p.f64 (fma.f64 (*.f64 1/8 (E.f64)) (pow.f64 (/.f64 y x) -2) (expm1.f64 1)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (log1p.f64 (fma.f64 (*.f64 1/8 (E.f64)) (pow.f64 (/.f64 y x) -2) (expm1.f64 1)))) 2) (cbrt.f64 (log1p.f64 (fma.f64 (*.f64 1/8 (E.f64)) (pow.f64 (/.f64 y x) -2) (expm1.f64 1)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (log1p.f64 (fma.f64 (*.f64 1/8 (E.f64)) (pow.f64 (/.f64 y x) -2) (expm1.f64 1)))) (sqrt.f64 (log1p.f64 (fma.f64 (*.f64 1/8 (E.f64)) (pow.f64 (/.f64 y x) -2) (expm1.f64 1)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (log1p.f64 (fma.f64 (*.f64 1/8 (E.f64)) (pow.f64 (/.f64 y x) -2) (expm1.f64 1))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (log1p.f64 (fma.f64 (*.f64 1/8 (E.f64)) (pow.f64 (/.f64 y x) -2) (expm1.f64 1))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (log1p.f64 (fma.f64 (*.f64 1/8 (E.f64)) (pow.f64 (/.f64 y x) -2) (expm1.f64 1)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (log1p.f64 (fma.f64 (*.f64 1/8 (E.f64)) (pow.f64 (/.f64 y x) -2) (expm1.f64 1)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (log1p.f64 (fma.f64 (*.f64 1/8 (E.f64)) (pow.f64 (/.f64 y x) -2) (expm1.f64 1))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (fma.f64 (*.f64 1/8 (E.f64)) (pow.f64 (/.f64 y x) -2) (expm1.f64 1))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (log1p.f64 (fma.f64 (*.f64 1/8 (E.f64)) (pow.f64 (/.f64 y x) -2) (expm1.f64 1))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (log1p.f64 (fma.f64 (*.f64 1/8 (E.f64)) (pow.f64 (/.f64 y x) -2) (expm1.f64 1)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (log1p.f64 (fma.f64 (*.f64 1/8 (E.f64)) (pow.f64 (/.f64 y x) -2) (expm1.f64 1)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (log1p.f64 (fma.f64 (*.f64 1/8 (E.f64)) (pow.f64 (/.f64 y x) -2) (expm1.f64 1)))) 1))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (E.f64) -1)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (expm1.f64 1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (expm1.f64 1))) (cbrt.f64 (exp.f64 (expm1.f64 1))))) (log.f64 (cbrt.f64 (exp.f64 (expm1.f64 1)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (exp.f64 (expm1.f64 1)))) (log.f64 (sqrt.f64 (exp.f64 (expm1.f64 1)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (E.f64) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (expm1.f64 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (expm1.f64 1) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (expm1.f64 1)) (pow.f64 (cbrt.f64 (expm1.f64 1)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (expm1.f64 1)) 2) (cbrt.f64 (expm1.f64 1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (expm1.f64 1)) (sqrt.f64 (expm1.f64 1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (exp.f64 1/2) 1) (expm1.f64 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (expm1.f64 3) (+.f64 (exp.f64 2) (+.f64 1 (E.f64))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (expm1.f64 2) (+.f64 (E.f64) 1))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (expm1.f64 1) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (expm1.f64 1) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (expm1.f64 1)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (expm1.f64 1)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (expm1.f64 1) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (expm1.f64 1)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (expm1.f64 1))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (expm1.f64 1) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (expm1.f64 1)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (E.f64) 1 -1)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (E.f64) -1)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (exp.f64 1/3) (exp.f64 2/3) -1)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (exp.f64 2/3) (exp.f64 1/3) -1)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (exp.f64 1/2) (exp.f64 1/2) -1)))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (expm1.f64 1)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (expm1.f64 1)) 1))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (pow.f64 (/.f64 y x) 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (pow.f64 (/.f64 y x) 2))) (cbrt.f64 (exp.f64 (pow.f64 (/.f64 y x) 2))))) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 (/.f64 y x) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 (/.f64 y x) 2)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 (/.f64 y x) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (pow.f64 (/.f64 y x) 2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 y (*.f64 x (/.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 y (*.f64 (/.f64 x y) x))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 y (/.f64 (*.f64 x x) y))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 y (/.f64 x (/.f64 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 y x) (/.f64 x y))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (*.f64 (/.f64 x y) (/.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (*.f64 x x) (*.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 x (*.f64 y (/.f64 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 y y) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 y) (*.f64 (/.f64 x y) (neg.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 y (/.f64 y x)) x)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (neg.f64 y) (neg.f64 y)) (*.f64 (neg.f64 x) (neg.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (*.f64 y y)) (neg.f64 (*.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (*.f64 y (/.f64 y x))) (neg.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (neg.f64 y) y) (*.f64 (neg.f64 x) x))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (neg.f64 y) 1) (*.f64 (neg.f64 x) (/.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 y (neg.f64 y)) (*.f64 x (neg.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 y (/.f64 y x)) 1) x)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 y (/.f64 y x)) (cbrt.f64 (*.f64 x x))) (cbrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 y (/.f64 y x)) (sqrt.f64 x)) (sqrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (neg.f64 y) (/.f64 y x)) (neg.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (/.f64 y x) (neg.f64 y)) (neg.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 y x) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 y x) 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (pow.f64 (/.f64 y x) 2) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (cbrt.f64 (/.f64 y x)) 2) 3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (/.f64 y x) 4))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (pow.f64 (/.f64 y x) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (pow.f64 (/.f64 y x) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (pow.f64 (/.f64 y x) 2) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (pow.f64 (/.f64 y x) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (pow.f64 (/.f64 y x) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (pow.f64 (/.f64 y x) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (/.f64 y x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (pow.f64 (/.f64 y x) 2)) 1))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (E.f64) (pow.f64 (/.f64 y x) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 (E.f64)) (pow.f64 (/.f64 y x) -2))) (cbrt.f64 (pow.f64 (exp.f64 (E.f64)) (pow.f64 (/.f64 y x) -2))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (E.f64)) (pow.f64 (/.f64 y x) -2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (E.f64)) (pow.f64 (/.f64 y x) -2)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (E.f64)) (pow.f64 (/.f64 y x) -2)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 (E.f64) (pow.f64 (/.f64 y x) -2)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (E.f64) (pow.f64 (/.f64 y x) -2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (E.f64) (pow.f64 (/.f64 y x) -2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 (E.f64) (pow.f64 (/.f64 y x) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 (E.f64) (pow.f64 (/.f64 y x) -2))) (cbrt.f64 (/.f64 (exp.f64 2) (pow.f64 (/.f64 y x) 4))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (/.f64 (exp.f64 2) (pow.f64 (/.f64 y x) 4))) (cbrt.f64 (*.f64 (E.f64) (pow.f64 (/.f64 y x) -2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (exp.f64 2/3) (*.f64 (exp.f64 1/3) (pow.f64 (/.f64 y x) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (exp.f64 1/2) (/.f64 y x)) (/.f64 (exp.f64 1/2) (/.f64 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (exp.f64 1/2) (*.f64 (exp.f64 1/2) (pow.f64 (/.f64 y x) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (E.f64)) (/.f64 1 (neg.f64 (pow.f64 (/.f64 y x) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 x y) (*.f64 (E.f64) (/.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (/.f64 y x) -2) (E.f64))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (E.f64) (/.f64 x y)) (/.f64 x y))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (exp.f64 2/3) (/.f64 y x)) (/.f64 (exp.f64 1/3) (/.f64 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (exp.f64 2/3) 1) (/.f64 (exp.f64 1/3) (pow.f64 (/.f64 y x) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (exp.f64 1/2) 1) (/.f64 (exp.f64 1/2) (pow.f64 (/.f64 y x) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (cbrt.f64 (pow.f64 (/.f64 y x) 4))) (/.f64 (E.f64) (pow.f64 (cbrt.f64 (/.f64 y x)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (exp.f64 2/3) (cbrt.f64 (pow.f64 (/.f64 y x) 4))) (cbrt.f64 (*.f64 (E.f64) (pow.f64 (/.f64 y x) -2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (exp.f64 1/2) (cbrt.f64 (pow.f64 (/.f64 y x) 4))) (/.f64 (exp.f64 1/2) (pow.f64 (cbrt.f64 (/.f64 y x)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (E.f64) (*.f64 y y)) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (E.f64) (*.f64 y (/.f64 y x))) x)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (*.f64 (E.f64) (/.f64 x y)) y) x)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (*.f64 (E.f64) (/.f64 x y)) 1) (/.f64 x y))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (*.f64 (E.f64) (/.f64 x y)) (neg.f64 y)) (neg.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (E.f64) (pow.f64 (/.f64 y x) -2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 (E.f64) (pow.f64 (/.f64 y x) -2)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 (E.f64) (pow.f64 (/.f64 y x) -2))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (exp.f64 1/2) (/.f64 y x)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (pow.f64 (/.f64 y x) 2) (E.f64)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 (E.f64) (neg.f64 (pow.f64 (/.f64 y x) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (/.f64 (exp.f64 2) (pow.f64 (/.f64 y x) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 (E.f64)) (pow.f64 (/.f64 y x) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 (E.f64) (pow.f64 (/.f64 y x) -2)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 (E.f64) (pow.f64 (/.f64 y x) -2)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 (exp.f64 3) (pow.f64 (pow.f64 (/.f64 y x) 2) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 (E.f64) (pow.f64 (/.f64 y x) -2))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 (E.f64) (pow.f64 (/.f64 y x) -2))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (+.f64 1 (*.f64 -2 (log.f64 (/.f64 y x)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (+.f64 1 (*.f64 -2 (log.f64 (/.f64 y x)))) 1))))))

simplify45.0ms (0.6%)

Algorithm
egg-herbie
Rules
623×associate-/l*_binary64
553×associate-/r*_binary64
446×fma-def_binary64
238×associate-*r/_binary64
179×associate-*l/_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01041688
13391354
213361304
Stop Event
node limit
Counts
203 → 170
Calls
Call 1
Inputs
(-.f64 (log.f64 (*.f64 1/8 (*.f64 (E.f64) (pow.f64 x 2)))) (*.f64 2 (log.f64 y)))
(-.f64 (+.f64 (*.f64 8 (/.f64 (pow.f64 y 2) (pow.f64 x 2))) (log.f64 (*.f64 1/8 (*.f64 (E.f64) (pow.f64 x 2))))) (*.f64 2 (log.f64 y)))
(-.f64 (+.f64 (*.f64 8 (/.f64 (pow.f64 y 2) (pow.f64 x 2))) (log.f64 (*.f64 1/8 (*.f64 (E.f64) (pow.f64 x 2))))) (+.f64 (*.f64 32 (/.f64 (pow.f64 y 4) (pow.f64 x 4))) (*.f64 2 (log.f64 y))))
(-.f64 (+.f64 (*.f64 8 (/.f64 (pow.f64 y 2) (pow.f64 x 2))) (+.f64 (*.f64 512/3 (/.f64 (pow.f64 y 6) (pow.f64 x 6))) (log.f64 (*.f64 1/8 (*.f64 (E.f64) (pow.f64 x 2)))))) (+.f64 (*.f64 32 (/.f64 (pow.f64 y 4) (pow.f64 x 4))) (*.f64 2 (log.f64 y))))
1
(+.f64 1 (*.f64 1/8 (/.f64 (*.f64 (E.f64) (pow.f64 x 2)) (*.f64 (exp.f64 1) (pow.f64 y 2)))))
(-.f64 (+.f64 1 (*.f64 1/8 (/.f64 (*.f64 (E.f64) (pow.f64 x 2)) (*.f64 (exp.f64 1) (pow.f64 y 2))))) (*.f64 1/128 (/.f64 (*.f64 (pow.f64 (E.f64) 2) (pow.f64 x 4)) (*.f64 (pow.f64 (exp.f64 1) 2) (pow.f64 y 4)))))
(-.f64 (+.f64 1 (+.f64 (*.f64 1/8 (/.f64 (*.f64 (E.f64) (pow.f64 x 2)) (*.f64 (exp.f64 1) (pow.f64 y 2)))) (*.f64 1/1536 (/.f64 (*.f64 (pow.f64 (E.f64) 3) (pow.f64 x 6)) (*.f64 (pow.f64 (exp.f64 1) 3) (pow.f64 y 6)))))) (*.f64 1/128 (/.f64 (*.f64 (pow.f64 (E.f64) 2) (pow.f64 x 4)) (*.f64 (pow.f64 (exp.f64 1) 2) (pow.f64 y 4)))))
1
(+.f64 1 (*.f64 1/8 (/.f64 (*.f64 (E.f64) (pow.f64 x 2)) (*.f64 (exp.f64 1) (pow.f64 y 2)))))
(-.f64 (+.f64 1 (*.f64 1/8 (/.f64 (*.f64 (E.f64) (pow.f64 x 2)) (*.f64 (exp.f64 1) (pow.f64 y 2))))) (*.f64 1/128 (/.f64 (*.f64 (pow.f64 (E.f64) 2) (pow.f64 x 4)) (*.f64 (pow.f64 (exp.f64 1) 2) (pow.f64 y 4)))))
(-.f64 (+.f64 1 (+.f64 (*.f64 1/8 (/.f64 (*.f64 (E.f64) (pow.f64 x 2)) (*.f64 (exp.f64 1) (pow.f64 y 2)))) (*.f64 1/1536 (/.f64 (*.f64 (pow.f64 (E.f64) 3) (pow.f64 x 6)) (*.f64 (pow.f64 (exp.f64 1) 3) (pow.f64 y 6)))))) (*.f64 1/128 (/.f64 (*.f64 (pow.f64 (E.f64) 2) (pow.f64 x 4)) (*.f64 (pow.f64 (exp.f64 1) 2) (pow.f64 y 4)))))
1
(+.f64 1 (*.f64 1/8 (/.f64 (pow.f64 x 2) (pow.f64 y 2))))
(-.f64 (+.f64 1 (*.f64 1/8 (/.f64 (pow.f64 x 2) (pow.f64 y 2)))) (*.f64 1/128 (/.f64 (pow.f64 x 4) (pow.f64 y 4))))
(-.f64 (+.f64 1 (+.f64 (*.f64 1/8 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (*.f64 1/1536 (/.f64 (pow.f64 x 6) (pow.f64 y 6))))) (*.f64 1/128 (/.f64 (pow.f64 x 4) (pow.f64 y 4))))
(-.f64 (log.f64 (*.f64 1/8 (/.f64 (exp.f64 1) (pow.f64 y 2)))) (*.f64 2 (log.f64 (/.f64 1 x))))
(-.f64 (+.f64 (*.f64 8 (/.f64 (*.f64 (exp.f64 1) (pow.f64 y 2)) (*.f64 (E.f64) (pow.f64 x 2)))) (log.f64 (*.f64 1/8 (/.f64 (exp.f64 1) (pow.f64 y 2))))) (*.f64 2 (log.f64 (/.f64 1 x))))
(-.f64 (+.f64 (*.f64 8 (/.f64 (*.f64 (exp.f64 1) (pow.f64 y 2)) (*.f64 (E.f64) (pow.f64 x 2)))) (log.f64 (*.f64 1/8 (/.f64 (exp.f64 1) (pow.f64 y 2))))) (+.f64 (*.f64 32 (/.f64 (*.f64 (pow.f64 (exp.f64 1) 2) (pow.f64 y 4)) (*.f64 (pow.f64 (E.f64) 2) (pow.f64 x 4)))) (*.f64 2 (log.f64 (/.f64 1 x)))))
(-.f64 (+.f64 (*.f64 8 (/.f64 (*.f64 (exp.f64 1) (pow.f64 y 2)) (*.f64 (E.f64) (pow.f64 x 2)))) (+.f64 (*.f64 512/3 (/.f64 (*.f64 (pow.f64 (exp.f64 1) 3) (pow.f64 y 6)) (*.f64 (pow.f64 (E.f64) 3) (pow.f64 x 6)))) (log.f64 (*.f64 1/8 (/.f64 (exp.f64 1) (pow.f64 y 2)))))) (+.f64 (*.f64 32 (/.f64 (*.f64 (pow.f64 (exp.f64 1) 2) (pow.f64 y 4)) (*.f64 (pow.f64 (E.f64) 2) (pow.f64 x 4)))) (*.f64 2 (log.f64 (/.f64 1 x)))))
(-.f64 (log.f64 (*.f64 1/8 (/.f64 (exp.f64 1) (pow.f64 y 2)))) (*.f64 2 (log.f64 (/.f64 -1 x))))
(-.f64 (+.f64 (*.f64 8 (/.f64 (*.f64 (exp.f64 1) (pow.f64 y 2)) (*.f64 (E.f64) (pow.f64 x 2)))) (log.f64 (*.f64 1/8 (/.f64 (exp.f64 1) (pow.f64 y 2))))) (*.f64 2 (log.f64 (/.f64 -1 x))))
(-.f64 (+.f64 (*.f64 8 (/.f64 (*.f64 (exp.f64 1) (pow.f64 y 2)) (*.f64 (E.f64) (pow.f64 x 2)))) (log.f64 (*.f64 1/8 (/.f64 (exp.f64 1) (pow.f64 y 2))))) (+.f64 (*.f64 32 (/.f64 (*.f64 (pow.f64 (exp.f64 1) 2) (pow.f64 y 4)) (*.f64 (pow.f64 (E.f64) 2) (pow.f64 x 4)))) (*.f64 2 (log.f64 (/.f64 -1 x)))))
(-.f64 (+.f64 (*.f64 8 (/.f64 (*.f64 (exp.f64 1) (pow.f64 y 2)) (*.f64 (E.f64) (pow.f64 x 2)))) (+.f64 (*.f64 512/3 (/.f64 (*.f64 (pow.f64 (exp.f64 1) 3) (pow.f64 y 6)) (*.f64 (pow.f64 (E.f64) 3) (pow.f64 x 6)))) (log.f64 (*.f64 1/8 (/.f64 (exp.f64 1) (pow.f64 y 2)))))) (+.f64 (*.f64 32 (/.f64 (*.f64 (pow.f64 (exp.f64 1) 2) (pow.f64 y 4)) (*.f64 (pow.f64 (E.f64) 2) (pow.f64 x 4)))) (*.f64 2 (log.f64 (/.f64 -1 x)))))
(/.f64 (pow.f64 y 2) (pow.f64 x 2))
(/.f64 (pow.f64 y 2) (pow.f64 x 2))
(/.f64 (pow.f64 y 2) (pow.f64 x 2))
(/.f64 (pow.f64 y 2) (pow.f64 x 2))
(/.f64 (pow.f64 y 2) (pow.f64 x 2))
(/.f64 (pow.f64 y 2) (pow.f64 x 2))
(/.f64 (pow.f64 y 2) (pow.f64 x 2))
(/.f64 (pow.f64 y 2) (pow.f64 x 2))
(/.f64 (pow.f64 y 2) (pow.f64 x 2))
(/.f64 (pow.f64 y 2) (pow.f64 x 2))
(/.f64 (pow.f64 y 2) (pow.f64 x 2))
(/.f64 (pow.f64 y 2) (pow.f64 x 2))
(/.f64 (pow.f64 y 2) (pow.f64 x 2))
(/.f64 (pow.f64 y 2) (pow.f64 x 2))
(/.f64 (pow.f64 y 2) (pow.f64 x 2))
(/.f64 (pow.f64 y 2) (pow.f64 x 2))
(/.f64 (pow.f64 y 2) (pow.f64 x 2))
(/.f64 (pow.f64 y 2) (pow.f64 x 2))
(/.f64 (pow.f64 y 2) (pow.f64 x 2))
(/.f64 (pow.f64 y 2) (pow.f64 x 2))
(/.f64 (pow.f64 y 2) (pow.f64 x 2))
(/.f64 (pow.f64 y 2) (pow.f64 x 2))
(/.f64 (pow.f64 y 2) (pow.f64 x 2))
(/.f64 (pow.f64 y 2) (pow.f64 x 2))
(/.f64 (*.f64 (exp.f64 1) (pow.f64 x 2)) (pow.f64 y 2))
(/.f64 (*.f64 (exp.f64 1) (pow.f64 x 2)) (pow.f64 y 2))
(/.f64 (*.f64 (exp.f64 1) (pow.f64 x 2)) (pow.f64 y 2))
(/.f64 (*.f64 (exp.f64 1) (pow.f64 x 2)) (pow.f64 y 2))
(/.f64 (*.f64 (E.f64) (pow.f64 x 2)) (pow.f64 y 2))
(/.f64 (*.f64 (E.f64) (pow.f64 x 2)) (pow.f64 y 2))
(/.f64 (*.f64 (E.f64) (pow.f64 x 2)) (pow.f64 y 2))
(/.f64 (*.f64 (E.f64) (pow.f64 x 2)) (pow.f64 y 2))
(/.f64 (*.f64 (E.f64) (pow.f64 x 2)) (pow.f64 y 2))
(/.f64 (*.f64 (E.f64) (pow.f64 x 2)) (pow.f64 y 2))
(/.f64 (*.f64 (E.f64) (pow.f64 x 2)) (pow.f64 y 2))
(/.f64 (*.f64 (E.f64) (pow.f64 x 2)) (pow.f64 y 2))
(/.f64 (*.f64 (exp.f64 1) (pow.f64 x 2)) (pow.f64 y 2))
(/.f64 (*.f64 (exp.f64 1) (pow.f64 x 2)) (pow.f64 y 2))
(/.f64 (*.f64 (exp.f64 1) (pow.f64 x 2)) (pow.f64 y 2))
(/.f64 (*.f64 (exp.f64 1) (pow.f64 x 2)) (pow.f64 y 2))
(/.f64 (*.f64 (E.f64) (pow.f64 x 2)) (pow.f64 y 2))
(/.f64 (*.f64 (E.f64) (pow.f64 x 2)) (pow.f64 y 2))
(/.f64 (*.f64 (E.f64) (pow.f64 x 2)) (pow.f64 y 2))
(/.f64 (*.f64 (E.f64) (pow.f64 x 2)) (pow.f64 y 2))
(/.f64 (*.f64 (E.f64) (pow.f64 x 2)) (pow.f64 y 2))
(/.f64 (*.f64 (E.f64) (pow.f64 x 2)) (pow.f64 y 2))
(/.f64 (*.f64 (E.f64) (pow.f64 x 2)) (pow.f64 y 2))
(/.f64 (*.f64 (E.f64) (pow.f64 x 2)) (pow.f64 y 2))
Outputs
(-.f64 (log.f64 (*.f64 1/8 (*.f64 (E.f64) (pow.f64 x 2)))) (*.f64 2 (log.f64 y)))
(+.f64 (log.f64 (*.f64 (*.f64 1/8 (E.f64)) (*.f64 x x))) (*.f64 -2 (log.f64 y)))
(+.f64 (log.f64 (*.f64 (*.f64 x x) (*.f64 1/8 (E.f64)))) (*.f64 (log.f64 y) -2))
(fma.f64 (log.f64 y) -2 (+.f64 1 (log.f64 (*.f64 1/8 (*.f64 x x)))))
(-.f64 (+.f64 (*.f64 8 (/.f64 (pow.f64 y 2) (pow.f64 x 2))) (log.f64 (*.f64 1/8 (*.f64 (E.f64) (pow.f64 x 2))))) (*.f64 2 (log.f64 y)))
(+.f64 (fma.f64 8 (/.f64 (*.f64 y y) (*.f64 x x)) (log.f64 (*.f64 (*.f64 1/8 (E.f64)) (*.f64 x x)))) (*.f64 -2 (log.f64 y)))
(+.f64 (fma.f64 8 (*.f64 (/.f64 y x) (/.f64 y x)) (log.f64 (*.f64 (*.f64 x x) (*.f64 1/8 (E.f64))))) (*.f64 (log.f64 y) -2))
(fma.f64 (log.f64 y) -2 (fma.f64 8 (*.f64 (/.f64 y x) (/.f64 y x)) (+.f64 1 (log.f64 (*.f64 1/8 (*.f64 x x))))))
(-.f64 (+.f64 (*.f64 8 (/.f64 (pow.f64 y 2) (pow.f64 x 2))) (log.f64 (*.f64 1/8 (*.f64 (E.f64) (pow.f64 x 2))))) (+.f64 (*.f64 32 (/.f64 (pow.f64 y 4) (pow.f64 x 4))) (*.f64 2 (log.f64 y))))
(-.f64 (fma.f64 8 (/.f64 (*.f64 y y) (*.f64 x x)) (log.f64 (*.f64 (*.f64 1/8 (E.f64)) (*.f64 x x)))) (fma.f64 32 (/.f64 (pow.f64 y 4) (pow.f64 x 4)) (*.f64 2 (log.f64 y))))
(fma.f64 8 (*.f64 (/.f64 y x) (/.f64 y x)) (-.f64 (log.f64 (*.f64 (*.f64 x x) (*.f64 1/8 (E.f64)))) (fma.f64 32 (/.f64 (pow.f64 y 4) (pow.f64 x 4)) (*.f64 2 (log.f64 y)))))
(+.f64 (+.f64 1 (log.f64 (*.f64 1/8 (*.f64 x x)))) (fma.f64 8 (*.f64 (/.f64 y x) (/.f64 y x)) (fma.f64 (log.f64 y) -2 (*.f64 (/.f64 (pow.f64 y 4) (pow.f64 x 4)) -32))))
(-.f64 (+.f64 (*.f64 8 (/.f64 (pow.f64 y 2) (pow.f64 x 2))) (+.f64 (*.f64 512/3 (/.f64 (pow.f64 y 6) (pow.f64 x 6))) (log.f64 (*.f64 1/8 (*.f64 (E.f64) (pow.f64 x 2)))))) (+.f64 (*.f64 32 (/.f64 (pow.f64 y 4) (pow.f64 x 4))) (*.f64 2 (log.f64 y))))
(-.f64 (fma.f64 8 (/.f64 (*.f64 y y) (*.f64 x x)) (fma.f64 512/3 (/.f64 (pow.f64 y 6) (pow.f64 x 6)) (log.f64 (*.f64 (*.f64 1/8 (E.f64)) (*.f64 x x))))) (fma.f64 32 (/.f64 (pow.f64 y 4) (pow.f64 x 4)) (*.f64 2 (log.f64 y))))
(-.f64 (fma.f64 8 (*.f64 (/.f64 y x) (/.f64 y x)) (fma.f64 512/3 (/.f64 (pow.f64 y 6) (pow.f64 x 6)) (log.f64 (*.f64 (*.f64 x x) (*.f64 1/8 (E.f64)))))) (fma.f64 32 (/.f64 (pow.f64 y 4) (pow.f64 x 4)) (*.f64 2 (log.f64 y))))
(+.f64 (fma.f64 512/3 (/.f64 (pow.f64 y 6) (pow.f64 x 6)) (+.f64 1 (log.f64 (*.f64 1/8 (*.f64 x x))))) (fma.f64 8 (*.f64 (/.f64 y x) (/.f64 y x)) (fma.f64 (log.f64 y) -2 (*.f64 (/.f64 (pow.f64 y 4) (pow.f64 x 4)) -32))))
1
(+.f64 1 (*.f64 1/8 (/.f64 (*.f64 (E.f64) (pow.f64 x 2)) (*.f64 (exp.f64 1) (pow.f64 y 2)))))
(+.f64 1 (*.f64 1/8 (*.f64 (/.f64 (E.f64) (E.f64)) (/.f64 (*.f64 x x) (*.f64 y y)))))
(fma.f64 1/8 (/.f64 x (/.f64 (*.f64 y y) x)) 1)
(fma.f64 1/8 (/.f64 (*.f64 x x) (*.f64 y y)) 1)
(-.f64 (+.f64 1 (*.f64 1/8 (/.f64 (*.f64 (E.f64) (pow.f64 x 2)) (*.f64 (exp.f64 1) (pow.f64 y 2))))) (*.f64 1/128 (/.f64 (*.f64 (pow.f64 (E.f64) 2) (pow.f64 x 4)) (*.f64 (pow.f64 (exp.f64 1) 2) (pow.f64 y 4)))))
(+.f64 (+.f64 1 (*.f64 1/8 (*.f64 (/.f64 (E.f64) (E.f64)) (/.f64 (*.f64 x x) (*.f64 y y))))) (*.f64 -1/128 (*.f64 (/.f64 (pow.f64 (E.f64) 2) (pow.f64 (E.f64) 2)) (/.f64 (pow.f64 x 4) (pow.f64 y 4)))))
(+.f64 1 (fma.f64 1/8 (/.f64 x (/.f64 (*.f64 y y) x)) (/.f64 (*.f64 -1/128 (pow.f64 x 4)) (pow.f64 y 4))))
(fma.f64 (/.f64 (pow.f64 x 4) (pow.f64 y 4)) -1/128 (fma.f64 1/8 (/.f64 (*.f64 x x) (*.f64 y y)) 1))
(-.f64 (+.f64 1 (+.f64 (*.f64 1/8 (/.f64 (*.f64 (E.f64) (pow.f64 x 2)) (*.f64 (exp.f64 1) (pow.f64 y 2)))) (*.f64 1/1536 (/.f64 (*.f64 (pow.f64 (E.f64) 3) (pow.f64 x 6)) (*.f64 (pow.f64 (exp.f64 1) 3) (pow.f64 y 6)))))) (*.f64 1/128 (/.f64 (*.f64 (pow.f64 (E.f64) 2) (pow.f64 x 4)) (*.f64 (pow.f64 (exp.f64 1) 2) (pow.f64 y 4)))))
(+.f64 1 (-.f64 (fma.f64 1/8 (*.f64 (/.f64 (E.f64) (E.f64)) (/.f64 (*.f64 x x) (*.f64 y y))) (*.f64 1/1536 (*.f64 (/.f64 (pow.f64 (E.f64) 3) (pow.f64 (E.f64) 3)) (/.f64 (pow.f64 x 6) (pow.f64 y 6))))) (*.f64 1/128 (*.f64 (/.f64 (pow.f64 (E.f64) 2) (pow.f64 (E.f64) 2)) (/.f64 (pow.f64 x 4) (pow.f64 y 4))))))
(+.f64 1 (+.f64 (fma.f64 1/1536 (/.f64 (pow.f64 x 6) (pow.f64 y 6)) (*.f64 1/8 (/.f64 x (/.f64 (*.f64 y y) x)))) (/.f64 (*.f64 -1/128 (pow.f64 x 4)) (pow.f64 y 4))))
(fma.f64 (/.f64 (pow.f64 x 4) (pow.f64 y 4)) -1/128 (fma.f64 1/8 (/.f64 (*.f64 x x) (*.f64 y y)) (fma.f64 (/.f64 1/1536 (pow.f64 y 6)) (pow.f64 x 6) 1)))
1
(+.f64 1 (*.f64 1/8 (/.f64 (*.f64 (E.f64) (pow.f64 x 2)) (*.f64 (exp.f64 1) (pow.f64 y 2)))))
(+.f64 1 (*.f64 1/8 (*.f64 (/.f64 (E.f64) (E.f64)) (/.f64 (*.f64 x x) (*.f64 y y)))))
(fma.f64 1/8 (/.f64 x (/.f64 (*.f64 y y) x)) 1)
(fma.f64 1/8 (/.f64 (*.f64 x x) (*.f64 y y)) 1)
(-.f64 (+.f64 1 (*.f64 1/8 (/.f64 (*.f64 (E.f64) (pow.f64 x 2)) (*.f64 (exp.f64 1) (pow.f64 y 2))))) (*.f64 1/128 (/.f64 (*.f64 (pow.f64 (E.f64) 2) (pow.f64 x 4)) (*.f64 (pow.f64 (exp.f64 1) 2) (pow.f64 y 4)))))
(+.f64 (+.f64 1 (*.f64 1/8 (*.f64 (/.f64 (E.f64) (E.f64)) (/.f64 (*.f64 x x) (*.f64 y y))))) (*.f64 -1/128 (*.f64 (/.f64 (pow.f64 (E.f64) 2) (pow.f64 (E.f64) 2)) (/.f64 (pow.f64 x 4) (pow.f64 y 4)))))
(+.f64 1 (fma.f64 1/8 (/.f64 x (/.f64 (*.f64 y y) x)) (/.f64 (*.f64 -1/128 (pow.f64 x 4)) (pow.f64 y 4))))
(fma.f64 (/.f64 (pow.f64 x 4) (pow.f64 y 4)) -1/128 (fma.f64 1/8 (/.f64 (*.f64 x x) (*.f64 y y)) 1))
(-.f64 (+.f64 1 (+.f64 (*.f64 1/8 (/.f64 (*.f64 (E.f64) (pow.f64 x 2)) (*.f64 (exp.f64 1) (pow.f64 y 2)))) (*.f64 1/1536 (/.f64 (*.f64 (pow.f64 (E.f64) 3) (pow.f64 x 6)) (*.f64 (pow.f64 (exp.f64 1) 3) (pow.f64 y 6)))))) (*.f64 1/128 (/.f64 (*.f64 (pow.f64 (E.f64) 2) (pow.f64 x 4)) (*.f64 (pow.f64 (exp.f64 1) 2) (pow.f64 y 4)))))
(+.f64 1 (-.f64 (fma.f64 1/8 (*.f64 (/.f64 (E.f64) (E.f64)) (/.f64 (*.f64 x x) (*.f64 y y))) (*.f64 1/1536 (*.f64 (/.f64 (pow.f64 (E.f64) 3) (pow.f64 (E.f64) 3)) (/.f64 (pow.f64 x 6) (pow.f64 y 6))))) (*.f64 1/128 (*.f64 (/.f64 (pow.f64 (E.f64) 2) (pow.f64 (E.f64) 2)) (/.f64 (pow.f64 x 4) (pow.f64 y 4))))))
(+.f64 1 (+.f64 (fma.f64 1/1536 (/.f64 (pow.f64 x 6) (pow.f64 y 6)) (*.f64 1/8 (/.f64 x (/.f64 (*.f64 y y) x)))) (/.f64 (*.f64 -1/128 (pow.f64 x 4)) (pow.f64 y 4))))
(fma.f64 (/.f64 (pow.f64 x 4) (pow.f64 y 4)) -1/128 (fma.f64 1/8 (/.f64 (*.f64 x x) (*.f64 y y)) (fma.f64 (/.f64 1/1536 (pow.f64 y 6)) (pow.f64 x 6) 1)))
1
(+.f64 1 (*.f64 1/8 (/.f64 (pow.f64 x 2) (pow.f64 y 2))))
(+.f64 1 (*.f64 1/8 (*.f64 (/.f64 (E.f64) (E.f64)) (/.f64 (*.f64 x x) (*.f64 y y)))))
(fma.f64 1/8 (/.f64 x (/.f64 (*.f64 y y) x)) 1)
(fma.f64 1/8 (/.f64 (*.f64 x x) (*.f64 y y)) 1)
(-.f64 (+.f64 1 (*.f64 1/8 (/.f64 (pow.f64 x 2) (pow.f64 y 2)))) (*.f64 1/128 (/.f64 (pow.f64 x 4) (pow.f64 y 4))))
(+.f64 (+.f64 1 (*.f64 1/8 (*.f64 (/.f64 (E.f64) (E.f64)) (/.f64 (*.f64 x x) (*.f64 y y))))) (*.f64 -1/128 (*.f64 (/.f64 (pow.f64 (E.f64) 2) (pow.f64 (E.f64) 2)) (/.f64 (pow.f64 x 4) (pow.f64 y 4)))))
(+.f64 1 (fma.f64 1/8 (/.f64 x (/.f64 (*.f64 y y) x)) (/.f64 (*.f64 -1/128 (pow.f64 x 4)) (pow.f64 y 4))))
(fma.f64 (/.f64 (pow.f64 x 4) (pow.f64 y 4)) -1/128 (fma.f64 1/8 (/.f64 (*.f64 x x) (*.f64 y y)) 1))
(-.f64 (+.f64 1 (+.f64 (*.f64 1/8 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (*.f64 1/1536 (/.f64 (pow.f64 x 6) (pow.f64 y 6))))) (*.f64 1/128 (/.f64 (pow.f64 x 4) (pow.f64 y 4))))
(+.f64 1 (-.f64 (fma.f64 1/8 (*.f64 (/.f64 (E.f64) (E.f64)) (/.f64 (*.f64 x x) (*.f64 y y))) (*.f64 1/1536 (*.f64 (/.f64 (pow.f64 (E.f64) 3) (pow.f64 (E.f64) 3)) (/.f64 (pow.f64 x 6) (pow.f64 y 6))))) (*.f64 1/128 (*.f64 (/.f64 (pow.f64 (E.f64) 2) (pow.f64 (E.f64) 2)) (/.f64 (pow.f64 x 4) (pow.f64 y 4))))))
(+.f64 1 (+.f64 (fma.f64 1/1536 (/.f64 (pow.f64 x 6) (pow.f64 y 6)) (*.f64 1/8 (/.f64 x (/.f64 (*.f64 y y) x)))) (/.f64 (*.f64 -1/128 (pow.f64 x 4)) (pow.f64 y 4))))
(fma.f64 (/.f64 (pow.f64 x 4) (pow.f64 y 4)) -1/128 (fma.f64 1/8 (/.f64 (*.f64 x x) (*.f64 y y)) (fma.f64 (/.f64 1/1536 (pow.f64 y 6)) (pow.f64 x 6) 1)))
(-.f64 (log.f64 (*.f64 1/8 (/.f64 (exp.f64 1) (pow.f64 y 2)))) (*.f64 2 (log.f64 (/.f64 1 x))))
(+.f64 (log.f64 (/.f64 (*.f64 1/8 (E.f64)) (*.f64 y y))) (*.f64 -2 (neg.f64 (log.f64 x))))
(+.f64 (log.f64 (/.f64 (*.f64 1/8 (E.f64)) (*.f64 y y))) (*.f64 (log.f64 x) 2))
(fma.f64 2 (log.f64 x) (log.f64 (/.f64 (*.f64 1/8 (E.f64)) (*.f64 y y))))
(-.f64 (+.f64 (*.f64 8 (/.f64 (*.f64 (exp.f64 1) (pow.f64 y 2)) (*.f64 (E.f64) (pow.f64 x 2)))) (log.f64 (*.f64 1/8 (/.f64 (exp.f64 1) (pow.f64 y 2))))) (*.f64 2 (log.f64 (/.f64 1 x))))
(+.f64 (fma.f64 8 (*.f64 (/.f64 (E.f64) (E.f64)) (/.f64 (*.f64 y y) (*.f64 x x))) (log.f64 (/.f64 (*.f64 1/8 (E.f64)) (*.f64 y y)))) (*.f64 -2 (neg.f64 (log.f64 x))))
(+.f64 (*.f64 (/.f64 8 x) (/.f64 (*.f64 y y) x)) (+.f64 (log.f64 (/.f64 (*.f64 1/8 (E.f64)) (*.f64 y y))) (*.f64 (log.f64 x) 2)))
(fma.f64 2 (log.f64 x) (fma.f64 8 (*.f64 (/.f64 y x) (/.f64 y x)) (log.f64 (/.f64 (*.f64 1/8 (E.f64)) (*.f64 y y)))))
(-.f64 (+.f64 (*.f64 8 (/.f64 (*.f64 (exp.f64 1) (pow.f64 y 2)) (*.f64 (E.f64) (pow.f64 x 2)))) (log.f64 (*.f64 1/8 (/.f64 (exp.f64 1) (pow.f64 y 2))))) (+.f64 (*.f64 32 (/.f64 (*.f64 (pow.f64 (exp.f64 1) 2) (pow.f64 y 4)) (*.f64 (pow.f64 (E.f64) 2) (pow.f64 x 4)))) (*.f64 2 (log.f64 (/.f64 1 x)))))
(-.f64 (fma.f64 8 (*.f64 (/.f64 (E.f64) (E.f64)) (/.f64 (*.f64 y y) (*.f64 x x))) (log.f64 (/.f64 (*.f64 1/8 (E.f64)) (*.f64 y y)))) (fma.f64 32 (*.f64 (/.f64 (pow.f64 (E.f64) 2) (pow.f64 (E.f64) 2)) (/.f64 (pow.f64 y 4) (pow.f64 x 4))) (*.f64 2 (neg.f64 (log.f64 x)))))
(+.f64 (*.f64 (/.f64 8 x) (/.f64 (*.f64 y y) x)) (-.f64 (+.f64 (log.f64 (/.f64 (*.f64 1/8 (E.f64)) (*.f64 y y))) (*.f64 (log.f64 x) 2)) (*.f64 32 (/.f64 (pow.f64 y 4) (pow.f64 x 4)))))
(+.f64 (fma.f64 8 (*.f64 (/.f64 y x) (/.f64 y x)) (log.f64 (/.f64 (*.f64 1/8 (E.f64)) (*.f64 y y)))) (fma.f64 2 (log.f64 x) (*.f64 (/.f64 (pow.f64 y 4) (pow.f64 x 4)) -32)))
(-.f64 (+.f64 (*.f64 8 (/.f64 (*.f64 (exp.f64 1) (pow.f64 y 2)) (*.f64 (E.f64) (pow.f64 x 2)))) (+.f64 (*.f64 512/3 (/.f64 (*.f64 (pow.f64 (exp.f64 1) 3) (pow.f64 y 6)) (*.f64 (pow.f64 (E.f64) 3) (pow.f64 x 6)))) (log.f64 (*.f64 1/8 (/.f64 (exp.f64 1) (pow.f64 y 2)))))) (+.f64 (*.f64 32 (/.f64 (*.f64 (pow.f64 (exp.f64 1) 2) (pow.f64 y 4)) (*.f64 (pow.f64 (E.f64) 2) (pow.f64 x 4)))) (*.f64 2 (log.f64 (/.f64 1 x)))))
(-.f64 (fma.f64 8 (*.f64 (/.f64 (E.f64) (E.f64)) (/.f64 (*.f64 y y) (*.f64 x x))) (fma.f64 512/3 (*.f64 (/.f64 (pow.f64 (E.f64) 3) (pow.f64 (E.f64) 3)) (/.f64 (pow.f64 y 6) (pow.f64 x 6))) (log.f64 (/.f64 (*.f64 1/8 (E.f64)) (*.f64 y y))))) (fma.f64 32 (*.f64 (/.f64 (pow.f64 (E.f64) 2) (pow.f64 (E.f64) 2)) (/.f64 (pow.f64 y 4) (pow.f64 x 4))) (*.f64 2 (neg.f64 (log.f64 x)))))
(+.f64 (fma.f64 8 (*.f64 (/.f64 y x) (/.f64 y x)) (*.f64 512/3 (/.f64 (pow.f64 y 6) (pow.f64 x 6)))) (-.f64 (+.f64 (log.f64 (/.f64 (*.f64 1/8 (E.f64)) (*.f64 y y))) (*.f64 (log.f64 x) 2)) (*.f64 32 (/.f64 (pow.f64 y 4) (pow.f64 x 4)))))
(+.f64 (fma.f64 512/3 (/.f64 (pow.f64 y 6) (pow.f64 x 6)) (log.f64 (/.f64 (*.f64 1/8 (E.f64)) (*.f64 y y)))) (fma.f64 8 (*.f64 (/.f64 y x) (/.f64 y x)) (fma.f64 2 (log.f64 x) (*.f64 (/.f64 (pow.f64 y 4) (pow.f64 x 4)) -32))))
(-.f64 (log.f64 (*.f64 1/8 (/.f64 (exp.f64 1) (pow.f64 y 2)))) (*.f64 2 (log.f64 (/.f64 -1 x))))
(+.f64 (log.f64 (/.f64 (*.f64 1/8 (E.f64)) (*.f64 y y))) (*.f64 -2 (log.f64 (/.f64 -1 x))))
(+.f64 (log.f64 (/.f64 (*.f64 1/8 (E.f64)) (*.f64 y y))) (*.f64 (log.f64 (/.f64 -1 x)) -2))
(fma.f64 (log.f64 (/.f64 -1 x)) -2 (log.f64 (/.f64 (*.f64 1/8 (E.f64)) (*.f64 y y))))
(-.f64 (+.f64 (*.f64 8 (/.f64 (*.f64 (exp.f64 1) (pow.f64 y 2)) (*.f64 (E.f64) (pow.f64 x 2)))) (log.f64 (*.f64 1/8 (/.f64 (exp.f64 1) (pow.f64 y 2))))) (*.f64 2 (log.f64 (/.f64 -1 x))))
(+.f64 (fma.f64 8 (*.f64 (/.f64 (E.f64) (E.f64)) (/.f64 (*.f64 y y) (*.f64 x x))) (log.f64 (/.f64 (*.f64 1/8 (E.f64)) (*.f64 y y)))) (*.f64 -2 (log.f64 (/.f64 -1 x))))
(+.f64 (+.f64 (log.f64 (/.f64 (*.f64 1/8 (E.f64)) (*.f64 y y))) (*.f64 (/.f64 8 x) (/.f64 (*.f64 y y) x))) (*.f64 (log.f64 (/.f64 -1 x)) -2))
(fma.f64 (log.f64 (/.f64 -1 x)) -2 (fma.f64 8 (*.f64 (/.f64 y x) (/.f64 y x)) (log.f64 (/.f64 (*.f64 1/8 (E.f64)) (*.f64 y y)))))
(-.f64 (+.f64 (*.f64 8 (/.f64 (*.f64 (exp.f64 1) (pow.f64 y 2)) (*.f64 (E.f64) (pow.f64 x 2)))) (log.f64 (*.f64 1/8 (/.f64 (exp.f64 1) (pow.f64 y 2))))) (+.f64 (*.f64 32 (/.f64 (*.f64 (pow.f64 (exp.f64 1) 2) (pow.f64 y 4)) (*.f64 (pow.f64 (E.f64) 2) (pow.f64 x 4)))) (*.f64 2 (log.f64 (/.f64 -1 x)))))
(-.f64 (fma.f64 8 (*.f64 (/.f64 (E.f64) (E.f64)) (/.f64 (*.f64 y y) (*.f64 x x))) (log.f64 (/.f64 (*.f64 1/8 (E.f64)) (*.f64 y y)))) (fma.f64 32 (*.f64 (/.f64 (pow.f64 (E.f64) 2) (pow.f64 (E.f64) 2)) (/.f64 (pow.f64 y 4) (pow.f64 x 4))) (*.f64 2 (log.f64 (/.f64 -1 x)))))
(-.f64 (+.f64 (log.f64 (/.f64 (*.f64 1/8 (E.f64)) (*.f64 y y))) (*.f64 (/.f64 8 x) (/.f64 (*.f64 y y) x))) (fma.f64 2 (log.f64 (/.f64 -1 x)) (*.f64 32 (/.f64 (pow.f64 y 4) (pow.f64 x 4)))))
(+.f64 (fma.f64 (log.f64 (/.f64 -1 x)) -2 (fma.f64 8 (*.f64 (/.f64 y x) (/.f64 y x)) (log.f64 (/.f64 (*.f64 1/8 (E.f64)) (*.f64 y y))))) (*.f64 (/.f64 (pow.f64 y 4) (pow.f64 x 4)) -32))
(-.f64 (+.f64 (*.f64 8 (/.f64 (*.f64 (exp.f64 1) (pow.f64 y 2)) (*.f64 (E.f64) (pow.f64 x 2)))) (+.f64 (*.f64 512/3 (/.f64 (*.f64 (pow.f64 (exp.f64 1) 3) (pow.f64 y 6)) (*.f64 (pow.f64 (E.f64) 3) (pow.f64 x 6)))) (log.f64 (*.f64 1/8 (/.f64 (exp.f64 1) (pow.f64 y 2)))))) (+.f64 (*.f64 32 (/.f64 (*.f64 (pow.f64 (exp.f64 1) 2) (pow.f64 y 4)) (*.f64 (pow.f64 (E.f64) 2) (pow.f64 x 4)))) (*.f64 2 (log.f64 (/.f64 -1 x)))))
(-.f64 (fma.f64 8 (*.f64 (/.f64 (E.f64) (E.f64)) (/.f64 (*.f64 y y) (*.f64 x x))) (fma.f64 512/3 (*.f64 (/.f64 (pow.f64 (E.f64) 3) (pow.f64 (E.f64) 3)) (/.f64 (pow.f64 y 6) (pow.f64 x 6))) (log.f64 (/.f64 (*.f64 1/8 (E.f64)) (*.f64 y y))))) (fma.f64 32 (*.f64 (/.f64 (pow.f64 (E.f64) 2) (pow.f64 (E.f64) 2)) (/.f64 (pow.f64 y 4) (pow.f64 x 4))) (*.f64 2 (log.f64 (/.f64 -1 x)))))
(+.f64 (fma.f64 8 (*.f64 (/.f64 y x) (/.f64 y x)) (*.f64 512/3 (/.f64 (pow.f64 y 6) (pow.f64 x 6)))) (-.f64 (log.f64 (/.f64 (*.f64 1/8 (E.f64)) (*.f64 y y))) (fma.f64 2 (log.f64 (/.f64 -1 x)) (*.f64 32 (/.f64 (pow.f64 y 4) (pow.f64 x 4))))))
(+.f64 (fma.f64 8 (*.f64 (/.f64 y x) (/.f64 y x)) (fma.f64 512/3 (/.f64 (pow.f64 y 6) (pow.f64 x 6)) (log.f64 (/.f64 (*.f64 1/8 (E.f64)) (*.f64 y y))))) (fma.f64 (log.f64 (/.f64 -1 x)) -2 (*.f64 (/.f64 (pow.f64 y 4) (pow.f64 x 4)) -32)))
(/.f64 (pow.f64 y 2) (pow.f64 x 2))
(/.f64 (*.f64 y y) (*.f64 x x))
(*.f64 (/.f64 y x) (/.f64 y x))
(/.f64 (pow.f64 y 2) (pow.f64 x 2))
(/.f64 (*.f64 y y) (*.f64 x x))
(*.f64 (/.f64 y x) (/.f64 y x))
(/.f64 (pow.f64 y 2) (pow.f64 x 2))
(/.f64 (*.f64 y y) (*.f64 x x))
(*.f64 (/.f64 y x) (/.f64 y x))
(/.f64 (pow.f64 y 2) (pow.f64 x 2))
(/.f64 (*.f64 y y) (*.f64 x x))
(*.f64 (/.f64 y x) (/.f64 y x))
(/.f64 (pow.f64 y 2) (pow.f64 x 2))
(/.f64 (*.f64 y y) (*.f64 x x))
(*.f64 (/.f64 y x) (/.f64 y x))
(/.f64 (pow.f64 y 2) (pow.f64 x 2))
(/.f64 (*.f64 y y) (*.f64 x x))
(*.f64 (/.f64 y x) (/.f64 y x))
(/.f64 (pow.f64 y 2) (pow.f64 x 2))
(/.f64 (*.f64 y y) (*.f64 x x))
(*.f64 (/.f64 y x) (/.f64 y x))
(/.f64 (pow.f64 y 2) (pow.f64 x 2))
(/.f64 (*.f64 y y) (*.f64 x x))
(*.f64 (/.f64 y x) (/.f64 y x))
(/.f64 (pow.f64 y 2) (pow.f64 x 2))
(/.f64 (*.f64 y y) (*.f64 x x))
(*.f64 (/.f64 y x) (/.f64 y x))
(/.f64 (pow.f64 y 2) (pow.f64 x 2))
(/.f64 (*.f64 y y) (*.f64 x x))
(*.f64 (/.f64 y x) (/.f64 y x))
(/.f64 (pow.f64 y 2) (pow.f64 x 2))
(/.f64 (*.f64 y y) (*.f64 x x))
(*.f64 (/.f64 y x) (/.f64 y x))
(/.f64 (pow.f64 y 2) (pow.f64 x 2))
(/.f64 (*.f64 y y) (*.f64 x x))
(*.f64 (/.f64 y x) (/.f64 y x))
(/.f64 (pow.f64 y 2) (pow.f64 x 2))
(/.f64 (*.f64 y y) (*.f64 x x))
(*.f64 (/.f64 y x) (/.f64 y x))
(/.f64 (pow.f64 y 2) (pow.f64 x 2))
(/.f64 (*.f64 y y) (*.f64 x x))
(*.f64 (/.f64 y x) (/.f64 y x))
(/.f64 (pow.f64 y 2) (pow.f64 x 2))
(/.f64 (*.f64 y y) (*.f64 x x))
(*.f64 (/.f64 y x) (/.f64 y x))
(/.f64 (pow.f64 y 2) (pow.f64 x 2))
(/.f64 (*.f64 y y) (*.f64 x x))
(*.f64 (/.f64 y x) (/.f64 y x))
(/.f64 (pow.f64 y 2) (pow.f64 x 2))
(/.f64 (*.f64 y y) (*.f64 x x))
(*.f64 (/.f64 y x) (/.f64 y x))
(/.f64 (pow.f64 y 2) (pow.f64 x 2))
(/.f64 (*.f64 y y) (*.f64 x x))
(*.f64 (/.f64 y x) (/.f64 y x))
(/.f64 (pow.f64 y 2) (pow.f64 x 2))
(/.f64 (*.f64 y y) (*.f64 x x))
(*.f64 (/.f64 y x) (/.f64 y x))
(/.f64 (pow.f64 y 2) (pow.f64 x 2))
(/.f64 (*.f64 y y) (*.f64 x x))
(*.f64 (/.f64 y x) (/.f64 y x))
(/.f64 (pow.f64 y 2) (pow.f64 x 2))
(/.f64 (*.f64 y y) (*.f64 x x))
(*.f64 (/.f64 y x) (/.f64 y x))
(/.f64 (pow.f64 y 2) (pow.f64 x 2))
(/.f64 (*.f64 y y) (*.f64 x x))
(*.f64 (/.f64 y x) (/.f64 y x))
(/.f64 (pow.f64 y 2) (pow.f64 x 2))
(/.f64 (*.f64 y y) (*.f64 x x))
(*.f64 (/.f64 y x) (/.f64 y x))
(/.f64 (pow.f64 y 2) (pow.f64 x 2))
(/.f64 (*.f64 y y) (*.f64 x x))
(*.f64 (/.f64 y x) (/.f64 y x))
(/.f64 (*.f64 (exp.f64 1) (pow.f64 x 2)) (pow.f64 y 2))
(/.f64 (*.f64 (*.f64 x x) (E.f64)) (*.f64 y y))
(*.f64 (/.f64 (E.f64) (*.f64 y y)) (*.f64 x x))
(*.f64 (E.f64) (/.f64 (*.f64 x x) (*.f64 y y)))
(/.f64 (*.f64 (exp.f64 1) (pow.f64 x 2)) (pow.f64 y 2))
(/.f64 (*.f64 (*.f64 x x) (E.f64)) (*.f64 y y))
(*.f64 (/.f64 (E.f64) (*.f64 y y)) (*.f64 x x))
(*.f64 (E.f64) (/.f64 (*.f64 x x) (*.f64 y y)))
(/.f64 (*.f64 (exp.f64 1) (pow.f64 x 2)) (pow.f64 y 2))
(/.f64 (*.f64 (*.f64 x x) (E.f64)) (*.f64 y y))
(*.f64 (/.f64 (E.f64) (*.f64 y y)) (*.f64 x x))
(*.f64 (E.f64) (/.f64 (*.f64 x x) (*.f64 y y)))
(/.f64 (*.f64 (exp.f64 1) (pow.f64 x 2)) (pow.f64 y 2))
(/.f64 (*.f64 (*.f64 x x) (E.f64)) (*.f64 y y))
(*.f64 (/.f64 (E.f64) (*.f64 y y)) (*.f64 x x))
(*.f64 (E.f64) (/.f64 (*.f64 x x) (*.f64 y y)))
(/.f64 (*.f64 (E.f64) (pow.f64 x 2)) (pow.f64 y 2))
(/.f64 (*.f64 (*.f64 x x) (E.f64)) (*.f64 y y))
(*.f64 (/.f64 (E.f64) (*.f64 y y)) (*.f64 x x))
(*.f64 (E.f64) (/.f64 (*.f64 x x) (*.f64 y y)))
(/.f64 (*.f64 (E.f64) (pow.f64 x 2)) (pow.f64 y 2))
(/.f64 (*.f64 (*.f64 x x) (E.f64)) (*.f64 y y))
(*.f64 (/.f64 (E.f64) (*.f64 y y)) (*.f64 x x))
(*.f64 (E.f64) (/.f64 (*.f64 x x) (*.f64 y y)))
(/.f64 (*.f64 (E.f64) (pow.f64 x 2)) (pow.f64 y 2))
(/.f64 (*.f64 (*.f64 x x) (E.f64)) (*.f64 y y))
(*.f64 (/.f64 (E.f64) (*.f64 y y)) (*.f64 x x))
(*.f64 (E.f64) (/.f64 (*.f64 x x) (*.f64 y y)))
(/.f64 (*.f64 (E.f64) (pow.f64 x 2)) (pow.f64 y 2))
(/.f64 (*.f64 (*.f64 x x) (E.f64)) (*.f64 y y))
(*.f64 (/.f64 (E.f64) (*.f64 y y)) (*.f64 x x))
(*.f64 (E.f64) (/.f64 (*.f64 x x) (*.f64 y y)))
(/.f64 (*.f64 (E.f64) (pow.f64 x 2)) (pow.f64 y 2))
(/.f64 (*.f64 (*.f64 x x) (E.f64)) (*.f64 y y))
(*.f64 (/.f64 (E.f64) (*.f64 y y)) (*.f64 x x))
(*.f64 (E.f64) (/.f64 (*.f64 x x) (*.f64 y y)))
(/.f64 (*.f64 (E.f64) (pow.f64 x 2)) (pow.f64 y 2))
(/.f64 (*.f64 (*.f64 x x) (E.f64)) (*.f64 y y))
(*.f64 (/.f64 (E.f64) (*.f64 y y)) (*.f64 x x))
(*.f64 (E.f64) (/.f64 (*.f64 x x) (*.f64 y y)))
(/.f64 (*.f64 (E.f64) (pow.f64 x 2)) (pow.f64 y 2))
(/.f64 (*.f64 (*.f64 x x) (E.f64)) (*.f64 y y))
(*.f64 (/.f64 (E.f64) (*.f64 y y)) (*.f64 x x))
(*.f64 (E.f64) (/.f64 (*.f64 x x) (*.f64 y y)))
(/.f64 (*.f64 (E.f64) (pow.f64 x 2)) (pow.f64 y 2))
(/.f64 (*.f64 (*.f64 x x) (E.f64)) (*.f64 y y))
(*.f64 (/.f64 (E.f64) (*.f64 y y)) (*.f64 x x))
(*.f64 (E.f64) (/.f64 (*.f64 x x) (*.f64 y y)))
(/.f64 (*.f64 (exp.f64 1) (pow.f64 x 2)) (pow.f64 y 2))
(/.f64 (*.f64 (*.f64 x x) (E.f64)) (*.f64 y y))
(*.f64 (/.f64 (E.f64) (*.f64 y y)) (*.f64 x x))
(*.f64 (E.f64) (/.f64 (*.f64 x x) (*.f64 y y)))
(/.f64 (*.f64 (exp.f64 1) (pow.f64 x 2)) (pow.f64 y 2))
(/.f64 (*.f64 (*.f64 x x) (E.f64)) (*.f64 y y))
(*.f64 (/.f64 (E.f64) (*.f64 y y)) (*.f64 x x))
(*.f64 (E.f64) (/.f64 (*.f64 x x) (*.f64 y y)))
(/.f64 (*.f64 (exp.f64 1) (pow.f64 x 2)) (pow.f64 y 2))
(/.f64 (*.f64 (*.f64 x x) (E.f64)) (*.f64 y y))
(*.f64 (/.f64 (E.f64) (*.f64 y y)) (*.f64 x x))
(*.f64 (E.f64) (/.f64 (*.f64 x x) (*.f64 y y)))
(/.f64 (*.f64 (exp.f64 1) (pow.f64 x 2)) (pow.f64 y 2))
(/.f64 (*.f64 (*.f64 x x) (E.f64)) (*.f64 y y))
(*.f64 (/.f64 (E.f64) (*.f64 y y)) (*.f64 x x))
(*.f64 (E.f64) (/.f64 (*.f64 x x) (*.f64 y y)))
(/.f64 (*.f64 (E.f64) (pow.f64 x 2)) (pow.f64 y 2))
(/.f64 (*.f64 (*.f64 x x) (E.f64)) (*.f64 y y))
(*.f64 (/.f64 (E.f64) (*.f64 y y)) (*.f64 x x))
(*.f64 (E.f64) (/.f64 (*.f64 x x) (*.f64 y y)))
(/.f64 (*.f64 (E.f64) (pow.f64 x 2)) (pow.f64 y 2))
(/.f64 (*.f64 (*.f64 x x) (E.f64)) (*.f64 y y))
(*.f64 (/.f64 (E.f64) (*.f64 y y)) (*.f64 x x))
(*.f64 (E.f64) (/.f64 (*.f64 x x) (*.f64 y y)))
(/.f64 (*.f64 (E.f64) (pow.f64 x 2)) (pow.f64 y 2))
(/.f64 (*.f64 (*.f64 x x) (E.f64)) (*.f64 y y))
(*.f64 (/.f64 (E.f64) (*.f64 y y)) (*.f64 x x))
(*.f64 (E.f64) (/.f64 (*.f64 x x) (*.f64 y y)))
(/.f64 (*.f64 (E.f64) (pow.f64 x 2)) (pow.f64 y 2))
(/.f64 (*.f64 (*.f64 x x) (E.f64)) (*.f64 y y))
(*.f64 (/.f64 (E.f64) (*.f64 y y)) (*.f64 x x))
(*.f64 (E.f64) (/.f64 (*.f64 x x) (*.f64 y y)))
(/.f64 (*.f64 (E.f64) (pow.f64 x 2)) (pow.f64 y 2))
(/.f64 (*.f64 (*.f64 x x) (E.f64)) (*.f64 y y))
(*.f64 (/.f64 (E.f64) (*.f64 y y)) (*.f64 x x))
(*.f64 (E.f64) (/.f64 (*.f64 x x) (*.f64 y y)))
(/.f64 (*.f64 (E.f64) (pow.f64 x 2)) (pow.f64 y 2))
(/.f64 (*.f64 (*.f64 x x) (E.f64)) (*.f64 y y))
(*.f64 (/.f64 (E.f64) (*.f64 y y)) (*.f64 x x))
(*.f64 (E.f64) (/.f64 (*.f64 x x) (*.f64 y y)))
(/.f64 (*.f64 (E.f64) (pow.f64 x 2)) (pow.f64 y 2))
(/.f64 (*.f64 (*.f64 x x) (E.f64)) (*.f64 y y))
(*.f64 (/.f64 (E.f64) (*.f64 y y)) (*.f64 x x))
(*.f64 (E.f64) (/.f64 (*.f64 x x) (*.f64 y y)))
(/.f64 (*.f64 (E.f64) (pow.f64 x 2)) (pow.f64 y 2))
(/.f64 (*.f64 (*.f64 x x) (E.f64)) (*.f64 y y))
(*.f64 (/.f64 (E.f64) (*.f64 y y)) (*.f64 x x))
(*.f64 (E.f64) (/.f64 (*.f64 x x) (*.f64 y y)))

prune225.0ms (3.2%)

Pruning

19 alts after pruning (18 fresh and 1 done)

PrunedKeptTotal
New1682170
Fresh01616
Picked101
Done011
Total16919188
Error
22.6b
Counts
188 → 19
Alt Table
StatusErrorProgram
33.2b
(log1p.f64 (expm1.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (*.f64 (cbrt.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2))) (pow.f64 (cbrt.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2))) 2)))))
58.6b
(/.f64 (tan.f64 (/.f64 x (*.f64 y 2))) (+.f64 (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2))))) (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2)))))))
57.8b
(/.f64 (+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)))) (cbrt.f64 (exp.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)))))) (log.f64 (cbrt.f64 (exp.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)))))) (sin.f64 (/.f64 x (*.f64 y 2))))
33.6b
(log1p.f64 (fma.f64 (*.f64 (cbrt.f64 (exp.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2))))) (cbrt.f64 (exp.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))))) (cbrt.f64 (exp.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2))))) -1))
58.6b
(log1p.f64 (expm1.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2)))) (cbrt.f64 (exp.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2)))))) (log.f64 (cbrt.f64 (exp.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2)))))))))
32.7b
(*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))) (pow.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))) 2))
32.7b
(log1p.f64 (log1p.f64 (expm1.f64 (expm1.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))))))
54.2b
(/.f64 (tan.f64 (/.f64 x (*.f64 y 2))) (sqrt.f64 (pow.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2)) 2)))
63.0b
(fma.f64 (log.f64 y) -2 (+.f64 1 (log.f64 (*.f64 1/8 (*.f64 x x)))))
33.5b
(/.f64 (/.f64 (pow.f64 (cbrt.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2))) 2) (/.f64 (cos.f64 (*.f64 (/.f64 x y) 1/2)) (cbrt.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2))))) (sin.f64 (/.f64 x (*.f64 y 2))))
36.1b
(/.f64 (tan.f64 (/.f64 x (*.f64 y 2))) (fma.f64 (pow.f64 (/.f64 x y) 3) -1/48 (*.f64 1/2 (/.f64 x y))))
36.5b
(/.f64 (*.f64 1/2 (/.f64 x y)) (sin.f64 (/.f64 x (*.f64 y 2))))
32.7b
(log1p.f64 (+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (expm1.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))))) (cbrt.f64 (exp.f64 (expm1.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))))))) (log.f64 (cbrt.f64 (exp.f64 (expm1.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))))))))
53.0b
(log1p.f64 (expm1.f64 (/.f64 (sqrt.f64 (pow.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) 2)) (sin.f64 (*.f64 (/.f64 x y) 1/2)))))
26.2b
1
33.1b
(log1p.f64 (pow.f64 (cbrt.f64 (expm1.f64 (/.f64 (tan.f64 (*.f64 (/.f64 x y) 1/2)) (sin.f64 (*.f64 (/.f64 x y) 1/2))))) 3))
50.5b
(/.f64 (tan.f64 (/.f64 x (*.f64 y 2))) (cbrt.f64 (pow.f64 (sin.f64 (*.f64 (/.f64 x y) 1/2)) 3)))
28.7b
(pow.f64 (pow.f64 (log1p.f64 (fma.f64 (*.f64 1/8 (E.f64)) (pow.f64 (/.f64 y x) -2) (expm1.f64 1))) 3) 1/3)
60.7b
(/.f64 (tan.f64 (/.f64 x (*.f64 y 2))) (-.f64 (*.f64 (sin.f64 (exp.f64 (log1p.f64 (*.f64 (/.f64 x y) 1/2)))) (cos.f64 1)) (*.f64 (cos.f64 (exp.f64 (log1p.f64 (*.f64 (/.f64 x y) 1/2)))) (sin.f64 1))))
Compiler

Compiled 3847 to 2566 computations (33.3% saved)

regimes938.0ms (13.5%)

Accuracy

Total 2.0b remaining (7.2%)

Threshold costs 0b (0%)

Counts
126 → 2
Compiler

Compiled 2385 to 1584 computations (33.6% saved)

bsearch2.0ms (0%)

Algorithm
left-value
Calls

1 calls:

0.0ms
(/.f64 (tan.f64 (/.f64 x (*.f64 y 2))) (sin.f64 (/.f64 x (*.f64 y 2))))
Steps
ItersPointRange
4.25
∈ [
4.210283592306514
,
4.280664453991114
]
Compiler

Compiled 15 to 11 computations (26.7% saved)

simplify3.0ms (0%)

Algorithm
egg-herbie
Rules
*-commutative_binary64
1-exp_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01938
12338
Stop Event
saturated
Calls
Call 1
Inputs
(if (<=.f64 (/.f64 (tan.f64 (/.f64 x (*.f64 y 2))) (sin.f64 (/.f64 x (*.f64 y 2)))) 17/4) (/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y)))) 1)
Outputs
(if (<=.f64 (/.f64 (tan.f64 (/.f64 x (*.f64 y 2))) (sin.f64 (/.f64 x (*.f64 y 2)))) 17/4) (/.f64 1 (cos.f64 (*.f64 1/2 (/.f64 x y)))) 1)

end347.0ms (5%)

Stop Event
fuel
Compiler

Compiled 555 to 406 computations (26.8% saved)

Profiling

Loading profile data...