Details

analyze1.7s (9%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4958	136
1	4958	136
0	3	3
1	3	3

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
25%	62.4%	12.6%	8
31.2%	56.2%	12.6%	9
34.3%	53%	12.6%	10
42.9%	44.5%	12.6%	11
46.8%	40.6%	12.6%	12
47.8%	39.6%	12.6%	13
52.6%	34.8%	12.6%	14

Compiler

Compiled 22 to 20 computations (9.1% saved)

sample184.0ms (1%)

Algorithm

1×

intervals

Results

56.0ms	61×	body	1024	invalid
48.0ms	52×	body	1024	valid
19.0ms	162×	body	128	valid
13.0ms	23×	body	512	valid
10.0ms	17×	body	512	invalid
10.0ms	8×	body	2048	valid
3.0ms	10×	body	256	invalid
3.0ms	11×	body	256	valid
2.0ms	19×	body	128	invalid

Compiler

Compiled 43 to 42 computations (2.3% saved)

simplify155.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (149.0ms)

Iter	Nodes	Cost
0	5252	34

prune3.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

20.1b

Counts

2 → 1

Compiler

Compiled 42 to 38 computations (9.5% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite171.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

19.0b

Rules

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

Counts

4 → 78

Calls

4 calls:

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

Compiler

Compiled 2162 to 1535 computations (29% saved)

series131.0ms (0.7%)

Error

19.3b

Counts

4 → 16

Calls

4 calls:

32.0ms	(sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))
27.0ms	(*.f64 PI.f64 (/.f64 angle 180))
26.0ms	(*.f64 PI.f64 (/.f64 angle 180))
22.0ms	(cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))

Compiler

Compiled 1030 to 849 computations (17.6% saved)

simplify64.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

94 → 94

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	5040	1145

prune203.0ms (1%)

Pruning

30 alts after pruning (30 fresh and 0 done)

	Pruned	Kept	Total
New	64	30	94
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	65	30	95

Error

18.6b

Counts

95 → 30

Compiler

Compiled 3277 to 2447 computations (25.3% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite144.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

18.3b

Rules

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

Counts

4 → 75

Calls

4 calls:

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

Compiler

Compiled 1716 to 1285 computations (25.1% saved)

series385.0ms (2%)

Error

18.6b

Counts

4 → 27

Calls

4 calls:

168.0ms	(pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2)
119.0ms	(.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180))))
30.0ms	(sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))
29.0ms	(*.f64 PI.f64 (/.f64 angle 180))

Compiler

Compiled 1574 to 1352 computations (14.1% saved)

simplify90.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

102 → 102

Iterations

Useful iterations: 0 (70.0ms)

Iter	Nodes	Cost
0	4950	1688
1	4950	1688

prune203.0ms (1%)

Pruning

36 alts after pruning (36 fresh and 0 done)

	Pruned	Kept	Total
New	79	23	102
Fresh	16	13	29
Picked	1	0	1
Done	0	0	0
Total	96	36	132

Error

18.3b

Counts

132 → 36

Compiler

Compiled 3121 to 2418 computations (22.5% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b	(*.f64 (/.f64 PI.f64 (sqrt.f64 180)) (/.f64 angle (sqrt.f64 180)))
0.3b	(/.f64 angle (sqrt.f64 180))
1.0b	(/.f64 PI.f64 (sqrt.f64 180))
23.4b	(sin.f64 (*.f64 (/.f64 PI.f64 (sqrt.f64 180)) (/.f64 angle (sqrt.f64 180))))

rewrite350.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

18.1b

Rules

90×	`add-sqr-sqrt_binary64_100`
84×	`times-frac_binary64_84`
60×	`add-cube-cbrt_binary64_113` `*-un-lft-identity_binary64_78`
48×	`sqrt-prod_binary64_94`
22×	`associate-l_binary64_19` `associate-r_binary64_18`
20×	`add-exp-log_binary64_116` `add-cbrt-cube_binary64_114`
12×	`associate-/r*_binary64_22`
9×	`unswap-sqr_binary64_46`
6×	`pow1_binary64_139` `div-exp_binary64_129` `cbrt-undiv_binary64_112` `associate-/l*_binary64_23`
4×	`add-log-exp_binary64_117` `div-inv_binary64_75` `prod-exp_binary64_127` `cbrt-unprod_binary64_111`
2×	`frac-2neg_binary64_89` `clear-num_binary64_77`
1×	`pow-prod-down_binary64_149` `frac-times_binary64_88` `associate-l/_binary64_21` `associate-r/_binary64_20` `*-commutative_binary64_9`

Counts

4 → 158

Calls

4 calls:

20.0ms	(*.f64 (/.f64 PI.f64 (sqrt.f64 180)) (/.f64 angle (sqrt.f64 180)))
6.0ms	(/.f64 PI.f64 (sqrt.f64 180))
4.0ms	(/.f64 angle (sqrt.f64 180))
2.0ms	(sin.f64 (*.f64 (/.f64 PI.f64 (sqrt.f64 180)) (/.f64 angle (sqrt.f64 180))))

Compiler

Compiled 4497 to 3531 computations (21.5% saved)

series204.0ms (1.1%)

Error

18.3b

Counts

4 → 12

Calls

4 calls:

83.0ms	(*.f64 (/.f64 PI.f64 (sqrt.f64 180)) (/.f64 angle (sqrt.f64 180)))
59.0ms	(sin.f64 (*.f64 (/.f64 PI.f64 (sqrt.f64 180)) (/.f64 angle (sqrt.f64 180))))
45.0ms	(/.f64 angle (sqrt.f64 180))
0.0ms	(/.f64 PI.f64 (sqrt.f64 180))

Compiler

Compiled 789 to 713 computations (9.6% saved)

simplify69.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

170 → 170

Iterations

Useful iterations: 0 (37.0ms)

Iter	Nodes	Cost
0	5203	2536

prune478.0ms (2.5%)

Pruning

38 alts after pruning (38 fresh and 0 done)

	Pruned	Kept	Total
New	160	10	170
Fresh	7	28	35
Picked	1	0	1
Done	0	0	0
Total	168	38	206

Error

18.2b

Counts

206 → 38

Compiler

Compiled 5283 to 4147 computations (21.5% saved)

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 b (sin.f64 (.f64 (/.f64 PI.f64 (pow.f64 (sqrt.f64 180) 3/2)) (/.f64 angle (sqrt.f64 (sqrt.f64 180))))))
0.3b	(pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 PI.f64 (pow.f64 (sqrt.f64 180) 3/2)) (/.f64 angle (sqrt.f64 (sqrt.f64 180)))))) 2)
0.3b	(*.f64 (/.f64 PI.f64 (pow.f64 (sqrt.f64 180) 3/2)) (/.f64 angle (sqrt.f64 (sqrt.f64 180))))
23.4b	(sin.f64 (*.f64 (/.f64 PI.f64 (pow.f64 (sqrt.f64 180) 3/2)) (/.f64 angle (sqrt.f64 (sqrt.f64 180)))))

rewrite395.0ms (2%)

Algorithm

1×	rewrite-expression-head

Error

18.1b

Rules

115×	`add-sqr-sqrt_binary64_100`
88×	`times-frac_binary64_84`
55×	`sqrt-prod_binary64_94`
46×	`add-cube-cbrt_binary64_113` `*-un-lft-identity_binary64_78`
37×	`associate-l_binary64_19`
34×	`associate-r_binary64_18`
33×	`add-exp-log_binary64_116`
27×	`unpow-prod-down_binary64_157`
21×	`unswap-sqr_binary64_46`
18×	`add-cbrt-cube_binary64_114`
11×	`pow1_binary64_139`
10×	`div-exp_binary64_129` `prod-exp_binary64_127`
8×	`sqr-pow_binary64_50`
5×	`cbrt-unprod_binary64_111`
4×	`add-log-exp_binary64_117` `pow-exp_binary64_146` `cbrt-undiv_binary64_112`
3×	`pow-prod-down_binary64_149` `pow-to-exp_binary64_147` `pow-unpow_binary64_155`
2×	`div-inv_binary64_75` `*-commutative_binary64_9` `pow-pow_binary64_150`
1×	`frac-times_binary64_88` `associate-l/_binary64_21` `associate-r/_binary64_20` `unpow2_binary64_143`

Counts

4 → 152

Calls

4 calls:

34.0ms	(*.f64 (/.f64 PI.f64 (pow.f64 (sqrt.f64 180) 3/2)) (/.f64 angle (sqrt.f64 (sqrt.f64 180))))
5.0ms	(.f64 b (sin.f64 (.f64 (/.f64 PI.f64 (pow.f64 (sqrt.f64 180) 3/2)) (/.f64 angle (sqrt.f64 (sqrt.f64 180))))))
4.0ms	(pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 PI.f64 (pow.f64 (sqrt.f64 180) 3/2)) (/.f64 angle (sqrt.f64 (sqrt.f64 180)))))) 2)
2.0ms	(sin.f64 (*.f64 (/.f64 PI.f64 (pow.f64 (sqrt.f64 180) 3/2)) (/.f64 angle (sqrt.f64 (sqrt.f64 180)))))

Compiler

Compiled 5293 to 4308 computations (18.6% saved)

series680.0ms (3.5%)

Error

18.2b

Counts

4 → 27

Calls

4 calls:

292.0ms	(pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 PI.f64 (pow.f64 (sqrt.f64 180) 3/2)) (/.f64 angle (sqrt.f64 (sqrt.f64 180)))))) 2)
209.0ms	(.f64 b (sin.f64 (.f64 (/.f64 PI.f64 (pow.f64 (sqrt.f64 180) 3/2)) (/.f64 angle (sqrt.f64 (sqrt.f64 180))))))
71.0ms	(*.f64 (/.f64 PI.f64 (pow.f64 (sqrt.f64 180) 3/2)) (/.f64 angle (sqrt.f64 (sqrt.f64 180))))
58.0ms	(sin.f64 (*.f64 (/.f64 PI.f64 (pow.f64 (sqrt.f64 180) 3/2)) (/.f64 angle (sqrt.f64 (sqrt.f64 180)))))

Compiler

Compiled 2075 to 1835 computations (11.6% saved)

simplify93.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

179 → 179

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	4945	4958
1	4945	4958

prune346.0ms (1.8%)

Pruning

40 alts after pruning (40 fresh and 0 done)

	Pruned	Kept	Total
New	168	11	179
Fresh	8	29	37
Picked	1	0	1
Done	0	0	0
Total	177	40	217

Error

18.1b

Counts

217 → 40

Compiler

Compiled 5611 to 4458 computations (20.5% saved)

regimes2.9s (14.8%)

Accuracy

Total 1.6b remaining (7.7%)

Threshold costs 0b (0%)

Compiler

Compiled 35636 to 32092 computations (9.9% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	26	34
1	26	34

end0.0ms (0%)

sample10.4s (53.5%)

Algorithm

1×

intervals

Results

1.4s	1590×	body	1024	valid
1.3s	1388×	body	1024	invalid
638.0ms	5020×	body	128	valid
451.0ms	782×	body	512	valid
398.0ms	673×	body	512	invalid
287.0ms	210×	body	2048	valid
135.0ms	378×	body	256	invalid
123.0ms	396×	body	256	valid
81.0ms	659×	body	128	invalid
9.0ms	2×	body	4096	valid

Compiler

Compiled 5419 to 4888 computations (9.8% saved)

Details

analyze1.7s (9%)

sample184.0ms (1%)

simplify155.0ms (0.8%)

prune3.0ms (0%)

localize13.0ms (0.1%)

rewrite171.0ms (0.9%)

series131.0ms (0.7%)

simplify64.0ms (0.3%)

prune203.0ms (1%)

localize12.0ms (0.1%)

rewrite144.0ms (0.7%)

series385.0ms (2%)

simplify90.0ms (0.5%)

prune203.0ms (1%)

localize14.0ms (0.1%)

rewrite350.0ms (1.8%)

series204.0ms (1.1%)

simplify69.0ms (0.4%)

prune478.0ms (2.5%)

localize17.0ms (0.1%)

rewrite395.0ms (2%)

series680.0ms (3.5%)

simplify93.0ms (0.5%)

prune346.0ms (1.8%)

regimes2.9s (14.8%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample10.4s (53.5%)

Profiling