Details

analyze409.0ms (6.2%)

Algorithm

1×

Search

True	Other	False	Iter
0%	0%	100%	0
0%	0%	100%	1
0%	0%	100%	2
0%	0%	100%	3
0%	0%	100%	4
0%	0%	100%	5
0%	0%	100%	6
0%	0%	100%	7
0%	0%	100%	8
0%	0%	100%	9
0%	0%	100%	10
0%	0%	100%	11
0%	0%	100%	12
0%	0%	100%	13
0%	0%	100%	14

Compiler

Compiled 33 to 24 computations (27.3% saved)

sample38.0ms (0.6%)

Algorithm

1×

intervals

Results

15.0ms	247×	body	128	valid
8.0ms	280×	pre	128	true
1.0ms	24×	body	128	nan
1.0ms	9×	body	256	valid

Compiler

Compiled 56 to 41 computations (26.8% saved)

simplify349.0ms (5.3%)

Algorithm

1×	egg-herbie

Rules

1261×	`associate-/l*_binary64`
1150×	`div-sub_binary64`
772×	`distribute-rgt-in_binary64`
702×	`distribute-lft-in_binary64`
619×	`times-frac_binary64`

Counts

1 → 1

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	26
1	32	24
2	65	24
3	128	24
4	178	24
5	287	24
6	460	24
7	754	24
8	1120	24
9	1142	24
10	1799	24
11	2162	24
12	1953	24
13	2041	24
14	2105	24
15	2131	24
16	2843	24
17	2603	24
18	2841	24
19	2951	24
20	3071	24
21	3113	24
22	3183	24
23	3171	24
24	3171	24
25	2191	24
26	2141	24
27	2105	24
28	2107	24
29	2107	24
30	2107	24
31	2107	24
32	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

27.3b

Counts

2 → 1

Alt Table

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

Compiler

Compiled 57 to 39 computations (31.6% saved)

localize10.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.1b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
0.2b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b) (.f64 a 2))
0.2b	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
27.1b	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))) b)

rewrite113.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Error

25.3b

Rules

21×	`add-sqr-sqrt_binary64`
14×	`*-un-lft-identity_binary64`
9×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
8×	`add-log-exp_binary64` `add-cube-cbrt_binary64`
6×	`difference-of-squares_binary64` `sqrt-prod_binary64` `times-frac_binary64` `associate-/l*_binary64`

Counts

4 → 74

Calls

4 calls:

11.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b) (.f64 a 2))
8.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))) b)
4.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

Compiler

Compiled 1903 to 1105 computations (41.9% saved)

series219.0ms (3.3%)

Error

0.9b

Counts

4 → 72

Calls

4 calls:

62.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b) (.f64 a 2))
51.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))) b)
42.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
39.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

Compiler

Compiled 2658 to 1932 computations (27.3% saved)

simplify131.0ms (2%)

Algorithm

1×	egg-herbie

Rules

794×	`times-frac_binary64`
230×	`distribute-rgt-in_binary64`
199×	`distribute-lft-in_binary64`
182×	`cancel-sign-sub-inv_binary64`
181×	`div-sub_binary64`

Counts

146 → 122

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	206	3603
1	550	3323
2	1858	3272
3	4753	3272
4	5209	3272

prune86.0ms (1.3%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	111	11	122
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	112	11	123

Error

0.7b

Counts

123 → 11

Alt Table

Status	Error	Program
	27.3b	(.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) (.f64 a 2))) (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) (.f64 a 2)))) (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) (.f64 a 2))))
	26.5b	(/.f64 (/.f64 (-.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))) (.f64 b b)) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) (.f64 a 2))
	5.1b	(/.f64 (+.f64 (+.f64 (.f64 -2 (+.f64 (/.f64 (.f64 a c) b) (/.f64 (.f64 (.f64 a c) (.f64 a c)) (pow.f64 b 3)))) (.f64 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)) -4)) (.f64 (/.f64 (.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7)) -10)) (.f64 a 2))
	27.4b	(/.f64 (/.f64 (-.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) 3) (pow.f64 b 3)) (+.f64 (.f64 b (+.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) b)) (.f64 a (.f64 c -4)))) (.f64 a 2))
	27.5b	(/.f64 (-.f64 (sqrt.f64 (/.f64 (-.f64 (pow.f64 b 4) (.f64 (.f64 (.f64 a c) (.f64 a c)) 16)) (+.f64 (.f64 4 (.f64 a c)) (.f64 b b)))) b) (.f64 a 2))
	27.3b	(/.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b))) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b))) (.f64 a 2))
▶	5.0b	(+.f64 (-.f64 (-.f64 (.f64 -2 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))) (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))) (/.f64 c b)) (.f64 (/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)) -5))
	27.4b	(/.f64 (-.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 b b)) (.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (*.f64 a 2)))
	27.2b	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b) (/.f64 1/2 a))
	27.2b	(/.f64 1 (/.f64 a (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b) 2)))
	28.5b	(.f64 (/.f64 (+.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (sqrt.f64 b)) a) (/.f64 (-.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))) (sqrt.f64 b)) 2))

Compiler

Compiled 2500 to 1413 computations (43.5% saved)

localize26.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.3b	(/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7))
0.3b	(*.f64 (pow.f64 a 3) (pow.f64 c 4))
0.3b	(/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))
0.4b	(/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))

rewrite349.0ms (5.3%)

Algorithm

1×	rewrite-expression-head

Error

0.7b

Rules

155×	`add-exp-log_binary64`
72×	`prod-exp_binary64`
60×	`div-exp_binary64`
50×	`pow-to-exp_binary64` `pow-exp_binary64`
40×	`add-sqr-sqrt_binary64`

Counts

4 → 202

Calls

4 calls:

10.0ms	(/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))
9.0ms	(/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))
9.0ms	(/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7))
8.0ms	(*.f64 (pow.f64 a 3) (pow.f64 c 4))

Compiler

Compiled 7256 to 4375 computations (39.7% saved)

series234.0ms (3.5%)

Error

0.7b

Counts

4 → 33

Calls

4 calls:

74.0ms	(/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7))
67.0ms	(/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))
56.0ms	(/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))
32.0ms	(*.f64 (pow.f64 a 3) (pow.f64 c 4))

Compiler

Compiled 3030 to 2166 computations (28.5% saved)

simplify167.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

434×	`associate-/l*_binary64`
413×	`times-frac_binary64`
354×	`log-div_binary64` `associate-l_binary64`
299×	`associate-r_binary64`
247×	`associate-/r*_binary64`

Counts

235 → 168

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	300	4233
1	636	3876
2	3930	3758
3	4716	3758
4	5020	3758

prune98.0ms (1.5%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	168	0	168
Fresh	0	10	10
Picked	0	1	1
Done	0	0	0
Total	168	11	179

Error

0.7b

Counts

179 → 11

Alt Table

Status	Error	Program
	27.3b	(.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) (.f64 a 2))) (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) (.f64 a 2)))) (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) (.f64 a 2))))
	26.5b	(/.f64 (/.f64 (-.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))) (.f64 b b)) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) (.f64 a 2))
▶	5.1b	(/.f64 (+.f64 (+.f64 (.f64 -2 (+.f64 (/.f64 (.f64 a c) b) (/.f64 (.f64 (.f64 a c) (.f64 a c)) (pow.f64 b 3)))) (.f64 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)) -4)) (.f64 (/.f64 (.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7)) -10)) (.f64 a 2))
	27.4b	(/.f64 (/.f64 (-.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) 3) (pow.f64 b 3)) (+.f64 (.f64 b (+.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) b)) (.f64 a (.f64 c -4)))) (.f64 a 2))
	27.5b	(/.f64 (-.f64 (sqrt.f64 (/.f64 (-.f64 (pow.f64 b 4) (.f64 (.f64 (.f64 a c) (.f64 a c)) 16)) (+.f64 (.f64 4 (.f64 a c)) (.f64 b b)))) b) (.f64 a 2))
	27.3b	(/.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b))) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b))) (.f64 a 2))
✓	5.0b	(+.f64 (-.f64 (-.f64 (.f64 -2 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))) (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))) (/.f64 c b)) (.f64 (/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)) -5))
	27.4b	(/.f64 (-.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 b b)) (.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (*.f64 a 2)))
	27.2b	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b) (/.f64 1/2 a))
	27.2b	(/.f64 1 (/.f64 a (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b) 2)))
	28.5b	(.f64 (/.f64 (+.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (sqrt.f64 b)) a) (/.f64 (-.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))) (sqrt.f64 b)) 2))

Compiler

Compiled 2839 to 1695 computations (40.3% saved)

localize32.0ms (0.5%)

Local error

Found 4 expressions with local error:

0.4b	(/.f64 (pow.f64 (*.f64 a c) 3) (pow.f64 b 5))
0.4b	(/.f64 (*.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7))
0.5b	(.f64 (.f64 a c) (*.f64 a c))
0.7b	(pow.f64 (*.f64 a c) 3)

rewrite367.0ms (5.6%)

Algorithm

1×	rewrite-expression-head

Error

0.7b

Rules

98×	`add-exp-log_binary64`
63×	`times-frac_binary64`
46×	`pow1_binary64`
42×	`unpow-prod-down_binary64` `div-exp_binary64`
40×	`pow-exp_binary64`

Counts

4 → 207

Calls

4 calls:

8.0ms	(/.f64 (*.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7))
8.0ms	(/.f64 (pow.f64 (*.f64 a c) 3) (pow.f64 b 5))
7.0ms	(.f64 (.f64 a c) (*.f64 a c))
4.0ms	(pow.f64 (*.f64 a c) 3)

Compiler

Compiled 9006 to 5208 computations (42.2% saved)

series216.0ms (3.3%)

Error

0.7b

Counts

4 → 30

Calls

4 calls:

76.0ms	(/.f64 (*.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7))
74.0ms	(/.f64 (pow.f64 (*.f64 a c) 3) (pow.f64 b 5))
31.0ms	(pow.f64 (*.f64 a c) 3)
29.0ms	(.f64 (.f64 a c) (*.f64 a c))

Compiler

Compiled 3332 to 2276 computations (31.7% saved)

simplify159.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

440×	`unswap-sqr_binary64`
397×	`log-prod_binary64`
349×	`associate-/l*_binary64`
261×	`times-frac_binary64`
204×	`log-div_binary64`

Counts

237 → 191

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	263	4040
1	480	3621
2	2595	3473
3	4374	3473
4	4930	3473

prune122.0ms (1.9%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	191	0	191
Fresh	0	9	9
Picked	0	1	1
Done	0	1	1
Total	191	11	202

Error

0.7b

Counts

202 → 11

Alt Table

Status	Error	Program
	27.3b	(.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) (.f64 a 2))) (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) (.f64 a 2)))) (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b) (.f64 a 2))))
▶	26.5b	(/.f64 (/.f64 (-.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))) (.f64 b b)) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) (.f64 a 2))
✓	5.1b	(/.f64 (+.f64 (+.f64 (.f64 -2 (+.f64 (/.f64 (.f64 a c) b) (/.f64 (.f64 (.f64 a c) (.f64 a c)) (pow.f64 b 3)))) (.f64 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)) -4)) (.f64 (/.f64 (.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7)) -10)) (.f64 a 2))
	27.4b	(/.f64 (/.f64 (-.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) 3) (pow.f64 b 3)) (+.f64 (.f64 b (+.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) b)) (.f64 a (.f64 c -4)))) (.f64 a 2))
	27.5b	(/.f64 (-.f64 (sqrt.f64 (/.f64 (-.f64 (pow.f64 b 4) (.f64 (.f64 (.f64 a c) (.f64 a c)) 16)) (+.f64 (.f64 4 (.f64 a c)) (.f64 b b)))) b) (.f64 a 2))
	27.3b	(/.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b))) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))) b))) (.f64 a 2))
✓	5.0b	(+.f64 (-.f64 (-.f64 (.f64 -2 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))) (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))) (/.f64 c b)) (.f64 (/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)) -5))
	27.4b	(/.f64 (-.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 b b)) (.f64 (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (*.f64 a 2)))
	27.2b	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) b) (/.f64 1/2 a))
	27.2b	(/.f64 1 (/.f64 a (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))) b) 2)))
	28.5b	(.f64 (/.f64 (+.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (sqrt.f64 b)) a) (/.f64 (-.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))) (sqrt.f64 b)) 2))

Compiler

Compiled 3830 to 2241 computations (41.5% saved)

localize13.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))
0.3b	(/.f64 (/.f64 (-.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))) (.f64 b b)) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) (.f64 a 2))
0.3b	(/.f64 (-.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))) (.f64 b b)) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))))
26.8b	(-.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))) (.f64 b b))

rewrite199.0ms (3%)

Algorithm

1×	rewrite-expression-head

Error

0.5b

Rules

70×	`times-frac_binary64`
58×	`*-un-lft-identity_binary64`
46×	`add-sqr-sqrt_binary64`
32×	`add-cube-cbrt_binary64`
26×	`associate-/l*_binary64`

Counts

4 → 135

Calls

4 calls:

17.0ms	(/.f64 (/.f64 (-.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))) (.f64 b b)) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) (.f64 a 2))
16.0ms	(/.f64 (-.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))) (.f64 b b)) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))))
8.0ms	(-.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))) (.f64 b b))
4.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))

Compiler

Compiled 6258 to 2862 computations (54.3% saved)

series237.0ms (3.6%)

Error

0.1b

Counts

4 → 63

Calls

4 calls:

83.0ms	(/.f64 (-.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))) (.f64 b b)) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))))
69.0ms	(/.f64 (/.f64 (-.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))) (.f64 b b)) (+.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c)))))) (.f64 a 2))
46.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))
25.0ms	(-.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))) (.f64 b b))

Compiler

Compiled 3074 to 2035 computations (33.8% saved)

simplify229.0ms (3.5%)

Algorithm

1×	egg-herbie

Rules

1133×	`div-sub_binary64`
184×	`distribute-rgt-neg-in_binary64`
180×	`cancel-sign-sub-inv_binary64`
175×	`associate-/l*_binary64`
159×	`sub-neg_binary64`

Counts

198 → 167

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	284	8710
1	781	7984
2	2783	6472
3	4383	6472
4	6024	6472

prune136.0ms (2.1%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	160	7	167
Fresh	8	0	8
Picked	1	0	1
Done	0	2	2
Total	169	9	178

Error

0.0b

Counts

178 → 9

Alt Table

Status	Error	Program
	5.1b	(/.f64 (+.f64 (+.f64 (.f64 -2 (+.f64 (/.f64 (.f64 a c) b) (/.f64 (.f64 (.f64 a c) (.f64 a c)) (pow.f64 b 3)))) (.f64 (/.f64 (pow.f64 (.f64 a c) 3) (pow.f64 b 5)) -4)) (.f64 (/.f64 (.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7)) -10)) (.f64 a 2))
	0.5b	(.f64 (/.f64 1 a) (/.f64 (/.f64 (.f64 -4 (.f64 a c)) (+.f64 b (sqrt.f64 (+.f64 (.f64 -4 (.f64 a c)) (.f64 b b))))) 2))
	1.4b	(.f64 (/.f64 (.f64 (cbrt.f64 (.f64 -4 (.f64 a c))) (cbrt.f64 (.f64 -4 (.f64 a c)))) a) (/.f64 (/.f64 (cbrt.f64 (.f64 -4 (.f64 a c))) (+.f64 b (sqrt.f64 (+.f64 (.f64 -4 (.f64 a c)) (*.f64 b b))))) 2))
	0.5b	(/.f64 (/.f64 1 (/.f64 (+.f64 b (sqrt.f64 (+.f64 (.f64 -4 (.f64 a c)) (.f64 b b)))) (.f64 -4 (.f64 a c)))) (.f64 a 2))
	5.0b	(+.f64 (-.f64 (-.f64 (.f64 -2 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))) (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3))) (/.f64 c b)) (.f64 (/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)) -5))
	0.5b	(/.f64 1 (/.f64 a (/.f64 (/.f64 (.f64 -4 (.f64 a c)) (+.f64 b (sqrt.f64 (+.f64 (.f64 -4 (.f64 a c)) (*.f64 b b))))) 2)))
	1.3b	(/.f64 (.f64 (/.f64 1 (.f64 (cbrt.f64 (+.f64 b (sqrt.f64 (+.f64 (.f64 -4 (.f64 a c)) (.f64 b b))))) (cbrt.f64 (+.f64 b (sqrt.f64 (+.f64 (.f64 -4 (.f64 a c)) (.f64 b b))))))) (/.f64 (.f64 -4 (.f64 a c)) (cbrt.f64 (+.f64 b (sqrt.f64 (+.f64 (.f64 -4 (.f64 a c)) (.f64 b b))))))) (.f64 a 2))
	0.8b	(.f64 (/.f64 (/.f64 (.f64 -4 (.f64 a c)) (+.f64 (pow.f64 b 3) (pow.f64 (sqrt.f64 (+.f64 (.f64 -4 (.f64 a c)) (.f64 b b))) 3))) a) (/.f64 (+.f64 (.f64 b b) (-.f64 (+.f64 (.f64 -4 (.f64 a c)) (.f64 b b)) (.f64 b (sqrt.f64 (+.f64 (.f64 -4 (.f64 a c)) (.f64 b b)))))) 2))
	0.8b	(/.f64 (cbrt.f64 (pow.f64 (/.f64 (.f64 -4 (.f64 a c)) (+.f64 b (sqrt.f64 (+.f64 (.f64 -4 (.f64 a c)) (.f64 b b))))) 3)) (.f64 a 2))

Compiler

Compiled 4724 to 2411 computations (49% saved)

regimes1.2s (18.9%)

Accuracy

Total 0.4b remaining (91.9%)

Threshold costs 0.4b (91.9%)

Compiler

Compiled 27672 to 16698 computations (39.7% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

2×	`*-commutative_binary64` `+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	33
1	19	33
2	19	33

end1.0ms (0%)

Compiler: Compiled 25 to 16 computations (36% saved)

sample1.4s (21.2%)

Algorithm

1×

intervals

Results

392.0ms	7712×	body	128	valid
266.0ms	8866×	pre	128	true
48.0ms	866×	body	128	nan
31.0ms	288×	body	256	valid

Compiler

Compiled 418 to 270 computations (35.4% saved)

Details

analyze409.0ms (6.2%)

sample38.0ms (0.6%)

simplify349.0ms (5.3%)

prune4.0ms (0.1%)

localize10.0ms (0.2%)

rewrite113.0ms (1.7%)

series219.0ms (3.3%)

simplify131.0ms (2%)

prune86.0ms (1.3%)

localize26.0ms (0.4%)

rewrite349.0ms (5.3%)

series234.0ms (3.5%)

simplify167.0ms (2.5%)

prune98.0ms (1.5%)

localize32.0ms (0.5%)

rewrite367.0ms (5.6%)

series216.0ms (3.3%)

simplify159.0ms (2.4%)

prune122.0ms (1.9%)

localize13.0ms (0.2%)

rewrite199.0ms (3%)

series237.0ms (3.6%)

simplify229.0ms (3.5%)

prune136.0ms (2.1%)

regimes1.2s (18.9%)

simplify3.0ms (0%)

end1.0ms (0%)

sample1.4s (21.2%)

Profiling