Details

analyze1.7s (1.8%)

Algorithm

1×

Search

True	Other	False	Iter
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 22 to 20 computations (9.1% saved)

sample194.0ms (0.2%)

Algorithm

1×

intervals

Results

51.0ms	49×	body	1024	invalid
43.0ms	45×	body	1024	valid
21.0ms	156×	body	128	valid
16.0ms	27×	body	512	valid
16.0ms	11×	body	2048	valid
14.0ms	23×	body	512	invalid
6.0ms	17×	body	256	valid
4.0ms	10×	body	256	invalid
2.0ms	14×	body	128	invalid

Compiler

Compiled 46 to 48 computations (-4.3% saved)

simplify286.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

3 → 3

Iterations

Useful iterations: 0 (182.0ms)

Iter	Nodes	Cost
0	5252	36

prune3.0ms (0%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Kept	Total
New	3	3
Fresh	3	3
Picked	0	0
Done	0	0
Total	6	6

Error

21.4b

Counts

6 → 3

Compiler

Compiled 23 to 21 computations (8.7% saved)

localize16.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b	(pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)
0.2b	(.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64)))
0.2b	(pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)
0.1b	(.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64)))
0.3b	(*.f64 (/.f64 angle 180) PI.f64)
0.3b	(*.f64 (/.f64 angle 180) PI.f64)
24.7b	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
24.8b	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))

rewrite27.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

30×	`add-sqr-sqrt_binary64_100`
26×	`associate-l_binary64_19`
20×	`add-cube-cbrt_binary64_113` `times-frac_binary64_84` `*-un-lft-identity_binary64_78`
14×	`add-cbrt-cube_binary64_114` `add-exp-log_binary64_116`
8×	`pow1_binary64_139`
6×	`associate-r_binary64_18`
4×	`add-log-exp_binary64_117` `cbrt-unprod_binary64_111` `prod-exp_binary64_127` `unswap-sqr_binary64_46`
2×	`-commutative_binary64_9` `cbrt-undiv_binary64_112` `div-exp_binary64_129` `div-inv_binary64_75` `associate-l/_binary64_21` `pow-prod-down_binary64_149`

Counts

4 → 78

Calls

8 calls:

7.0ms	(*.f64 (/.f64 angle 180) PI.f64)
7.0ms	(*.f64 (/.f64 angle 180) PI.f64)
2.0ms	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
2.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
0.0ms	(.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64)))

series121.0ms (0.1%)

Counts

4 → 14

Calls

4 calls:

34.0ms	(*.f64 (/.f64 angle 180) PI.f64)
33.0ms	(*.f64 (/.f64 angle 180) PI.f64)
31.0ms	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
23.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))

Compiler

Compiled 588 to 530 computations (9.9% saved)

simplify70.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

92 → 92

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	5048	1031

prune460.0ms (0.5%)

Pruning

57 alts after pruning (57 fresh and 0 done)

	Pruned	Kept	Total
New	37	55	92
Fresh	0	2	2
Picked	0	0	0
Done	1	0	1
Total	38	57	95

Error

19.7b

Counts

95 → 57

Compiler

Compiled 3388 to 2654 computations (21.7% saved)

localize13.0ms (0%)

Local error

Found 8 expressions with local error:

24.8b	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
0.3b	(*.f64 (/.f64 angle 180) PI.f64)
0.2b	(pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)
0.2b	(.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64)))
0.2b	(.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64)))
0.2b	(pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)
0.3b	(*.f64 (/.f64 angle 180) PI.f64)
24.8b	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))

rewrite25.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

22×	`add-sqr-sqrt_binary64_100`
16×	`associate-l_binary64_19`
15×	`add-cube-cbrt_binary64_113` `*-un-lft-identity_binary64_78`
14×	`add-exp-log_binary64_116`
11×	`add-cbrt-cube_binary64_114` `pow1_binary64_139`
10×	`times-frac_binary64_84`
6×	`associate-r_binary64_18`
4×	`add-log-exp_binary64_117` `prod-exp_binary64_127`
3×	`cbrt-unprod_binary64_111` `pow-prod-down_binary64_149` `unswap-sqr_binary64_46` `pow-unpow_binary64_155`
2×	`*-commutative_binary64_9` `pow-exp_binary64_146` `pow-pow_binary64_150`
1×	`pow-to-exp_binary64_147` `cbrt-undiv_binary64_112` `div-exp_binary64_129` `unpow-prod-down_binary64_157` `unpow2_binary64_143` `sqr-pow_binary64_50` `div-inv_binary64_75` `associate-*l/_binary64_21`

Counts

4 → 75

Calls

8 calls:

7.0ms	(*.f64 (/.f64 angle 180) PI.f64)
5.0ms	(.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64)))
5.0ms	(pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)
2.0ms	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
0.0ms	(.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64)))

series334.0ms (0.4%)

Counts

4 → 21

Calls

4 calls:

162.0ms	(pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)
115.0ms	(.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64)))
30.0ms	(*.f64 (/.f64 angle 180) PI.f64)
27.0ms	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))

Compiler

Compiled 755 to 731 computations (3.2% saved)

simplify73.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

96 → 96

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	4976	1337
1	4976	1337

localize14.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b	(.f64 a (.f64 (/.f64 angle 180) PI.f64))
0.2b	(pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)
0.1b	(.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64)))
0.0b	(+.f64 (pow.f64 (.f64 a (.f64 (/.f64 angle 180) PI.f64)) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2))
0.2b	(pow.f64 (.f64 a (.f64 (/.f64 angle 180) PI.f64)) 2)
0.3b	(*.f64 (/.f64 angle 180) PI.f64)
0.3b	(*.f64 (/.f64 angle 180) PI.f64)
24.7b	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))

rewrite32.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

31×	`add-sqr-sqrt_binary64_100`
26×	`associate-l_binary64_19`
24×	`add-exp-log_binary64_116`
21×	`add-cube-cbrt_binary64_113` `*-un-lft-identity_binary64_78`
20×	`times-frac_binary64_84`
14×	`add-cbrt-cube_binary64_114` `pow1_binary64_139`
9×	`prod-exp_binary64_127`
6×	`associate-r_binary64_18`
5×	`pow-prod-down_binary64_149`
4×	`pow-exp_binary64_146` `add-log-exp_binary64_117` `cbrt-unprod_binary64_111` `unswap-sqr_binary64_46`
3×	`div-exp_binary64_129` `pow-pow_binary64_150` `pow-unpow_binary64_155`
2×	`-commutative_binary64_9` `cbrt-undiv_binary64_112` `div-inv_binary64_75` `associate-l/_binary64_21`
1×	`pow-to-exp_binary64_147` `unpow-prod-down_binary64_157` `unpow2_binary64_143` `sqr-pow_binary64_50`

Counts

4 → 92

Calls

8 calls:

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

series208.0ms (0.2%)

Counts

4 → 16

Calls

4 calls:

123.0ms	(pow.f64 (.f64 a (.f64 (/.f64 angle 180) PI.f64)) 2)
29.0ms	(*.f64 (/.f64 angle 180) PI.f64)
29.0ms	(*.f64 (/.f64 angle 180) PI.f64)
28.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))

Compiler

Compiled 683 to 621 computations (9.1% saved)

simplify59.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

108 → 108

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	5071	1293

localize19.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b	(.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64)))
0.2b	(pow.f64 (.f64 b (log.f64 (exp.f64 (cos.f64 (.f64 (/.f64 angle 180) PI.f64))))) 2)
0.1b	(exp.f64 (cos.f64 (*.f64 (/.f64 angle 180) PI.f64)))
0.1b	(.f64 b (log.f64 (exp.f64 (cos.f64 (.f64 (/.f64 angle 180) PI.f64)))))
0.3b	(*.f64 (/.f64 angle 180) PI.f64)
0.3b	(*.f64 (/.f64 angle 180) PI.f64)
24.7b	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
24.8b	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))

rewrite30.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

30×	`add-sqr-sqrt_binary64_100`
26×	`associate-l_binary64_19`
20×	`add-cube-cbrt_binary64_113` `times-frac_binary64_84` `*-un-lft-identity_binary64_78`
14×	`add-cbrt-cube_binary64_114` `add-exp-log_binary64_116`
8×	`pow1_binary64_139`
6×	`associate-r_binary64_18`
4×	`add-log-exp_binary64_117` `cbrt-unprod_binary64_111` `prod-exp_binary64_127` `unswap-sqr_binary64_46`
2×	`-commutative_binary64_9` `cbrt-undiv_binary64_112` `div-exp_binary64_129` `div-inv_binary64_75` `associate-l/_binary64_21` `pow-prod-down_binary64_149`

Counts

4 → 78

Calls

8 calls:

10.0ms	(*.f64 (/.f64 angle 180) PI.f64)
7.0ms	(*.f64 (/.f64 angle 180) PI.f64)
2.0ms	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
2.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
0.0ms	(.f64 b (log.f64 (exp.f64 (cos.f64 (.f64 (/.f64 angle 180) PI.f64)))))

series121.0ms (0.1%)

Counts

4 → 14

Calls

4 calls:

37.0ms	(*.f64 (/.f64 angle 180) PI.f64)
34.0ms	(*.f64 (/.f64 angle 180) PI.f64)
27.0ms	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
23.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))

Compiler

Compiled 640 to 582 computations (9.1% saved)

simplify66.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

92 → 92

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	5048	1031

localize18.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(.f64 a (sin.f64 (.f64 (sqrt.f64 (.f64 (/.f64 angle 180) PI.f64)) (sqrt.f64 (.f64 (/.f64 angle 180) PI.f64)))))
0.1b	(.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64)))
0.1b	(sqrt.f64 (*.f64 (/.f64 angle 180) PI.f64))
0.1b	(sqrt.f64 (*.f64 (/.f64 angle 180) PI.f64))
0.3b	(*.f64 (/.f64 angle 180) PI.f64)
0.3b	(*.f64 (/.f64 angle 180) PI.f64)
14.4b	(sin.f64 (.f64 (sqrt.f64 (.f64 (/.f64 angle 180) PI.f64)) (sqrt.f64 (*.f64 (/.f64 angle 180) PI.f64))))
24.7b	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))

rewrite33.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

30×	`add-sqr-sqrt_binary64_100`
26×	`associate-l_binary64_19`
20×	`add-cube-cbrt_binary64_113` `times-frac_binary64_84` `*-un-lft-identity_binary64_78`
14×	`add-cbrt-cube_binary64_114` `add-exp-log_binary64_116`
8×	`pow1_binary64_139`
6×	`associate-r_binary64_18`
4×	`add-log-exp_binary64_117` `cbrt-unprod_binary64_111` `prod-exp_binary64_127` `unswap-sqr_binary64_46`
2×	`-commutative_binary64_9` `cbrt-undiv_binary64_112` `div-exp_binary64_129` `div-inv_binary64_75` `associate-l/_binary64_21` `pow-prod-down_binary64_149`

Counts

4 → 78

Calls

8 calls:

7.0ms	(*.f64 (/.f64 angle 180) PI.f64)
7.0ms	(*.f64 (/.f64 angle 180) PI.f64)
4.0ms	(sin.f64 (.f64 (sqrt.f64 (.f64 (/.f64 angle 180) PI.f64)) (sqrt.f64 (*.f64 (/.f64 angle 180) PI.f64))))
2.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
0.0ms	(sqrt.f64 (*.f64 (/.f64 angle 180) PI.f64))

series147.0ms (0.2%)

Counts

4 → 14

Calls

4 calls:

55.0ms	(sin.f64 (.f64 (sqrt.f64 (.f64 (/.f64 angle 180) PI.f64)) (sqrt.f64 (*.f64 (/.f64 angle 180) PI.f64))))
35.0ms	(*.f64 (/.f64 angle 180) PI.f64)
33.0ms	(*.f64 (/.f64 angle 180) PI.f64)
24.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))

Compiler

Compiled 795 to 696 computations (12.5% saved)

simplify74.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

92 → 92

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	4949	1035
1	4949	1035

localize21.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b	(pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)
0.2b	(.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64)))
0.2b	(pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 (/.f64 angle 180) PI.f64)) (cbrt.f64 (.f64 (/.f64 angle 180) PI.f64))) (cbrt.f64 (.f64 (/.f64 angle 180) PI.f64))))) 2)
0.1b	(.f64 b (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 (/.f64 angle 180) PI.f64)) (cbrt.f64 (.f64 (/.f64 angle 180) PI.f64))) (cbrt.f64 (.f64 (/.f64 angle 180) PI.f64)))))
0.6b	(cbrt.f64 (*.f64 (/.f64 angle 180) PI.f64))
0.6b	(cbrt.f64 (*.f64 (/.f64 angle 180) PI.f64))
24.8b	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
25.2b	(cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 (/.f64 angle 180) PI.f64)) (cbrt.f64 (.f64 (/.f64 angle 180) PI.f64))) (cbrt.f64 (*.f64 (/.f64 angle 180) PI.f64))))

rewrite23.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

4×	`add-cbrt-cube_binary64_114` `add-sqr-sqrt_binary64_100` `add-log-exp_binary64_117` `add-cube-cbrt_binary64_113` `add-exp-log_binary64_116` `*-un-lft-identity_binary64_78` `pow1_binary64_139`
2×	`cbrt-div_binary64_110` `pow1/3_binary64_160` `associate-*l/_binary64_21` `cbrt-prod_binary64_109`

Counts

4 → 34

Calls

8 calls:

7.0ms	(cbrt.f64 (*.f64 (/.f64 angle 180) PI.f64))
5.0ms	(cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 (/.f64 angle 180) PI.f64)) (cbrt.f64 (.f64 (/.f64 angle 180) PI.f64))) (cbrt.f64 (*.f64 (/.f64 angle 180) PI.f64))))
4.0ms	(cbrt.f64 (*.f64 (/.f64 angle 180) PI.f64))
2.0ms	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
0.0ms	(.f64 b (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 (/.f64 angle 180) PI.f64)) (cbrt.f64 (.f64 (/.f64 angle 180) PI.f64))) (cbrt.f64 (.f64 (/.f64 angle 180) PI.f64)))))

series335.0ms (0.4%)

Counts

4 → 14

Calls

4 calls:

132.0ms	(cbrt.f64 (*.f64 (/.f64 angle 180) PI.f64))
122.0ms	(cbrt.f64 (*.f64 (/.f64 angle 180) PI.f64))
51.0ms	(cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 (/.f64 angle 180) PI.f64)) (cbrt.f64 (.f64 (/.f64 angle 180) PI.f64))) (cbrt.f64 (*.f64 (/.f64 angle 180) PI.f64))))
30.0ms	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))

Compiler

Compiled 980 to 846 computations (13.7% saved)

simplify117.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

48 → 48

Iterations

Useful iterations: 0 (103.0ms)

Iter	Nodes	Cost
0	4855	592
1	4855	592

prune5.7s (6%)

Pruning

272 alts after pruning (270 fresh and 2 done)

	Pruned	Kept	Total
New	218	218	436
Fresh	0	52	52
Picked	0	0	0
Done	3	2	5
Total	221	272	493

Error

19.6b

Counts

493 → 272

Compiler

Compiled 17117 to 13486 computations (21.2% saved)

localize13.0ms (0%)

Local error

Found 8 expressions with local error:

24.6b	(sin.f64 (.f64 angle (.f64 PI.f64 1/180)))
0.2b	(pow.f64 (.f64 a (sin.f64 (.f64 angle (*.f64 PI.f64 1/180)))) 2)
0.2b	(.f64 a (sin.f64 (.f64 angle (*.f64 PI.f64 1/180))))
0.1b	(.f64 angle (.f64 PI.f64 1/180))
0.1b	(.f64 angle (.f64 PI.f64 1/180))
0.2b	(.f64 a (sin.f64 (.f64 angle (*.f64 PI.f64 1/180))))
0.2b	(pow.f64 (.f64 a (sin.f64 (.f64 angle (*.f64 PI.f64 1/180)))) 2)
24.6b	(sin.f64 (.f64 angle (.f64 PI.f64 1/180)))

rewrite24.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`add-exp-log_binary64_116` `pow1_binary64_139`
11×	`add-cbrt-cube_binary64_114`
10×	`add-sqr-sqrt_binary64_100`
8×	`add-cube-cbrt_binary64_113` `*-un-lft-identity_binary64_78`
6×	`associate-l_binary64_19`
5×	`prod-exp_binary64_127` `pow-prod-down_binary64_149`
4×	`add-log-exp_binary64_117` `cbrt-unprod_binary64_111` `associate-r_binary64_18`
3×	`pow-unpow_binary64_155`
2×	`*-commutative_binary64_9` `pow-exp_binary64_146` `pow-pow_binary64_150`
1×	`pow-to-exp_binary64_147` `unpow-prod-down_binary64_157` `unpow2_binary64_143` `sqr-pow_binary64_50` `unswap-sqr_binary64_46`

Counts

4 → 61

Calls

8 calls:

6.0ms	(.f64 a (sin.f64 (.f64 angle (*.f64 PI.f64 1/180))))
5.0ms	(.f64 angle (.f64 PI.f64 1/180))
5.0ms	(pow.f64 (.f64 a (sin.f64 (.f64 angle (*.f64 PI.f64 1/180)))) 2)
3.0ms	(sin.f64 (.f64 angle (.f64 PI.f64 1/180)))
0.0ms	(.f64 angle (.f64 PI.f64 1/180))

series332.0ms (0.4%)

Counts

4 → 21

Calls

4 calls:

157.0ms	(pow.f64 (.f64 a (sin.f64 (.f64 angle (*.f64 PI.f64 1/180)))) 2)
117.0ms	(.f64 a (sin.f64 (.f64 angle (*.f64 PI.f64 1/180))))
31.0ms	(.f64 angle (.f64 PI.f64 1/180))
27.0ms	(sin.f64 (.f64 angle (.f64 PI.f64 1/180)))

Compiler

Compiled 755 to 731 computations (3.2% saved)

simplify85.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

82 → 82

Iterations

Useful iterations: 0 (67.0ms)

Iter	Nodes	Cost
0	4924	1162
1	4924	1162

localize12.0ms (0%)

Local error

Found 6 expressions with local error:

0.3b	(*.f64 (/.f64 angle 180) PI.f64)
0.2b	(pow.f64 (.f64 a (.f64 (/.f64 angle 180) PI.f64)) 2)
0.2b	(.f64 a (.f64 (/.f64 angle 180) PI.f64))
0.2b	(.f64 a (.f64 (/.f64 angle 180) PI.f64))
0.2b	(pow.f64 (.f64 a (.f64 (/.f64 angle 180) PI.f64)) 2)
0.3b	(*.f64 (/.f64 angle 180) PI.f64)

rewrite29.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

27×	`add-exp-log_binary64_116`
18×	`add-sqr-sqrt_binary64_100`
17×	`add-cbrt-cube_binary64_114`
16×	`associate-l_binary64_19` `pow1_binary64_139`
13×	`add-cube-cbrt_binary64_113` `*-un-lft-identity_binary64_78`
12×	`prod-exp_binary64_127`
10×	`times-frac_binary64_84`
7×	`cbrt-unprod_binary64_111` `pow-prod-down_binary64_149`
4×	`pow-exp_binary64_146` `associate-r_binary64_18`
3×	`add-log-exp_binary64_117` `div-exp_binary64_129` `pow-pow_binary64_150` `pow-unpow_binary64_155`
2×	`-commutative_binary64_9` `cbrt-undiv_binary64_112` `associate-l/_binary64_21` `unswap-sqr_binary64_46`
1×	`pow-to-exp_binary64_147` `unpow-prod-down_binary64_157` `unpow2_binary64_143` `sqr-pow_binary64_50` `div-inv_binary64_75` `associate-*r/_binary64_20`

Counts

3 → 74

Calls

6 calls:

8.0ms	(pow.f64 (.f64 a (.f64 (/.f64 angle 180) PI.f64)) 2)
7.0ms	(.f64 a (.f64 (/.f64 angle 180) PI.f64))
7.0ms	(*.f64 (/.f64 angle 180) PI.f64)
0.0ms	(.f64 a (.f64 (/.f64 angle 180) PI.f64))
0.0ms	(pow.f64 (.f64 a (.f64 (/.f64 angle 180) PI.f64)) 2)

series241.0ms (0.3%)

Counts

3 → 15

Calls

3 calls:

120.0ms	(pow.f64 (.f64 a (.f64 (/.f64 angle 180) PI.f64)) 2)
85.0ms	(.f64 a (.f64 (/.f64 angle 180) PI.f64))
35.0ms	(*.f64 (/.f64 angle 180) PI.f64)

Compiler

Compiled 498 to 498 computations (0% saved)

simplify56.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

89 → 89

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	5222	1111

localize16.0ms (0%)

Local error

Found 8 expressions with local error:

0.7b	(pow.f64 (exp.f64 (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) a)
0.3b	(*.f64 (/.f64 angle 180) PI.f64)
0.1b	(exp.f64 (sin.f64 (*.f64 (/.f64 angle 180) PI.f64)))
0.0b	(pow.f64 (log.f64 (pow.f64 (exp.f64 (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) a)) 2)
0.3b	(*.f64 (/.f64 angle 180) PI.f64)
0.7b	(pow.f64 (exp.f64 (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) a)
2.1b	(log.f64 (pow.f64 (exp.f64 (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) a))
24.8b	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))

rewrite24.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

22×	`add-sqr-sqrt_binary64_100`
17×	`add-cube-cbrt_binary64_113` `*-un-lft-identity_binary64_78`
13×	`associate-l_binary64_19`
10×	`times-frac_binary64_84` `add-exp-log_binary64_116`
9×	`add-cbrt-cube_binary64_114`
7×	`log-prod_binary64_164` `pow1_binary64_139`
6×	`unpow-prod-down_binary64_157`
4×	`add-log-exp_binary64_117` `pow-pow_binary64_150`
3×	`associate-r_binary64_18` `rem-log-exp_binary64_119` `pow-unpow_binary64_155` `exp-prod_binary64_130`
2×	`pow-exp_binary64_146` `pow-to-exp_binary64_147` `cbrt-unprod_binary64_111` `prod-exp_binary64_127` `sqr-pow_binary64_50` `unswap-sqr_binary64_46`
1×	`-commutative_binary64_9` `cbrt-undiv_binary64_112` `div-exp_binary64_129` `div-inv_binary64_75` `associate-l/_binary64_21` `pow-prod-down_binary64_149` `log-pow_binary64_167`

Counts

4 → 77

Calls

8 calls:

7.0ms	(*.f64 (/.f64 angle 180) PI.f64)
4.0ms	(pow.f64 (exp.f64 (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) a)
3.0ms	(log.f64 (pow.f64 (exp.f64 (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) a))
2.0ms	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
0.0ms	(pow.f64 (log.f64 (pow.f64 (exp.f64 (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) a)) 2)

series647.0ms (0.7%)

Counts

4 → 23

Calls

4 calls:

438.0ms	(log.f64 (pow.f64 (exp.f64 (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) a))
153.0ms	(pow.f64 (exp.f64 (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) a)
33.0ms	(*.f64 (/.f64 angle 180) PI.f64)
22.0ms	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))

Compiler

Compiled 871 to 840 computations (3.6% saved)

simplify81.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

100 → 100

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	4996	1501
1	4996	1501

localize20.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(.f64 a (sin.f64 (.f64 (sqrt.f64 (.f64 (/.f64 angle 180) PI.f64)) (sqrt.f64 (pow.f64 (.f64 (/.f64 angle 180) PI.f64) 1)))))
0.1b	(.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64)))
0.1b	(sqrt.f64 (*.f64 (/.f64 angle 180) PI.f64))
0.1b	(sqrt.f64 (pow.f64 (*.f64 (/.f64 angle 180) PI.f64) 1))
0.3b	(*.f64 (/.f64 angle 180) PI.f64)
0.3b	(*.f64 (/.f64 angle 180) PI.f64)
14.4b	(sin.f64 (.f64 (sqrt.f64 (.f64 (/.f64 angle 180) PI.f64)) (sqrt.f64 (pow.f64 (*.f64 (/.f64 angle 180) PI.f64) 1))))
24.7b	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))

rewrite30.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

30×	`add-sqr-sqrt_binary64_100`
26×	`associate-l_binary64_19`
20×	`add-cube-cbrt_binary64_113` `times-frac_binary64_84` `*-un-lft-identity_binary64_78`
14×	`add-cbrt-cube_binary64_114` `add-exp-log_binary64_116`
8×	`pow1_binary64_139`
6×	`associate-r_binary64_18`
4×	`add-log-exp_binary64_117` `cbrt-unprod_binary64_111` `prod-exp_binary64_127` `unswap-sqr_binary64_46`
2×	`-commutative_binary64_9` `cbrt-undiv_binary64_112` `div-exp_binary64_129` `div-inv_binary64_75` `associate-l/_binary64_21` `pow-prod-down_binary64_149`

Counts

4 → 78

Calls

8 calls:

8.0ms	(*.f64 (/.f64 angle 180) PI.f64)
7.0ms	(*.f64 (/.f64 angle 180) PI.f64)
4.0ms	(sin.f64 (.f64 (sqrt.f64 (.f64 (/.f64 angle 180) PI.f64)) (sqrt.f64 (pow.f64 (*.f64 (/.f64 angle 180) PI.f64) 1))))
2.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
0.0ms	(sqrt.f64 (pow.f64 (*.f64 (/.f64 angle 180) PI.f64) 1))

series156.0ms (0.2%)

Counts

4 → 14

Calls

4 calls:

65.0ms	(sin.f64 (.f64 (sqrt.f64 (.f64 (/.f64 angle 180) PI.f64)) (sqrt.f64 (pow.f64 (*.f64 (/.f64 angle 180) PI.f64) 1))))
34.0ms	(*.f64 (/.f64 angle 180) PI.f64)
32.0ms	(*.f64 (/.f64 angle 180) PI.f64)
25.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))

Compiler

Compiled 833 to 734 computations (11.9% saved)

simplify56.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

92 → 92

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	5119	1035

localize29.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b	(.f64 a (sin.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) 1) (.f64 PI.f64 (/.f64 (cbrt.f64 angle) 180)))))
0.2b	(pow.f64 (.f64 b (log.f64 (exp.f64 (cos.f64 (.f64 (/.f64 angle 180) PI.f64))))) 2)
0.1b	(.f64 b (log.f64 (exp.f64 (cos.f64 (.f64 (/.f64 angle 180) PI.f64)))))
0.1b	(exp.f64 (cos.f64 (*.f64 (/.f64 angle 180) PI.f64)))
0.6b	(cbrt.f64 angle)
0.6b	(cbrt.f64 angle)
24.7b	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
24.9b	(sin.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) 1) (*.f64 PI.f64 (/.f64 (cbrt.f64 angle) 180))))

rewrite12.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`add-sqr-sqrt_binary64_100` `add-cube-cbrt_binary64_113` `cbrt-prod_binary64_109` `*-un-lft-identity_binary64_78`
4×	`add-cbrt-cube_binary64_114` `add-log-exp_binary64_117` `add-exp-log_binary64_116` `pow1_binary64_139`
2×	`pow1/3_binary64_160`

Counts

4 → 36

Calls

8 calls:

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

series232.0ms (0.2%)

Counts

4 → 14

Calls

4 calls:

84.0ms	(cbrt.f64 angle)
82.0ms	(cbrt.f64 angle)
39.0ms	(sin.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) 1) (*.f64 PI.f64 (/.f64 (cbrt.f64 angle) 180))))
26.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))

Compiler

Compiled 853 to 731 computations (14.3% saved)

simplify44.0ms (0%)

Algorithm

1×	egg-herbie

Counts

50 → 50

Iterations

Useful iterations: 0 (32.0ms)

Iter	Nodes	Cost
0	4970	450
1	4970	450

prune10.0s (10.5%)

Pruning

435 alts after pruning (430 fresh and 5 done)

	Pruned	Kept	Total
New	239	174	413
Fresh	9	256	265
Picked	0	0	0
Done	2	5	7
Total	250	435	685

Error

18.8b

Counts

685 → 435

Compiler

Compiled 20376 to 16571 computations (18.7% saved)

localize14.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b	(.f64 (sin.f64 (.f64 angle (*.f64 PI.f64 1/180))) a)
0.2b	(.f64 (sin.f64 (.f64 angle (*.f64 PI.f64 1/180))) a)
0.1b	(.f64 angle (.f64 PI.f64 1/180))
0.1b	(.f64 angle (.f64 PI.f64 1/180))
0.2b	(.f64 (sin.f64 (.f64 angle (*.f64 PI.f64 1/180))) a)
0.2b	(.f64 (fabs.f64 (.f64 (sin.f64 (.f64 angle (.f64 PI.f64 1/180))) a)) (fabs.f64 (.f64 (sin.f64 (.f64 angle (*.f64 PI.f64 1/180))) a)))
24.6b	(sin.f64 (.f64 angle (.f64 PI.f64 1/180)))
24.6b	(sin.f64 (.f64 angle (.f64 PI.f64 1/180)))

rewrite21.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`add-sqr-sqrt_binary64_100`
13×	`pow1_binary64_139`
10×	`add-cube-cbrt_binary64_113` `*-un-lft-identity_binary64_78`
8×	`add-cbrt-cube_binary64_114` `add-exp-log_binary64_116`
6×	`associate-l_binary64_19` `associate-r_binary64_18`
4×	`add-log-exp_binary64_117`
3×	`swap-sqr_binary64_45`
2×	`*-commutative_binary64_9` `cbrt-unprod_binary64_111` `prod-exp_binary64_127` `pow-prod-down_binary64_149` `unswap-sqr_binary64_46`
1×	`pow2_binary64_159` `sqr-abs_binary64_93` `pow-sqr_binary64_51` `pow-prod-up_binary64_148` `pow-plus_binary64_141`

Counts

4 → 58

Calls

8 calls:

5.0ms	(.f64 (sin.f64 (.f64 angle (*.f64 PI.f64 1/180))) a)
4.0ms	(.f64 (fabs.f64 (.f64 (sin.f64 (.f64 angle (.f64 PI.f64 1/180))) a)) (fabs.f64 (.f64 (sin.f64 (.f64 angle (*.f64 PI.f64 1/180))) a)))
3.0ms	(sin.f64 (.f64 angle (.f64 PI.f64 1/180)))
2.0ms	(sin.f64 (.f64 angle (.f64 PI.f64 1/180)))
0.0ms	(.f64 angle (.f64 PI.f64 1/180))

series248.0ms (0.3%)

Counts

4 → 19

Calls

4 calls:

121.0ms	(.f64 (sin.f64 (.f64 angle (*.f64 PI.f64 1/180))) a)
90.0ms	(.f64 (fabs.f64 (.f64 (sin.f64 (.f64 angle (.f64 PI.f64 1/180))) a)) (fabs.f64 (.f64 (sin.f64 (.f64 angle (*.f64 PI.f64 1/180))) a)))
19.0ms	(sin.f64 (.f64 angle (.f64 PI.f64 1/180)))
18.0ms	(sin.f64 (.f64 angle (.f64 PI.f64 1/180)))

Compiler

Compiled 878 to 790 computations (10% saved)

simplify85.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

77 → 77

Iterations

Useful iterations: 0 (66.0ms)

Iter	Nodes	Cost
0	4934	1137
1	4934	1137

localize11.0ms (0%)

Local error

Found 8 expressions with local error:

0.3b	(*.f64 (/.f64 angle 180) PI.f64)
0.2b	(.f64 (.f64 (.f64 (/.f64 angle 180) PI.f64) a) (.f64 (*.f64 (/.f64 angle 180) PI.f64) a))
0.2b	(.f64 (.f64 (/.f64 angle 180) PI.f64) a)
0.2b	(.f64 (.f64 (/.f64 angle 180) PI.f64) a)
0.2b	(.f64 (.f64 (/.f64 angle 180) PI.f64) a)
0.2b	(.f64 (.f64 (.f64 (/.f64 angle 180) PI.f64) a) (.f64 (*.f64 (/.f64 angle 180) PI.f64) a))
0.3b	(*.f64 (/.f64 angle 180) PI.f64)
0.3b	(*.f64 (/.f64 angle 180) PI.f64)

rewrite58.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

127×	`pow1_binary64_139`
103×	`add-cbrt-cube_binary64_114` `add-exp-log_binary64_116`
71×	`pow-prod-down_binary64_149`
65×	`cbrt-unprod_binary64_111` `prod-exp_binary64_127`
31×	`add-sqr-sqrt_binary64_100`
28×	`associate-l_binary64_19`
21×	`add-cube-cbrt_binary64_113` `*-un-lft-identity_binary64_78`
20×	`times-frac_binary64_84`
13×	`associate-*l/_binary64_21`
11×	`cbrt-undiv_binary64_112` `div-exp_binary64_129`
10×	`associate-r_binary64_18`
9×	`pow-sqr_binary64_51` `pow-prod-up_binary64_148`
4×	`*-commutative_binary64_9` `add-log-exp_binary64_117` `unswap-sqr_binary64_46`
3×	`pow-plus_binary64_141`
2×	`div-inv_binary64_75`
1×	`pow2_binary64_159` `swap-sqr_binary64_45` `frac-times_binary64_88` `associate-*r/_binary64_20`

Counts

4 → 162

Calls

8 calls:

15.0ms	(.f64 (.f64 (.f64 (/.f64 angle 180) PI.f64) a) (.f64 (*.f64 (/.f64 angle 180) PI.f64) a))
10.0ms	(.f64 (.f64 (/.f64 angle 180) PI.f64) a)
7.0ms	(*.f64 (/.f64 angle 180) PI.f64)
7.0ms	(*.f64 (/.f64 angle 180) PI.f64)
0.0ms	(.f64 (.f64 (/.f64 angle 180) PI.f64) a)

series279.0ms (0.3%)

Counts

4 → 18

Calls

4 calls:

147.0ms	(.f64 (.f64 (.f64 (/.f64 angle 180) PI.f64) a) (.f64 (*.f64 (/.f64 angle 180) PI.f64) a))
77.0ms	(.f64 (.f64 (/.f64 angle 180) PI.f64) a)
28.0ms	(*.f64 (/.f64 angle 180) PI.f64)
26.0ms	(*.f64 (/.f64 angle 180) PI.f64)

Compiler

Compiled 732 to 660 computations (9.8% saved)

simplify97.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

180 → 180

Iterations

Useful iterations: 0 (66.0ms)

Iter	Nodes	Cost
0	5198	2128

localize22.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b	(.f64 a (.f64 (/.f64 angle 180) PI.f64))
0.1b	(pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 1 (sqrt.f64 180)) (*.f64 PI.f64 (/.f64 angle (sqrt.f64 180)))))) 2)
0.1b	(.f64 b (cos.f64 (.f64 (/.f64 1 (sqrt.f64 180)) (*.f64 PI.f64 (/.f64 angle (sqrt.f64 180))))))
0.0b	(+.f64 (pow.f64 (.f64 a (.f64 (/.f64 angle 180) PI.f64)) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 1 (sqrt.f64 180)) (*.f64 PI.f64 (/.f64 angle (sqrt.f64 180)))))) 2))
0.3b	(/.f64 angle (sqrt.f64 180))
0.3b	(.f64 (/.f64 1 (sqrt.f64 180)) (.f64 PI.f64 (/.f64 angle (sqrt.f64 180))))
0.4b	(*.f64 PI.f64 (/.f64 angle (sqrt.f64 180)))
25.0b	(cos.f64 (.f64 (/.f64 1 (sqrt.f64 180)) (.f64 PI.f64 (/.f64 angle (sqrt.f64 180)))))

rewrite49.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

56×	`times-frac_binary64_84`
54×	`add-sqr-sqrt_binary64_100`
50×	`add-exp-log_binary64_116`
46×	`add-cube-cbrt_binary64_113` `*-un-lft-identity_binary64_78`
32×	`add-cbrt-cube_binary64_114`
31×	`sqrt-prod_binary64_94`
25×	`associate-l_binary64_19`
23×	`associate-r_binary64_18`
22×	`prod-exp_binary64_127`
12×	`cbrt-unprod_binary64_111` `div-exp_binary64_129`
11×	`pow1_binary64_139`
7×	`cbrt-undiv_binary64_112`
6×	`associate-/r*_binary64_22`
4×	`add-log-exp_binary64_117` `pow-prod-down_binary64_149` `associate-*r/_binary64_20`
3×	`1-exp_binary64_122` `div-inv_binary64_75` `associate-/l*_binary64_23` `rec-exp_binary64_128` `unswap-sqr_binary64_46`
2×	`*-commutative_binary64_9`
1×	`frac-2neg_binary64_89` `frac-times_binary64_88` `associate-*l/_binary64_21` `clear-num_binary64_77`

Counts

4 → 142

Calls

8 calls:

15.0ms	(.f64 (/.f64 1 (sqrt.f64 180)) (.f64 PI.f64 (/.f64 angle (sqrt.f64 180))))
10.0ms	(*.f64 PI.f64 (/.f64 angle (sqrt.f64 180)))
4.0ms	(/.f64 angle (sqrt.f64 180))
3.0ms	(cos.f64 (.f64 (/.f64 1 (sqrt.f64 180)) (.f64 PI.f64 (/.f64 angle (sqrt.f64 180)))))
0.0ms	(+.f64 (pow.f64 (.f64 a (.f64 (/.f64 angle 180) PI.f64)) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 1 (sqrt.f64 180)) (*.f64 PI.f64 (/.f64 angle (sqrt.f64 180)))))) 2))

series220.0ms (0.2%)

Counts

4 → 13

Calls

4 calls:

83.0ms	(.f64 (/.f64 1 (sqrt.f64 180)) (.f64 PI.f64 (/.f64 angle (sqrt.f64 180))))
55.0ms	(*.f64 PI.f64 (/.f64 angle (sqrt.f64 180)))
44.0ms	(/.f64 angle (sqrt.f64 180))
38.0ms	(cos.f64 (.f64 (/.f64 1 (sqrt.f64 180)) (.f64 PI.f64 (/.f64 angle (sqrt.f64 180)))))

Compiler

Compiled 632 to 582 computations (7.9% saved)

simplify111.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

155 → 155

Iterations

Useful iterations: 0 (83.0ms)

Iter	Nodes	Cost
0	4962	1903
1	4962	1903

localize19.0ms (0%)

Local error

Found 8 expressions with local error:

0.7b	(pow.f64 (exp.f64 (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) a)
0.3b	(*.f64 (/.f64 angle 180) PI.f64)
0.1b	(exp.f64 (sin.f64 (*.f64 (/.f64 angle 180) PI.f64)))
0.0b	(pow.f64 (log.f64 (log.f64 (exp.f64 (pow.f64 (exp.f64 (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) a)))) 2)
0.3b	(*.f64 (/.f64 angle 180) PI.f64)
0.7b	(pow.f64 (exp.f64 (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) a)
1.4b	(log.f64 (log.f64 (exp.f64 (pow.f64 (exp.f64 (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) a))))
24.8b	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))

rewrite31.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

23×	`add-sqr-sqrt_binary64_100`
18×	`add-cube-cbrt_binary64_113` `*-un-lft-identity_binary64_78`
13×	`associate-l_binary64_19`
11×	`log-prod_binary64_164`
10×	`times-frac_binary64_84` `add-exp-log_binary64_116` `exp-prod_binary64_130`
9×	`add-cbrt-cube_binary64_114` `log-pow_binary64_167` `pow1_binary64_139`
6×	`unpow-prod-down_binary64_157`
4×	`add-log-exp_binary64_117` `pow-pow_binary64_150`
3×	`associate-r_binary64_18` `pow-unpow_binary64_155`
2×	`cbrt-unprod_binary64_111` `prod-exp_binary64_127` `sqr-pow_binary64_50` `unswap-sqr_binary64_46`
1×	`-commutative_binary64_9` `pow-exp_binary64_146` `pow-to-exp_binary64_147` `cbrt-undiv_binary64_112` `div-exp_binary64_129` `div-inv_binary64_75` `associate-l/_binary64_21` `rem-log-exp_binary64_119` `pow-prod-down_binary64_149`

Counts

4 → 79

Calls

8 calls:

8.0ms	(*.f64 (/.f64 angle 180) PI.f64)
5.0ms	(pow.f64 (exp.f64 (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) a)
4.0ms	(log.f64 (log.f64 (exp.f64 (pow.f64 (exp.f64 (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) a))))
2.0ms	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
0.0ms	(pow.f64 (log.f64 (log.f64 (exp.f64 (pow.f64 (exp.f64 (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) a)))) 2)

series1000.0ms (1.1%)

Counts

4 → 20

Calls

4 calls:

827.0ms	(log.f64 (log.f64 (exp.f64 (pow.f64 (exp.f64 (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) a))))
123.0ms	(pow.f64 (exp.f64 (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) a)
32.0ms	(*.f64 (/.f64 angle 180) PI.f64)
18.0ms	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))

Compiler

Compiled 792 to 781 computations (1.4% saved)

simplify122.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 0 (100.0ms)

Iter	Nodes	Cost
0	5067	1519

localize34.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b	(.f64 a (sin.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) 1) (.f64 PI.f64 (/.f64 (cbrt.f64 angle) 180)))))
0.0b	(pow.f64 (.f64 b (log.f64 (exp.f64 (-.f64 1 (.f64 1/64800 (.f64 (.f64 angle angle) (pow.f64 PI.f64 2))))))) 2)
0.0b	(.f64 b (log.f64 (exp.f64 (-.f64 1 (.f64 1/64800 (.f64 (.f64 angle angle) (pow.f64 PI.f64 2)))))))
0.0b	(log.f64 (exp.f64 (-.f64 1 (.f64 1/64800 (.f64 (*.f64 angle angle) (pow.f64 PI.f64 2))))))
0.6b	(cbrt.f64 angle)
0.6b	(cbrt.f64 angle)
0.6b	(cbrt.f64 angle)
24.9b	(sin.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) 1) (*.f64 PI.f64 (/.f64 (cbrt.f64 angle) 180))))

rewrite12.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

9×	`cbrt-prod_binary64_109`
7×	`add-sqr-sqrt_binary64_100` `add-cube-cbrt_binary64_113` `*-un-lft-identity_binary64_78`
4×	`add-cbrt-cube_binary64_114` `add-log-exp_binary64_117` `add-exp-log_binary64_116` `pow1_binary64_139`
3×	`pow1/3_binary64_160`

Counts

4 → 40

Calls

8 calls:

3.0ms	(sin.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) 1) (*.f64 PI.f64 (/.f64 (cbrt.f64 angle) 180))))
1.0ms	(cbrt.f64 angle)
1.0ms	(cbrt.f64 angle)
1.0ms	(cbrt.f64 angle)
0.0ms	(log.f64 (exp.f64 (-.f64 1 (.f64 1/64800 (.f64 (*.f64 angle angle) (pow.f64 PI.f64 2))))))

series283.0ms (0.3%)

Counts

4 → 13

Calls

4 calls:

88.0ms	(cbrt.f64 angle)
82.0ms	(cbrt.f64 angle)
78.0ms	(cbrt.f64 angle)
34.0ms	(sin.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) 1) (*.f64 PI.f64 (/.f64 (cbrt.f64 angle) 180))))

Compiler

Compiled 947 to 812 computations (14.3% saved)

simplify75.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

53 → 53

Iterations

Useful iterations: 0 (65.0ms)

Iter	Nodes	Cost
0	4940	394
1	4940	394

prune20.4s (21.6%)

Pruning

576 alts after pruning (568 fresh and 8 done)

	Pruned	Kept	Total
New	406	158	564
Fresh	15	410	425
Picked	0	0	0
Done	2	8	10
Total	423	576	999

Error

18.7b

Counts

999 → 576

Compiler

Compiled 9672 to 6916 computations (28.5% saved)

simplify721.0ms (0.8%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (134.0ms)

Iter	Nodes	Cost
0	4318	41789
1	4318	41789

regimes15.2s (16.1%)

Compiler: Compiled 121140 to 105576 computations (12.8% saved)

bsearch0.0ms (0%)

regimes4.1s (4.3%)

Compiler: Compiled 41350 to 37078 computations (10.3% saved)

bsearch0.0ms (0%)

regimes254.0ms (0.3%)

Compiler: Compiled 2072 to 1927 computations (7% saved)

bsearch0.0ms (0%)

regimes349.0ms (0.4%)

Compiler: Compiled 2002 to 1857 computations (7.2% saved)

bsearch2.0ms (0%)

Compiler: Compiled 3 to 5 computations (-66.7% saved)

regimes299.0ms (0.3%)

Compiler: Compiled 1962 to 1807 computations (7.9% saved)

bsearch121.0ms (0.1%)

Steps

Iters	Range		Point
5	2.9510142607741912e-86	9.29847867211439e-86	5.842377750824772e-86
5	-1.1226646506925593e+48	-5.503615367767582e+47	-1.1109038320081141e+48

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes279.0ms (0.3%)

Compiler: Compiled 2029 to 1902 computations (6.3% saved)

bsearch135.0ms (0.1%)

Steps

Iters	Range		Point
5	3.548440407822495e-173	8.819191358440595e-173	8.691200890910609e-173
7	-2.0272992522186443e+71	-7.230781925403097e+69	-2.999202869143944e+70

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes182.0ms (0.2%)

Compiler: Compiled 1111 to 1061 computations (4.5% saved)

bsearch149.0ms (0.2%)

Steps

Iters	Range		Point
5	3.548440407822495e-173	8.819191358440595e-173	8.691200890910609e-173
9	-3.7559618023505055e+79	-2.7191236001325544e+72	-1.701469338032445e+73

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes105.0ms (0.1%)

Compiler: Compiled 413 to 426 computations (-3.1% saved)

bsearch145.0ms (0.2%)

Steps

Iters	Range		Point
5	3.548440407822495e-173	8.819191358440595e-173	8.691200890910609e-173
9	-3.7559618023505055e+79	-2.7191236001325544e+72	-4.261887214483194e+74

Compiler

Compiled 1 to 3 computations (-200% saved)

regimes81.0ms (0.1%)

Compiler: Compiled 280 to 314 computations (-12.1% saved)

bsearch0.0ms (0%)

regimes51.0ms (0.1%)

Compiler: Compiled 127 to 162 computations (-27.6% saved)

bsearch0.0ms (0%)

regimes24.0ms (0%)

Accuracy

Total 2.1b remaining (10.1%)

Threshold costs 0b (0%)

Compiler

Compiled 12 to 42 computations (-250% saved)

bsearch20.0ms (0%)

Compiler: Compiled 415 to 323 computations (22.2% saved)

simplify8.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	111	576
1	111	576

end0.0ms (0%)

sample26.8s (28.3%)

Algorithm

1×

intervals

Results

1.5s	1555×	body	1024	valid
1.3s	1350×	body	1024	invalid
692.0ms	5023×	body	128	valid
503.0ms	809×	body	512	valid
439.0ms	670×	body	512	invalid
256.0ms	183×	body	2048	valid
150.0ms	425×	body	256	valid
139.0ms	345×	body	256	invalid
84.0ms	589×	body	128	invalid
26.0ms	5×	body	4096	valid

Compiler

Compiled 18847 to 16344 computations (13.3% saved)

Pareto

0.742188516228536