Details

analyze405.0ms (4.7%)

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)

sample102.0ms (1.2%)

Algorithm

1×

intervals

Results

31.0ms	28×	body	4096	valid
25.0ms	30×	body	2048	valid
21.0ms	169×	body	128	valid
9.0ms	17×	body	1024	valid
4.0ms	9×	body	512	valid
1.0ms	3×	body	256	valid

Compiler

Compiled 56 to 44 computations (21.4% saved)

simplify75.0ms (0.9%)

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

prune3.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

29.0b

Counts

2 → 1

Alt Table

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

Compiler

Compiled 72 to 51 computations (29.2% saved)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 (atan.f64 (/.f64 (-.f64 (-.f64 C A) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (*.f64 B B)))) B)) PI.f64)
0.0b	(.f64 180 (/.f64 (atan.f64 (/.f64 (-.f64 (-.f64 C A) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (.f64 B B)))) B)) PI.f64))
0.0b	(/.f64 (-.f64 (-.f64 C A) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (*.f64 B B)))) B)
37.0b	(sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (*.f64 B B)))

rewrite149.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Error

28.9b

Rules

55×	`add-sqr-sqrt_binary64`
53×	`*-un-lft-identity_binary64`
40×	`times-frac_binary64`
33×	`add-cube-cbrt_binary64`
13×	`associate-r_binary64`

Counts

4 → 124

Calls

4 calls:

17.0ms	(/.f64 (-.f64 (-.f64 C A) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (*.f64 B B)))) B)
7.0ms	(.f64 180 (/.f64 (atan.f64 (/.f64 (-.f64 (-.f64 C A) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (.f64 B B)))) B)) PI.f64))
6.0ms	(sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (*.f64 B B)))
4.0ms	(/.f64 (atan.f64 (/.f64 (-.f64 (-.f64 C A) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (*.f64 B B)))) B)) PI.f64)

Compiler

Compiled 4289 to 2057 computations (52% saved)

series354.0ms (4.1%)

Error

0.4b

Counts

4 → 76

Calls

4 calls:

98.0ms	(/.f64 (-.f64 (-.f64 C A) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (*.f64 B B)))) B)
85.0ms	(sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (*.f64 B B)))
62.0ms	(.f64 180 (/.f64 (atan.f64 (/.f64 (-.f64 (-.f64 C A) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (.f64 B B)))) B)) PI.f64))
45.0ms	(/.f64 (atan.f64 (/.f64 (-.f64 (-.f64 C A) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (*.f64 B B)))) B)) PI.f64)

Compiler

Compiled 6074 to 4416 computations (27.3% saved)

simplify219.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

397×	`sub-neg_binary64`
203×	`*-commutative_binary64`
199×	`+-commutative_binary64`
197×	`associate-/l*_binary64`
189×	`times-frac_binary64`

Counts

200 → 175

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	479	7708
1	1256	7132
2	4036	7129
3	4839	7129
4	4956	7129

prune136.0ms (1.6%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	169	6	175
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	169	7	176

Error

0.8b

Counts

176 → 7

Alt Table

Status	Error	Program
	45.0b	(.f64 180 (/.f64 (atan.f64 (+.f64 (.f64 1/2 (+.f64 (/.f64 B C) (/.f64 A (/.f64 (.f64 C C) B)))) (.f64 2 (/.f64 (-.f64 C A) B)))) PI.f64))
✓	29.0b	(.f64 180 (/.f64 (atan.f64 (/.f64 (-.f64 (-.f64 C A) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (.f64 B B)))) B)) PI.f64))
	42.6b	(.f64 180 (/.f64 (atan.f64 (.f64 -1/2 (+.f64 (/.f64 B C) (/.f64 A (/.f64 (*.f64 C C) B))))) PI.f64))
▶	30.1b	(*.f64 180 (/.f64 (atan.f64 (+.f64 1 (/.f64 (-.f64 C A) B))) PI.f64))
	47.2b	(.f64 180 (/.f64 (atan.f64 (-.f64 (+.f64 (/.f64 C B) (.f64 (/.f64 C B) (/.f64 A B))) (+.f64 1 (+.f64 (/.f64 A B) (.f64 1/2 (+.f64 (.f64 (/.f64 C B) (/.f64 C B)) (*.f64 (/.f64 A B) (/.f64 A B)))))))) PI.f64))
	34.3b	(.f64 180 (/.f64 (atan.f64 (-.f64 (/.f64 (-.f64 C (+.f64 A (sqrt.f64 (+.f64 (.f64 A A) (.f64 C (-.f64 C (.f64 2 A))))))) B) (.f64 1/2 (.f64 B (sqrt.f64 (/.f64 1 (+.f64 (.f64 A A) (.f64 C (-.f64 C (*.f64 2 A)))))))))) PI.f64))
	42.0b	(.f64 180 (/.f64 (atan.f64 (.f64 1/2 (+.f64 (/.f64 B A) (/.f64 C (/.f64 (*.f64 A A) B))))) PI.f64))

Compiler

Compiled 5388 to 2606 computations (51.6% saved)

localize8.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite92.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

0.8b

Rules

43×	`add-sqr-sqrt_binary64`
38×	`*-un-lft-identity_binary64`
34×	`times-frac_binary64`
30×	`add-cube-cbrt_binary64`
13×	`associate-r_binary64`

Counts

4 → 104

Calls

4 calls:

5.0ms	(*.f64 180 (/.f64 (atan.f64 (+.f64 1 (/.f64 (-.f64 C A) B))) PI.f64))
5.0ms	(/.f64 (-.f64 C A) B)
2.0ms	(/.f64 (atan.f64 (+.f64 1 (/.f64 (-.f64 C A) B))) PI.f64)
1.0ms	(atan.f64 (+.f64 1 (/.f64 (-.f64 C A) B)))

Compiler

Compiled 2134 to 1094 computations (48.7% saved)

series102.0ms (1.2%)

Error

0.8b

Counts

4 → 42

Calls

4 calls:

31.0ms	(*.f64 180 (/.f64 (atan.f64 (+.f64 1 (/.f64 (-.f64 C A) B))) PI.f64))
26.0ms	(/.f64 (-.f64 C A) B)
25.0ms	(/.f64 (atan.f64 (+.f64 1 (/.f64 (-.f64 C A) B))) PI.f64)
15.0ms	(atan.f64 (+.f64 1 (/.f64 (-.f64 C A) B)))

Compiler

Compiled 1379 to 1058 computations (23.3% saved)

simplify133.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

707×	`div-sub_binary64`
409×	`associate-/r*_binary64`
338×	`distribute-rgt-in_binary64`
331×	`distribute-lft-in_binary64`
289×	`associate-/r/_binary64`

Counts

146 → 106

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	169	2808
1	354	2577
2	815	2577
3	1849	2577
4	3762	2577
5	5005	2577

prune48.0ms (0.6%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	105	1	106
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	105	8	113

Error

0.8b

Counts

113 → 8

Alt Table

Status	Error	Program
▶	30.3b	(*.f64 180 (log.f64 (exp.f64 (/.f64 (atan.f64 (-.f64 1 (/.f64 (-.f64 A C) B))) PI.f64))))
	34.3b	(.f64 180 (/.f64 (atan.f64 (-.f64 (/.f64 (-.f64 C (+.f64 A (sqrt.f64 (+.f64 (.f64 A A) (.f64 C (-.f64 C (.f64 2 A))))))) B) (.f64 1/2 (.f64 B (sqrt.f64 (/.f64 1 (+.f64 (.f64 A A) (.f64 C (-.f64 C (*.f64 2 A)))))))))) PI.f64))
	45.0b	(.f64 180 (/.f64 (atan.f64 (+.f64 (.f64 1/2 (+.f64 (/.f64 B C) (/.f64 A (/.f64 (.f64 C C) B)))) (.f64 2 (/.f64 (-.f64 C A) B)))) PI.f64))
✓	29.0b	(.f64 180 (/.f64 (atan.f64 (/.f64 (-.f64 (-.f64 C A) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (.f64 B B)))) B)) PI.f64))
	42.6b	(.f64 180 (/.f64 (atan.f64 (.f64 -1/2 (+.f64 (/.f64 B C) (/.f64 A (/.f64 (*.f64 C C) B))))) PI.f64))
✓	30.1b	(*.f64 180 (/.f64 (atan.f64 (+.f64 1 (/.f64 (-.f64 C A) B))) PI.f64))
	47.2b	(.f64 180 (/.f64 (atan.f64 (-.f64 (+.f64 (/.f64 C B) (.f64 (/.f64 C B) (/.f64 A B))) (+.f64 1 (+.f64 (/.f64 A B) (.f64 1/2 (+.f64 (.f64 (/.f64 C B) (/.f64 C B)) (*.f64 (/.f64 A B) (/.f64 A B)))))))) PI.f64))
	42.0b	(.f64 180 (/.f64 (atan.f64 (.f64 1/2 (+.f64 (/.f64 B A) (/.f64 C (/.f64 (*.f64 A A) B))))) PI.f64))

Compiler

Compiled 1697 to 951 computations (44% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(*.f64 180 (log.f64 (exp.f64 (/.f64 (atan.f64 (-.f64 1 (/.f64 (-.f64 A C) B))) PI.f64))))
0.0b	(/.f64 (-.f64 A C) B)
0.0b	(/.f64 (atan.f64 (-.f64 1 (/.f64 (-.f64 A C) B))) PI.f64)
0.6b	(log.f64 (exp.f64 (/.f64 (atan.f64 (-.f64 1 (/.f64 (-.f64 A C) B))) PI.f64)))

rewrite120.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

0.8b

Rules

51×	`add-sqr-sqrt_binary64`
49×	`*-un-lft-identity_binary64`
42×	`times-frac_binary64`
41×	`add-cube-cbrt_binary64`
28×	`log-pow_binary64`

Counts

4 → 128

Calls

4 calls:

9.0ms	(*.f64 180 (log.f64 (exp.f64 (/.f64 (atan.f64 (-.f64 1 (/.f64 (-.f64 A C) B))) PI.f64))))
5.0ms	(/.f64 (-.f64 A C) B)
3.0ms	(log.f64 (exp.f64 (/.f64 (atan.f64 (-.f64 1 (/.f64 (-.f64 A C) B))) PI.f64)))
2.0ms	(/.f64 (atan.f64 (-.f64 1 (/.f64 (-.f64 A C) B))) PI.f64)

Compiler

Compiled 2981 to 1671 computations (43.9% saved)

series207.0ms (2.4%)

Error

0.8b

Counts

4 → 42

Calls

4 calls:

75.0ms	(*.f64 180 (log.f64 (exp.f64 (/.f64 (atan.f64 (-.f64 1 (/.f64 (-.f64 A C) B))) PI.f64))))
74.0ms	(log.f64 (exp.f64 (/.f64 (atan.f64 (-.f64 1 (/.f64 (-.f64 A C) B))) PI.f64)))
26.0ms	(/.f64 (-.f64 A C) B)
25.0ms	(/.f64 (atan.f64 (-.f64 1 (/.f64 (-.f64 A C) B))) PI.f64)

Compiler

Compiled 1547 to 1226 computations (20.7% saved)

simplify154.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

752×	`associate-/l*_binary64`
418×	`associate-/l/_binary64`
329×	`distribute-rgt-in_binary64`
320×	`distribute-lft-in_binary64`
239×	`associate-/r/_binary64`

Counts

170 → 130

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	219	3465
1	395	3205
2	805	3199
3	1729	3199
4	4473	3199
5	5057	3199

prune70.0ms (0.8%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	129	1	130
Fresh	0	5	5
Picked	1	0	1
Done	1	1	2
Total	131	7	138

Error

0.8b

Counts

138 → 7

Alt Table

Status	Error	Program
	45.0b	(.f64 180 (/.f64 (atan.f64 (+.f64 (.f64 1/2 (+.f64 (/.f64 B C) (/.f64 A (/.f64 (.f64 C C) B)))) (.f64 2 (/.f64 (-.f64 C A) B)))) PI.f64))
✓	29.0b	(.f64 180 (/.f64 (atan.f64 (/.f64 (-.f64 (-.f64 C A) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (.f64 B B)))) B)) PI.f64))
	42.6b	(.f64 180 (/.f64 (atan.f64 (.f64 -1/2 (+.f64 (/.f64 B C) (/.f64 A (/.f64 (*.f64 C C) B))))) PI.f64))
	47.2b	(.f64 180 (/.f64 (atan.f64 (-.f64 (+.f64 (/.f64 C B) (.f64 (/.f64 C B) (/.f64 A B))) (+.f64 1 (+.f64 (/.f64 A B) (.f64 1/2 (+.f64 (.f64 (/.f64 C B) (/.f64 C B)) (*.f64 (/.f64 A B) (/.f64 A B)))))))) PI.f64))
▶	30.3b	(*.f64 180 (+.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 (atan.f64 (+.f64 1 (/.f64 (-.f64 C A) B))) PI.f64)))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 (atan.f64 (+.f64 1 (/.f64 (-.f64 C A) B))) PI.f64))))))
	34.3b	(.f64 180 (/.f64 (atan.f64 (-.f64 (/.f64 (-.f64 C (+.f64 A (sqrt.f64 (+.f64 (.f64 A A) (.f64 C (-.f64 C (.f64 2 A))))))) B) (.f64 1/2 (.f64 B (sqrt.f64 (/.f64 1 (+.f64 (.f64 A A) (.f64 C (-.f64 C (*.f64 2 A)))))))))) PI.f64))
	42.0b	(.f64 180 (/.f64 (atan.f64 (.f64 1/2 (+.f64 (/.f64 B A) (/.f64 C (/.f64 (*.f64 A A) B))))) PI.f64))

Compiler

Compiled 2368 to 1350 computations (43% saved)

localize17.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 (atan.f64 (+.f64 1 (/.f64 (-.f64 C A) B))) PI.f64)
0.0b	(/.f64 (atan.f64 (+.f64 1 (/.f64 (-.f64 C A) B))) PI.f64)
0.7b	(log.f64 (sqrt.f64 (exp.f64 (/.f64 (atan.f64 (+.f64 1 (/.f64 (-.f64 C A) B))) PI.f64))))
0.7b	(log.f64 (sqrt.f64 (exp.f64 (/.f64 (atan.f64 (+.f64 1 (/.f64 (-.f64 C A) B))) PI.f64))))

rewrite120.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

0.8b

Rules

38×	`*-un-lft-identity_binary64`
38×	`add-sqr-sqrt_binary64`
38×	`add-cube-cbrt_binary64`
36×	`times-frac_binary64`
32×	`log-pow_binary64`

Counts

4 → 114

Calls

4 calls:

4.0ms	(log.f64 (sqrt.f64 (exp.f64 (/.f64 (atan.f64 (+.f64 1 (/.f64 (-.f64 C A) B))) PI.f64))))
4.0ms	(log.f64 (sqrt.f64 (exp.f64 (/.f64 (atan.f64 (+.f64 1 (/.f64 (-.f64 C A) B))) PI.f64))))
3.0ms	(/.f64 (atan.f64 (+.f64 1 (/.f64 (-.f64 C A) B))) PI.f64)
3.0ms	(/.f64 (atan.f64 (+.f64 1 (/.f64 (-.f64 C A) B))) PI.f64)

Compiler

Compiled 4412 to 2554 computations (42.1% saved)

series225.0ms (2.6%)

Error

0.8b

Counts

4 → 36

Calls

4 calls:

84.0ms	(log.f64 (sqrt.f64 (exp.f64 (/.f64 (atan.f64 (+.f64 1 (/.f64 (-.f64 C A) B))) PI.f64))))
80.0ms	(log.f64 (sqrt.f64 (exp.f64 (/.f64 (atan.f64 (+.f64 1 (/.f64 (-.f64 C A) B))) PI.f64))))
29.0ms	(/.f64 (atan.f64 (+.f64 1 (/.f64 (-.f64 C A) B))) PI.f64)
29.0ms	(/.f64 (atan.f64 (+.f64 1 (/.f64 (-.f64 C A) B))) PI.f64)

Compiler

Compiled 2513 to 1916 computations (23.8% saved)

simplify263.0ms (3%)

Algorithm

1×	egg-herbie

Rules

505×	`log-prod_binary64`
444×	`log-pow_binary64`
421×	`associate-/l/_binary64`
367×	`times-frac_binary64`
299×	`associate-/l*_binary64`

Counts

150 → 92

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	114	3808
1	160	3544
2	270	3544
3	433	3544
4	661	3544
5	1066	3544
6	2553	3544
7	3645	3544
8	4386	3544
9	4944	3544
10	4988	3544

prune50.0ms (0.6%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	91	1	92
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	91	8	99

Error

0.8b

Counts

99 → 8

Alt Table

Status	Error	Program
	31.2b	(.f64 180 (+.f64 (+.f64 (.f64 (log.f64 (cbrt.f64 (sqrt.f64 (exp.f64 (/.f64 (atan.f64 (+.f64 1 (/.f64 (-.f64 C A) B))) PI.f64))))) 2) (log.f64 (cbrt.f64 (sqrt.f64 (exp.f64 (/.f64 (atan.f64 (+.f64 1 (/.f64 (-.f64 C A) B))) PI.f64)))))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 (atan.f64 (+.f64 1 (/.f64 (-.f64 C A) B))) PI.f64))))))
	42.0b	(.f64 180 (/.f64 (atan.f64 (.f64 1/2 (+.f64 (/.f64 B A) (/.f64 C (/.f64 (*.f64 A A) B))))) PI.f64))
	45.0b	(.f64 180 (/.f64 (atan.f64 (+.f64 (.f64 1/2 (+.f64 (/.f64 B C) (/.f64 A (/.f64 (.f64 C C) B)))) (.f64 2 (/.f64 (-.f64 C A) B)))) PI.f64))
	29.0b	(.f64 180 (/.f64 (atan.f64 (/.f64 (-.f64 (-.f64 C A) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (.f64 B B)))) B)) PI.f64))
	42.6b	(.f64 180 (/.f64 (atan.f64 (.f64 -1/2 (+.f64 (/.f64 B C) (/.f64 A (/.f64 (*.f64 C C) B))))) PI.f64))
	47.2b	(.f64 180 (/.f64 (atan.f64 (-.f64 (+.f64 (/.f64 C B) (.f64 (/.f64 C B) (/.f64 A B))) (+.f64 1 (+.f64 (/.f64 A B) (.f64 1/2 (+.f64 (.f64 (/.f64 C B) (/.f64 C B)) (*.f64 (/.f64 A B) (/.f64 A B)))))))) PI.f64))
	30.3b	(*.f64 180 (+.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 (atan.f64 (+.f64 1 (/.f64 (-.f64 C A) B))) PI.f64)))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 (atan.f64 (+.f64 1 (/.f64 (-.f64 C A) B))) PI.f64))))))
	34.3b	(.f64 180 (/.f64 (atan.f64 (-.f64 (/.f64 (-.f64 C (+.f64 A (sqrt.f64 (+.f64 (.f64 A A) (.f64 C (-.f64 C (.f64 2 A))))))) B) (.f64 1/2 (.f64 B (sqrt.f64 (/.f64 1 (+.f64 (.f64 A A) (.f64 C (-.f64 C (*.f64 2 A)))))))))) PI.f64))

Compiler

Compiled 2113 to 1232 computations (41.7% saved)

regimes2.3s (27%)

Accuracy

Total 15.7b remaining (95.2%)

Threshold costs 0b (0%)

Compiler

Compiled 29986 to 22195 computations (26% saved)

bsearch9.0ms (0.1%)

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

simplify10.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

21×	`+-commutative_binary64`
19×	`*-commutative_binary64`
16×	`sub-neg_binary64`
10×	`neg-sub0_binary64`
10×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	57	182
1	92	182
2	118	182
3	142	182
4	156	182
5	162	182
6	164	182
7	161	182

end2.0ms (0%)

Compiler: Compiled 119 to 77 computations (35.3% saved)

sample3.2s (37.3%)

Algorithm

1×

intervals

Results

894.0ms	889×	body	4096	valid
732.0ms	5424×	body	128	valid
616.0ms	817×	body	2048	valid
303.0ms	512×	body	1024	valid
118.0ms	217×	body	512	valid
42.0ms	141×	body	256	valid

Compiler

Compiled 414 to 277 computations (33.1% saved)

Details

analyze405.0ms (4.7%)

sample102.0ms (1.2%)

simplify75.0ms (0.9%)

prune3.0ms (0%)

localize14.0ms (0.2%)

rewrite149.0ms (1.7%)

series354.0ms (4.1%)

simplify219.0ms (2.5%)

prune136.0ms (1.6%)

localize8.0ms (0.1%)

rewrite92.0ms (1.1%)

series102.0ms (1.2%)

simplify133.0ms (1.5%)

prune48.0ms (0.6%)

localize12.0ms (0.1%)

rewrite120.0ms (1.4%)

series207.0ms (2.4%)

simplify154.0ms (1.8%)

prune70.0ms (0.8%)

localize17.0ms (0.2%)

rewrite120.0ms (1.4%)

series225.0ms (2.6%)

simplify263.0ms (3%)

prune50.0ms (0.6%)

regimes2.3s (27%)

bsearch9.0ms (0.1%)

simplify10.0ms (0.1%)

end2.0ms (0%)

sample3.2s (37.3%)

Profiling