Details

Time bar (total: 18.1s)

analyze2.5s (13.7%)

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)

sample328.0ms (1.8%)

Algorithm
intervals
Results
66.0ms59×body1024valid
50.0ms45×body1024invalid
23.0ms142×body128valid
20.0ms28×body512valid
15.0ms21×body512invalid
10.0msbody2048valid
9.0ms22×body256valid
5.0ms12×body256invalid
3.0ms18×body128invalid
Compiler

Compiled 52 to 42 computations (19.2% saved)

simplify127.0ms (0.7%)

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
24.7b
Counts
2 → 1
Alt Table
StatusErrorProgram
24.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)

localize13.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))
28.2b
(sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))
28.3b
(cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))

series37.0ms (0.2%)

Counts
4 → 60
Calls

4 calls:

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

rewrite14.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)
2.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

prune516.0ms (2.8%)

Pruning

38 alts after pruning (38 fresh and 0 done)

PrunedKeptTotal
New16038198
Fresh000
Picked101
Done000
Total16138199
Error
22.6b
Counts
199 → 38
Alt Table
StatusErrorProgram
42.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))
44.6b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (*.f64 (/.f64 (sqrt.f64 angle) (sqrt.f64 180)) (sqrt.f64 (PI.f64))) (*.f64 (/.f64 (sqrt.f64 angle) (sqrt.f64 180)) (sqrt.f64 (PI.f64)))))) 2))
24.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))
24.8b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (*.f64 (/.f64 angle 180) (sqrt.f64 (PI.f64))) (sqrt.f64 (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
44.5b
(+.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))
29.0b
(+.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))
24.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))
24.8b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle)) 1) (*.f64 (/.f64 (cbrt.f64 angle) 180) (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
29.1b
(+.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))
25.0b
(+.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))
24.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))
36.2b
(+.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))
24.8b
(+.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))
25.0b
(+.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))
31.1b
(+.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))
24.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)) (sqrt.f64 180)) (*.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)) (PI.f64))))) 2))
24.7b
(+.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))
25.0b
(+.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))
25.0b
(+.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))
29.3b
(+.f64 (pow.f64 (*.f64 a (cbrt.f64 (*.f64 (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
24.8b
(+.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))
32.6b
(+.f64 (pow.f64 (*.f64 a (log.f64 (exp.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
28.8b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (cbrt.f64 (pow.f64 (*.f64 (PI.f64) (/.f64 angle 180)) 3)))) 2))
24.7b
(+.f64 (pow.f64 (*.f64 a (log1p.f64 (expm1.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
24.8b
(+.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))
24.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))
32.1b
(+.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))
24.7b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 1 (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64))))) 2))
24.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))
31.7b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (-.f64 (fma.f64 1/25194240000 (*.f64 (pow.f64 angle 4) (pow.f64 (PI.f64) 4)) 1) (fma.f64 1/64800 (*.f64 (*.f64 angle angle) (pow.f64 (PI.f64) 2)) (*.f64 1/24488801280000000 (*.f64 (pow.f64 angle 6) (pow.f64 (PI.f64) 6)))))) 2))
25.4b
(+.f64 (exp.f64 (log.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))
24.9b
(+.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))
24.8b
(+.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))
44.9b
(+.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))
24.8b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b 1) 2))
24.9b
(+.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))
53.5b
(+.f64 (exp.f64 (*.f64 (+.f64 (log.f64 a) (log.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))))) 2)) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
42.5b
(+.f64 (pow.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (sqrt.f64 2)) (sqrt.f64 2)) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
Compiler

Compiled 7996 to 5900 computations (26.2% saved)

localize19.0ms (0.1%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.5b
(*.f64 (/.f64 1 (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64)))
1.0b
(*.f64 (cbrt.f64 180) (cbrt.f64 180))
28.2b
(sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))
28.5b
(cos.f64 (*.f64 (/.f64 1 (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64))))

series32.0ms (0.2%)

Counts
3 → 24
Calls

3 calls:

25.0ms
(*.f64 (/.f64 1 (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64)))
7.0ms
(cos.f64 (*.f64 (/.f64 1 (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64))))
0.0ms
(*.f64 (cbrt.f64 180) (cbrt.f64 180))

rewrite26.0ms (0.1%)

Algorithm
rewrite-expression-head
Rules
83×add-exp-log_binary64
45×prod-exp_binary64
30×add-cbrt-cube_binary64
21×add-sqr-sqrt_binary64
19×div-exp_binary64
Counts
3 → 104
Calls

3 calls:

12.0ms
(*.f64 (/.f64 1 (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64)))
4.0ms
(*.f64 (cbrt.f64 180) (cbrt.f64 180))
2.0ms
(cos.f64 (*.f64 (/.f64 1 (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64))))

simplify109.0ms (0.6%)

Algorithm
egg-herbie
Rules
440×associate-/l*_binary64
439×fma-neg_binary64
410×log-div_binary64
378×associate-/r*_binary64
374×*-commutative_binary64
Counts
128 → 140
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01622497
13341371
211531347
333281338
444991338
549621338
649981338

prune740.0ms (4.1%)

Pruning

44 alts after pruning (44 fresh and 0 done)

PrunedKeptTotal
New15014164
Fresh73037
Picked101
Done000
Total15844202
Error
22.5b
Counts
202 → 44
Alt Table
StatusErrorProgram
24.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 1 (*.f64 (cbrt.f64 180) (cbrt.f64 180)))) (cbrt.f64 (/.f64 1 (*.f64 (cbrt.f64 180) (cbrt.f64 180))))) (*.f64 (cbrt.f64 (/.f64 1 (*.f64 (cbrt.f64 180) (cbrt.f64 180)))) (*.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64)))))) 2))
42.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))
29.3b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (*.f64 (sqrt.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64))))) (sqrt.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64))))))) 2))
24.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))
24.8b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (*.f64 (/.f64 angle 180) (sqrt.f64 (PI.f64))) (sqrt.f64 (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
44.5b
(+.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))
29.0b
(+.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))
24.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))
24.8b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle)) 1) (*.f64 (/.f64 (cbrt.f64 angle) 180) (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
29.1b
(+.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))
24.8b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (/.f64 (*.f64 1 (*.f64 angle (PI.f64))) (*.f64 (*.f64 (cbrt.f64 180) (cbrt.f64 180)) (cbrt.f64 180))))) 2))
25.0b
(+.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))
24.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))
36.2b
(+.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))
31.4b
(+.f64 (pow.f64 (*.f64 a (-.f64 (*.f64 1/180 (*.f64 angle (PI.f64))) (*.f64 1/34992000 (*.f64 (pow.f64 angle 3) (pow.f64 (PI.f64) 3))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 1 (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64))))) 2))
25.0b
(+.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))
31.1b
(+.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))
25.0b
(+.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))
24.8b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cbrt.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 3))) 2))
24.9b
(+.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 1 (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64)))) (cbrt.f64 (*.f64 (/.f64 1 (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64))))) (cbrt.f64 (*.f64 (/.f64 1 (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64))))))) 2))
25.0b
(+.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))
29.3b
(+.f64 (pow.f64 (*.f64 a (cbrt.f64 (*.f64 (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
24.9b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 1 (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (pow.f64 (cbrt.f64 (cbrt.f64 180)) 4))) (*.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64))))) 2))
24.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 1 (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64)))) (cos.f64 (*.f64 (/.f64 1 (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64))))) (cos.f64 (*.f64 (/.f64 1 (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64))))))) 2))
24.8b
(+.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))
32.6b
(+.f64 (pow.f64 (*.f64 a (log.f64 (exp.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
25.0b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 1 (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 180)) 5) (cbrt.f64 (cbrt.f64 180)))) (*.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64))))) 2))
24.8b
(+.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))
24.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))
24.7b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 1 (*.f64 (sqrt.f64 (cbrt.f64 180)) (pow.f64 (sqrt.f64 (cbrt.f64 180)) 3))) (*.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64))))) 2))
32.1b
(+.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))
24.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))
24.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 1 (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64))))))) 2))
25.4b
(+.f64 (exp.f64 (log.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))
24.9b
(+.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))
31.7b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (fma.f64 (pow.f64 (PI.f64) 6) (*.f64 (pow.f64 angle 6) -1/24488801280000000) (fma.f64 (*.f64 angle angle) (*.f64 (pow.f64 (PI.f64) 2) -1/64800) (fma.f64 1/25194240000 (*.f64 (pow.f64 angle 4) (pow.f64 (PI.f64) 4)) 1)))) 2))
24.8b
(+.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))
44.9b
(+.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))
24.8b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b 1) 2))
42.5b
(+.f64 (pow.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (sqrt.f64 2)) (sqrt.f64 2)) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
24.9b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 1 (expm1.f64 (log1p.f64 (*.f64 (cbrt.f64 180) (cbrt.f64 180))))) (*.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64))))) 2))
24.8b
(+.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 1/180 (*.f64 angle (PI.f64)))) (cbrt.f64 (*.f64 1/180 (*.f64 angle (PI.f64))))) (cbrt.f64 (*.f64 1/180 (*.f64 angle (PI.f64))))))) 2))
24.7b
(+.f64 (pow.f64 (*.f64 a (log1p.f64 (expm1.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
53.5b
(+.f64 (exp.f64 (*.f64 (+.f64 (log.f64 a) (log.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))))) 2)) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
Compiler

Compiled 8872 to 7112 computations (19.8% saved)

localize24.0ms (0.1%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.5b
(*.f64 (/.f64 1 (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64)))
1.0b
(*.f64 (cbrt.f64 180) (cbrt.f64 180))
28.2b
(sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))
28.5b
(cos.f64 (*.f64 (/.f64 1 (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64))))

prune910.0ms (5%)

Pruning

45 alts after pruning (44 fresh and 1 done)

PrunedKeptTotal
New1613164
Fresh24143
Picked011
Done000
Total16345208
Error
22.5b
Counts
208 → 45
Alt Table
StatusErrorProgram
24.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 1 (*.f64 (cbrt.f64 180) (cbrt.f64 180)))) (cbrt.f64 (/.f64 1 (*.f64 (cbrt.f64 180) (cbrt.f64 180))))) (*.f64 (cbrt.f64 (/.f64 1 (*.f64 (cbrt.f64 180) (cbrt.f64 180)))) (*.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64)))))) 2))
42.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))
29.3b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (*.f64 (sqrt.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64))))) (sqrt.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64))))))) 2))
24.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))
24.8b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (*.f64 (/.f64 angle 180) (sqrt.f64 (PI.f64))) (sqrt.f64 (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
44.5b
(+.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))
29.0b
(+.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))
24.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))
24.8b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle)) 1) (*.f64 (/.f64 (cbrt.f64 angle) 180) (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
29.1b
(+.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))
24.8b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (/.f64 (*.f64 1 (*.f64 angle (PI.f64))) (*.f64 (*.f64 (cbrt.f64 180) (cbrt.f64 180)) (cbrt.f64 180))))) 2))
25.0b
(+.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))
24.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))
36.2b
(+.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))
31.4b
(+.f64 (pow.f64 (*.f64 a (-.f64 (*.f64 1/180 (*.f64 angle (PI.f64))) (*.f64 1/34992000 (*.f64 (pow.f64 angle 3) (pow.f64 (PI.f64) 3))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 1 (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64))))) 2))
25.0b
(+.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))
31.1b
(+.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))
25.0b
(+.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))
24.8b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cbrt.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 3))) 2))
24.9b
(+.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 1 (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64)))) (cbrt.f64 (*.f64 (/.f64 1 (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64))))) (cbrt.f64 (*.f64 (/.f64 1 (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64))))))) 2))
25.0b
(+.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))
29.3b
(+.f64 (pow.f64 (*.f64 a (cbrt.f64 (*.f64 (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
24.8b
(+.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))
32.6b
(+.f64 (pow.f64 (*.f64 a (log.f64 (exp.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
24.8b
(+.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))
24.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))
24.9b
(+.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 1 (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (pow.f64 (cbrt.f64 (cbrt.f64 180)) 4))) (*.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64))))))) 2))
24.7b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 1 (*.f64 (sqrt.f64 (cbrt.f64 180)) (pow.f64 (sqrt.f64 (cbrt.f64 180)) 3))) (*.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64))))) 2))
32.1b
(+.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))
24.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))
24.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 1 (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64))))))) 2))
25.4b
(+.f64 (exp.f64 (log.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))
24.9b
(+.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))
31.7b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (fma.f64 (pow.f64 (PI.f64) 6) (*.f64 (pow.f64 angle 6) -1/24488801280000000) (fma.f64 (*.f64 angle angle) (*.f64 (pow.f64 (PI.f64) 2) -1/64800) (fma.f64 1/25194240000 (*.f64 (pow.f64 angle 4) (pow.f64 (PI.f64) 4)) 1)))) 2))
24.8b
(+.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))
25.0b
(+.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 1 (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 180)) 5) (cbrt.f64 (cbrt.f64 180)))) (*.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64))))))) 2))
44.9b
(+.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))
24.8b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b 1) 2))
24.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 1 (*.f64 (pow.f64 (sqrt.f64 (cbrt.f64 180)) 3) (sqrt.f64 (cbrt.f64 180)))) (*.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64))))))) 2))
53.5b
(+.f64 (exp.f64 (*.f64 (+.f64 (log.f64 a) (log.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))))) 2)) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
42.5b
(+.f64 (pow.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (sqrt.f64 2)) (sqrt.f64 2)) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
24.9b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 1 (expm1.f64 (log1p.f64 (*.f64 (cbrt.f64 180) (cbrt.f64 180))))) (*.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64))))) 2))
24.8b
(+.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 1/180 (*.f64 angle (PI.f64)))) (cbrt.f64 (*.f64 1/180 (*.f64 angle (PI.f64))))) (cbrt.f64 (*.f64 1/180 (*.f64 angle (PI.f64))))))) 2))
24.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 1 (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64)))) (cos.f64 (*.f64 (/.f64 1 (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64))))) (cos.f64 (*.f64 (/.f64 1 (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64))))))) 2))
24.7b
(+.f64 (pow.f64 (*.f64 a (log1p.f64 (expm1.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
Compiler

Compiled 9251 to 7486 computations (19.1% saved)

localize28.0ms (0.2%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.5b
(*.f64 (/.f64 1 (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64)))
1.0b
(*.f64 (cbrt.f64 180) (cbrt.f64 180))
28.2b
(sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))
28.5b
(cos.f64 (*.f64 (/.f64 1 (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64))))

prune2.9s (16%)

Pruning

49 alts after pruning (48 fresh and 1 done)

PrunedKeptTotal
New4359444
Fresh43943
Picked011
Done101
Total44049489
Error
22.4b
Counts
489 → 49
Alt Table
StatusErrorProgram
42.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))
29.3b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (*.f64 (sqrt.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64))))) (sqrt.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64))))))) 2))
24.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))
24.8b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (*.f64 (/.f64 angle 180) (sqrt.f64 (PI.f64))) (sqrt.f64 (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
44.5b
(+.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))
29.0b
(+.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))
24.8b
(+.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 1 (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64)))) (cos.f64 (*.f64 (/.f64 1 (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64))))) (cos.f64 (*.f64 (/.f64 1 (cbrt.f64 32400)) (*.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64))))))) 2))
24.8b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle)) 1) (*.f64 (/.f64 (cbrt.f64 angle) 180) (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
29.1b
(+.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))
24.8b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (/.f64 (*.f64 1 (*.f64 angle (PI.f64))) (*.f64 (*.f64 (cbrt.f64 180) (cbrt.f64 180)) (cbrt.f64 180))))) 2))
25.0b
(+.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))
24.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))
36.2b
(+.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))
31.4b
(+.f64 (pow.f64 (*.f64 a (-.f64 (*.f64 1/180 (*.f64 angle (PI.f64))) (*.f64 1/34992000 (*.f64 (pow.f64 angle 3) (pow.f64 (PI.f64) 3))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 1 (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64))))) 2))
25.0b
(+.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))
31.1b
(+.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))
24.8b
(+.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 1/180 (*.f64 angle (PI.f64)))) (cbrt.f64 (*.f64 1/180 (*.f64 angle (PI.f64))))) (cbrt.f64 (*.f64 1/180 (*.f64 angle (PI.f64))))))) 2))
24.8b
(+.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 1 (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64)))) (cos.f64 (*.f64 (/.f64 1 (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64))))) (cos.f64 (*.f64 (/.f64 1 (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (pow.f64 (cbrt.f64 (cbrt.f64 180)) 4))) (*.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64))))))) 2))
25.0b
(+.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))
24.8b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cbrt.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 3))) 2))
24.9b
(+.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 1 (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64)))) (cbrt.f64 (*.f64 (/.f64 1 (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64))))) (cbrt.f64 (*.f64 (/.f64 1 (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64))))))) 2))
25.0b
(+.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))
24.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 1 (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64)))) (cos.f64 (*.f64 (/.f64 1 (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64))))) (cos.f64 (*.f64 (/.f64 1 (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64))))))) 2))
44.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 1 (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64)))) (cos.f64 (*.f64 (/.f64 1 (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64))))) (cos.f64 (exp.f64 (log.f64 (*.f64 1/180 (*.f64 angle (PI.f64))))))))) 2))
24.8b
(+.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 1 (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64)))) (cos.f64 (*.f64 (/.f64 1 (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64))))) (cos.f64 (*.f64 (/.f64 1 (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 180)) 5) (cbrt.f64 (cbrt.f64 180)))) (*.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64))))))) 2))
24.8b
(+.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))
32.6b
(+.f64 (pow.f64 (*.f64 a (log.f64 (exp.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
24.7b
(+.f64 (pow.f64 (*.f64 a (log1p.f64 (expm1.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
44.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 1 (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64)))) (cos.f64 (*.f64 (/.f64 1 (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64))))) (cos.f64 (*.f64 (sqrt.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) (sqrt.f64 (*.f64 1/180 (*.f64 angle (PI.f64))))))))) 2))
24.8b
(+.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 1 (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64)))) (cos.f64 (*.f64 (/.f64 1 (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64))))) (cos.f64 (*.f64 (/.f64 1 (*.f64 (pow.f64 (sqrt.f64 (cbrt.f64 180)) 3) (sqrt.f64 (cbrt.f64 180)))) (*.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64))))))) 2))
24.8b
(+.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))
24.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))
24.9b
(+.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 1 (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (pow.f64 (cbrt.f64 (cbrt.f64 180)) 4))) (*.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64))))))) 2))
24.7b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 1 (*.f64 (sqrt.f64 (cbrt.f64 180)) (pow.f64 (sqrt.f64 (cbrt.f64 180)) 3))) (*.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64))))) 2))
32.1b
(+.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))
24.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.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 1 (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64)))) (cos.f64 (*.f64 (/.f64 1 (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64))))) 1))) 2))
25.4b
(+.f64 (exp.f64 (log.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))
24.9b
(+.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))
31.7b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (fma.f64 (pow.f64 (PI.f64) 6) (*.f64 (pow.f64 angle 6) -1/24488801280000000) (fma.f64 (*.f64 angle angle) (*.f64 (pow.f64 (PI.f64) 2) -1/64800) (fma.f64 1/25194240000 (*.f64 (pow.f64 angle 4) (pow.f64 (PI.f64) 4)) 1)))) 2))
24.8b
(+.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))
29.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 1 (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64)))) (cos.f64 (*.f64 (/.f64 1 (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64))))) (fma.f64 (*.f64 angle angle) (*.f64 (pow.f64 (PI.f64) 2) -1/64800) 1)))) 2))
25.0b
(+.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 1 (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 180)) 5) (cbrt.f64 (cbrt.f64 180)))) (*.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64))))))) 2))
44.9b
(+.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))
24.8b
(+.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 1 (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64)))) (cos.f64 (*.f64 (/.f64 1 (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64))))) (cos.f64 (*.f64 (/.f64 1 (expm1.f64 (log1p.f64 (*.f64 (cbrt.f64 180) (cbrt.f64 180))))) (*.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64))))))) 2))
24.8b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b 1) 2))
42.5b
(+.f64 (pow.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (sqrt.f64 2)) (sqrt.f64 2)) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
24.9b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 1 (expm1.f64 (log1p.f64 (*.f64 (cbrt.f64 180) (cbrt.f64 180))))) (*.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64))))) 2))
53.5b
(+.f64 (exp.f64 (*.f64 (+.f64 (log.f64 a) (log.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))))) 2)) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
Compiler

Compiled 32261 to 26970 computations (16.4% saved)

regimes2.2s (12.4%)

Accuracy

Total 1.5b remaining (7.4%)

Threshold costs 0b (0%)

Counts
177 → 1
Compiler

Compiled 42744 to 35221 computations (17.6% saved)

simplify3.0ms (0%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
02449
13349
23249

end1.0ms (0%)

Compiler

Compiled 33 to 28 computations (15.2% saved)

sample7.4s (41%)

Algorithm
intervals
Results
1.8s1624×body1024valid
1.5s1385×body1024invalid
764.0ms5015×body128valid
568.0ms785×body512valid
509.0ms703×body512invalid
308.0ms189×body2048valid
154.0ms355×body256invalid
148.0ms383×body256valid
92.0ms580×body128invalid
21.0msbody4096valid
Compiler

Compiled 2014 to 1657 computations (17.7% saved)

Profiling

Loading profile data...