Details

analyze732.0ms (9.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
12.5%	87.4%	0.1%	5
18.7%	81.1%	0.1%	6
21.8%	71.8%	6.4%	7
31.2%	62.4%	6.4%	8
35.9%	55.4%	8.7%	9
37.8%	48.8%	13.4%	10
42.7%	42.3%	15%	11
47.7%	34.2%	18.1%	12
49.1%	30.4%	20.5%	13
51.9%	25.8%	22.3%	14

Compiler

Compiled 21 to 15 computations (28.6% saved)

sample41.0ms (0.6%)

Algorithm

1×

intervals

Results

10.0ms	42×	body	2048	valid
8.0ms	154×	body	128	valid
6.0ms	30×	body	1024	valid
3.0ms	12×	body	4096	valid
1.0ms	25×	body	128	nan
1.0ms	8×	body	512	valid
1.0ms	10×	body	256	valid
0.0ms	8×	body	128	invalid

Compiler

Compiled 44 to 32 computations (27.3% saved)

simplify328.0ms (4.4%)

Algorithm

1×	egg-herbie

Rules

1319×	`div-sub_binary64`
932×	`unsub-neg_binary64`
843×	`associate-/l*_binary64`
678×	`distribute-rgt-in_binary64`
643×	`distribute-lft-in_binary64`

Counts

1 → 1

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	15	26
1	37	26
2	93	26
3	213	24
4	320	24
5	522	24
6	913	24
7	995	24
8	1154	24
9	1806	24
10	2663	24
11	2356	24
12	2303	24
13	2372	24
14	2398	24
15	2585	24
16	3881	24
17	3563	24
18	3397	24
19	3505	24
20	3509	24
21	3623	24
22	3691	24
23	3691	24
24	2163	24
25	2363	24
26	2081	24
27	2083	24
28	2083	24
29	2083	24
30	1834	24

prune4.0ms (0.1%)

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

35.9b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	35.9b	(.f64 -1/2 (/.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) a))

Compiler

Compiled 57 to 39 computations (31.6% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(/.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))) a)
0.4b	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))
1.6b	(+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))
19.9b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))

rewrite171.0ms (2.3%)

Algorithm

1×	rewrite-expression-head

Error

35.6b

Rules

24×	`*-un-lft-identity_binary64`
15×	`add-sqr-sqrt_binary64`
14×	`add-cube-cbrt_binary64`
12×	`times-frac_binary64`
8×	`add-log-exp_binary64`

Counts

4 → 72

Calls

4 calls:

8.0ms	(/.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))) a)
7.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
6.0ms	(+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))
4.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))

Compiler

Compiled 1906 to 971 computations (49.1% saved)

series216.0ms (2.9%)

Error

5.8b

Counts

4 → 68

Calls

4 calls:

61.0ms	(/.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))) a)
43.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
42.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))
41.0ms	(+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))

Compiler

Compiled 2735 to 1962 computations (28.3% saved)

simplify85.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

581×	`associate-l_binary64`
572×	`times-frac_binary64`
532×	`associate-r_binary64`
295×	`associate-/l*_binary64`
281×	`associate-/r*_binary64`

Counts

140 → 76

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	167	2920
1	412	2755
2	1147	2737
3	5054	2737

prune68.0ms (0.9%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	64	12	76
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	64	13	77

Error

9.3b

Counts

77 → 13

Alt Table

Status	Error	Program
	51.1b	(.f64 -1/2 (/.f64 (+.f64 b (sqrt.f64 (/.f64 (-.f64 (pow.f64 b 4) (.f64 a (.f64 (.f64 (.f64 a c) 16) c))) (+.f64 (.f64 4 (.f64 a c)) (.f64 b b))))) a))
	47.7b	(.f64 -1/2 (.f64 2 (-.f64 (/.f64 b a) (/.f64 c b))))
	47.6b	(.f64 -1/2 (/.f64 (.f64 b 2) a))
	54.1b	(.f64 -1/2 (/.f64 (+.f64 b (sqrt.f64 (cbrt.f64 (pow.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))) 3)))) a))
	45.4b	(.f64 -1/2 (/.f64 (sqrt.f64 (.f64 a (*.f64 c -4))) a))
▶	30.6b	(.f64 -1/2 (/.f64 (/.f64 (.f64 4 (.f64 a c)) (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) a))
	45.5b	(.f64 -1/2 (/.f64 (.f64 2 (+.f64 (/.f64 (.f64 a c) b) (/.f64 (.f64 (.f64 a c) (.f64 a c)) (pow.f64 b 3)))) a))
	44.7b	(.f64 -1/2 (.f64 2 (+.f64 (/.f64 c b) (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3)))))
	57.9b	(*.f64 -1/2 (/.f64 (+.f64 b (neg.f64 b)) a))
	36.1b	(.f64 -1/2 (.f64 (sqrt.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) (/.f64 (sqrt.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) a)))
	36.4b	(.f64 -1/2 (.f64 (.f64 (cbrt.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) (cbrt.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))))) (/.f64 (cbrt.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) a)))
✓	35.9b	(.f64 -1/2 (/.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) a))
	52.0b	(.f64 -1/2 (cbrt.f64 (pow.f64 (/.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) a) 3)))

Compiler

Compiled 1510 to 907 computations (39.9% saved)

localize13.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.4b	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))
4.4b	(/.f64 (/.f64 (.f64 4 (.f64 a c)) (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))) a)
8.1b	(/.f64 (.f64 4 (.f64 a c)) (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))))
19.9b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))

rewrite194.0ms (2.6%)

Algorithm

1×	rewrite-expression-head

Error

9.2b

Rules

66×	`times-frac_binary64`
53×	`add-sqr-sqrt_binary64`
40×	`*-un-lft-identity_binary64`
28×	`add-cube-cbrt_binary64`
27×	`add-exp-log_binary64` `add-cbrt-cube_binary64`

Counts

4 → 128

Calls

4 calls:

14.0ms	(/.f64 (/.f64 (.f64 4 (.f64 a c)) (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))) a)
12.0ms	(/.f64 (.f64 4 (.f64 a c)) (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
4.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))

Compiler

Compiled 4478 to 2243 computations (49.9% saved)

series292.0ms (3.9%)

Error

7.6b

Counts

4 → 71

Calls

4 calls:

83.0ms	(/.f64 (/.f64 (.f64 4 (.f64 a c)) (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))) a)
80.0ms	(/.f64 (.f64 4 (.f64 a c)) (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))))
51.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
45.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))

Compiler

Compiled 3773 to 2598 computations (31.1% saved)

simplify236.0ms (3.2%)

Algorithm

1×	egg-herbie

Rules

254×	`distribute-rgt-neg-in_binary64`
248×	`associate-/l*_binary64`
244×	`cancel-sign-sub-inv_binary64`
238×	`times-frac_binary64` `distribute-lft-neg-in_binary64`
196×	`distribute-rgt-in_binary64`

Counts

199 → 138

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	302	6470
1	808	5869
2	3029	5697
3	4796	5697
4	4984	5697
5	4983	5697

prune107.0ms (1.4%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	132	6	138
Fresh	7	4	11
Picked	0	1	1
Done	0	1	1
Total	139	12	151

Error

6.9b

Counts

151 → 12

Alt Table

Status	Error	Program
	47.7b	(.f64 -1/2 (.f64 2 (-.f64 (/.f64 b a) (/.f64 c b))))
	47.6b	(.f64 -1/2 (/.f64 (.f64 b 2) a))
	32.5b	(.f64 -1/2 (.f64 (.f64 4 (.f64 a c)) (/.f64 (/.f64 1 (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))) a)))
	47.4b	(.f64 -1/2 (.f64 -4 (/.f64 c (sqrt.f64 (.f64 a (.f64 c -4))))))
	41.8b	(.f64 -1/2 (/.f64 (/.f64 (.f64 4 (*.f64 a c)) (-.f64 b (neg.f64 b))) a))
✓	30.6b	(.f64 -1/2 (/.f64 (/.f64 (.f64 4 (.f64 a c)) (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) a))
	27.9b	(.f64 -1/2 (.f64 (/.f64 4 (.f64 (cbrt.f64 (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) (cbrt.f64 (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))))) (.f64 1 (/.f64 c (cbrt.f64 (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))))))))
	44.7b	(.f64 -1/2 (.f64 2 (+.f64 (/.f64 c b) (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3)))))
▶	27.4b	(.f64 -1/2 (.f64 4 (.f64 1 (/.f64 c (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))))))
	36.4b	(.f64 -1/2 (.f64 (.f64 (cbrt.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) (cbrt.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))))) (/.f64 (cbrt.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) a)))
✓	35.9b	(.f64 -1/2 (/.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) a))
	28.1b	(.f64 -1/2 (.f64 (.f64 (cbrt.f64 (/.f64 4 (.f64 1 (/.f64 (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) c)))) (cbrt.f64 (/.f64 4 (.f64 1 (/.f64 (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) c))))) (cbrt.f64 (/.f64 4 (.f64 1 (/.f64 (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))) c))))))

Compiler

Compiled 3040 to 1718 computations (43.5% saved)

localize15.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.1b	(/.f64 c (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))))
0.3b	(-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))
0.4b	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))
19.9b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))

rewrite127.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Error

6.9b

Rules

39×	`add-sqr-sqrt_binary64`
28×	`*-un-lft-identity_binary64`
18×	`add-cube-cbrt_binary64` `times-frac_binary64`
11×	`sqrt-prod_binary64`
10×	`difference-of-squares_binary64`

Counts

4 → 88

Calls

4 calls:

9.0ms	(/.f64 c (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))))
6.0ms	(-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
4.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))

Compiler

Compiled 2537 to 1439 computations (43.3% saved)

series260.0ms (3.5%)

Error

5.7b

Counts

4 → 73

Calls

4 calls:

76.0ms	(/.f64 c (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))))
54.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
54.0ms	(-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))
44.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))

Compiler

Compiled 3709 to 2796 computations (24.6% saved)

simplify172.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

910×	`times-frac_binary64`
493×	`associate-/l*_binary64`
239×	`cancel-sign-sub-inv_binary64`
178×	`distribute-rgt-neg-in_binary64`
159×	`distribute-lft-neg-in_binary64`

Counts

161 → 98

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	202	3793
1	508	3610
2	1474	3581
3	4843	3581
4	4998	3581
5	4931	3581

prune71.0ms (0.9%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	94	4	98
Fresh	6	3	9
Picked	1	0	1
Done	1	1	2
Total	102	8	110

Error

5.7b

Counts

110 → 8

Alt Table

Status	Error	Program
	36.5b	(.f64 -1/2 (.f64 4 (.f64 1 (/.f64 c (.f64 b 2)))))
	47.7b	(.f64 -1/2 (.f64 2 (-.f64 (/.f64 b a) (/.f64 c b))))
	47.6b	(.f64 -1/2 (/.f64 (.f64 b 2) a))
✓	30.6b	(.f64 -1/2 (/.f64 (/.f64 (.f64 4 (.f64 a c)) (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) a))
	44.7b	(.f64 -1/2 (.f64 2 (+.f64 (/.f64 c b) (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3)))))
	40.2b	(.f64 -1/2 (.f64 4 (.f64 1 (/.f64 c (/.f64 (.f64 4 (.f64 a c)) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))))))))
▶	27.6b	(.f64 -1/2 (.f64 4 (.f64 1 (/.f64 c (-.f64 b (sqrt.f64 (+.f64 (.f64 b b) (.f64 a (.f64 c -4)))))))))
	38.6b	(.f64 -1/2 (.f64 4 (.f64 1 (.f64 (/.f64 c (.f64 4 (.f64 a c))) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))))))

Compiler

Compiled 1703 to 1075 computations (36.9% saved)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 a (.f64 c -4))
0.3b	(-.f64 b (sqrt.f64 (+.f64 (.f64 b b) (.f64 a (*.f64 c -4)))))
0.4b	(+.f64 (.f64 b b) (.f64 a (*.f64 c -4)))
19.9b	(sqrt.f64 (+.f64 (.f64 b b) (.f64 a (*.f64 c -4))))

rewrite93.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

5.7b

Rules

13×	`add-sqr-sqrt_binary64`
10×	`pow1_binary64` `*-un-lft-identity_binary64`
9×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
8×	`add-log-exp_binary64` `add-cube-cbrt_binary64`
7×	`sqrt-prod_binary64`

Counts

4 → 64

Calls

4 calls:

7.0ms	(-.f64 b (sqrt.f64 (+.f64 (.f64 b b) (.f64 a (*.f64 c -4)))))
7.0ms	(sqrt.f64 (+.f64 (.f64 b b) (.f64 a (*.f64 c -4))))
5.0ms	(.f64 a (.f64 c -4))
5.0ms	(+.f64 (.f64 b b) (.f64 a (*.f64 c -4)))

Compiler

Compiled 1750 to 1118 computations (36.1% saved)

series188.0ms (2.5%)

Error

5.7b

Counts

4 → 60

Calls

4 calls:

54.0ms	(sqrt.f64 (+.f64 (.f64 b b) (.f64 a (*.f64 c -4))))
51.0ms	(-.f64 b (sqrt.f64 (+.f64 (.f64 b b) (.f64 a (*.f64 c -4)))))
44.0ms	(+.f64 (.f64 b b) (.f64 a (*.f64 c -4)))
18.0ms	(.f64 a (.f64 c -4))

Compiler

Compiled 2914 to 2207 computations (24.3% saved)

simplify129.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

419×	`times-frac_binary64`
264×	`cancel-sign-sub-inv_binary64`
199×	`distribute-rgt-neg-in_binary64`
186×	`associate-/r*_binary64`
168×	`associate-/l*_binary64`

Counts

124 → 91

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	151	2086
1	396	2013
2	1335	1998
3	4522	1998
4	4997	1998
5	4946	1998

prune58.0ms (0.8%)

Pruning

8 alts after pruning (6 fresh and 2 done)

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

Error

5.7b

Counts

99 → 8

Alt Table

Status	Error	Program
	36.5b	(.f64 -1/2 (.f64 4 (.f64 1 (/.f64 c (.f64 b 2)))))
	47.7b	(.f64 -1/2 (.f64 2 (-.f64 (/.f64 b a) (/.f64 c b))))
	47.6b	(.f64 -1/2 (/.f64 (.f64 b 2) a))
	30.6b	(.f64 -1/2 (/.f64 (/.f64 (.f64 4 (.f64 a c)) (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) a))
	44.7b	(.f64 -1/2 (.f64 2 (+.f64 (/.f64 c b) (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3)))))
	40.2b	(.f64 -1/2 (.f64 4 (.f64 1 (/.f64 c (/.f64 (.f64 4 (.f64 a c)) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))))))))
	27.6b	(.f64 -1/2 (.f64 4 (.f64 1 (/.f64 c (-.f64 b (sqrt.f64 (+.f64 (.f64 b b) (.f64 a (.f64 c -4)))))))))
	38.6b	(.f64 -1/2 (.f64 4 (.f64 1 (.f64 (/.f64 c (.f64 4 (.f64 a c))) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))))))

Compiler

Compiled 1502 to 940 computations (37.4% saved)

regimes2.3s (30.9%)

Accuracy

Total 1.6b remaining (23.2%)

Threshold costs 0b (0%)

Compiler

Compiled 22360 to 14398 computations (35.6% saved)

bsearch93.0ms (1.2%)

Steps

Iters	Range		Point
8	8.034007929955066e+24	2.3521228756681816e+29	6.348439777291772e+28
10	3.00046594559167e-281	2.2289934328663728e-265	2.5667485142178064e-277
7	-2.9970687513196284e+91	-1.5071127830060862e+90	-2.9693179566993932e+91

Compiler

Compiled 4 to 3 computations (25% saved)

simplify8.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

21×	`*-commutative_binary64`
17×	`+-commutative_binary64`
16×	`sub-neg_binary64`
11×	`neg-mul-1_binary64` `neg-sub0_binary64`
6×	`cancel-sign-sub-inv_binary64` `distribute-rgt-neg-in_binary64` `distribute-lft-neg-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	42	100
1	75	100
2	97	100
3	123	100
4	139	100
5	148	100
6	151	100
7	148	100

end4.0ms (0%)

Compiler: Compiled 70 to 48 computations (31.4% saved)

sample1.4s (19.3%)

Algorithm

1×

intervals

Results

278.0ms	1154×	body	2048	valid
264.0ms	5134×	body	128	valid
142.0ms	737×	body	1024	valid
122.0ms	399×	body	4096	valid
50.0ms	360×	body	512	valid
33.0ms	711×	body	128	nan
23.0ms	216×	body	256	valid
20.0ms	357×	body	128	invalid

Compiler

Compiled 258 to 183 computations (29.1% saved)

Details

analyze732.0ms (9.8%)

sample41.0ms (0.6%)

simplify328.0ms (4.4%)

prune4.0ms (0.1%)

localize11.0ms (0.1%)

rewrite171.0ms (2.3%)

series216.0ms (2.9%)

simplify85.0ms (1.1%)

prune68.0ms (0.9%)

localize13.0ms (0.2%)

rewrite194.0ms (2.6%)

series292.0ms (3.9%)

simplify236.0ms (3.2%)

prune107.0ms (1.4%)

localize15.0ms (0.2%)

rewrite127.0ms (1.7%)

series260.0ms (3.5%)

simplify172.0ms (2.3%)

prune71.0ms (0.9%)

localize14.0ms (0.2%)

rewrite93.0ms (1.2%)

series188.0ms (2.5%)

simplify129.0ms (1.7%)

prune58.0ms (0.8%)

regimes2.3s (30.9%)

bsearch93.0ms (1.2%)

simplify8.0ms (0.1%)

end4.0ms (0%)

sample1.4s (19.3%)

Profiling