Details

Time bar (total: 13.9s)

analyze3.1s (21.9%)

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)

sample236.0ms (1.7%)

Algorithm
intervals
Results
70.0ms52×body1024valid
48.0ms39×body1024invalid
28.0ms160×body128valid
23.0ms29×body512invalid
18.0ms24×body512valid
15.0msbody2048valid
7.0ms12×body256valid
5.0ms10×body256invalid
3.0ms16×body128invalid
Compiler

Compiled 52 to 42 computations (19.2% saved)

simplify143.0ms (1%)

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 → 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

prune2.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New000
Fresh011
Picked000
Done000
Total011
Error
19.5b
Counts
1 → 1
Alt Table
StatusErrorProgram
19.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
(pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2)
24.1b
(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
24.3b
(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))

rewrite229.0ms (1.6%)

Algorithm
rewrite-expression-head
Error
18.5b
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 → 64
Calls

4 calls:

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

Compiled 1683 to 1219 computations (27.6% saved)

series52.0ms (0.4%)

Error
18.9b
Counts
4 → 15
Calls

4 calls:

25.0ms
(pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2)
7.0ms
(*.f64 (/.f64 angle 180) PI.f64)
6.0ms
(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
6.0ms
(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
Compiler

Compiled 896 to 707 computations (21.1% saved)

simplify83.0ms (0.6%)

Algorithm
egg-herbie
Rules
540×unswap-sqr_binary64
488×associate-*r/_binary64
398×associate-*l*_binary64
320×associate-*r*_binary64
294×log-prod_binary64
Counts
79 → 59
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01231121
12411025
25871025
319191007
444961007
549461007

prune110.0ms (0.8%)

Pruning

21 alts after pruning (21 fresh and 0 done)

PrunedKeptTotal
New382159
Fresh000
Picked101
Done000
Total392160
Error
18.5b
Counts
60 → 21
Alt Table
StatusErrorProgram
19.9b
(+.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 1/180 angle)))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
40.3b
(+.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))
19.5b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 angle (*.f64 1/180 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 (*.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) (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 (log.f64 (exp.f64 (cos.f64 (*.f64 1/180 (*.f64 angle PI.f64)))))) 2))
19.8b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle)) 1) (*.f64 PI.f64 (/.f64 (cbrt.f64 angle) 180))))) 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 (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))
28.2b
(+.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))
19.8b
(+.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))
40.3b
(+.f64 (pow.f64 (*.f64 a (*.f64 (sqrt.f64 (sin.f64 (*.f64 1/180 (*.f64 angle PI.f64)))) (sqrt.f64 (sin.f64 (*.f64 1/180 (*.f64 angle 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 (*.f64 1/180 angle) (sqrt.f64 PI.f64)) (sqrt.f64 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 1 (sqrt.f64 180)) (*.f64 PI.f64 (/.f64 angle (sqrt.f64 180)))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
19.8b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (*.f64 (*.f64 1/180 angle) (*.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.6b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 1 (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 PI.f64 (/.f64 angle (cbrt.f64 180)))))) 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 (cbrt.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle PI.f64))) 3))) 2))
19.7b
(+.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))
32.5b
(+.f64 (log.f64 (exp.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))
40.2b
(+.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.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))
24.4b
(+.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))
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 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))
Compiler

Compiled 2565 to 1880 computations (26.7% saved)

localize21.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite135.0ms (1%)

Algorithm
rewrite-expression-head
Error
18.2b
Rules
12×add-exp-log_binary64
12×pow1_binary64
add-cbrt-cube_binary64
*-un-lft-identity_binary64
add-sqr-sqrt_binary64
Counts
4 → 50
Calls

4 calls:

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

Compiled 1337 to 956 computations (28.5% saved)

series56.0ms (0.4%)

Error
17.9b
Counts
4 → 15
Calls

4 calls:

23.0ms
(pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2)
9.0ms
(*.f64 1/180 (*.f64 angle PI.f64))
6.0ms
(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
5.0ms
(cos.f64 (*.f64 1/180 (*.f64 angle PI.f64)))
Compiler

Compiled 968 to 759 computations (21.6% saved)

simplify107.0ms (0.8%)

Algorithm
egg-herbie
Rules
653×unswap-sqr_binary64
573×associate-*l*_binary64
428×associate-*r*_binary64
377×log-prod_binary64
315×cube-prod_binary64
Counts
65 → 34
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
092936
1179849
2475849
31747846
43733846
54501846
64977846
74994846

prune89.0ms (0.6%)

Pruning

24 alts after pruning (24 fresh and 0 done)

PrunedKeptTotal
New29534
Fresh11920
Picked101
Done000
Total312455
Error
18.3b
Counts
55 → 24
Alt Table
StatusErrorProgram
19.5b
(+.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.8b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (log.f64 (exp.f64 (cos.f64 (cbrt.f64 (pow.f64 (*.f64 1/180 (*.f64 angle PI.f64)) 3)))))) 2))
19.9b
(+.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 1/180 angle)))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
40.3b
(+.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))
19.5b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 angle (*.f64 1/180 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 (*.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) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
19.8b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle)) 1) (*.f64 PI.f64 (/.f64 (cbrt.f64 angle) 180))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
29.5b
(+.f64 (pow.f64 (*.f64 a (log.f64 (exp.f64 (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))))) 2) (pow.f64 (*.f64 b (log.f64 (exp.f64 (cos.f64 (*.f64 1/180 (*.f64 angle PI.f64)))))) 2))
40.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))
19.7b
(+.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))
28.2b
(+.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))
19.8b
(+.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))
40.3b
(+.f64 (pow.f64 (*.f64 a (*.f64 (sqrt.f64 (sin.f64 (*.f64 1/180 (*.f64 angle PI.f64)))) (sqrt.f64 (sin.f64 (*.f64 1/180 (*.f64 angle 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 (*.f64 1/180 angle) (sqrt.f64 PI.f64)) (sqrt.f64 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 1 (sqrt.f64 180)) (*.f64 PI.f64 (/.f64 angle (sqrt.f64 180)))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
19.8b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (*.f64 (*.f64 1/180 angle) (*.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.6b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 1 (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 PI.f64 (/.f64 angle (cbrt.f64 180)))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
19.6b
(+.f64 (*.f64 (*.f64 (cbrt.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2)) (cbrt.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2))) (cbrt.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2))) (pow.f64 (*.f64 b (log.f64 (exp.f64 (cos.f64 (*.f64 1/180 (*.f64 angle PI.f64)))))) 2))
24.4b
(+.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))
32.5b
(+.f64 (log.f64 (exp.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))
40.2b
(+.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))
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 (sqrt.f64 1/180) (*.f64 (*.f64 angle PI.f64) (sqrt.f64 1/180))))))) 2))
19.5b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (log.f64 (exp.f64 (cos.f64 (*.f64 (*.f64 (cbrt.f64 1/180) (cbrt.f64 1/180)) (*.f64 (*.f64 angle PI.f64) (cbrt.f64 1/180))))))) 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 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))
Compiler

Compiled 2144 to 1640 computations (23.5% saved)

localize26.0ms (0.2%)

Local error

Found 4 expressions with local error:

1.0b
(cbrt.f64 1/180)
1.0b
(cbrt.f64 1/180)
24.1b
(cos.f64 (*.f64 (*.f64 (cbrt.f64 1/180) (cbrt.f64 1/180)) (*.f64 (*.f64 angle PI.f64) (cbrt.f64 1/180))))
24.1b
(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))

rewrite114.0ms (0.8%)

Algorithm
rewrite-expression-head
Error
18.2b
Rules
cbrt-prod_binary64
*-un-lft-identity_binary64
add-sqr-sqrt_binary64
add-cube-cbrt_binary64
add-cbrt-cube_binary64
Counts
4 → 36
Calls

4 calls:

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

Compiled 1308 to 1033 computations (21% saved)

series25.0ms (0.2%)

Error
18.2b
Counts
4 → 6
Calls

4 calls:

9.0ms
(cos.f64 (*.f64 (*.f64 (cbrt.f64 1/180) (cbrt.f64 1/180)) (*.f64 (*.f64 angle PI.f64) (cbrt.f64 1/180))))
7.0ms
(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
0.0ms
(cbrt.f64 1/180)
0.0ms
(cbrt.f64 1/180)
Compiler

Compiled 485 to 395 computations (18.6% saved)

simplify179.0ms (1.3%)

Algorithm
egg-herbie
Rules
1340×sqr-pow_binary64
621×cube-prod_binary64
604×fabs-mul_binary64
494×unswap-sqr_binary64
466×pow-sqr_binary64
Counts
42 → 16
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
046543
172381
299381
3136381
4144381
5176381
6263381
7534381
8971381
9995381
101197381
111461381
121801381
132238381
142817381
152994381
163292381
173464381
183558381
193630381
204428381
214829381

prune71.0ms (0.5%)

Pruning

24 alts after pruning (23 fresh and 1 done)

PrunedKeptTotal
New16016
Fresh02323
Picked011
Done000
Total162440
Error
18.3b
Counts
40 → 24
Alt Table
StatusErrorProgram
19.5b
(+.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.8b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (log.f64 (exp.f64 (cos.f64 (cbrt.f64 (pow.f64 (*.f64 1/180 (*.f64 angle PI.f64)) 3)))))) 2))
19.9b
(+.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 1/180 angle)))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
40.3b
(+.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))
19.5b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 angle (*.f64 1/180 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 (*.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) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
19.8b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle)) 1) (*.f64 PI.f64 (/.f64 (cbrt.f64 angle) 180))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
29.5b
(+.f64 (pow.f64 (*.f64 a (log.f64 (exp.f64 (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))))) 2) (pow.f64 (*.f64 b (log.f64 (exp.f64 (cos.f64 (*.f64 1/180 (*.f64 angle PI.f64)))))) 2))
40.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))
19.7b
(+.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))
28.2b
(+.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))
19.8b
(+.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))
40.3b
(+.f64 (pow.f64 (*.f64 a (*.f64 (sqrt.f64 (sin.f64 (*.f64 1/180 (*.f64 angle PI.f64)))) (sqrt.f64 (sin.f64 (*.f64 1/180 (*.f64 angle 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 (*.f64 1/180 angle) (sqrt.f64 PI.f64)) (sqrt.f64 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 1 (sqrt.f64 180)) (*.f64 PI.f64 (/.f64 angle (sqrt.f64 180)))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
19.8b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (*.f64 (*.f64 1/180 angle) (*.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.6b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 1 (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 PI.f64 (/.f64 angle (cbrt.f64 180)))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
19.6b
(+.f64 (*.f64 (*.f64 (cbrt.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2)) (cbrt.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2))) (cbrt.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2))) (pow.f64 (*.f64 b (log.f64 (exp.f64 (cos.f64 (*.f64 1/180 (*.f64 angle PI.f64)))))) 2))
24.4b
(+.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))
32.5b
(+.f64 (log.f64 (exp.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))
40.2b
(+.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))
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 (sqrt.f64 1/180) (*.f64 (*.f64 angle PI.f64) (sqrt.f64 1/180))))))) 2))
19.5b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (log.f64 (exp.f64 (cos.f64 (*.f64 (*.f64 (cbrt.f64 1/180) (cbrt.f64 1/180)) (*.f64 (*.f64 angle PI.f64) (cbrt.f64 1/180))))))) 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 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))
Compiler

Compiled 1946 to 1510 computations (22.4% saved)

localize26.0ms (0.2%)

Local error

Found 4 expressions with local error:

24.0b
(cos.f64 (*.f64 1/180 (*.f64 angle PI.f64)))
24.0b
(cos.f64 (*.f64 1/180 (*.f64 angle PI.f64)))
24.0b
(cos.f64 (*.f64 1/180 (*.f64 angle PI.f64)))
24.1b
(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))

rewrite94.0ms (0.7%)

Algorithm
rewrite-expression-head
Error
18.3b
Rules
*-un-lft-identity_binary64
add-sqr-sqrt_binary64
add-cube-cbrt_binary64
add-cbrt-cube_binary64
add-exp-log_binary64
Counts
4 → 28
Calls

4 calls:

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

Compiled 1263 to 846 computations (33% saved)

series52.0ms (0.4%)

Error
18.3b
Counts
4 → 12
Calls

4 calls:

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

Compiled 1207 to 878 computations (27.3% saved)

simplify193.0ms (1.4%)

Algorithm
egg-herbie
Rules
1392×sqr-pow_binary64
724×unswap-sqr_binary64
592×cube-prod_binary64
500×fabs-mul_binary64
470×pow-sqr_binary64
Counts
40 → 8
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
027571
137487
250487
359487
467487
582487
6119487
7220487
8564487
91160487
101299487
111562487
121867487
132161487
142563487
152917487
163100487
173357487
183496487
193575487
203655487
214413487
224815487

prune62.0ms (0.4%)

Pruning

24 alts after pruning (22 fresh and 2 done)

PrunedKeptTotal
New808
Fresh02222
Picked011
Done011
Total82432
Error
18.3b
Counts
32 → 24
Alt Table
StatusErrorProgram
19.5b
(+.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.8b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (log.f64 (exp.f64 (cos.f64 (cbrt.f64 (pow.f64 (*.f64 1/180 (*.f64 angle PI.f64)) 3)))))) 2))
19.9b
(+.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 1/180 angle)))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
40.3b
(+.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))
19.5b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 angle (*.f64 1/180 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 (*.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) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
19.8b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle)) 1) (*.f64 PI.f64 (/.f64 (cbrt.f64 angle) 180))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
29.5b
(+.f64 (pow.f64 (*.f64 a (log.f64 (exp.f64 (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))))) 2) (pow.f64 (*.f64 b (log.f64 (exp.f64 (cos.f64 (*.f64 1/180 (*.f64 angle PI.f64)))))) 2))
40.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))
19.7b
(+.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))
28.2b
(+.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))
19.8b
(+.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))
40.3b
(+.f64 (pow.f64 (*.f64 a (*.f64 (sqrt.f64 (sin.f64 (*.f64 1/180 (*.f64 angle PI.f64)))) (sqrt.f64 (sin.f64 (*.f64 1/180 (*.f64 angle 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 (*.f64 1/180 angle) (sqrt.f64 PI.f64)) (sqrt.f64 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 1 (sqrt.f64 180)) (*.f64 PI.f64 (/.f64 angle (sqrt.f64 180)))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
19.8b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (*.f64 (*.f64 1/180 angle) (*.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.6b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 1 (*.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 PI.f64 (/.f64 angle (cbrt.f64 180)))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2))
19.6b
(+.f64 (*.f64 (*.f64 (cbrt.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2)) (cbrt.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2))) (cbrt.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2))) (pow.f64 (*.f64 b (log.f64 (exp.f64 (cos.f64 (*.f64 1/180 (*.f64 angle PI.f64)))))) 2))
24.4b
(+.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))
32.5b
(+.f64 (log.f64 (exp.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))
40.2b
(+.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))
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 (sqrt.f64 1/180) (*.f64 (*.f64 angle PI.f64) (sqrt.f64 1/180))))))) 2))
19.5b
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (log.f64 (exp.f64 (cos.f64 (*.f64 (*.f64 (cbrt.f64 1/180) (cbrt.f64 1/180)) (*.f64 (*.f64 angle PI.f64) (cbrt.f64 1/180))))))) 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 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))
Compiler

Compiled 1113 to 840 computations (24.5% saved)

regimes1.6s (11.6%)

Accuracy

Total 0.9b remaining (4.2%)

Threshold costs 0.9b (4.2%)

Compiler

Compiled 34240 to 27056 computations (21% saved)

simplify3.0ms (0%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01828
12528
22428

end1.0ms (0%)

Compiler

Compiled 20 to 17 computations (15% saved)

sample7.1s (51.2%)

Algorithm
intervals
Results
1.9s1666×body1024valid
1.7s1417×body1024invalid
821.0ms5022×body128valid
561.0ms744×body512valid
540.0ms695×body512invalid
285.0ms170×body2048valid
173.0ms377×body256invalid
162.0ms394×body256valid
98.0ms589×body128invalid
21.0msbody4096valid
Compiler

Compiled 812 to 639 computations (21.3% saved)

Profiling

Loading profile data...