Details

Time bar (total: 14.9s)

analyze2.0s (13.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)

sample309.0ms (2.1%)

Algorithm
intervals
Results
61.0ms53×body1024valid
49.0ms42×body1024invalid
24.0ms164×body128valid
17.0ms22×body512valid
12.0ms12×body512invalid
10.0msbody2048valid
4.0ms10×body256valid
3.0ms18×body128invalid
3.0msbody256invalid
Compiler

Compiled 52 to 42 computations (19.2% saved)

simplify127.0ms (0.9%)

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
19.6b
Counts
2 → 1
Alt Table
StatusErrorProgram
19.6b
(+.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)

localize11.0ms (0.1%)

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

series36.0ms (0.2%)

Counts
4 → 60
Calls

4 calls:

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

rewrite13.0ms (0.1%)

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

4 calls:

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

simplify121.0ms (0.8%)

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

prune873.0ms (5.9%)

Pruning

33 alts after pruning (33 fresh and 0 done)

PrunedKeptTotal
New16533198
Fresh000
Picked101
Done000
Total16633199
Error
18.1b
Counts
199 → 33
Alt Table
StatusErrorProgram
37.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))
24.4b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (cbrt.f64 (*.f64 (*.f64 (*.f64 (/.f64 angle 180) (/.f64 angle 180)) (/.f64 angle 180)) (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)))))) 2))
19.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))
19.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))
19.6b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) 2))
26.8b
(+.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))
19.6b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b 1) 2))
19.8b
(+.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))
19.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))
19.6b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (*.f64 (/.f64 angle 180) (*.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64)))) (cbrt.f64 (PI.f64))))) 2))
29.9b
(+.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))
19.6b
(+.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 (PI.f64) (/.f64 angle 180))) 3))) 2))
19.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))
30.0b
(+.f64 (cbrt.f64 (*.f64 (*.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (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))
19.6b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle)) 1) (*.f64 (/.f64 (cbrt.f64 angle) 180) (PI.f64))))) 2))
19.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 angle 180)) (cbrt.f64 (/.f64 angle 180))) (*.f64 (cbrt.f64 (/.f64 angle 180)) (PI.f64))))) 2))
19.6b
(+.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))
19.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))
41.0b
(+.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))
20.5b
(+.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))
19.5b
(+.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))
34.7b
(+.f64 (*.f64 (*.f64 a a) (fma.f64 (*.f64 (*.f64 angle angle) (pow.f64 (PI.f64) 2)) 1/32400 (*.f64 (*.f64 (pow.f64 angle 4) (pow.f64 (PI.f64) 4)) -1/3149280000))) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
19.9b
(+.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))
22.8b
(+.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))
33.6b
(+.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))
41.1b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 (sqrt.f64 angle) 1) (*.f64 (/.f64 (sqrt.f64 angle) 180) (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
41.0b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (exp.f64 (+.f64 (log.f64 (/.f64 angle 180)) (log.f64 (PI.f64)))))) 2))
35.8b
(+.f64 (log.f64 (exp.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
19.6b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
40.9b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (sqrt.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (sqrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) 2))
19.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))
19.5b
(+.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))
28.8b
(+.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))
Compiler

Compiled 7662 to 5614 computations (26.7% saved)

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.5b
(*.f64 (cbrt.f64 angle) (cbrt.f64 angle))
0.6b
(cbrt.f64 angle)
23.2b
(sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))
23.3b
(cos.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180)) (*.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)) (PI.f64))))

series82.0ms (0.6%)

Counts
3 → 36
Calls

3 calls:

38.0ms
(*.f64 (cbrt.f64 angle) (cbrt.f64 angle))
35.0ms
(cbrt.f64 angle)
9.0ms
(cos.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180)) (*.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)) (PI.f64))))

rewrite11.0ms (0.1%)

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt_binary64
19×cbrt-prod_binary64
12×*-un-lft-identity_binary64
12×add-cube-cbrt_binary64
10×pow1_binary64
Counts
3 → 64
Calls

3 calls:

6.0ms
(*.f64 (cbrt.f64 angle) (cbrt.f64 angle))
2.0ms
(cos.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180)) (*.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)) (PI.f64))))
1.0ms
(cbrt.f64 angle)

simplify81.0ms (0.5%)

Algorithm
egg-herbie
Rules
501×fma-neg_binary64
360×*-commutative_binary64
335×associate-/l*_binary64
227×cancel-sign-sub-inv_binary64
225×fma-def_binary64
Counts
100 → 99
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
01081244
1219874
2732825
32326799
43881707
54910707
64871707

prune681.0ms (4.6%)

Pruning

40 alts after pruning (40 fresh and 0 done)

PrunedKeptTotal
New14118159
Fresh102232
Picked101
Done000
Total15240192
Error
17.9b
Counts
192 → 40
Alt Table
StatusErrorProgram
19.5b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (*.f64 (*.f64 (cbrt.f64 (cos.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180)) (*.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)) (PI.f64))))) (cbrt.f64 (cos.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180)) (*.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)) (PI.f64)))))) (cbrt.f64 (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))
40.9b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (sqrt.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (sqrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) 2))
37.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))
41.0b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 (pow.f64 angle 2/3) (sqrt.f64 180)) (*.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)) (PI.f64))))) 2))
40.9b
(+.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 (*.f64 (sqrt.f64 (cbrt.f64 angle)) (sqrt.f64 (cbrt.f64 angle))) (sqrt.f64 180)) (PI.f64))))) 2))
42.6b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 angle) (*.f64 (pow.f64 (*.f64 -1 angle) 1/3) (cbrt.f64 -1))) (sqrt.f64 180)) (*.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)) (PI.f64))))) 2))
19.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.6b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180)) (*.f64 (/.f64 (*.f64 (pow.f64 (*.f64 -1 angle) 1/3) (cbrt.f64 -1)) (sqrt.f64 180)) (PI.f64))))) 2))
19.5b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 angle)) (cbrt.f64 (cbrt.f64 angle))) (pow.f64 (cbrt.f64 (cbrt.f64 angle)) 4)) (sqrt.f64 180)) (*.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)) (PI.f64))))) 2))
19.6b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) 2))
26.8b
(+.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))
19.6b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b 1) 2))
19.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))
41.0b
(+.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 (pow.f64 angle 1/3) (sqrt.f64 180)) (PI.f64))))) 2))
29.9b
(+.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))
19.6b
(+.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 (PI.f64) (/.f64 angle 180))) 3))) 2))
41.0b
(+.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 (*.f64 (pow.f64 angle 1/6) (pow.f64 angle 1/6)) (sqrt.f64 180)) (PI.f64))))) 2))
19.5b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 1/180 (*.f64 angle (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))
19.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.5b
(+.f64 (pow.f64 (*.f64 a (log.f64 (exp.f64 (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))))) 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))
19.6b
(+.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))
19.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))
41.0b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 angle)) 4) (cbrt.f64 (pow.f64 angle 2/3))) (sqrt.f64 180)) (*.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)) (PI.f64))))) 2))
20.5b
(+.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))
19.5b
(+.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 (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle))) (cbrt.f64 (cbrt.f64 angle))) (sqrt.f64 180)) (PI.f64))))) 2))
34.7b
(+.f64 (*.f64 (*.f64 a a) (fma.f64 (*.f64 (*.f64 angle angle) (pow.f64 (PI.f64) 2)) 1/32400 (*.f64 (*.f64 (pow.f64 angle 4) (pow.f64 (PI.f64) 4)) -1/3149280000))) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
41.0b
(+.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) (*.f64 (cbrt.f64 (pow.f64 angle 2/3)) (cbrt.f64 (cbrt.f64 angle)))) (sqrt.f64 180)) (*.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)) (PI.f64))))) 2))
19.9b
(+.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))
22.8b
(+.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))
33.6b
(+.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))
19.5b
(+.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 (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 angle)) (cbrt.f64 (cbrt.f64 angle))) (cbrt.f64 (cbrt.f64 angle))) (sqrt.f64 180)) (PI.f64))))) 2))
19.6b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 (exp.f64 (log.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle)))) (sqrt.f64 180)) (*.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)) (PI.f64))))) 2))
28.8b
(+.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))
22.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 (expm1.f64 (log1p.f64 (cbrt.f64 angle))) (sqrt.f64 180)) (PI.f64))))) 2))
41.1b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 (sqrt.f64 angle) 1) (*.f64 (/.f64 (sqrt.f64 angle) 180) (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
41.0b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (exp.f64 (+.f64 (log.f64 (/.f64 angle 180)) (log.f64 (PI.f64)))))) 2))
35.8b
(+.f64 (log.f64 (exp.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
41.0b
(+.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) (pow.f64 angle 1/3)) (sqrt.f64 180)) (*.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)) (PI.f64))))) 2))
40.9b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 angle)) (cbrt.f64 (sqrt.f64 angle))) (*.f64 (cbrt.f64 (sqrt.f64 angle)) (cbrt.f64 (sqrt.f64 angle)))) (sqrt.f64 180)) (*.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)) (PI.f64))))) 2))
19.8b
(+.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))
Compiler

Compiled 8633 to 5873 computations (32% saved)

localize22.0ms (0.1%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.5b
(*.f64 (cbrt.f64 angle) (cbrt.f64 angle))
0.6b
(cbrt.f64 angle)
23.3b
(cos.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180)) (*.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)) (PI.f64))))
23.3b
(sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64))))

series4.0ms (0%)

Counts
1 → 4
Calls

1 calls:

4.0ms
(sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64))))

rewrite2.0ms (0%)

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

1 calls:

2.0ms
(sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64))))

simplify65.0ms (0.4%)

Algorithm
egg-herbie
Rules
811×distribute-rgt-neg-in_binary64
612×fma-def_binary64
605×cancel-sign-sub-inv_binary64
603×distribute-lft-neg-in_binary64
402×unswap-sqr_binary64
Counts
13 → 17
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
039266
1102241
2294239
31088239
42793239
54415239
64995239

prune715.0ms (4.8%)

Pruning

40 alts after pruning (40 fresh and 0 done)

PrunedKeptTotal
New1484152
Fresh33639
Picked101
Done000
Total15240192
Error
17.9b
Counts
192 → 40
Alt Table
StatusErrorProgram
19.5b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (*.f64 (*.f64 (cbrt.f64 (cos.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180)) (*.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)) (PI.f64))))) (cbrt.f64 (cos.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180)) (*.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)) (PI.f64)))))) (cbrt.f64 (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))
40.9b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (sqrt.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (sqrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) 2))
37.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))
19.6b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64))))) 2) (pow.f64 (*.f64 b (log.f64 (exp.f64 (cos.f64 (/.f64 (*.f64 angle (PI.f64)) 180))))) 2))
41.0b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 (pow.f64 angle 2/3) (sqrt.f64 180)) (*.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)) (PI.f64))))) 2))
40.9b
(+.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 (*.f64 (sqrt.f64 (cbrt.f64 angle)) (sqrt.f64 (cbrt.f64 angle))) (sqrt.f64 180)) (PI.f64))))) 2))
42.6b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 angle) (*.f64 (pow.f64 (*.f64 -1 angle) 1/3) (cbrt.f64 -1))) (sqrt.f64 180)) (*.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)) (PI.f64))))) 2))
19.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.6b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180)) (*.f64 (/.f64 (*.f64 (pow.f64 (*.f64 -1 angle) 1/3) (cbrt.f64 -1)) (sqrt.f64 180)) (PI.f64))))) 2))
19.5b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 angle)) (cbrt.f64 (cbrt.f64 angle))) (pow.f64 (cbrt.f64 (cbrt.f64 angle)) 4)) (sqrt.f64 180)) (*.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)) (PI.f64))))) 2))
19.6b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) 2))
26.8b
(+.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))
19.6b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64))))) 2) (pow.f64 (*.f64 b (cbrt.f64 (pow.f64 (cos.f64 (/.f64 (*.f64 angle (PI.f64)) 180)) 3))) 2))
41.0b
(+.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) (pow.f64 angle 1/3)) (sqrt.f64 180)) (*.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)) (PI.f64))))) 2))
19.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))
41.0b
(+.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 (pow.f64 angle 1/3) (sqrt.f64 180)) (PI.f64))))) 2))
41.0b
(+.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 (*.f64 (pow.f64 angle 1/6) (pow.f64 angle 1/6)) (sqrt.f64 180)) (PI.f64))))) 2))
19.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.5b
(+.f64 (pow.f64 (*.f64 a (log.f64 (exp.f64 (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))))) 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))
19.6b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64))))) 2) (pow.f64 (*.f64 b 1) 2))
19.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))
41.0b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 angle)) 4) (cbrt.f64 (pow.f64 angle 2/3))) (sqrt.f64 180)) (*.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)) (PI.f64))))) 2))
20.5b
(+.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))
19.5b
(+.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 (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle))) (cbrt.f64 (cbrt.f64 angle))) (sqrt.f64 180)) (PI.f64))))) 2))
34.7b
(+.f64 (*.f64 (*.f64 a a) (fma.f64 (*.f64 (*.f64 angle angle) (pow.f64 (PI.f64) 2)) 1/32400 (*.f64 (*.f64 (pow.f64 angle 4) (pow.f64 (PI.f64) 4)) -1/3149280000))) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
41.0b
(+.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) (*.f64 (cbrt.f64 (pow.f64 angle 2/3)) (cbrt.f64 (cbrt.f64 angle)))) (sqrt.f64 180)) (*.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)) (PI.f64))))) 2))
19.9b
(+.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))
22.8b
(+.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))
33.6b
(+.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 (log.f64 (exp.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (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))
19.5b
(+.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 (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 angle)) (cbrt.f64 (cbrt.f64 angle))) (cbrt.f64 (cbrt.f64 angle))) (sqrt.f64 180)) (PI.f64))))) 2))
19.6b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 (exp.f64 (log.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle)))) (sqrt.f64 180)) (*.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)) (PI.f64))))) 2))
28.8b
(+.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))
22.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 (expm1.f64 (log1p.f64 (cbrt.f64 angle))) (sqrt.f64 180)) (PI.f64))))) 2))
41.1b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 (sqrt.f64 angle) 1) (*.f64 (/.f64 (sqrt.f64 angle) 180) (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
41.0b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (exp.f64 (+.f64 (log.f64 (/.f64 angle 180)) (log.f64 (PI.f64)))))) 2))
35.8b
(+.f64 (log.f64 (exp.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
40.9b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 angle)) (cbrt.f64 (sqrt.f64 angle))) (*.f64 (cbrt.f64 (sqrt.f64 angle)) (cbrt.f64 (sqrt.f64 angle)))) (sqrt.f64 180)) (*.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)) (PI.f64))))) 2))
19.8b
(+.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))
29.9b
(+.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))
Compiler

Compiled 8385 to 5564 computations (33.6% saved)

localize24.0ms (0.2%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.6b
(cbrt.f64 angle)
0.7b
(cbrt.f64 (cbrt.f64 angle))
23.2b
(cos.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180)) (*.f64 (/.f64 (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle))) (cbrt.f64 (cbrt.f64 angle))) (sqrt.f64 180)) (PI.f64))))
23.2b
(sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))

series272.0ms (1.8%)

Counts
2 → 24
Calls

2 calls:

261.0ms
(cbrt.f64 (cbrt.f64 angle))
10.0ms
(cos.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180)) (*.f64 (/.f64 (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle))) (cbrt.f64 (cbrt.f64 angle))) (sqrt.f64 180)) (PI.f64))))

rewrite5.0ms (0%)

Algorithm
rewrite-expression-head
Rules
cbrt-prod_binary64
*-un-lft-identity_binary64
add-sqr-sqrt_binary64
add-cube-cbrt_binary64
add-cbrt-cube_binary64
Counts
2 → 25
Calls

2 calls:

2.0ms
(cos.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180)) (*.f64 (/.f64 (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle))) (cbrt.f64 (cbrt.f64 angle))) (sqrt.f64 180)) (PI.f64))))
1.0ms
(cbrt.f64 (cbrt.f64 angle))

simplify48.0ms (0.3%)

Algorithm
egg-herbie
Rules
867×associate-/r/_binary64
567×associate-/l/_binary64
331×cancel-sign-sub-inv_binary64
328×unswap-sqr_binary64
280×fma-def_binary64
Counts
49 → 45
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0861036
1181884
2495803
32112647
45562647

prune762.0ms (5.1%)

Pruning

43 alts after pruning (42 fresh and 1 done)

PrunedKeptTotal
New1545159
Fresh23739
Picked011
Done000
Total15643199
Error
17.8b
Counts
199 → 43
Alt Table
StatusErrorProgram
19.5b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (*.f64 (*.f64 (cbrt.f64 (cos.f64 (*.f64 (/.f64 (*.f64 (PI.f64) (*.f64 (cbrt.f64 angle) (cbrt.f64 angle))) 180) (cbrt.f64 angle)))) (cbrt.f64 (cos.f64 (*.f64 (/.f64 (*.f64 (PI.f64) (*.f64 (cbrt.f64 angle) (cbrt.f64 angle))) 180) (cbrt.f64 angle))))) (cbrt.f64 (cos.f64 (*.f64 (/.f64 (*.f64 (PI.f64) (*.f64 (cbrt.f64 angle) (cbrt.f64 angle))) 180) (cbrt.f64 angle)))))) 2))
19.5b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (*.f64 (*.f64 (cbrt.f64 (cos.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180)) (*.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)) (PI.f64))))) (cbrt.f64 (cos.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180)) (*.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)) (PI.f64)))))) (cbrt.f64 (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))
40.9b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (sqrt.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (sqrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) 2))
37.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))
41.0b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 (pow.f64 angle 2/3) (sqrt.f64 180)) (*.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)) (PI.f64))))) 2))
40.9b
(+.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 (*.f64 (sqrt.f64 (cbrt.f64 angle)) (sqrt.f64 (cbrt.f64 angle))) (sqrt.f64 180)) (PI.f64))))) 2))
42.6b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 angle) (*.f64 (pow.f64 (*.f64 -1 angle) 1/3) (cbrt.f64 -1))) (sqrt.f64 180)) (*.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)) (PI.f64))))) 2))
19.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.6b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180)) (*.f64 (/.f64 (*.f64 (pow.f64 (*.f64 -1 angle) 1/3) (cbrt.f64 -1)) (sqrt.f64 180)) (PI.f64))))) 2))
19.5b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 angle)) (cbrt.f64 (cbrt.f64 angle))) (pow.f64 (cbrt.f64 (cbrt.f64 angle)) 4)) (sqrt.f64 180)) (*.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)) (PI.f64))))) 2))
19.6b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (cbrt.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) 2))
26.8b
(+.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))
19.6b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64))))) 2) (pow.f64 (*.f64 b (cbrt.f64 (pow.f64 (cos.f64 (/.f64 (*.f64 angle (PI.f64)) 180)) 3))) 2))
41.0b
(+.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) (pow.f64 angle 1/3)) (sqrt.f64 180)) (*.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)) (PI.f64))))) 2))
19.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))
41.0b
(+.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) (*.f64 (pow.f64 angle 1/6) (pow.f64 angle 1/6))) (sqrt.f64 180)) (*.f64 (/.f64 (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle))) (cbrt.f64 (cbrt.f64 angle))) (sqrt.f64 180)) (PI.f64))))) 2))
41.0b
(+.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 (pow.f64 angle 1/3) (sqrt.f64 180)) (PI.f64))))) 2))
19.8b
(+.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))
42.6b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180)) (*.f64 (/.f64 (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 angle) (*.f64 (pow.f64 (*.f64 -1 angle) 1/3) (cbrt.f64 -1)))) (cbrt.f64 (cbrt.f64 angle))) (sqrt.f64 180)) (PI.f64))))) 2))
41.0b
(+.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) (exp.f64 (log.f64 (cbrt.f64 angle)))) (sqrt.f64 180)) (*.f64 (/.f64 (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle))) (cbrt.f64 (cbrt.f64 angle))) (sqrt.f64 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 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180)) (*.f64 (/.f64 (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle))) (cbrt.f64 (*.f64 (pow.f64 (*.f64 -1 angle) 1/3) (cbrt.f64 -1)))) (sqrt.f64 180)) (PI.f64))))) 2))
29.9b
(+.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))
31.5b
(+.f64 (pow.f64 (*.f64 a (log.f64 (exp.f64 (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))))) 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))
19.6b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64))))) 2) (pow.f64 (*.f64 b 1) 2))
19.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))
41.0b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 angle)) 4) (cbrt.f64 (pow.f64 angle 2/3))) (sqrt.f64 180)) (*.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)) (PI.f64))))) 2))
20.5b
(+.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))
19.5b
(+.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 (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle))) (cbrt.f64 (cbrt.f64 angle))) (sqrt.f64 180)) (PI.f64))))) 2))
34.7b
(+.f64 (*.f64 (*.f64 a a) (fma.f64 (*.f64 (*.f64 angle angle) (pow.f64 (PI.f64) 2)) 1/32400 (*.f64 (*.f64 (pow.f64 angle 4) (pow.f64 (PI.f64) 4)) -1/3149280000))) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
41.0b
(+.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) (*.f64 (cbrt.f64 (pow.f64 angle 2/3)) (cbrt.f64 (cbrt.f64 angle)))) (sqrt.f64 180)) (*.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)) (PI.f64))))) 2))
19.9b
(+.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))
22.8b
(+.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))
33.6b
(+.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 (log.f64 (exp.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (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))
19.5b
(+.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 (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 angle)) (cbrt.f64 (cbrt.f64 angle))) (cbrt.f64 (cbrt.f64 angle))) (sqrt.f64 180)) (PI.f64))))) 2))
19.6b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 (exp.f64 (log.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle)))) (sqrt.f64 180)) (*.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)) (PI.f64))))) 2))
28.8b
(+.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))
22.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 (expm1.f64 (log1p.f64 (cbrt.f64 angle))) (sqrt.f64 180)) (PI.f64))))) 2))
41.1b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 (sqrt.f64 angle) 1) (*.f64 (/.f64 (sqrt.f64 angle) 180) (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
41.0b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (exp.f64 (+.f64 (log.f64 (/.f64 angle 180)) (log.f64 (PI.f64)))))) 2))
35.8b
(+.f64 (log.f64 (exp.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
40.9b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 angle)) (cbrt.f64 (sqrt.f64 angle))) (*.f64 (cbrt.f64 (sqrt.f64 angle)) (cbrt.f64 (sqrt.f64 angle)))) (sqrt.f64 180)) (*.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)) (PI.f64))))) 2))
19.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))
Compiler

Compiled 8664 to 5024 computations (42% saved)

regimes1.4s (9.7%)

Accuracy

Total 1.4b remaining (6.8%)

Threshold costs 0b (0%)

Counts
165 → 1
Compiler

Compiled 36372 to 27858 computations (23.4% saved)

simplify4.0ms (0%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
02769
13669
23669

end1.0ms (0%)

Compiler

Compiled 44 to 29 computations (34.1% saved)

sample7.1s (47.6%)

Algorithm
intervals
Results
1.8s1589×body1024valid
1.4s1270×body1024invalid
784.0ms5000×body128valid
572.0ms797×body512valid
475.0ms647×body512invalid
331.0ms188×body2048valid
170.0ms424×body256valid
140.0ms311×body256invalid
87.0ms567×body128invalid
10.0msbody4096valid
Compiler

Compiled 1672 to 1247 computations (25.4% saved)

Profiling

Loading profile data...