Details

analyze331.0ms (3%)

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
49.9%	49.9%	0.1%	3
49.9%	49.9%	0.1%	4
49.9%	49.9%	0.1%	5
74.9%	25%	0.1%	6
74.9%	25%	0.1%	7
74.9%	25%	0.1%	8
87.4%	12.5%	0.1%	9
87.4%	12.5%	0.1%	10
87.4%	12.5%	0.1%	11
93.6%	6.2%	0.1%	12
93.6%	6.2%	0.1%	13
93.6%	6.2%	0.1%	14

Compiler

Compiled 27 to 21 computations (22.2% saved)

sample73.0ms (0.7%)

Algorithm

1×

intervals

Results

17.0ms	175×	body	128	valid
16.0ms	23×	body	4096	valid
10.0ms	19×	body	2048	valid
9.0ms	22×	body	1024	valid
4.0ms	12×	body	512	valid
1.0ms	5×	body	256	valid

Compiler

Compiled 56 to 44 computations (21.4% saved)

simplify74.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

763×	`div-sub_binary64`
390×	`associate-/r/_binary64`
378×	`cancel-sign-sub-inv_binary64`
331×	`distribute-rgt-in_binary64`
311×	`associate-/l/_binary64`

Counts

1 → 1

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	20	36
1	44	33
2	92	33
3	250	33
4	624	33
5	1844	33
6	4091	33
7	4897	33
8	5005	33

prune5.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

33.3b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	33.3b	(.f64 180 (/.f64 (atan.f64 (.f64 (/.f64 1 B) (-.f64 (-.f64 C A) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (pow.f64 B 2)))))) PI.f64))

Compiler

Compiled 76 to 57 computations (25% saved)

localize20.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 (atan.f64 (*.f64 (/.f64 1 B) (-.f64 (-.f64 C A) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (pow.f64 B 2)))))) PI.f64)
0.1b	(*.f64 (/.f64 1 B) (-.f64 (-.f64 C A) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (pow.f64 B 2)))))
1.2b	(-.f64 (-.f64 C A) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (pow.f64 B 2))))
34.6b	(sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (pow.f64 B 2)))

rewrite395.0ms (3.6%)

Algorithm

1×	rewrite-expression-head

Error

32.9b

Rules

69×	`*-un-lft-identity_binary64`
46×	`add-sqr-sqrt_binary64`
36×	`cancel-sign-sub-inv_binary64`
30×	`add-cube-cbrt_binary64`
26×	`sqrt-prod_binary64`

Counts

4 → 158

Calls

4 calls:

29.0ms	(*.f64 (/.f64 1 B) (-.f64 (-.f64 C A) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (pow.f64 B 2)))))
22.0ms	(-.f64 (-.f64 C A) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (pow.f64 B 2))))
12.0ms	(sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (pow.f64 B 2)))
5.0ms	(/.f64 (atan.f64 (*.f64 (/.f64 1 B) (-.f64 (-.f64 C A) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (pow.f64 B 2)))))) PI.f64)

Compiler

Compiled 5781 to 3511 computations (39.3% saved)

series515.0ms (4.7%)

Error

0.6b

Counts

4 → 92

Calls

4 calls:

117.0ms	(*.f64 (/.f64 1 B) (-.f64 (-.f64 C A) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (pow.f64 B 2)))))
114.0ms	(sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (pow.f64 B 2)))
104.0ms	(-.f64 (-.f64 C A) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (pow.f64 B 2))))
57.0ms	(/.f64 (atan.f64 (*.f64 (/.f64 1 B) (-.f64 (-.f64 C A) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (pow.f64 B 2)))))) PI.f64)

Compiler

Compiled 7714 to 5723 computations (25.8% saved)

simplify211.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

226×	`associate-r_binary64`
214×	`associate-/l*_binary64`
185×	`sub-neg_binary64` `associate-l_binary64`
176×	`times-frac_binary64`
165×	`associate--l+_binary64`

Counts

250 → 224

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	574	9101
1	1581	8512
2	4953	8512
3	5016	8512

prune208.0ms (1.9%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	216	8	224
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	217	8	225

Error

0.6b

Counts

225 → 8

Alt Table

Status	Error	Program
	37.9b	(.f64 180 (/.f64 (atan.f64 (.f64 (/.f64 1 B) (neg.f64 (+.f64 A (sqrt.f64 (+.f64 (.f64 B B) (.f64 A A))))))) PI.f64))
	50.8b	(.f64 180 (/.f64 (atan.f64 (.f64 (/.f64 1 B) (/.f64 (-.f64 (.f64 (-.f64 C A) (-.f64 C A)) (+.f64 (.f64 B B) (pow.f64 (-.f64 A C) 2))) (+.f64 (-.f64 C A) (sqrt.f64 (+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2))))))) PI.f64))
▶	33.3b	(.f64 180 (.f64 (/.f64 1 (sqrt.f64 PI.f64)) (/.f64 (atan.f64 (/.f64 (-.f64 (-.f64 C A) (sqrt.f64 (+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2)))) B)) (sqrt.f64 PI.f64))))
	44.1b	(.f64 180 (/.f64 (atan.f64 (.f64 1/2 (+.f64 (/.f64 B A) (/.f64 C (/.f64 (*.f64 A A) B))))) PI.f64))
	42.5b	(.f64 180 (/.f64 (atan.f64 (+.f64 (+.f64 (.f64 1/2 (+.f64 (.f64 (/.f64 C B) (/.f64 C B)) (.f64 (/.f64 A B) (/.f64 A B)))) 1) (-.f64 (/.f64 C B) (+.f64 (/.f64 A B) (*.f64 (/.f64 C B) (/.f64 A B)))))) PI.f64))
	47.9b	(.f64 180 (/.f64 (atan.f64 (.f64 (/.f64 1 B) (.f64 1/2 (/.f64 (.f64 B B) A)))) PI.f64))
	46.2b	(.f64 180 (/.f64 (atan.f64 (.f64 -1/2 (+.f64 (/.f64 A (/.f64 (*.f64 C C) B)) (/.f64 B C)))) PI.f64))
	35.2b	(.f64 180 (/.f64 (atan.f64 (.f64 (/.f64 1 B) (-.f64 C (+.f64 B A)))) PI.f64))

Compiler

Compiled 6415 to 3186 computations (50.3% saved)

localize20.0ms (0.2%)

Local error

Found 4 expressions with local error:

1.0b	(sqrt.f64 PI.f64)
1.0b	(sqrt.f64 PI.f64)
1.2b	(-.f64 (-.f64 C A) (sqrt.f64 (+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2))))
34.6b	(sqrt.f64 (+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2)))

rewrite117.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

0.6b

Rules

17×	`add-sqr-sqrt_binary64`
15×	`*-un-lft-identity_binary64`
13×	`sqrt-prod_binary64`
10×	`add-cube-cbrt_binary64`
9×	`add-log-exp_binary64` `cancel-sign-sub-inv_binary64`

Counts

4 → 72

Calls

4 calls:

17.0ms	(-.f64 (-.f64 C A) (sqrt.f64 (+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2))))
8.0ms	(sqrt.f64 (+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2)))
1.0ms	(sqrt.f64 PI.f64)
1.0ms	(sqrt.f64 PI.f64)

Compiler

Compiled 2565 to 1241 computations (51.6% saved)

series290.0ms (2.7%)

Error

0.6b

Counts

4 → 55

Calls

4 calls:

112.0ms	(sqrt.f64 (+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2)))
105.0ms	(-.f64 (-.f64 C A) (sqrt.f64 (+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2))))
0.0ms	(sqrt.f64 PI.f64)
0.0ms	(sqrt.f64 PI.f64)

Compiler

Compiled 5361 to 3846 computations (28.3% saved)

simplify155.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

538×	`cancel-sign-sub-inv_binary64`
363×	`sub-neg_binary64`
217×	`distribute-rgt-neg-in_binary64`
211×	`distribute-neg-in_binary64`
172×	`+-commutative_binary64`

Counts

127 → 80

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	316	3406
1	878	3308
2	2977	3299
3	4858	3299
4	4994	3299
5	4978	3299

prune107.0ms (1%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	78	2	80
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	78	10	88

Error

0.6b

Counts

88 → 10

Alt Table

Status	Error	Program
	37.9b	(.f64 180 (/.f64 (atan.f64 (.f64 (/.f64 1 B) (neg.f64 (+.f64 A (sqrt.f64 (+.f64 (.f64 B B) (.f64 A A))))))) PI.f64))
	50.8b	(.f64 180 (/.f64 (atan.f64 (.f64 (/.f64 1 B) (/.f64 (-.f64 (.f64 (-.f64 C A) (-.f64 C A)) (+.f64 (.f64 B B) (pow.f64 (-.f64 A C) 2))) (+.f64 (-.f64 C A) (sqrt.f64 (+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2))))))) PI.f64))
✓	33.3b	(.f64 180 (.f64 (/.f64 1 (sqrt.f64 PI.f64)) (/.f64 (atan.f64 (/.f64 (-.f64 (-.f64 C A) (sqrt.f64 (+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2)))) B)) (sqrt.f64 PI.f64))))
	44.1b	(.f64 180 (/.f64 (atan.f64 (.f64 1/2 (+.f64 (/.f64 B A) (/.f64 C (/.f64 (*.f64 A A) B))))) PI.f64))
	42.5b	(.f64 180 (/.f64 (atan.f64 (+.f64 (+.f64 (.f64 1/2 (+.f64 (.f64 (/.f64 C B) (/.f64 C B)) (.f64 (/.f64 A B) (/.f64 A B)))) 1) (-.f64 (/.f64 C B) (+.f64 (/.f64 A B) (*.f64 (/.f64 C B) (/.f64 A B)))))) PI.f64))
	47.9b	(.f64 180 (/.f64 (atan.f64 (.f64 (/.f64 1 B) (.f64 1/2 (/.f64 (.f64 B B) A)))) PI.f64))
	47.9b	(.f64 180 (.f64 (/.f64 1 (sqrt.f64 PI.f64)) (/.f64 (atan.f64 (/.f64 (.f64 1/2 (/.f64 (.f64 B B) A)) B)) (sqrt.f64 PI.f64))))
	50.0b	(.f64 180 (.f64 (/.f64 1 (sqrt.f64 PI.f64)) (/.f64 (atan.f64 (/.f64 (.f64 (/.f64 (.f64 B B) C) -1/2) B)) (sqrt.f64 PI.f64))))
	46.2b	(.f64 180 (/.f64 (atan.f64 (.f64 -1/2 (+.f64 (/.f64 A (/.f64 (*.f64 C C) B)) (/.f64 B C)))) PI.f64))
▶	35.2b	(.f64 180 (/.f64 (atan.f64 (.f64 (/.f64 1 B) (-.f64 C (+.f64 B A)))) PI.f64))

Compiler

Compiled 3370 to 1678 computations (50.2% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(atan.f64 (*.f64 (/.f64 1 B) (-.f64 C (+.f64 B A))))
0.0b	(.f64 180 (/.f64 (atan.f64 (.f64 (/.f64 1 B) (-.f64 C (+.f64 B A)))) PI.f64))
0.0b	(/.f64 (atan.f64 (*.f64 (/.f64 1 B) (-.f64 C (+.f64 B A)))) PI.f64)
0.2b	(*.f64 (/.f64 1 B) (-.f64 C (+.f64 B A)))

rewrite150.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

0.6b

Rules

44×	`add-sqr-sqrt_binary64`
40×	`*-un-lft-identity_binary64`
30×	`add-cube-cbrt_binary64` `times-frac_binary64`
20×	`add-exp-log_binary64`
19×	`associate-r_binary64`

Counts

4 → 118

Calls

4 calls:

13.0ms	(*.f64 (/.f64 1 B) (-.f64 C (+.f64 B A)))
10.0ms	(.f64 180 (/.f64 (atan.f64 (.f64 (/.f64 1 B) (-.f64 C (+.f64 B A)))) PI.f64))
3.0ms	(/.f64 (atan.f64 (*.f64 (/.f64 1 B) (-.f64 C (+.f64 B A)))) PI.f64)
1.0ms	(atan.f64 (*.f64 (/.f64 1 B) (-.f64 C (+.f64 B A))))

Compiler

Compiled 2763 to 1423 computations (48.5% saved)

series132.0ms (1.2%)

Error

0.6b

Counts

4 → 45

Calls

4 calls:

40.0ms	(*.f64 (/.f64 1 B) (-.f64 C (+.f64 B A)))
34.0ms	(.f64 180 (/.f64 (atan.f64 (.f64 (/.f64 1 B) (-.f64 C (+.f64 B A)))) PI.f64))
28.0ms	(/.f64 (atan.f64 (*.f64 (/.f64 1 B) (-.f64 C (+.f64 B A)))) PI.f64)
18.0ms	(atan.f64 (*.f64 (/.f64 1 B) (-.f64 C (+.f64 B A))))

Compiler

Compiled 1334 to 992 computations (25.6% saved)

simplify145.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

522×	`times-frac_binary64`
383×	`distribute-rgt-in_binary64`
371×	`distribute-lft-in_binary64`
368×	`div-sub_binary64`
245×	`associate-/l*_binary64`

Counts

163 → 147

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	206	3094
1	492	2811
2	1315	2789
3	3492	2789
4	4959	2789
5	5008	2789

prune101.0ms (0.9%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	146	1	147
Fresh	0	8	8
Picked	1	0	1
Done	0	1	1
Total	147	10	157

Error

0.6b

Counts

157 → 10

Alt Table

Status	Error	Program
▶	35.4b	(.f64 180 (.f64 (*.f64 (cbrt.f64 (/.f64 (atan.f64 (-.f64 (/.f64 (-.f64 C A) B) 1)) PI.f64)) (cbrt.f64 (/.f64 (atan.f64 (-.f64 (/.f64 (-.f64 C A) B) 1)) PI.f64))) (cbrt.f64 (/.f64 (atan.f64 (-.f64 (/.f64 (-.f64 C A) B) 1)) PI.f64))))
	37.9b	(.f64 180 (/.f64 (atan.f64 (.f64 (/.f64 1 B) (neg.f64 (+.f64 A (sqrt.f64 (+.f64 (.f64 B B) (.f64 A A))))))) PI.f64))
	50.8b	(.f64 180 (/.f64 (atan.f64 (.f64 (/.f64 1 B) (/.f64 (-.f64 (.f64 (-.f64 C A) (-.f64 C A)) (+.f64 (.f64 B B) (pow.f64 (-.f64 A C) 2))) (+.f64 (-.f64 C A) (sqrt.f64 (+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2))))))) PI.f64))
✓	33.3b	(.f64 180 (.f64 (/.f64 1 (sqrt.f64 PI.f64)) (/.f64 (atan.f64 (/.f64 (-.f64 (-.f64 C A) (sqrt.f64 (+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2)))) B)) (sqrt.f64 PI.f64))))
	44.1b	(.f64 180 (/.f64 (atan.f64 (.f64 1/2 (+.f64 (/.f64 B A) (/.f64 C (/.f64 (*.f64 A A) B))))) PI.f64))
	42.5b	(.f64 180 (/.f64 (atan.f64 (+.f64 (+.f64 (.f64 1/2 (+.f64 (.f64 (/.f64 C B) (/.f64 C B)) (.f64 (/.f64 A B) (/.f64 A B)))) 1) (-.f64 (/.f64 C B) (+.f64 (/.f64 A B) (*.f64 (/.f64 C B) (/.f64 A B)))))) PI.f64))
	47.9b	(.f64 180 (/.f64 (atan.f64 (.f64 (/.f64 1 B) (.f64 1/2 (/.f64 (.f64 B B) A)))) PI.f64))
	47.9b	(.f64 180 (.f64 (/.f64 1 (sqrt.f64 PI.f64)) (/.f64 (atan.f64 (/.f64 (.f64 1/2 (/.f64 (.f64 B B) A)) B)) (sqrt.f64 PI.f64))))
	50.0b	(.f64 180 (.f64 (/.f64 1 (sqrt.f64 PI.f64)) (/.f64 (atan.f64 (/.f64 (.f64 (/.f64 (.f64 B B) C) -1/2) B)) (sqrt.f64 PI.f64))))
	46.2b	(.f64 180 (/.f64 (atan.f64 (.f64 -1/2 (+.f64 (/.f64 A (/.f64 (*.f64 C C) B)) (/.f64 B C)))) PI.f64))

Compiler

Compiled 2361 to 1286 computations (45.5% saved)

localize17.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(cbrt.f64 (/.f64 (atan.f64 (-.f64 (/.f64 (-.f64 C A) B) 1)) PI.f64))
0.0b	(cbrt.f64 (/.f64 (atan.f64 (-.f64 (/.f64 (-.f64 C A) B) 1)) PI.f64))
0.0b	(cbrt.f64 (/.f64 (atan.f64 (-.f64 (/.f64 (-.f64 C A) B) 1)) PI.f64))
0.5b	(*.f64 (cbrt.f64 (/.f64 (atan.f64 (-.f64 (/.f64 (-.f64 C A) B) 1)) PI.f64)) (cbrt.f64 (/.f64 (atan.f64 (-.f64 (/.f64 (-.f64 C A) B) 1)) PI.f64)))

rewrite229.0ms (2.1%)

Algorithm

1×	rewrite-expression-head

Error

0.6b

Rules

103×	`cbrt-prod_binary64`
81×	`add-sqr-sqrt_binary64`
69×	`times-frac_binary64`
57×	`add-cube-cbrt_binary64` `*-un-lft-identity_binary64`
16×	`swap-sqr_binary64` `associate-l_binary64` `associate-r_binary64`

Counts

4 → 144

Calls

4 calls:

16.0ms	(*.f64 (cbrt.f64 (/.f64 (atan.f64 (-.f64 (/.f64 (-.f64 C A) B) 1)) PI.f64)) (cbrt.f64 (/.f64 (atan.f64 (-.f64 (/.f64 (-.f64 C A) B) 1)) PI.f64)))
3.0ms	(cbrt.f64 (/.f64 (atan.f64 (-.f64 (/.f64 (-.f64 C A) B) 1)) PI.f64))
2.0ms	(cbrt.f64 (/.f64 (atan.f64 (-.f64 (/.f64 (-.f64 C A) B) 1)) PI.f64))
2.0ms	(cbrt.f64 (/.f64 (atan.f64 (-.f64 (/.f64 (-.f64 C A) B) 1)) PI.f64))

Compiler

Compiled 7151 to 3763 computations (47.4% saved)

series454.0ms (4.2%)

Error

0.6b

Counts

4 → 36

Calls

4 calls:

143.0ms	(*.f64 (cbrt.f64 (/.f64 (atan.f64 (-.f64 (/.f64 (-.f64 C A) B) 1)) PI.f64)) (cbrt.f64 (/.f64 (atan.f64 (-.f64 (/.f64 (-.f64 C A) B) 1)) PI.f64)))
103.0ms	(cbrt.f64 (/.f64 (atan.f64 (-.f64 (/.f64 (-.f64 C A) B) 1)) PI.f64))
102.0ms	(cbrt.f64 (/.f64 (atan.f64 (-.f64 (/.f64 (-.f64 C A) B) 1)) PI.f64))
100.0ms	(cbrt.f64 (/.f64 (atan.f64 (-.f64 (/.f64 (-.f64 C A) B) 1)) PI.f64))

Compiler

Compiled 3107 to 2142 computations (31.1% saved)

simplify251.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

682×	`times-frac_binary64`
530×	`log-div_binary64`
453×	`distribute-rgt-in_binary64`
409×	`distribute-lft-in_binary64`
285×	`associate-/l*_binary64`

Counts

180 → 167

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	141	6092
1	217	5672
2	676	5555
3	854	5511
4	3081	5256
5	4754	5256
6	5115	5256

prune132.0ms (1.2%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	167	0	167
Fresh	0	8	8
Picked	0	1	1
Done	0	1	1
Total	167	10	177

Error

0.6b

Counts

177 → 10

Alt Table

Status	Error	Program
	35.4b	(.f64 180 (.f64 (*.f64 (cbrt.f64 (/.f64 (atan.f64 (-.f64 (/.f64 (-.f64 C A) B) 1)) PI.f64)) (cbrt.f64 (/.f64 (atan.f64 (-.f64 (/.f64 (-.f64 C A) B) 1)) PI.f64))) (cbrt.f64 (/.f64 (atan.f64 (-.f64 (/.f64 (-.f64 C A) B) 1)) PI.f64))))
	37.9b	(.f64 180 (/.f64 (atan.f64 (.f64 (/.f64 1 B) (neg.f64 (+.f64 A (sqrt.f64 (+.f64 (.f64 B B) (.f64 A A))))))) PI.f64))
	50.8b	(.f64 180 (/.f64 (atan.f64 (.f64 (/.f64 1 B) (/.f64 (-.f64 (.f64 (-.f64 C A) (-.f64 C A)) (+.f64 (.f64 B B) (pow.f64 (-.f64 A C) 2))) (+.f64 (-.f64 C A) (sqrt.f64 (+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2))))))) PI.f64))
	33.3b	(.f64 180 (.f64 (/.f64 1 (sqrt.f64 PI.f64)) (/.f64 (atan.f64 (/.f64 (-.f64 (-.f64 C A) (sqrt.f64 (+.f64 (*.f64 B B) (pow.f64 (-.f64 A C) 2)))) B)) (sqrt.f64 PI.f64))))
	44.1b	(.f64 180 (/.f64 (atan.f64 (.f64 1/2 (+.f64 (/.f64 B A) (/.f64 C (/.f64 (*.f64 A A) B))))) PI.f64))
	42.5b	(.f64 180 (/.f64 (atan.f64 (+.f64 (+.f64 (.f64 1/2 (+.f64 (.f64 (/.f64 C B) (/.f64 C B)) (.f64 (/.f64 A B) (/.f64 A B)))) 1) (-.f64 (/.f64 C B) (+.f64 (/.f64 A B) (*.f64 (/.f64 C B) (/.f64 A B)))))) PI.f64))
	47.9b	(.f64 180 (/.f64 (atan.f64 (.f64 (/.f64 1 B) (.f64 1/2 (/.f64 (.f64 B B) A)))) PI.f64))
	47.9b	(.f64 180 (.f64 (/.f64 1 (sqrt.f64 PI.f64)) (/.f64 (atan.f64 (/.f64 (.f64 1/2 (/.f64 (.f64 B B) A)) B)) (sqrt.f64 PI.f64))))
	50.0b	(.f64 180 (.f64 (/.f64 1 (sqrt.f64 PI.f64)) (/.f64 (atan.f64 (/.f64 (.f64 (/.f64 (.f64 B B) C) -1/2) B)) (sqrt.f64 PI.f64))))
	46.2b	(.f64 180 (/.f64 (atan.f64 (.f64 -1/2 (+.f64 (/.f64 A (/.f64 (*.f64 C C) B)) (/.f64 B C)))) PI.f64))

Compiler

Compiled 4693 to 2487 computations (47% saved)

regimes4.2s (38%)

Accuracy

Total 15.8b remaining (94.6%)

Threshold costs 0b (0%)

Compiler

Compiled 45205 to 33453 computations (26% saved)

bsearch13.0ms (0.1%)

Compiler: Compiled 21 to 15 computations (28.6% saved)

simplify8.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

13×	`+-commutative_binary64`
12×	`*-commutative_binary64`
10×	`sub-neg_binary64`
5×	`neg-mul-1_binary64` `neg-sub0_binary64`
2×	`unsub-neg_binary64` `distribute-neg-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	46	135
1	66	135
2	83	135
3	95	135
4	101	135
5	102	135
6	101	135

end2.0ms (0%)

Compiler: Compiled 89 to 61 computations (31.5% saved)

sample2.6s (23.8%)

Algorithm

1×

intervals

Results

652.0ms	833×	body	4096	valid
549.0ms	5513×	body	128	valid
490.0ms	846×	body	2048	valid
200.0ms	464×	body	1024	valid
69.0ms	227×	body	512	valid
23.0ms	117×	body	256	valid

Compiler

Compiled 406 to 273 computations (32.8% saved)

Details

analyze331.0ms (3%)

sample73.0ms (0.7%)

simplify74.0ms (0.7%)

prune5.0ms (0%)

localize20.0ms (0.2%)

rewrite395.0ms (3.6%)

series515.0ms (4.7%)

simplify211.0ms (1.9%)

prune208.0ms (1.9%)

localize20.0ms (0.2%)

rewrite117.0ms (1.1%)

series290.0ms (2.7%)

simplify155.0ms (1.4%)

prune107.0ms (1%)

localize10.0ms (0.1%)

rewrite150.0ms (1.4%)

series132.0ms (1.2%)

simplify145.0ms (1.3%)

prune101.0ms (0.9%)

localize17.0ms (0.2%)

rewrite229.0ms (2.1%)

series454.0ms (4.2%)

simplify251.0ms (2.3%)

prune132.0ms (1.2%)

regimes4.2s (38%)

bsearch13.0ms (0.1%)

simplify8.0ms (0.1%)

end2.0ms (0%)

sample2.6s (23.8%)

Profiling