Details

Time bar (total: 2.3min)

analyze17.6s (12.8%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.8%0.2%0
0%99.8%0.2%1
0%99.8%0.2%2
0%99.8%0.2%3
0%99.8%0.2%4
0%99.8%0.2%5
0%99.8%0.2%6
0%99.8%0.2%7
0%99.8%0.2%8
0%99.8%0.2%9
0%99.8%0.2%10
0%99.8%0.2%11
0%99.8%0.2%12
0%99.8%0.2%13
0%99.8%0.2%14
Compiler

Compiled 184 to 125 computations (32.1% saved)

sample1.2s (0.8%)

Algorithm
1×intervals
Results
539.0ms58×body1024valid
216.0ms43×body1024invalid
104.0ms155×body128valid
94.0ms28×body512valid
60.0ms18×body512invalid
47.0ms60×body128invalid
43.0ms6×body2048valid
16.0ms9×body256valid
8.0ms4×body256invalid
Compiler

Compiled 367 to 254 computations (30.8% saved)

simplify135.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (44.0ms)

IterNodesCost
05020283

prune20.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New011
Fresh101
Picked000
Done000
Total112
Error
64.0b
Counts
2 → 1
Compiler

Compiled 356 to 240 computations (32.6% saved)

localize71.0ms (0.1%)

Local error

Found 4 expressions with local error:

24.0b
(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
24.0b
(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
24.0b
(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
47.2b
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (/.f64 (*.f64 8 (*.f64 (*.f64 a (*.f64 b (*.f64 b a))) (*.f64 a (*.f64 b (*.f64 b a))))) (pow.f64 (*.f64 x-scale y-scale) 2)) (+.f64 (+.f64 (/.f64 (/.f64 (+.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)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (/.f64 (+.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)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale)) 2) (pow.f64 (/.f64 (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) PI.f64)) (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) PI.f64)) (*.f64 2 (-.f64 (*.f64 b b) (*.f64 a a))))) (*.f64 x-scale y-scale)) 2))))))) (/.f64 (*.f64 a (*.f64 (*.f64 b b) (*.f64 a -4))) (pow.f64 (*.f64 x-scale y-scale) 2)))

rewrite6.9s (5%)

Algorithm
1×rewrite-expression-head
Error
63.8b
Rules
198×times-frac_binary64_766
130×add-exp-log_binary64_798
63×add-cube-cbrt_binary64_795 add-sqr-sqrt_binary64_782 *-un-lft-identity_binary64_760
58×prod-exp_binary64_809
49×div-exp_binary64_811
44×distribute-rgt-neg-in_binary64_718 distribute-lft-neg-in_binary64_717
37×add-cbrt-cube_binary64_796
29×sqrt-div_binary64_777
22×sqrt-prod_binary64_776
17×distribute-neg-frac_binary64_724 associate-/l/_binary64_707
16×frac-add_binary64_768
14×div-inv_binary64_757
13×cbrt-undiv_binary64_794 cbrt-unprod_binary64_793 unpow-prod-down_binary64_839 unpow2_binary64_825 sqr-pow_binary64_732
12×pow-exp_binary64_828 flip3-+_binary64_763 flip-+_binary64_734 associate-/l*_binary64_705
11×neg-mul-1_binary64_756
10×associate-/r*_binary64_704
8×frac-times_binary64_770 associate-*r/_binary64_702
6×pow-to-exp_binary64_829
4×pow1_binary64_821 add-log-exp_binary64_799
1×frac-2neg_binary64_771 neg-sub0_binary64_755 div-sub_binary64_765 clear-num_binary64_759 distribute-frac-neg_binary64_723 associate-*l/_binary64_703 associate-/r/_binary64_706
Counts
4 → 225
Calls

4 calls:

23.0ms
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (/.f64 (*.f64 8 (*.f64 (*.f64 a (*.f64 b (*.f64 b a))) (*.f64 a (*.f64 b (*.f64 b a))))) (pow.f64 (*.f64 x-scale y-scale) 2)) (+.f64 (+.f64 (/.f64 (/.f64 (+.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)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (/.f64 (+.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)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale)) 2) (pow.f64 (/.f64 (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) PI.f64)) (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) PI.f64)) (*.f64 2 (-.f64 (*.f64 b b) (*.f64 a a))))) (*.f64 x-scale y-scale)) 2))))))) (/.f64 (*.f64 a (*.f64 (*.f64 b b) (*.f64 a -4))) (pow.f64 (*.f64 x-scale y-scale) 2)))
2.0ms
(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
2.0ms
(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
2.0ms
(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
Compiler

Compiled 69281 to 42082 computations (39.3% saved)

series1.1min (45.9%)

Error
50.8b
Counts
4 → 26
Calls

4 calls:

1.0min
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (/.f64 (*.f64 8 (*.f64 (*.f64 a (*.f64 b (*.f64 b a))) (*.f64 a (*.f64 b (*.f64 b a))))) (pow.f64 (*.f64 x-scale y-scale) 2)) (+.f64 (+.f64 (/.f64 (/.f64 (+.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)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (/.f64 (+.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)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale)) 2) (pow.f64 (/.f64 (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) PI.f64)) (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) PI.f64)) (*.f64 2 (-.f64 (*.f64 b b) (*.f64 a a))))) (*.f64 x-scale y-scale)) 2))))))) (/.f64 (*.f64 a (*.f64 (*.f64 b b) (*.f64 a -4))) (pow.f64 (*.f64 x-scale y-scale) 2)))
48.0ms
(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
47.0ms
(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
46.0ms
(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
Compiler

Compiled 47522 to 34575 computations (27.2% saved)

simplify643.0ms (0.5%)

Algorithm
1×egg-herbie
Counts
251 → 251
Iterations

Useful iterations: 0 (48.0ms)

IterNodesCost
0507688409

prune6.9s (5%)

Pruning

13 alts after pruning (13 fresh and 0 done)

PrunedKeptTotal
New23813251
Fresh000
Picked101
Done000
Total23913252
Error
50.8b
Counts
252 → 13
Compiler

Compiled 71846 to 44147 computations (38.6% saved)

localize45.0ms (0%)

Local error

Found 4 expressions with local error:

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

rewrite385.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Error
50.8b
Rules
4×pow1_binary64_821 add-log-exp_binary64_799 add-exp-log_binary64_798 add-cbrt-cube_binary64_796 add-cube-cbrt_binary64_795 add-sqr-sqrt_binary64_782 *-un-lft-identity_binary64_760
Counts
4 → 28
Calls

4 calls:

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

Compiled 2660 to 1685 computations (36.7% saved)

series189.0ms (0.1%)

Error
50.8b
Counts
4 → 13
Calls

4 calls:

42.0ms
(sin.f64 (*.f64 1/180 (*.f64 angle PI.f64)))
34.0ms
(sin.f64 (*.f64 1/180 (*.f64 angle PI.f64)))
31.0ms
(sin.f64 (*.f64 1/180 (*.f64 angle PI.f64)))
30.0ms
(cos.f64 (*.f64 1/180 (*.f64 angle PI.f64)))
Compiler

Compiled 3388 to 2363 computations (30.3% saved)

simplify82.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
41 → 41
Iterations

Useful iterations: 0 (71.0ms)

IterNodesCost
04864525
14864525

prune274.0ms (0.2%)

Pruning

15 alts after pruning (14 fresh and 1 done)

PrunedKeptTotal
New39241
Fresh01212
Picked011
Done000
Total391554
Error
50.8b
Counts
54 → 15
Compiler

Compiled 6063 to 3964 computations (34.6% saved)

localize50.0ms (0%)

Local error

Found 4 expressions with local error:

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

rewrite138.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Error
50.8b
Rules
4×pow1_binary64_821 add-log-exp_binary64_799 add-exp-log_binary64_798 add-cbrt-cube_binary64_796 add-cube-cbrt_binary64_795 add-sqr-sqrt_binary64_782 *-un-lft-identity_binary64_760
Counts
4 → 28
Calls

4 calls:

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

Compiled 2716 to 1741 computations (35.9% saved)

series180.0ms (0.1%)

Error
50.8b
Counts
4 → 12
Calls

4 calls:

34.0ms
(sin.f64 (*.f64 1/180 (*.f64 angle PI.f64)))
33.0ms
(sin.f64 (*.f64 1/180 (*.f64 angle PI.f64)))
33.0ms
(cos.f64 (*.f64 1/180 (*.f64 angle PI.f64)))
32.0ms
(sin.f64 (*.f64 1/180 (*.f64 angle PI.f64)))
Compiler

Compiled 3256 to 2294 computations (29.5% saved)

simplify169.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
40 → 40
Iterations

Useful iterations: 0 (158.0ms)

IterNodesCost
05187501

prune264.0ms (0.2%)

Pruning

15 alts after pruning (13 fresh and 2 done)

PrunedKeptTotal
New40040
Fresh01313
Picked011
Done011
Total401555
Error
50.8b
Counts
55 → 15
Compiler

Compiled 5956 to 3916 computations (34.3% saved)

localize52.0ms (0%)

Local error

Found 4 expressions with local error:

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

rewrite157.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Error
50.8b
Rules
4×pow1_binary64_821 add-log-exp_binary64_799 add-exp-log_binary64_798 add-cbrt-cube_binary64_796 add-cube-cbrt_binary64_795 add-sqr-sqrt_binary64_782 *-un-lft-identity_binary64_760
Counts
4 → 28
Calls

4 calls:

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

Compiled 3136 to 1993 computations (36.4% saved)

series197.0ms (0.1%)

Error
50.7b
Counts
4 → 12
Calls

4 calls:

37.0ms
(sin.f64 (*.f64 1/180 (*.f64 angle PI.f64)))
37.0ms
(sin.f64 (*.f64 1/180 (*.f64 angle PI.f64)))
36.0ms
(sin.f64 (*.f64 1/180 (*.f64 angle PI.f64)))
34.0ms
(sin.f64 (*.f64 1/180 (*.f64 angle PI.f64)))
Compiler

Compiled 3808 to 2621 computations (31.2% saved)

simplify158.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
40 → 40
Iterations

Useful iterations: 0 (147.0ms)

IterNodesCost
04728508
14728508

prune210.0ms (0.2%)

Pruning

16 alts after pruning (14 fresh and 2 done)

PrunedKeptTotal
New38240
Fresh01212
Picked101
Done022
Total391655
Error
50.7b
Counts
55 → 16
Compiler

Compiled 4344 to 2757 computations (36.5% saved)

regimes4.7s (3.4%)

Accuracy

Total 8.1b remaining (14.2%)

Threshold costs 0b (0%)

Compiler

Compiled 94744 to 65236 computations (31.1% saved)

bsearch420.0ms (0.3%)

Steps
ItersRangePoint
8
4.2907069737665255e-250
1.6425673917229393e-245
8.288553730913386e-246
Compiler

Compiled 1 to 5 computations (-400% saved)

simplify6.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
098294
198294

end0.0ms (0%)

sample33.7s (24.4%)

Algorithm
1×intervals
Results
9.1s1857×body1024valid
4.8s980×body1024invalid
3.3s937×body512valid
3.2s4550×body128valid
1.7s504×body512invalid
1.2s1733×body128invalid
1.2s166×body2048valid
879.0ms488×body256valid
505.0ms250×body256invalid
47.0ms2×body4096valid
Compiler

Compiled 10898 to 7541 computations (30.8% saved)

Profiling

Loading profile data...