Details

Time bar (total: 16.2s)

analyze2.1s (13.1%)

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
25%74.9%0.1%6
25%74.9%0.1%7
31.2%68.6%0.1%8
31.2%56.2%12.6%9
34.3%53%12.6%10
37.4%49.9%12.6%11
46.8%40.6%12.6%12
47.8%39.6%12.6%13
49.7%37.1%13.2%14
Compiler

Compiled 25 to 20 computations (20% saved)

sample7.8s (48.3%)

Results
2.2s1590×body1024valid
1.8s1347×body1024invalid
1.2s5264×body128valid
775.0ms821×body512valid
731.0ms760×body512invalid
361.0ms168×body2048valid
215.0ms410×body256valid
204.0ms344×body256invalid
155.0ms585×body128invalid
18.0msbody4096valid
Compiler

Compiled 74 to 59 computations (20.3% saved)

simplify132.0ms (0.8%)

Algorithm
egg-herbie
Rules
1078×sqr-pow_binary64
786×cube-prod_binary64
770×fabs-mul_binary64
484×unswap-sqr_binary64
392×pow-sqr_binary64
Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01634
13034
26634
312234
421634
546534
666934
7113034
8117734
9136934
10157434
11186834
12215234
13257334
14320634
15352034
16387234
17402634
18409434
19413634
20493334
21490534

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
18.5b
Counts
2 → 1
Alt Table
StatusErrorProgram
18.5b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
Compiler

Compiled 72 to 57 computations (20.8% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.3b
(pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)
0.4b
(*.f64 (/.f64 angle 180) (PI.f64))
22.5b
(cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))
22.8b
(sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))

series32.0ms (0.2%)

Counts
4 → 60
Calls

4 calls:

24.0ms
(pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)
3.0ms
(sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))
3.0ms
(*.f64 (/.f64 angle 180) (PI.f64))
3.0ms
(cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))

rewrite13.0ms (0.1%)

Algorithm
rewrite-expression-head
Rules
18×add-sqr-sqrt_binary64
13×associate-*l*_binary64
13×*-un-lft-identity_binary64
13×add-cube-cbrt_binary64
12×add-exp-log_binary64
Counts
4 → 72
Calls

4 calls:

5.0ms
(*.f64 (/.f64 angle 180) (PI.f64))
3.0ms
(pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)
1.0ms
(cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))
1.0ms
(sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))

simplify120.0ms (0.7%)

Algorithm
egg-herbie
Rules
666×fma-neg_binary64
430×distribute-rgt-neg-in_binary64
421×*-commutative_binary64
334×fma-def_binary64
261×cancel-sign-sub-inv_binary64
Counts
132 → 143
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
02042095
14441991
213331969
333811949
448171949
549931949
649341949

prune519.0ms (3.2%)

Pruning

31 alts after pruning (31 fresh and 0 done)

PrunedKeptTotal
New16731198
Fresh000
Picked101
Done000
Total16831199
Error
17.3b
Counts
199 → 31
Alt Table
StatusErrorProgram
18.9b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (*.f64 (/.f64 angle 180) (*.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64)))) (cbrt.f64 (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
31.7b
(+.f64 (-.f64 (*.f64 1/32400 (*.f64 (pow.f64 angle 2) (*.f64 (pow.f64 (PI.f64) 2) (pow.f64 a 2)))) (*.f64 1/3149280000 (*.f64 (pow.f64 angle 4) (*.f64 (pow.f64 (PI.f64) 4) (pow.f64 a 2))))) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
18.6b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (*.f64 (/.f64 angle 180) (*.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64)))) (cbrt.f64 (PI.f64))))) 2))
18.5b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (*.f64 (*.f64 (cbrt.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (cbrt.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))))) (cbrt.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) 2))
18.8b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180)) (*.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)) (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
24.7b
(+.f64 (*.f64 (pow.f64 a 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2)) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
18.5b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64))))) 2))
18.6b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180)) (*.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)) (PI.f64))))) 2))
18.8b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
18.5b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cbrt.f64 (*.f64 (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) 2))
18.7b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 (/.f64 (cbrt.f64 angle) (cbrt.f64 180)) (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
18.6b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) 2))
18.5b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (log.f64 (exp.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) 2))
18.6b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 1 (sqrt.f64 180)) (*.f64 (/.f64 angle (sqrt.f64 180)) (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
18.5b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (expm1.f64 (log1p.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) 2))
18.9b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b 1) 2))
18.7b
(+.f64 (*.f64 (*.f64 (cbrt.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (cbrt.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))) (cbrt.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
18.7b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (*.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180))) (*.f64 (cbrt.f64 (/.f64 angle 180)) (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
18.6b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (*.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180))) (*.f64 (cbrt.f64 (/.f64 angle 180)) (PI.f64))))) 2))
40.7b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (exp.f64 (+.f64 (log.f64 (/.f64 angle 180)) (log.f64 (PI.f64)))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
18.8b
(+.f64 (pow.f64 (*.f64 a (*.f64 (*.f64 (cbrt.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (cbrt.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))))) (cbrt.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
33.0b
(+.f64 (log.f64 (exp.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
40.4b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (exp.f64 (+.f64 (log.f64 (/.f64 angle 180)) (log.f64 (PI.f64)))))) 2))
19.0b
(+.f64 (expm1.f64 (log1p.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
40.3b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (exp.f64 (+.f64 (-.f64 (log.f64 angle) (log.f64 180)) (log.f64 (PI.f64)))))) 2))
22.4b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (expm1.f64 (log1p.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
31.7b
(+.f64 (*.f64 (*.f64 a a) (fma.f64 (*.f64 (*.f64 angle angle) (pow.f64 (PI.f64) 2)) 1/32400 (*.f64 (*.f64 (pow.f64 angle 4) (pow.f64 (PI.f64) 4)) -1/3149280000))) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
18.6b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 (/.f64 (cbrt.f64 angle) (cbrt.f64 180)) (PI.f64))))) 2))
18.5b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
37.6b
(+.f64 (pow.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (*.f64 (cbrt.f64 2) (cbrt.f64 2))) (cbrt.f64 2)) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
40.3b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 (sqrt.f64 angle) (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 (/.f64 (sqrt.f64 angle) (cbrt.f64 180)) (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
Compiler

Compiled 7592 to 5577 computations (26.5% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.3b
(pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)
0.4b
(*.f64 (/.f64 angle 180) (PI.f64))
22.5b
(cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64))))
22.8b
(sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))

series3.0ms (0%)

Counts
1 → 12
Calls

1 calls:

3.0ms
(cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64))))

rewrite2.0ms (0%)

Algorithm
rewrite-expression-head
Rules
*-un-lft-identity_binary64
add-sqr-sqrt_binary64
add-cube-cbrt_binary64
add-cbrt-cube_binary64
add-exp-log_binary64
Counts
1 → 9
Calls

1 calls:

1.0ms
(cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64))))

simplify65.0ms (0.4%)

Algorithm
egg-herbie
Rules
861×distribute-rgt-neg-in_binary64
699×distribute-lft-neg-in_binary64
488×fma-def_binary64
475×cancel-sign-sub-inv_binary64
369×*-commutative_binary64
Counts
21 → 24
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
043318
1101297
2246293
3973291
42721285
54427285
64978285

prune560.0ms (3.5%)

Pruning

32 alts after pruning (32 fresh and 0 done)

PrunedKeptTotal
New1394143
Fresh22830
Picked101
Done000
Total14232174
Error
17.3b
Counts
174 → 32
Alt Table
StatusErrorProgram
18.6b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (*.f64 (/.f64 angle 180) (*.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64)))) (cbrt.f64 (PI.f64))))) 2))
18.5b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (*.f64 (*.f64 (cbrt.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (cbrt.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))))) (cbrt.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) 2))
18.5b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cbrt.f64 (*.f64 (*.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64))))) (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64))))))) 2))
18.8b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180)) (*.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)) (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
24.7b
(+.f64 (*.f64 (pow.f64 a 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2)) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
18.5b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (log1p.f64 (expm1.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64))))))) 2))
18.6b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180)) (*.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)) (PI.f64))))) 2))
18.8b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
18.7b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 (/.f64 (cbrt.f64 angle) (cbrt.f64 180)) (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
18.6b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) 2))
18.5b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (log.f64 (exp.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) 2))
18.6b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 1 (sqrt.f64 180)) (*.f64 (/.f64 angle (sqrt.f64 180)) (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
18.5b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (expm1.f64 (log1p.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) 2))
18.9b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b 1) 2))
18.7b
(+.f64 (*.f64 (*.f64 (cbrt.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (cbrt.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))) (cbrt.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
18.7b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (*.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180))) (*.f64 (cbrt.f64 (/.f64 angle 180)) (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
18.6b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (*.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180))) (*.f64 (cbrt.f64 (/.f64 angle 180)) (PI.f64))))) 2))
40.7b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (exp.f64 (+.f64 (log.f64 (/.f64 angle 180)) (log.f64 (PI.f64)))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
18.8b
(+.f64 (pow.f64 (*.f64 a (*.f64 (*.f64 (cbrt.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (cbrt.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))))) (cbrt.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
30.5b
(+.f64 (*.f64 1/32400 (*.f64 (*.f64 angle angle) (*.f64 (pow.f64 (PI.f64) 2) (*.f64 a a)))) (pow.f64 (*.f64 b (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64))))) 2))
33.0b
(+.f64 (log.f64 (exp.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
40.4b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (exp.f64 (+.f64 (log.f64 (/.f64 angle 180)) (log.f64 (PI.f64)))))) 2))
19.0b
(+.f64 (expm1.f64 (log1p.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
40.3b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (exp.f64 (+.f64 (-.f64 (log.f64 angle) (log.f64 180)) (log.f64 (PI.f64)))))) 2))
22.4b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (expm1.f64 (log1p.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
31.7b
(+.f64 (*.f64 (*.f64 a a) (fma.f64 (*.f64 (*.f64 angle angle) (pow.f64 (PI.f64) 2)) 1/32400 (*.f64 (*.f64 (pow.f64 angle 4) (pow.f64 (PI.f64) 4)) -1/3149280000))) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
18.5b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (*.f64 (*.f64 (cbrt.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64))))) (cbrt.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))))) (cbrt.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64))))))) 2))
18.9b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (*.f64 (/.f64 angle 180) (*.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64)))) (cbrt.f64 (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
18.6b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 (/.f64 (cbrt.f64 angle) (cbrt.f64 180)) (PI.f64))))) 2))
18.5b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
37.6b
(+.f64 (pow.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (*.f64 (cbrt.f64 2) (cbrt.f64 2))) (cbrt.f64 2)) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
40.3b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 (sqrt.f64 angle) (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 (/.f64 (sqrt.f64 angle) (cbrt.f64 180)) (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
Compiler

Compiled 6132 to 4541 computations (25.9% saved)

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.3b
(pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)
0.4b
(*.f64 (/.f64 angle 180) (PI.f64))
22.5b
(cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64))))
22.8b
(sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))

prune1.5s (9.3%)

Pruning

34 alts after pruning (33 fresh and 1 done)

PrunedKeptTotal
New1892191
Fresh03131
Picked011
Done000
Total18934223
Error
17.3b
Counts
223 → 34
Alt Table
StatusErrorProgram
18.6b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (*.f64 (/.f64 angle 180) (*.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64)))) (cbrt.f64 (PI.f64))))) 2))
18.5b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (*.f64 (*.f64 (cbrt.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (cbrt.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))))) (cbrt.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) 2))
18.5b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cbrt.f64 (*.f64 (*.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64))))) (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64))))))) 2))
18.8b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180)) (*.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)) (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
24.7b
(+.f64 (*.f64 (pow.f64 a 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2)) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
18.5b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (log1p.f64 (expm1.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64))))))) 2))
18.6b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180)) (*.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)) (PI.f64))))) 2))
18.8b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
18.7b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 (/.f64 (cbrt.f64 angle) (cbrt.f64 180)) (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
18.6b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) 2))
18.5b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (log.f64 (exp.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) 2))
18.6b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 1 (sqrt.f64 180)) (*.f64 (/.f64 angle (sqrt.f64 180)) (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
18.5b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (expm1.f64 (log1p.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) 2))
18.9b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b 1) 2))
18.5b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
18.9b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (*.f64 (*.f64 (cbrt.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64))))) (cbrt.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))))) (cbrt.f64 1))) 2))
18.7b
(+.f64 (*.f64 (*.f64 (cbrt.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (cbrt.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))) (cbrt.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
18.7b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (*.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180))) (*.f64 (cbrt.f64 (/.f64 angle 180)) (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
18.6b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (*.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180))) (*.f64 (cbrt.f64 (/.f64 angle 180)) (PI.f64))))) 2))
40.7b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (exp.f64 (+.f64 (log.f64 (/.f64 angle 180)) (log.f64 (PI.f64)))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
18.8b
(+.f64 (pow.f64 (*.f64 a (*.f64 (*.f64 (cbrt.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (cbrt.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))))) (cbrt.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
30.5b
(+.f64 (*.f64 1/32400 (*.f64 (*.f64 angle angle) (*.f64 (pow.f64 (PI.f64) 2) (*.f64 a a)))) (pow.f64 (*.f64 b (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64))))) 2))
33.0b
(+.f64 (log.f64 (exp.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
40.4b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (exp.f64 (+.f64 (log.f64 (/.f64 angle 180)) (log.f64 (PI.f64)))))) 2))
19.0b
(+.f64 (expm1.f64 (log1p.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
40.3b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (exp.f64 (+.f64 (-.f64 (log.f64 angle) (log.f64 180)) (log.f64 (PI.f64)))))) 2))
22.4b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (expm1.f64 (log1p.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
31.7b
(+.f64 (*.f64 (*.f64 a a) (fma.f64 (*.f64 (*.f64 angle angle) (pow.f64 (PI.f64) 2)) 1/32400 (*.f64 (*.f64 (pow.f64 angle 4) (pow.f64 (PI.f64) 4)) -1/3149280000))) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
18.5b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (*.f64 (*.f64 (cbrt.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64))))) (cbrt.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))))) (cbrt.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64))))))) 2))
18.9b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (*.f64 (/.f64 angle 180) (*.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64)))) (cbrt.f64 (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
18.6b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 (/.f64 (cbrt.f64 angle) (cbrt.f64 180)) (PI.f64))))) 2))
37.6b
(+.f64 (pow.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (*.f64 (cbrt.f64 2) (cbrt.f64 2))) (cbrt.f64 2)) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
18.5b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (*.f64 (*.f64 (cbrt.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64))))) (cbrt.f64 (cbrt.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 3)))) (cbrt.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64))))))) 2))
40.3b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 (sqrt.f64 angle) (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 (/.f64 (sqrt.f64 angle) (cbrt.f64 180)) (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
Compiler

Compiled 10836 to 8086 computations (25.4% saved)

localize22.0ms (0.1%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.3b
(pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)
0.4b
(*.f64 (/.f64 angle 180) (PI.f64))
22.5b
(cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64))))
22.8b
(sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))

prune768.0ms (4.7%)

Pruning

32 alts after pruning (31 fresh and 1 done)

PrunedKeptTotal
New1892191
Fresh32932
Picked101
Done011
Total19332225
Error
17.3b
Counts
225 → 32
Alt Table
StatusErrorProgram
18.6b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (*.f64 (/.f64 angle 180) (*.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64)))) (cbrt.f64 (PI.f64))))) 2))
18.5b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (*.f64 (*.f64 (cbrt.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (cbrt.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))))) (cbrt.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) 2))
18.8b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180)) (*.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)) (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
24.7b
(+.f64 (*.f64 (pow.f64 a 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2)) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
18.6b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180)) (*.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)) (PI.f64))))) 2))
18.8b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
18.7b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 (/.f64 (cbrt.f64 angle) (cbrt.f64 180)) (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
18.6b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) 2))
18.5b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (log.f64 (exp.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) 2))
18.6b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 1 (sqrt.f64 180)) (*.f64 (/.f64 angle (sqrt.f64 180)) (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
18.5b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (expm1.f64 (log1p.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) 2))
18.9b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b 1) 2))
18.7b
(+.f64 (*.f64 (*.f64 (cbrt.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (cbrt.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))) (cbrt.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
18.7b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (*.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180))) (*.f64 (cbrt.f64 (/.f64 angle 180)) (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
18.6b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (*.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180))) (*.f64 (cbrt.f64 (/.f64 angle 180)) (PI.f64))))) 2))
40.7b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (exp.f64 (+.f64 (log.f64 (/.f64 angle 180)) (log.f64 (PI.f64)))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
18.8b
(+.f64 (pow.f64 (*.f64 a (*.f64 (*.f64 (cbrt.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (cbrt.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))))) (cbrt.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
30.5b
(+.f64 (*.f64 1/32400 (*.f64 (*.f64 angle angle) (*.f64 (pow.f64 (PI.f64) 2) (*.f64 a a)))) (pow.f64 (*.f64 b (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64))))) 2))
33.0b
(+.f64 (log.f64 (exp.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
40.4b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (exp.f64 (+.f64 (log.f64 (/.f64 angle 180)) (log.f64 (PI.f64)))))) 2))
18.5b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cbrt.f64 (*.f64 (*.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64))))) (cbrt.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 3))))) 2))
37.6b
(+.f64 (pow.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (*.f64 (cbrt.f64 2) (cbrt.f64 2))) (cbrt.f64 2)) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
18.9b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cbrt.f64 (*.f64 (*.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64))))) 1))) 2))
19.0b
(+.f64 (expm1.f64 (log1p.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
40.3b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (exp.f64 (+.f64 (-.f64 (log.f64 angle) (log.f64 180)) (log.f64 (PI.f64)))))) 2))
22.4b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (expm1.f64 (log1p.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
31.7b
(+.f64 (*.f64 (*.f64 a a) (fma.f64 (*.f64 (*.f64 angle angle) (pow.f64 (PI.f64) 2)) 1/32400 (*.f64 (*.f64 (pow.f64 angle 4) (pow.f64 (PI.f64) 4)) -1/3149280000))) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
18.5b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (*.f64 (*.f64 (cbrt.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64))))) (cbrt.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))))) (cbrt.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64))))))) 2))
18.9b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (*.f64 (/.f64 angle 180) (*.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64)))) (cbrt.f64 (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
18.6b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 (/.f64 (cbrt.f64 angle) (cbrt.f64 180)) (PI.f64))))) 2))
18.5b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
40.3b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 (sqrt.f64 angle) (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 (/.f64 (sqrt.f64 angle) (cbrt.f64 180)) (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
Compiler

Compiled 9313 to 6808 computations (26.9% saved)

regimes1.5s (9.2%)

Accuracy

Total 1.2b remaining (6.1%)

Threshold costs 0b (0%)

Counts
179 → 1
Compiler

Compiled 39615 to 31012 computations (21.7% saved)

simplify2.0ms (0%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
02260
13060
22860

end973.0ms (6%)

Compiler

Compiled 1122 to 878 computations (21.7% saved)

Profiling

Loading profile data...