Details

Time bar (total: 13.9s)

analyze1.8s (12.8%)

Algorithm
1×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)

sample166.0ms (1.2%)

Algorithm
1×intervals
Results
38.0ms38×body1024valid
34.0ms37×body1024invalid
20.0ms162×body128valid
19.0ms32×body512valid
15.0ms10×body2048valid
12.0ms19×body512invalid
5.0ms14×body256valid
3.0ms9×body256invalid
3.0ms21×body128invalid
Compiler

Compiled 52 to 42 computations (19.2% saved)

simplify151.0ms (1.1%)

Algorithm
1×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 → 0
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01634
13034
26434
310834
419834
543934
662734
7108234
8110934
9130134
10150634
11180434
12209634
13251934
14315434
15347034
16382234
17397634
18404434
19408634
20488334
21485534

prune3.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Compiled 48 to 38 computations (20.8% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b
(*.f64 (/.f64 angle 180) PI.f64)
0.3b
(*.f64 (/.f64 angle 180) PI.f64)
24.6b
(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
24.6b
(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))

rewrite202.0ms (1.5%)

Algorithm
1×rewrite-expression-head
Error
19.6b
Rules
30×add-sqr-sqrt_binary64
26×associate-*l*_binary64
20×add-cube-cbrt_binary64 *-un-lft-identity_binary64 times-frac_binary64
14×add-exp-log_binary64 add-cbrt-cube_binary64
8×pow1_binary64
Counts
4 → 78
Calls

4 calls:

10.0ms
(*.f64 (/.f64 angle 180) PI.f64)
7.0ms
(*.f64 (/.f64 angle 180) PI.f64)
2.0ms
(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
2.0ms
(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
Compiler

Compiled 2073 to 1469 computations (29.1% saved)

series60.0ms (0.4%)

Error
20.2b
Counts
4 → 17
Calls

4 calls:

14.0ms
(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
12.0ms
(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
9.0ms
(*.f64 (/.f64 angle 180) PI.f64)
9.0ms
(*.f64 (/.f64 angle 180) PI.f64)
Compiler

Compiled 1031 to 805 computations (21.9% saved)

simplify92.0ms (0.7%)

Algorithm
1×egg-herbie
Rules
470×associate-*l*_binary64
447×associate-*r*_binary64
414×unswap-sqr_binary64
399×distribute-rgt-neg-in_binary64
385×distribute-lft-neg-in_binary64
Counts
95 → 71
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
01271301
12801163
27281163
324651154
448081151
549311151

prune197.0ms (1.4%)

Pruning

25 alts after pruning (25 fresh and 0 done)

PrunedKeptTotal
New462571
Fresh000
Picked101
Done000
Total472572
Error
19.7b
Counts
72 → 25
Alt Table
StatusErrorProgram
20.7b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180)) (*.f64 PI.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)))))) 2))
39.9b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (*.f64 (sqrt.f64 PI.f64) (/.f64 (sqrt.f64 angle) (sqrt.f64 180))) (*.f64 (sqrt.f64 PI.f64) (/.f64 (sqrt.f64 angle) (sqrt.f64 180)))))) 2))
40.0b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 (sqrt.f64 angle) (sqrt.f64 180)) (*.f64 PI.f64 (/.f64 (sqrt.f64 angle) (sqrt.f64 180)))))) 2))
20.6b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 PI.f64 (/.f64 (cbrt.f64 angle) (cbrt.f64 180)))))) 2))
40.0b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (cos.f64 (exp.f64 (log.f64 (*.f64 1/180 (*.f64 angle PI.f64)))))) 2))
20.8b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (*.f64 (*.f64 angle 1/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))
40.0b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 (sqrt.f64 angle) 1) (*.f64 PI.f64 (/.f64 (sqrt.f64 angle) 180))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
20.9b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180)) (*.f64 PI.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
▶20.4b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 angle (*.f64 PI.f64 1/180)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
20.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 PI.f64 (/.f64 (cbrt.f64 angle) (cbrt.f64 180)))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
20.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 PI.f64 (/.f64 (cbrt.f64 angle) 180))))) 2))
20.6b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (*.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180))) (*.f64 PI.f64 (cbrt.f64 (*.f64 angle 1/180)))))) 2))
20.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/180 (*.f64 angle PI.f64))) (cbrt.f64 (*.f64 1/180 (*.f64 angle PI.f64)))) (cbrt.f64 (*.f64 1/180 (*.f64 angle PI.f64)))))) 2))
20.8b
(+.f64 (pow.f64 (*.f64 a (sin.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) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
20.8b
(+.f64 (pow.f64 (*.f64 a (*.f64 (*.f64 (cbrt.f64 (sin.f64 (*.f64 1/180 (*.f64 angle PI.f64)))) (cbrt.f64 (sin.f64 (*.f64 1/180 (*.f64 angle PI.f64))))) (cbrt.f64 (sin.f64 (*.f64 1/180 (*.f64 angle PI.f64)))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
20.6b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (*.f64 (*.f64 (cbrt.f64 (cos.f64 (*.f64 1/180 (*.f64 angle PI.f64)))) (cbrt.f64 (cos.f64 (*.f64 1/180 (*.f64 angle PI.f64))))) (cbrt.f64 (cos.f64 (*.f64 1/180 (*.f64 angle PI.f64)))))) 2))
20.8b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (*.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180))) (*.f64 PI.f64 (cbrt.f64 (*.f64 angle 1/180)))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
26.4b
(+.f64 (pow.f64 (*.f64 a (cbrt.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle PI.f64))) 3))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
20.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 1/180 (*.f64 angle PI.f64))) 3))) 2))
20.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 1/180) (sqrt.f64 PI.f64)) (sqrt.f64 PI.f64)))) 2))
31.6b
(+.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 angle 180) PI.f64))) 2))
39.9b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (sqrt.f64 (*.f64 1/180 (*.f64 angle PI.f64))) (sqrt.f64 (*.f64 1/180 (*.f64 angle PI.f64)))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
40.5b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (exp.f64 (log.f64 (*.f64 1/180 (*.f64 angle PI.f64)))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
20.7b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (*.f64 (*.f64 angle 1/180) (*.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64))) (cbrt.f64 PI.f64)))) 2))
24.5b
(+.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))
Compiler

Compiled 3421 to 2473 computations (27.7% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b
(pow.f64 (*.f64 a (sin.f64 (*.f64 angle (*.f64 PI.f64 1/180)))) 2)
0.3b
(*.f64 (/.f64 angle 180) PI.f64)
24.4b
(sin.f64 (*.f64 angle (*.f64 PI.f64 1/180)))
24.6b
(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))

rewrite235.0ms (1.7%)

Algorithm
1×rewrite-expression-head
Error
19.6b
Rules
18×add-sqr-sqrt_binary64
13×add-cube-cbrt_binary64 *-un-lft-identity_binary64 associate-*l*_binary64
12×add-exp-log_binary64
10×times-frac_binary64
9×pow1_binary64 add-cbrt-cube_binary64
Counts
4 → 64
Calls

4 calls:

6.0ms
(*.f64 (/.f64 angle 180) PI.f64)
4.0ms
(pow.f64 (*.f64 a (sin.f64 (*.f64 angle (*.f64 PI.f64 1/180)))) 2)
2.0ms
(sin.f64 (*.f64 angle (*.f64 PI.f64 1/180)))
2.0ms
(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
Compiler

Compiled 1683 to 1219 computations (27.6% saved)

series128.0ms (0.9%)

Error
19.6b
Counts
4 → 23
Calls

4 calls:

44.0ms
(pow.f64 (*.f64 a (sin.f64 (*.f64 angle (*.f64 PI.f64 1/180)))) 2)
14.0ms
(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
12.0ms
(sin.f64 (*.f64 angle (*.f64 PI.f64 1/180)))
9.0ms
(*.f64 (/.f64 angle 180) PI.f64)
Compiler

Compiled 1542 to 1209 computations (21.6% saved)

simplify96.0ms (0.7%)

Algorithm
1×egg-herbie
Rules
493×cancel-sign-sub-inv_binary64
379×*-commutative_binary64
361×distribute-rgt-neg-in_binary64
347×distribute-lft-neg-in_binary64
256×associate-/l/_binary64
Counts
87 → 67
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01831483
14081372
211621348
326941324
449111324
549151324

prune261.0ms (1.9%)

Pruning

31 alts after pruning (30 fresh and 1 done)

PrunedKeptTotal
New61667
Fresh02424
Picked011
Done000
Total613192
Error
19.6b
Counts
92 → 31
Alt Table
StatusErrorProgram
20.7b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180)) (*.f64 PI.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)))))) 2))
39.9b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (*.f64 (sqrt.f64 PI.f64) (/.f64 (sqrt.f64 angle) (sqrt.f64 180))) (*.f64 (sqrt.f64 PI.f64) (/.f64 (sqrt.f64 angle) (sqrt.f64 180)))))) 2))
39.0b
(+.f64 (exp.f64 (*.f64 2 (log.f64 (*.f64 (sin.f64 (*.f64 1/180 (*.f64 angle PI.f64))) a)))) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
40.0b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 (sqrt.f64 angle) (sqrt.f64 180)) (*.f64 PI.f64 (/.f64 (sqrt.f64 angle) (sqrt.f64 180)))))) 2))
20.6b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 PI.f64 (/.f64 (cbrt.f64 angle) (cbrt.f64 180)))))) 2))
40.0b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (cos.f64 (exp.f64 (log.f64 (*.f64 1/180 (*.f64 angle PI.f64)))))) 2))
35.6b
(+.f64 (*.f64 (*.f64 a a) (-.f64 (+.f64 (*.f64 (pow.f64 PI.f64 2) (*.f64 (*.f64 angle angle) 1/32400)) (*.f64 (pow.f64 PI.f64 6) (*.f64 1/765275040000000 (pow.f64 angle 6)))) (*.f64 (pow.f64 PI.f64 4) (*.f64 (pow.f64 angle 4) 1/3149280000)))) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
20.8b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (*.f64 (*.f64 angle 1/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))
40.0b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 (sqrt.f64 angle) 1) (*.f64 PI.f64 (/.f64 (sqrt.f64 angle) 180))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
20.9b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180)) (*.f64 PI.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
20.6b
(+.f64 (*.f64 (*.f64 (cbrt.f64 (pow.f64 (*.f64 (sin.f64 (*.f64 1/180 (*.f64 angle PI.f64))) a) 2)) (cbrt.f64 (pow.f64 (*.f64 (sin.f64 (*.f64 1/180 (*.f64 angle PI.f64))) a) 2))) (cbrt.f64 (pow.f64 (*.f64 (sin.f64 (*.f64 1/180 (*.f64 angle PI.f64))) a) 2))) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
✓20.4b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 angle (*.f64 PI.f64 1/180)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
20.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 PI.f64 (/.f64 (cbrt.f64 angle) (cbrt.f64 180)))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
20.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 PI.f64 (/.f64 (cbrt.f64 angle) 180))))) 2))
20.6b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (*.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180))) (*.f64 PI.f64 (cbrt.f64 (*.f64 angle 1/180)))))) 2))
20.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/180 (*.f64 angle PI.f64))) (cbrt.f64 (*.f64 1/180 (*.f64 angle PI.f64)))) (cbrt.f64 (*.f64 1/180 (*.f64 angle PI.f64)))))) 2))
33.9b
(+.f64 (*.f64 1/32400 (*.f64 (*.f64 angle angle) (*.f64 (pow.f64 PI.f64 2) (*.f64 a a)))) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
39.5b
(+.f64 (pow.f64 (pow.f64 (*.f64 (sin.f64 (*.f64 1/180 (*.f64 angle PI.f64))) a) (*.f64 (cbrt.f64 2) (cbrt.f64 2))) (cbrt.f64 2)) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
20.8b
(+.f64 (pow.f64 (*.f64 a (sin.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) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
20.8b
(+.f64 (pow.f64 (*.f64 a (*.f64 (*.f64 (cbrt.f64 (sin.f64 (*.f64 1/180 (*.f64 angle PI.f64)))) (cbrt.f64 (sin.f64 (*.f64 1/180 (*.f64 angle PI.f64))))) (cbrt.f64 (sin.f64 (*.f64 1/180 (*.f64 angle PI.f64)))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
20.6b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (*.f64 (*.f64 (cbrt.f64 (cos.f64 (*.f64 1/180 (*.f64 angle PI.f64)))) (cbrt.f64 (cos.f64 (*.f64 1/180 (*.f64 angle PI.f64))))) (cbrt.f64 (cos.f64 (*.f64 1/180 (*.f64 angle PI.f64)))))) 2))
28.1b
(+.f64 (*.f64 (*.f64 a a) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle PI.f64))) 2)) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
20.8b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (*.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180))) (*.f64 PI.f64 (cbrt.f64 (*.f64 angle 1/180)))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
26.4b
(+.f64 (pow.f64 (*.f64 a (cbrt.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle PI.f64))) 3))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
20.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 1/180 (*.f64 angle PI.f64))) 3))) 2))
▶20.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 1/180) (sqrt.f64 PI.f64)) (sqrt.f64 PI.f64)))) 2))
31.6b
(+.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 angle 180) PI.f64))) 2))
39.9b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (sqrt.f64 (*.f64 1/180 (*.f64 angle PI.f64))) (sqrt.f64 (*.f64 1/180 (*.f64 angle PI.f64)))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
40.5b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (exp.f64 (log.f64 (*.f64 1/180 (*.f64 angle PI.f64)))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
20.7b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (*.f64 (*.f64 angle 1/180) (*.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64))) (cbrt.f64 PI.f64)))) 2))
24.5b
(+.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))
Compiler

Compiled 3561 to 2601 computations (27% saved)

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

1.0b
(sqrt.f64 PI.f64)
1.0b
(sqrt.f64 PI.f64)
24.6b
(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
24.8b
(cos.f64 (*.f64 (*.f64 (*.f64 angle 1/180) (sqrt.f64 PI.f64)) (sqrt.f64 PI.f64)))

rewrite207.0ms (1.5%)

Algorithm
1×rewrite-expression-head
Error
19.6b
Rules
8×add-sqr-sqrt_binary64
6×pow1_binary64 add-cube-cbrt_binary64 *-un-lft-identity_binary64 sqrt-prod_binary64
4×add-log-exp_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
2×pow1/2_binary64 sqrt-pow1_binary64 rem-sqrt-square_binary64
Counts
4 → 40
Calls

4 calls:

5.0ms
(cos.f64 (*.f64 (*.f64 (*.f64 angle 1/180) (sqrt.f64 PI.f64)) (sqrt.f64 PI.f64)))
2.0ms
(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
1.0ms
(sqrt.f64 PI.f64)
1.0ms
(sqrt.f64 PI.f64)
Compiler

Compiled 1161 to 740 computations (36.3% saved)

series63.0ms (0.5%)

Error
19.6b
Counts
4 → 11
Calls

4 calls:

14.0ms
(cos.f64 (*.f64 (*.f64 (*.f64 angle 1/180) (sqrt.f64 PI.f64)) (sqrt.f64 PI.f64)))
13.0ms
(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
0.0ms
(sqrt.f64 PI.f64)
0.0ms
(sqrt.f64 PI.f64)
Compiler

Compiled 795 to 599 computations (24.7% saved)

simplify108.0ms (0.8%)

Algorithm
1×egg-herbie
Rules
969×distribute-rgt-neg-in_binary64
451×distribute-lft-neg-in_binary64
448×unswap-sqr_binary64
350×associate-*r*_binary64
332×associate-*l*_binary64
Counts
51 → 27
Iterations

Useful iterations: 6 (0.0ms)

IterNodesCost
084623
1178579
2439579
31721575
43652558
54990558
64991555
74914555

prune178.0ms (1.3%)

Pruning

33 alts after pruning (31 fresh and 2 done)

PrunedKeptTotal
New25227
Fresh02929
Picked011
Done011
Total253358
Error
19.6b
Counts
58 → 33
Alt Table
StatusErrorProgram
20.7b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180)) (*.f64 PI.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)))))) 2))
39.9b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (*.f64 (sqrt.f64 PI.f64) (/.f64 (sqrt.f64 angle) (sqrt.f64 180))) (*.f64 (sqrt.f64 PI.f64) (/.f64 (sqrt.f64 angle) (sqrt.f64 180)))))) 2))
39.0b
(+.f64 (exp.f64 (*.f64 2 (log.f64 (*.f64 (sin.f64 (*.f64 1/180 (*.f64 angle PI.f64))) a)))) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
40.0b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 (sqrt.f64 angle) (sqrt.f64 180)) (*.f64 PI.f64 (/.f64 (sqrt.f64 angle) (sqrt.f64 180)))))) 2))
20.6b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 PI.f64 (/.f64 (cbrt.f64 angle) (cbrt.f64 180)))))) 2))
40.0b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (cos.f64 (exp.f64 (log.f64 (*.f64 1/180 (*.f64 angle PI.f64)))))) 2))
35.6b
(+.f64 (*.f64 (*.f64 a a) (-.f64 (+.f64 (*.f64 (pow.f64 PI.f64 2) (*.f64 (*.f64 angle angle) 1/32400)) (*.f64 (pow.f64 PI.f64 6) (*.f64 1/765275040000000 (pow.f64 angle 6)))) (*.f64 (pow.f64 PI.f64 4) (*.f64 (pow.f64 angle 4) 1/3149280000)))) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
20.8b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (*.f64 (*.f64 angle 1/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))
40.0b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 (sqrt.f64 angle) 1) (*.f64 PI.f64 (/.f64 (sqrt.f64 angle) 180))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
20.9b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180)) (*.f64 PI.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
20.6b
(+.f64 (*.f64 (*.f64 (cbrt.f64 (pow.f64 (*.f64 (sin.f64 (*.f64 1/180 (*.f64 angle PI.f64))) a) 2)) (cbrt.f64 (pow.f64 (*.f64 (sin.f64 (*.f64 1/180 (*.f64 angle PI.f64))) a) 2))) (cbrt.f64 (pow.f64 (*.f64 (sin.f64 (*.f64 1/180 (*.f64 angle PI.f64))) a) 2))) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
✓20.4b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 angle (*.f64 PI.f64 1/180)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
20.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 PI.f64 (/.f64 (cbrt.f64 angle) (cbrt.f64 180)))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
20.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 PI.f64 (/.f64 (cbrt.f64 angle) 180))))) 2))
20.6b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (*.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180))) (*.f64 PI.f64 (cbrt.f64 (*.f64 angle 1/180)))))) 2))
20.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/180 (*.f64 angle PI.f64))) (cbrt.f64 (*.f64 1/180 (*.f64 angle PI.f64)))) (cbrt.f64 (*.f64 1/180 (*.f64 angle PI.f64)))))) 2))
20.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 1/180) (cbrt.f64 (pow.f64 PI.f64 3/2))) (sqrt.f64 PI.f64)))) 2))
33.9b
(+.f64 (*.f64 1/32400 (*.f64 (*.f64 angle angle) (*.f64 (pow.f64 PI.f64 2) (*.f64 a a)))) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
39.5b
(+.f64 (pow.f64 (pow.f64 (*.f64 (sin.f64 (*.f64 1/180 (*.f64 angle PI.f64))) a) (*.f64 (cbrt.f64 2) (cbrt.f64 2))) (cbrt.f64 2)) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
20.8b
(+.f64 (pow.f64 (*.f64 a (sin.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) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
20.8b
(+.f64 (pow.f64 (*.f64 a (*.f64 (*.f64 (cbrt.f64 (sin.f64 (*.f64 1/180 (*.f64 angle PI.f64)))) (cbrt.f64 (sin.f64 (*.f64 1/180 (*.f64 angle PI.f64))))) (cbrt.f64 (sin.f64 (*.f64 1/180 (*.f64 angle PI.f64)))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
20.6b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (*.f64 (*.f64 (cbrt.f64 (cos.f64 (*.f64 1/180 (*.f64 angle PI.f64)))) (cbrt.f64 (cos.f64 (*.f64 1/180 (*.f64 angle PI.f64))))) (cbrt.f64 (cos.f64 (*.f64 1/180 (*.f64 angle PI.f64)))))) 2))
28.1b
(+.f64 (*.f64 (*.f64 a a) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle PI.f64))) 2)) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
20.8b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (*.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180))) (*.f64 PI.f64 (cbrt.f64 (*.f64 angle 1/180)))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
26.4b
(+.f64 (pow.f64 (*.f64 a (cbrt.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle PI.f64))) 3))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
▶20.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 1/180 (*.f64 angle PI.f64))) 3))) 2))
20.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 1/180) (sqrt.f64 PI.f64)) (cbrt.f64 (pow.f64 PI.f64 3/2))))) 2))
✓20.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 1/180) (sqrt.f64 PI.f64)) (sqrt.f64 PI.f64)))) 2))
31.6b
(+.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 angle 180) PI.f64))) 2))
39.9b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (sqrt.f64 (*.f64 1/180 (*.f64 angle PI.f64))) (sqrt.f64 (*.f64 1/180 (*.f64 angle PI.f64)))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
40.5b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (exp.f64 (log.f64 (*.f64 1/180 (*.f64 angle PI.f64)))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
20.7b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (*.f64 (*.f64 angle 1/180) (*.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64))) (cbrt.f64 PI.f64)))) 2))
24.5b
(+.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))
Compiler

Compiled 2881 to 2134 computations (25.9% saved)

localize19.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b
(cbrt.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle PI.f64))) 3))
0.3b
(pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle PI.f64))) 3)
24.6b
(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
25.0b
(cos.f64 (*.f64 1/180 (*.f64 angle PI.f64)))

rewrite227.0ms (1.6%)

Algorithm
1×rewrite-expression-head
Error
19.6b
Rules
12×cbrt-prod_binary64
10×add-cube-cbrt_binary64 add-sqr-sqrt_binary64 *-un-lft-identity_binary64
6×unpow-prod-down_binary64 cube-prod_binary64
5×pow1_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
4×add-log-exp_binary64
Counts
4 → 58
Calls

4 calls:

3.0ms
(pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle PI.f64))) 3)
3.0ms
(cbrt.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle PI.f64))) 3))
2.0ms
(cos.f64 (*.f64 1/180 (*.f64 angle PI.f64)))
2.0ms
(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
Compiler

Compiled 1553 to 1113 computations (28.3% saved)

series128.0ms (0.9%)

Error
19.5b
Counts
4 → 21
Calls

4 calls:

19.0ms
(pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle PI.f64))) 3)
16.0ms
(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
13.0ms
(cos.f64 (*.f64 1/180 (*.f64 angle PI.f64)))
12.0ms
(cbrt.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle PI.f64))) 3))
Compiler

Compiled 1478 to 1168 computations (21% saved)

simplify99.0ms (0.7%)

Algorithm
1×egg-herbie
Rules
619×associate-*l*_binary64
565×associate-*r*_binary64
414×distribute-rgt-neg-in_binary64
410×distribute-lft-neg-in_binary64
328×log-prod_binary64
Counts
79 → 48
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
01091412
12361271
26621255
327931255
446901252
549841252

prune146.0ms (1.1%)

Pruning

34 alts after pruning (32 fresh and 2 done)

PrunedKeptTotal
New45348
Fresh12930
Picked101
Done022
Total473481
Error
19.6b
Counts
81 → 34
Alt Table
StatusErrorProgram
20.7b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180)) (*.f64 PI.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)))))) 2))
39.9b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (*.f64 (sqrt.f64 PI.f64) (/.f64 (sqrt.f64 angle) (sqrt.f64 180))) (*.f64 (sqrt.f64 PI.f64) (/.f64 (sqrt.f64 angle) (sqrt.f64 180)))))) 2))
39.0b
(+.f64 (exp.f64 (*.f64 2 (log.f64 (*.f64 (sin.f64 (*.f64 1/180 (*.f64 angle PI.f64))) a)))) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
40.0b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 (sqrt.f64 angle) (sqrt.f64 180)) (*.f64 PI.f64 (/.f64 (sqrt.f64 angle) (sqrt.f64 180)))))) 2))
20.6b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 PI.f64 (/.f64 (cbrt.f64 angle) (cbrt.f64 180)))))) 2))
40.0b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (cos.f64 (exp.f64 (log.f64 (*.f64 1/180 (*.f64 angle PI.f64)))))) 2))
35.6b
(+.f64 (*.f64 (*.f64 a a) (-.f64 (+.f64 (*.f64 (pow.f64 PI.f64 2) (*.f64 (*.f64 angle angle) 1/32400)) (*.f64 (pow.f64 PI.f64 6) (*.f64 1/765275040000000 (pow.f64 angle 6)))) (*.f64 (pow.f64 PI.f64 4) (*.f64 (pow.f64 angle 4) 1/3149280000)))) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
20.8b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (*.f64 (*.f64 angle 1/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))
40.0b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 (sqrt.f64 angle) 1) (*.f64 PI.f64 (/.f64 (sqrt.f64 angle) 180))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
20.9b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180)) (*.f64 PI.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
20.6b
(+.f64 (*.f64 (*.f64 (cbrt.f64 (pow.f64 (*.f64 (sin.f64 (*.f64 1/180 (*.f64 angle PI.f64))) a) 2)) (cbrt.f64 (pow.f64 (*.f64 (sin.f64 (*.f64 1/180 (*.f64 angle PI.f64))) a) 2))) (cbrt.f64 (pow.f64 (*.f64 (sin.f64 (*.f64 1/180 (*.f64 angle PI.f64))) a) 2))) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
20.4b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 angle (*.f64 PI.f64 1/180)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
20.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 PI.f64 (/.f64 (cbrt.f64 angle) (cbrt.f64 180)))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
20.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 PI.f64 (/.f64 (cbrt.f64 angle) 180))))) 2))
20.6b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (*.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180))) (*.f64 PI.f64 (cbrt.f64 (*.f64 angle 1/180)))))) 2))
20.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/180 (*.f64 angle PI.f64))) (cbrt.f64 (*.f64 1/180 (*.f64 angle PI.f64)))) (cbrt.f64 (*.f64 1/180 (*.f64 angle PI.f64)))))) 2))
20.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 1/180) (cbrt.f64 (pow.f64 PI.f64 3/2))) (sqrt.f64 PI.f64)))) 2))
33.9b
(+.f64 (*.f64 1/32400 (*.f64 (*.f64 angle angle) (*.f64 (pow.f64 PI.f64 2) (*.f64 a a)))) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
39.5b
(+.f64 (pow.f64 (pow.f64 (*.f64 (sin.f64 (*.f64 1/180 (*.f64 angle PI.f64))) a) (*.f64 (cbrt.f64 2) (cbrt.f64 2))) (cbrt.f64 2)) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
20.8b
(+.f64 (pow.f64 (*.f64 a (sin.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) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
20.8b
(+.f64 (pow.f64 (*.f64 a (*.f64 (*.f64 (cbrt.f64 (sin.f64 (*.f64 1/180 (*.f64 angle PI.f64)))) (cbrt.f64 (sin.f64 (*.f64 1/180 (*.f64 angle PI.f64))))) (cbrt.f64 (sin.f64 (*.f64 1/180 (*.f64 angle PI.f64)))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
20.6b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (cbrt.f64 (pow.f64 (*.f64 (pow.f64 (cbrt.f64 (cos.f64 (*.f64 1/180 (*.f64 angle PI.f64)))) 2) (cbrt.f64 (cos.f64 (*.f64 1/180 (*.f64 angle PI.f64))))) 3))) 2))
28.1b
(+.f64 (*.f64 (*.f64 a a) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle PI.f64))) 2)) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
20.8b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (*.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180))) (*.f64 PI.f64 (cbrt.f64 (*.f64 angle 1/180)))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
26.4b
(+.f64 (pow.f64 (*.f64 a (cbrt.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle PI.f64))) 3))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
20.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 1/180) (sqrt.f64 PI.f64)) (cbrt.f64 (pow.f64 PI.f64 3/2))))) 2))
20.6b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (cbrt.f64 (cbrt.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle PI.f64))) 9)))) 2))
20.6b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle PI.f64))) 3)) 3))) 2))
20.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 1/180) (sqrt.f64 PI.f64)) (sqrt.f64 PI.f64)))) 2))
31.6b
(+.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 angle 180) PI.f64))) 2))
39.9b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (sqrt.f64 (*.f64 1/180 (*.f64 angle PI.f64))) (sqrt.f64 (*.f64 1/180 (*.f64 angle PI.f64)))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
40.5b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (exp.f64 (log.f64 (*.f64 1/180 (*.f64 angle PI.f64)))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
20.7b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (*.f64 (*.f64 angle 1/180) (*.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64))) (cbrt.f64 PI.f64)))) 2))
24.5b
(+.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))
Compiler

Compiled 1926 to 1438 computations (25.3% saved)

regimes2.8s (20.2%)

Accuracy

Total 0.9b remaining (4.6%)

Threshold costs 0.9b (4.6%)

Compiler

Compiled 45478 to 35612 computations (21.7% saved)

simplify3.0ms (0%)

Algorithm
1×egg-herbie
Rules
5×*-commutative_binary64
1×+-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01934
12534
22534

end1.0ms (0%)

Compiler

Compiled 24 to 19 computations (20.8% saved)

sample6.5s (46.6%)

Algorithm
1×intervals
Results
1.5s1613×body1024valid
1.3s1357×body1024invalid
677.0ms5036×body128valid
476.0ms791×body512valid
427.0ms690×body512invalid
214.0ms156×body2048valid
134.0ms397×body256valid
125.0ms342×body256invalid
82.0ms593×body128invalid
32.0ms7×body4096valid
Compiler

Compiled 1164 to 896 computations (23% saved)

Profiling

Loading profile data...