Details

Time bar (total: 32.2s)

analyze2.2s (6.8%)

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)

sample192.0ms (0.6%)

Algorithm
intervals
Results
53.0ms47×body1024valid
50.0ms38×body1024invalid
28.0ms180×body128valid
15.0ms20×body512valid
13.0ms16×body512invalid
6.0msbody2048valid
4.0msbody256invalid
4.0ms24×body128invalid
2.0msbody256valid
Compiler

Compiled 52 to 42 computations (19.2% saved)

simplify131.0ms (0.4%)

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

prune3.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
16.7b
Counts
2 → 1
Alt Table
StatusErrorProgram
16.7b
(+.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)

localize14.0ms (0%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.2b
(pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)
0.3b
(*.f64 (/.f64 angle 180) (PI.f64))
21.1b
(cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))
21.7b
(sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))

series38.0ms (0.1%)

Counts
4 → 60
Calls

4 calls:

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

rewrite13.0ms (0%)

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
(sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))
1.0ms
(cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))

simplify123.0ms (0.4%)

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

prune491.0ms (1.5%)

Pruning

31 alts after pruning (31 fresh and 0 done)

PrunedKeptTotal
New16731198
Fresh000
Picked101
Done000
Total16831199
Error
15.2b
Counts
199 → 31
Alt Table
StatusErrorProgram
16.8b
(+.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)) 1) (*.f64 (/.f64 (cbrt.f64 angle) 180) (PI.f64))))) 2))
16.9b
(+.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))
16.9b
(+.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))
16.9b
(+.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))
16.7b
(+.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))
16.5b
(+.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))
22.3b
(+.f64 (cbrt.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 6)) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
16.8b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 1 (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
16.7b
(+.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))
38.3b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (sqrt.f64 (/.f64 angle 180)) (*.f64 (sqrt.f64 (/.f64 angle 180)) (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
20.3b
(+.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))
20.3b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (expm1.f64 (log1p.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) 2))
30.1b
(+.f64 (*.f64 1/32400 (*.f64 (pow.f64 angle 2) (*.f64 (pow.f64 a 2) (pow.f64 (PI.f64) 2)))) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
34.7b
(+.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))
16.9b
(+.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))
25.4b
(+.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))
16.7b
(+.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))
16.6b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64))))) 2))
16.7b
(+.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))
16.9b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b 1) 2))
16.7b
(+.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) (sqrt.f64 (PI.f64))) (sqrt.f64 (PI.f64))))) 2))
38.2b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (*.f64 (sqrt.f64 (/.f64 angle 180)) (sqrt.f64 (PI.f64))) (*.f64 (sqrt.f64 (/.f64 angle 180)) (sqrt.f64 (PI.f64)))))) 2))
16.7b
(+.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))
16.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))
38.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))
16.7b
(+.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))
16.7b
(+.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))
38.3b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 (sqrt.f64 angle) (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 (/.f64 (sqrt.f64 angle) (cbrt.f64 180)) (PI.f64))))) 2))
21.7b
(+.f64 (pow.f64 (*.f64 a (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
16.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))
16.9b
(+.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))
Compiler

Compiled 7538 to 5537 computations (26.5% saved)

localize16.0ms (0%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.5b
(*.f64 (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64))))
0.5b
(cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))
21.4b
(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)))))
21.7b
(sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))

series552.0ms (1.7%)

Counts
3 → 36
Calls

3 calls:

325.0ms
(*.f64 (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64))))
219.0ms
(cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))
7.0ms
(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)))))

rewrite14.0ms (0%)

Algorithm
rewrite-expression-head
Rules
10×pow1_binary64
add-sqr-sqrt_binary64
pow1/3_binary64
*-un-lft-identity_binary64
add-cube-cbrt_binary64
Counts
3 → 57
Calls

3 calls:

5.0ms
(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)))))
4.0ms
(*.f64 (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64))))
2.0ms
(cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))

simplify85.0ms (0.3%)

Algorithm
egg-herbie
Rules
614×fma-def_binary64
491×cancel-sign-sub-inv_binary64
484×unswap-sqr_binary64
416×associate-*l*_binary64
353×associate-*r*_binary64
Counts
93 → 106
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01311751
12751618
26501448
322711314
449411314
549611314

prune878.0ms (2.7%)

Pruning

37 alts after pruning (37 fresh and 0 done)

PrunedKeptTotal
New16513178
Fresh62430
Picked101
Done000
Total17237209
Error
15.0b
Counts
209 → 37
Alt Table
StatusErrorProgram
21.7b
(+.f64 (pow.f64 (*.f64 a (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
16.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 (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64))))) (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)))))) (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))
16.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 (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))
16.9b
(+.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))
16.9b
(+.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))
42.4b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (*.f64 (pow.f64 (cbrt.f64 -1/180) 2) (exp.f64 (*.f64 1/3 (-.f64 (log.f64 (pow.f64 (PI.f64) 2)) (*.f64 2 (log.f64 (/.f64 -1 angle))))))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) 2))
16.7b
(+.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))
38.3b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (*.f64 (exp.f64 (*.f64 1/3 (+.f64 (*.f64 2 (log.f64 angle)) (log.f64 (pow.f64 (PI.f64) 2))))) (pow.f64 (cbrt.f64 1/180) 2)) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) 2))
16.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))
16.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 (*.f64 (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64))))) (cbrt.f64 (*.f64 (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) (cbrt.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))
42.5b
(+.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))) (*.f64 (cbrt.f64 -1/180) (exp.f64 (*.f64 1/3 (-.f64 (log.f64 (PI.f64)) (log.f64 (/.f64 -1 angle))))))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) 2))
22.3b
(+.f64 (cbrt.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 6)) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
16.8b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 1 (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
16.7b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (exp.f64 (log.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))
16.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))) (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (cbrt.f64 (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64))))) (cbrt.f64 (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) 2))
38.3b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (sqrt.f64 (/.f64 angle 180)) (*.f64 (sqrt.f64 (/.f64 angle 180)) (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
20.3b
(+.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))
38.2b
(+.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))) (*.f64 (exp.f64 (*.f64 1/3 (+.f64 (log.f64 angle) (log.f64 (PI.f64))))) (cbrt.f64 1/180))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) 2))
20.3b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (expm1.f64 (log1p.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) 2))
30.1b
(+.f64 (*.f64 1/32400 (*.f64 (pow.f64 angle 2) (*.f64 (pow.f64 a 2) (pow.f64 (PI.f64) 2)))) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
34.7b
(+.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))
16.9b
(+.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))
25.4b
(+.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))
20.7b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (pow.f64 (*.f64 (*.f64 (/.f64 angle 180) (PI.f64)) (*.f64 (/.f64 angle 180) (PI.f64))) 1/3) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) 2))
20.3b
(+.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))) (expm1.f64 (log1p.f64 (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) 2))
38.2b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (*.f64 (sqrt.f64 (/.f64 angle 180)) (sqrt.f64 (PI.f64))) (*.f64 (sqrt.f64 (/.f64 angle 180)) (sqrt.f64 (PI.f64)))))) 2))
16.7b
(+.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))
16.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))
38.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))
16.7b
(+.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))
16.6b
(+.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 (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) (cbrt.f64 (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))))))) (cbrt.f64 (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))
38.3b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 (sqrt.f64 angle) (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 (/.f64 (sqrt.f64 angle) (cbrt.f64 180)) (PI.f64))))) 2))
16.9b
(+.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))
16.7b
(+.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))
16.9b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b 1) 2))
16.9b
(+.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))
38.3b
(+.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))) (pow.f64 (*.f64 (/.f64 angle 180) (PI.f64)) 1/3)) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) 2))
Compiler

Compiled 10027 to 7504 computations (25.2% saved)

localize45.0ms (0.1%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.5b
(*.f64 (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64))))
0.5b
(cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))
21.4b
(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)))))
21.7b
(sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))

prune2.1s (6.5%)

Pruning

37 alts after pruning (36 fresh and 1 done)

PrunedKeptTotal
New1762178
Fresh23436
Picked011
Done000
Total17837215
Error
15.0b
Counts
215 → 37
Alt Table
StatusErrorProgram
21.7b
(+.f64 (pow.f64 (*.f64 a (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
16.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 (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64))))) (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)))))) (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))
16.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 (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))
16.9b
(+.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))
16.9b
(+.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))
42.4b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (*.f64 (pow.f64 (cbrt.f64 -1/180) 2) (exp.f64 (*.f64 1/3 (-.f64 (log.f64 (pow.f64 (PI.f64) 2)) (*.f64 2 (log.f64 (/.f64 -1 angle))))))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) 2))
16.7b
(+.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))
38.3b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (*.f64 (exp.f64 (*.f64 1/3 (+.f64 (*.f64 2 (log.f64 angle)) (log.f64 (pow.f64 (PI.f64) 2))))) (pow.f64 (cbrt.f64 1/180) 2)) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) 2))
16.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))
16.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 (*.f64 (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64))))) (cbrt.f64 (*.f64 (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) (cbrt.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))
42.5b
(+.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))) (*.f64 (cbrt.f64 -1/180) (exp.f64 (*.f64 1/3 (-.f64 (log.f64 (PI.f64)) (log.f64 (/.f64 -1 angle))))))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) 2))
22.3b
(+.f64 (cbrt.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 6)) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
16.8b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 1 (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
16.7b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (exp.f64 (log.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))
16.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))) (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (cbrt.f64 (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64))))) (cbrt.f64 (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) 2))
38.3b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (sqrt.f64 (/.f64 angle 180)) (*.f64 (sqrt.f64 (/.f64 angle 180)) (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
20.3b
(+.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))
38.2b
(+.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))) (*.f64 (exp.f64 (*.f64 1/3 (+.f64 (log.f64 angle) (log.f64 (PI.f64))))) (cbrt.f64 1/180))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) 2))
20.3b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (expm1.f64 (log1p.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) 2))
30.1b
(+.f64 (*.f64 1/32400 (*.f64 (pow.f64 angle 2) (*.f64 (pow.f64 a 2) (pow.f64 (PI.f64) 2)))) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
34.7b
(+.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))
16.9b
(+.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))
25.4b
(+.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))
38.3b
(+.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 (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (exp.f64 (log.f64 (cbrt.f64 (*.f64 (PI.f64) (/.f64 angle 180)))))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))))) 2))
16.9b
(+.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))
20.7b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (pow.f64 (*.f64 (*.f64 (/.f64 angle 180) (PI.f64)) (*.f64 (/.f64 angle 180) (PI.f64))) 1/3) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) 2))
38.2b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (*.f64 (sqrt.f64 (/.f64 angle 180)) (sqrt.f64 (PI.f64))) (*.f64 (sqrt.f64 (/.f64 angle 180)) (sqrt.f64 (PI.f64)))))) 2))
16.7b
(+.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))
16.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))
38.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))
16.6b
(+.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 (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) (cbrt.f64 (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))))))) (cbrt.f64 (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))
16.6b
(+.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 1/180 (*.f64 angle (PI.f64))))))) 2))
38.3b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 (sqrt.f64 angle) (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 (/.f64 (sqrt.f64 angle) (cbrt.f64 180)) (PI.f64))))) 2))
16.9b
(+.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))
16.7b
(+.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))
16.9b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b 1) 2))
38.3b
(+.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))) (pow.f64 (*.f64 (/.f64 angle 180) (PI.f64)) 1/3)) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) 2))
Compiler

Compiled 10346 to 7832 computations (24.3% saved)

localize43.0ms (0.1%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.5b
(*.f64 (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64))))
0.5b
(cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))
21.4b
(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)))))
21.7b
(sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))

prune7.6s (23.5%)

Pruning

40 alts after pruning (39 fresh and 1 done)

PrunedKeptTotal
New47610486
Fresh62935
Picked101
Done011
Total48340523
Error
14.9b
Counts
523 → 40
Alt Table
StatusErrorProgram
16.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 (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))
16.9b
(+.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))
16.9b
(+.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))
16.7b
(+.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))
38.3b
(+.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 (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64))))) (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)))))) (cos.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (pow.f64 (*.f64 (/.f64 angle 180) (PI.f64)) 1/3)) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))))) 2))
16.6b
(+.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 (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64))))) (*.f64 (*.f64 (cbrt.f64 (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))) (cbrt.f64 (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180)))))) (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))
42.4b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (*.f64 (pow.f64 (cbrt.f64 -1/180) 2) (exp.f64 (*.f64 1/3 (-.f64 (log.f64 (pow.f64 (PI.f64) 2)) (*.f64 2 (log.f64 (/.f64 -1 angle))))))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) 2))
16.7b
(+.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 (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64))))) (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)))))) (cos.f64 (*.f64 (expm1.f64 (log1p.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 6))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))))) 2))
16.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 (*.f64 (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64))))) (cbrt.f64 (*.f64 (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) (cbrt.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))
42.5b
(+.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))) (*.f64 (cbrt.f64 -1/180) (exp.f64 (*.f64 1/3 (-.f64 (log.f64 (PI.f64)) (log.f64 (/.f64 -1 angle))))))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) 2))
22.3b
(+.f64 (cbrt.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 6)) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
16.8b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 1 (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
16.7b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (exp.f64 (log.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))
16.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))) (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (cbrt.f64 (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64))))) (cbrt.f64 (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) 2))
38.3b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (sqrt.f64 (/.f64 angle 180)) (*.f64 (sqrt.f64 (/.f64 angle 180)) (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
20.3b
(+.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))
30.1b
(+.f64 (*.f64 1/32400 (*.f64 (pow.f64 angle 2) (*.f64 (pow.f64 a 2) (pow.f64 (PI.f64) 2)))) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
38.2b
(+.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 (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64))))) (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)))))) (cos.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (exp.f64 (log.f64 (cbrt.f64 (*.f64 (PI.f64) (/.f64 angle 180)))))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))))) 2))
34.7b
(+.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))
16.9b
(+.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))
25.4b
(+.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))
16.6b
(+.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 (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64))))) (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)))))) (cos.f64 (*.f64 (*.f64 (*.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180))) (*.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64)))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))))) 2))
16.7b
(+.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))
16.9b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b 1) 2))
16.6b
(+.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 (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64))))) (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)))))) (cos.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (cbrt.f64 (*.f64 (PI.f64) (/.f64 angle 180))))) (cbrt.f64 (cbrt.f64 (*.f64 (PI.f64) (/.f64 angle 180)))))))))) 2))
16.6b
(+.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 (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64))))) (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64))))) (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))
17.2b
(+.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 (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64))))) (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)))))) 1))) 2))
16.9b
(+.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))
20.7b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (pow.f64 (*.f64 (*.f64 (/.f64 angle 180) (PI.f64)) (*.f64 (/.f64 angle 180) (PI.f64))) 1/3) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) 2))
38.2b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (*.f64 (sqrt.f64 (/.f64 angle 180)) (sqrt.f64 (PI.f64))) (*.f64 (sqrt.f64 (/.f64 angle 180)) (sqrt.f64 (PI.f64)))))) 2))
16.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))
38.3b
(+.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 (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64))))) (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)))))) (cos.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (*.f64 (exp.f64 (*.f64 1/3 (+.f64 (log.f64 angle) (log.f64 (PI.f64))))) (cbrt.f64 1/180))))))) 2))
38.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))
16.6b
(+.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 (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) (cbrt.f64 (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))))))) (cbrt.f64 (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))
16.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 (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64))))) (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)))))) (cos.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (*.f64 (cbrt.f64 (*.f64 angle (PI.f64))) (cbrt.f64 1/180))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))))) 2))
38.3b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 (sqrt.f64 angle) (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 (/.f64 (sqrt.f64 angle) (cbrt.f64 180)) (PI.f64))))) 2))
21.7b
(+.f64 (pow.f64 (*.f64 a (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
16.9b
(+.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))
16.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))
38.3b
(+.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))) (pow.f64 (*.f64 (/.f64 angle 180) (PI.f64)) 1/3)) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) 2))
Compiler

Compiled 43283 to 31809 computations (26.5% saved)

regimes4.1s (12.9%)

Accuracy

Total 1.5b remaining (7.5%)

Threshold costs 0b (0%)

Counts
182 → 1
Compiler

Compiled 58041 to 45009 computations (22.5% saved)

simplify5.0ms (0%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
02260
12960
22960

end2.0ms (0%)

Compiler

Compiled 39 to 30 computations (23.1% saved)

sample13.6s (42.1%)

Algorithm
intervals
Results
3.2s1561×body1024valid
2.7s1300×body1024invalid
1.5s5056×body128valid
1.0s765×body512valid
1.0s731×body512invalid
587.0ms192×body2048valid
315.0ms426×body256valid
257.0ms313×body256invalid
167.0ms568×body128invalid
Compiler

Compiled 2029 to 1572 computations (22.5% saved)

Profiling

Loading profile data...