Details

analyze18.4s (10%)

Algorithm

1×

Search

True	Other	False	Iter
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)

sample824.0ms (0.4%)

Algorithm

1×

intervals

Results

284.0ms	59×	body	1024	valid
122.0ms	24×	body	1024	invalid
117.0ms	154×	body	128	valid
83.0ms	26×	body	512	valid
40.0ms	52×	body	128	invalid
36.0ms	5×	body	2048	valid
29.0ms	9×	body	512	invalid
27.0ms	12×	body	256	invalid
26.0ms	12×	body	256	valid

Compiler

Compiled 367 to 254 computations (30.8% saved)

simplify134.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	5020	283

prune39.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	1	0	1
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Error

63.5b

Counts

2 → 1

Compiler

Compiled 361 to 244 computations (32.4% saved)

localize87.0ms (0%)

Local error

Found 8 expressions with local error:

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

rewrite206.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

198×	`times-frac_binary64_766`
130×	`add-exp-log_binary64_798`
63×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795` `add-sqr-sqrt_binary64_782`
58×	`prod-exp_binary64_809`
49×	`div-exp_binary64_811`
44×	`distribute-lft-neg-in_binary64_717` `distribute-rgt-neg-in_binary64_718`
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` `associate-*r/_binary64_702`
16×	`frac-add_binary64_768`
14×	`div-inv_binary64_757`
13×	`cbrt-undiv_binary64_794` `unpow2_binary64_825` `sqr-pow_binary64_732` `cbrt-unprod_binary64_793` `unpow-prod-down_binary64_839`
12×	`flip3-+_binary64_763` `pow-exp_binary64_828` `flip-+_binary64_734` `associate-/l*_binary64_705`
11×	`neg-mul-1_binary64_756`
10×	`associate-l/_binary64_703` `associate-/r_binary64_704`
8×	`frac-times_binary64_770`
6×	`pow-to-exp_binary64_829`
4×	`add-log-exp_binary64_799` `pow1_binary64_821`
1×	`frac-2neg_binary64_771` `associate-/r/_binary64_706` `distribute-frac-neg_binary64_723` `neg-sub0_binary64_755` `div-sub_binary64_765` `clear-num_binary64_759`

Counts

4 → 225

Calls

8 calls:

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

series1.9min (60.5%)

Counts

4 → 29

Calls

4 calls:

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

Compiler

Compiled 69692 to 50128 computations (28.1% saved)

simplify724.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

254 → 254

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	6147	97779

prune9.0s (4.9%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	242	12	254
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	243	12	255

Error

48.4b

Counts

255 → 12

Compiler

Compiled 78554 to 47833 computations (39.1% saved)

localize52.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(.f64 (.f64 a a) (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2))
0.1b	(.f64 (.f64 b b) (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2))
0.0b	(.f64 (pow.f64 a 4) (pow.f64 (cos.f64 (.f64 1/180 (*.f64 angle PI.f64))) 4))
0.0b	(+.f64 (.f64 (.f64 a a) (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2)) (+.f64 (.f64 (.f64 b b) (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2)) (sqrt.f64 (+.f64 (.f64 (pow.f64 a 4) (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 4)) (+.f64 (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 b 4)) (.f64 2 (.f64 (.f64 a a) (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 (.f64 b b) (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2))))))))))
23.4b	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))
23.4b	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
23.4b	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
23.4b	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))

rewrite18.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

4×	`*-un-lft-identity_binary64_760` `add-exp-log_binary64_798` `add-cube-cbrt_binary64_795` `add-log-exp_binary64_799` `add-cbrt-cube_binary64_796` `pow1_binary64_821` `add-sqr-sqrt_binary64_782`

Counts

4 → 28

Calls

8 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)))
0.0ms	(+.f64 (.f64 (.f64 a a) (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2)) (+.f64 (.f64 (.f64 b b) (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2)) (sqrt.f64 (+.f64 (.f64 (pow.f64 a 4) (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 4)) (+.f64 (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 b 4)) (.f64 2 (.f64 (.f64 a a) (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 (.f64 b b) (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2))))))))))

series126.0ms (0.1%)

Counts

4 → 12

Calls

4 calls:

35.0ms	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
31.0ms	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
30.0ms	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
29.0ms	(cos.f64 (.f64 1/180 (.f64 angle PI.f64)))

Compiler

Compiled 2136 to 1558 computations (27.1% saved)

simplify168.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

40 → 40

Iterations

Useful iterations: 0 (156.0ms)

Iter	Nodes	Cost
0	5187	501

prune350.0ms (0.2%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	37	3	40
Fresh	0	11	11
Picked	1	0	1
Done	0	0	0
Total	38	14	52

Error

48.4b

Counts

52 → 14

Compiler

Compiled 6764 to 4391 computations (35.1% saved)

localize62.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(.f64 (.f64 a a) (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2))
0.1b	(.f64 (.f64 b b) (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2))
0.0b	(.f64 (pow.f64 a 4) (pow.f64 (cos.f64 (.f64 1/180 (*.f64 angle PI.f64))) 4))
0.0b	(+.f64 (.f64 (.f64 a a) (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2)) (+.f64 (.f64 (.f64 b b) (pow.f64 (.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)) (sqrt.f64 (+.f64 (.f64 (pow.f64 a 4) (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 4)) (+.f64 (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 b 4)) (.f64 2 (.f64 (.f64 a a) (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 (.f64 b b) (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2))))))))))
23.4b	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
23.4b	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
23.4b	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
23.4b	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))

rewrite19.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

4×	`*-un-lft-identity_binary64_760` `add-exp-log_binary64_798` `add-cube-cbrt_binary64_795` `add-log-exp_binary64_799` `add-cbrt-cube_binary64_796` `pow1_binary64_821` `add-sqr-sqrt_binary64_782`

Counts

4 → 28

Calls

8 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)))
0.0ms	(+.f64 (.f64 (.f64 a a) (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2)) (+.f64 (.f64 (.f64 b b) (pow.f64 (.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)) (sqrt.f64 (+.f64 (.f64 (pow.f64 a 4) (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 4)) (+.f64 (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 4) (pow.f64 b 4)) (.f64 2 (.f64 (.f64 a a) (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 (.f64 b b) (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2))))))))))

series148.0ms (0.1%)

Counts

4 → 12

Calls

4 calls:

38.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)))
36.0ms	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))

Compiler

Compiled 2552 to 1824 computations (28.5% saved)

simplify162.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

40 → 40

Iterations

Useful iterations: 0 (149.0ms)

Iter	Nodes	Cost
0	4728	508
1	4728	508

prune355.0ms (0.2%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	38	2	40
Fresh	0	13	13
Picked	1	0	1
Done	0	0	0
Total	39	15	54

Error

48.4b

Counts

54 → 15

Compiler

Compiled 7569 to 4917 computations (35% saved)

localize68.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(.f64 (.f64 a a) (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2))
0.1b	(.f64 (.f64 b b) (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2))
0.0b	(.f64 (pow.f64 a 4) (pow.f64 (cos.f64 (.f64 1/180 (*.f64 angle PI.f64))) 4))
0.0b	(+.f64 (.f64 (.f64 a a) (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2)) (+.f64 (.f64 (.f64 b b) (pow.f64 (.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)) (sqrt.f64 (+.f64 (.f64 (pow.f64 a 4) (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 4)) (+.f64 (.f64 (pow.f64 (.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))))) 4) (pow.f64 b 4)) (.f64 2 (.f64 (.f64 a a) (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 (.f64 b b) (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2))))))))))
23.4b	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
23.4b	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
23.4b	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
23.4b	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))

rewrite21.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

4×	`*-un-lft-identity_binary64_760` `add-exp-log_binary64_798` `add-cube-cbrt_binary64_795` `add-log-exp_binary64_799` `add-cbrt-cube_binary64_796` `pow1_binary64_821` `add-sqr-sqrt_binary64_782`

Counts

4 → 28

Calls

8 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)))
0.0ms	(+.f64 (.f64 (.f64 a a) (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2)) (+.f64 (.f64 (.f64 b b) (pow.f64 (.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)) (sqrt.f64 (+.f64 (.f64 (pow.f64 a 4) (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 4)) (+.f64 (.f64 (pow.f64 (.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))))) 4) (pow.f64 b 4)) (.f64 2 (.f64 (.f64 a a) (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))) 2) (.f64 (.f64 b b) (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))) 2))))))))))

series164.0ms (0.1%)

Counts

4 → 12

Calls

4 calls:

42.0ms	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
42.0ms	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
41.0ms	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))
38.0ms	(sin.f64 (.f64 1/180 (.f64 angle PI.f64)))

Compiler

Compiled 2960 to 2088 computations (29.5% saved)

simplify156.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

40 → 40

Iterations

Useful iterations: 0 (145.0ms)

Iter	Nodes	Cost
0	4728	508
1	4728	508

prune254.0ms (0.1%)

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	40	0	40
Fresh	0	14	14
Picked	0	1	1
Done	0	0	0
Total	40	15	55

Error

48.4b

Counts

55 → 15

Compiler

Compiled 5024 to 3197 computations (36.4% saved)

simplify312.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (114.0ms)

Iter	Nodes	Cost
0	5002	18651

regimes4.4s (2.4%)

Compiler: Compiled 88952 to 58845 computations (33.8% saved)

bsearch531.0ms (0.3%)

Steps

Iters	Range		Point
10	1.2839914966158353e-238	4.326919879063626e-227	1.9077770650665185e-227
0	-1.4061361796206368e-60	-1.3951505230142796e-60	-1.4006433513174582e-60

Compiler

Compiled 1 to 5 computations (-400% saved)

regimes307.0ms (0.2%)

Compiler: Compiled 4245 to 3225 computations (24% saved)

bsearch496.0ms (0.3%)

Steps

Iters	Range		Point
10	1.2839914966158353e-238	4.326919879063626e-227	1.0614328066674124e-234

Compiler

Compiled 1 to 5 computations (-400% saved)

regimes196.0ms (0.1%)

Compiler: Compiled 2455 to 1900 computations (22.6% saved)

bsearch344.0ms (0.2%)

Steps

Iters	Range		Point
7	4.376239733573184e-242	3.5331368962989327e-240	2.9988678447985765e-241

Compiler

Compiled 1 to 5 computations (-400% saved)

regimes68.0ms (0%)

Accuracy

Total 8.7b remaining (15.4%)

Threshold costs 0b (0%)

Compiler

Compiled 315 to 345 computations (-9.5% saved)

bsearch22.0ms (0%)

Compiler: Compiled 521 to 363 computations (30.3% saved)

simplify9.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	135	836
1	135	836

end0.0ms (0%)

sample34.7s (18.8%)

Algorithm

1×

intervals

Results

9.4s	1890×	body	1024	valid
4.8s	965×	body	1024	invalid
3.4s	4464×	body	128	valid
3.1s	924×	body	512	valid
1.6s	487×	body	512	invalid
1.6s	218×	body	2048	valid
1.2s	1741×	body	128	invalid
957.0ms	503×	body	256	valid
515.0ms	261×	body	256	invalid
24.0ms	1×	body	4096	valid

Compiler

Compiled 11811 to 7846 computations (33.6% saved)

Pareto

-0.19818823645967407

Details

analyze18.4s (10%)

sample824.0ms (0.4%)

simplify134.0ms (0.1%)

prune39.0ms (0%)

localize87.0ms (0%)

rewrite206.0ms (0.1%)

series1.9min (60.5%)

simplify724.0ms (0.4%)

prune9.0s (4.9%)

localize52.0ms (0%)

rewrite18.0ms (0%)

series126.0ms (0.1%)

simplify168.0ms (0.1%)

prune350.0ms (0.2%)

localize62.0ms (0%)

rewrite19.0ms (0%)

series148.0ms (0.1%)

simplify162.0ms (0.1%)

prune355.0ms (0.2%)

localize68.0ms (0%)

rewrite21.0ms (0%)

series164.0ms (0.1%)

simplify156.0ms (0.1%)

prune254.0ms (0.1%)

simplify312.0ms (0.2%)

regimes4.4s (2.4%)

bsearch531.0ms (0.3%)

regimes307.0ms (0.2%)

bsearch496.0ms (0.3%)

regimes196.0ms (0.1%)

bsearch344.0ms (0.2%)

regimes68.0ms (0%)

bsearch22.0ms (0%)

simplify9.0ms (0%)

end0.0ms (0%)

sample34.7s (18.8%)

Profiling