Details

analyze957.0ms (8.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 43 to 31 computations (27.9% saved)

sample3.0s (25.7%)

Results

1.3s	3039×	body	256	valid
1.2s	5216×	body	128	valid
224.0ms	981×	body	128	invalid
0.0ms	1×	body	512	valid

Compiler

Compiled 106 to 76 computations (28.3% saved)

simplify395.0ms (3.4%)

Algorithm

1×	egg-herbie

Rules

1743×	`fma-neg_binary64`
1393×	`fma-def_binary64`
800×	`div-sub_binary64`
619×	`times-frac_binary64`
473×	`associate-/r/_binary64`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	26
1	33	22
2	67	22
3	138	22
4	204	22
5	338	22
6	558	22
7	924	22
8	1388	22
9	1604	22
10	2375	22
11	2742	22
12	2533	22
13	2621	22
14	3171	22
15	3313	22
16	3873	22
17	3679	22
18	4029	22
19	4317	22
20	4485	22
21	4561	22
22	4805	22
23	4793	22
24	4797	22
25	4797	22
26	4948	22

prune6.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

43.6b

Counts

3 → 2

Alt Table

Status	Error	Program
	43.6b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a))
▶	43.6b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))

Compiler

Compiled 111 to 74 computations (33.3% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
✓	0.1b	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
✓	0.1b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))
✓	38.0b	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))

series464.0ms (4%)

Counts

4 → 96

Calls

4 calls:

189.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
185.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))
61.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
29.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))

rewrite57.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

22×	`*-un-lft-identity_binary64`
11×	`add-sqr-sqrt_binary64`
10×	`add-log-exp_binary64`
10×	`fma-def_binary64`
10×	`add-cube-cbrt_binary64`

Counts

4 → 90

Calls

4 calls:

19.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))
14.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
11.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
5.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))

simplify260.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

701×	`fma-neg_binary64`
314×	`cancel-sign-sub-inv_binary64`
215×	`distribute-rgt-neg-in_binary64`
159×	`associate-r_binary64`
150×	`distribute-rgt-neg-out_binary64`

Counts

186 → 206

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	243	4178
1	695	3846
2	2512	3724
3	4692	3704
4	5031	3704

prune293.0ms (2.5%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	196	10	206
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	198	10	208

Error

0.3b

Counts

208 → 10

Alt Table

Status	Error	Program
	43.6b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (cbrt.f64 (pow.f64 (fma.f64 (.f64 c a) -4 (.f64 b b)) 3)))) (*.f64 2 a))
	43.6b	(/.f64 (-.f64 (.f64 (neg.f64 b) (neg.f64 b)) (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (.f64 (.f64 2 a) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))))
	49.8b	(/.f64 (log.f64 (exp.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))))) (.f64 2 a))
	2.9b	(/.f64 (-.f64 (.f64 -2 (+.f64 (/.f64 (.f64 c a) b) (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)))) (fma.f64 4 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) (.f64 10 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))))) (*.f64 2 a))
▶	2.6b	(neg.f64 (fma.f64 2 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5)) (fma.f64 5 (/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)) (+.f64 (/.f64 c b) (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b 3))))))
	43.6b	(/.f64 (/.f64 (-.f64 (.f64 (neg.f64 b) (neg.f64 b)) (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (.f64 2 a))
	43.7b	(/.f64 (/.f64 (+.f64 (pow.f64 (neg.f64 b) 3) (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) 3)) (+.f64 (.f64 (neg.f64 b) (neg.f64 b)) (-.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 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))))) (.f64 2 a))
	43.6b	(/.f64 (cbrt.f64 (.f64 (.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))))) (.f64 2 a))
	2.9b	(/.f64 (neg.f64 (+.f64 (.f64 2 (/.f64 (.f64 c a) b)) (+.f64 (.f64 2 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))) (+.f64 (.f64 10 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))) (.f64 4 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))))))) (*.f64 2 a))
	43.0b	(/.f64 (fma.f64 (sqrt.f64 b) (neg.f64 (sqrt.f64 b)) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))

Compiler

Compiled 6126 to 3600 computations (41.2% saved)

localize33.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(*.f64 (pow.f64 a 3) (pow.f64 c 4))
✓	0.4b	(/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))
✓	0.4b	(/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3))
✓	0.4b	(.f64 (.f64 a a) (pow.f64 c 3))

series320.0ms (2.8%)

Counts

4 → 120

Calls

4 calls:

140.0ms	(/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))
128.0ms	(/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3))
31.0ms	(*.f64 (pow.f64 a 3) (pow.f64 c 4))
20.0ms	(.f64 (.f64 a a) (pow.f64 c 3))

rewrite81.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

109×	`add-exp-log_binary64`
54×	`prod-exp_binary64`
42×	`add-sqr-sqrt_binary64`
30×	`div-exp_binary64`
29×	`unpow-prod-down_binary64`

Counts

4 → 186

Calls

4 calls:

15.0ms	(/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3))
14.0ms	(/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))
13.0ms	(.f64 (.f64 a a) (pow.f64 c 3))
13.0ms	(*.f64 (pow.f64 a 3) (pow.f64 c 4))

simplify328.0ms (2.8%)

Algorithm

1×	egg-herbie

Rules

394×	`times-frac_binary64`
382×	`associate-l_binary64`
328×	`associate-r_binary64`
312×	`log-div_binary64`
299×	`associate-/l*_binary64`

Counts

306 → 228

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	273	4694
1	600	4318
2	3453	4239
3	4707	4239
4	5155	4239

prune861.0ms (7.4%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	226	2	228
Fresh	0	9	9
Picked	0	1	1
Done	0	0	0
Total	226	12	238

Error

0.3b

Counts

238 → 12

Alt Table

Status	Error	Program
	43.6b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (cbrt.f64 (pow.f64 (fma.f64 (.f64 c a) -4 (.f64 b b)) 3)))) (*.f64 2 a))
	43.6b	(/.f64 (-.f64 (.f64 (neg.f64 b) (neg.f64 b)) (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (.f64 (.f64 2 a) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))))
	49.8b	(/.f64 (log.f64 (exp.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))))) (.f64 2 a))
▶	2.9b	(/.f64 (-.f64 (.f64 -2 (+.f64 (/.f64 (.f64 c a) b) (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)))) (fma.f64 4 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) (.f64 10 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))))) (*.f64 2 a))
	23.2b	(neg.f64 (fma.f64 2 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5)) (fma.f64 5 (/.f64 (log.f64 (exp.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)))) (pow.f64 b 7)) (+.f64 (/.f64 c b) (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b 3))))))
	4.2b	(neg.f64 (fma.f64 2 (log.f64 (exp.f64 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5)))) (fma.f64 5 (/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)) (+.f64 (/.f64 c b) (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b 3))))))
✓	2.6b	(neg.f64 (fma.f64 2 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5)) (fma.f64 5 (/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)) (+.f64 (/.f64 c b) (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b 3))))))
	43.6b	(/.f64 (/.f64 (-.f64 (.f64 (neg.f64 b) (neg.f64 b)) (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (.f64 2 a))
	43.7b	(/.f64 (/.f64 (+.f64 (pow.f64 (neg.f64 b) 3) (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) 3)) (+.f64 (.f64 (neg.f64 b) (neg.f64 b)) (-.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 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))))) (.f64 2 a))
	43.6b	(/.f64 (cbrt.f64 (.f64 (.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))))) (.f64 2 a))
	2.9b	(/.f64 (neg.f64 (+.f64 (.f64 2 (/.f64 (.f64 c a) b)) (+.f64 (.f64 2 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))) (+.f64 (.f64 10 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))) (.f64 4 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))))))) (*.f64 2 a))
	43.0b	(/.f64 (fma.f64 (sqrt.f64 b) (neg.f64 (sqrt.f64 b)) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))

Compiler

Compiled 11527 to 6831 computations (40.7% saved)

localize41.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

series421.0ms (3.6%)

Counts

4 → 84

Calls

4 calls:

193.0ms	(/.f64 (pow.f64 (*.f64 c a) 3) (pow.f64 b 5))
181.0ms	(/.f64 (*.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))
29.0ms	(pow.f64 (*.f64 c a) 3)
18.0ms	(.f64 (.f64 c a) (*.f64 c a))

rewrite95.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

4 → 215

Calls

4 calls:

18.0ms	(/.f64 (*.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))
12.0ms	(/.f64 (pow.f64 (*.f64 c a) 3) (pow.f64 b 5))
11.0ms	(.f64 (.f64 c a) (*.f64 c a))
6.0ms	(pow.f64 (*.f64 c a) 3)

simplify299.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

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

Counts

299 → 224

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	271	4661
1	490	4203
2	2614	4055
3	4380	4055
4	5127	4055

prune872.0ms (7.5%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	224	0	224
Fresh	0	10	10
Picked	0	1	1
Done	0	1	1
Total	224	12	236

Error

0.3b

Counts

236 → 12

Alt Table

Status	Error	Program
	43.6b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (cbrt.f64 (pow.f64 (fma.f64 (.f64 c a) -4 (.f64 b b)) 3)))) (*.f64 2 a))
	43.6b	(/.f64 (-.f64 (.f64 (neg.f64 b) (neg.f64 b)) (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (.f64 (.f64 2 a) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))))
	49.8b	(/.f64 (log.f64 (exp.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))))) (.f64 2 a))
✓	2.9b	(/.f64 (-.f64 (.f64 -2 (+.f64 (/.f64 (.f64 c a) b) (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)))) (fma.f64 4 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) (.f64 10 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))))) (*.f64 2 a))
	23.2b	(neg.f64 (fma.f64 2 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5)) (fma.f64 5 (/.f64 (log.f64 (exp.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)))) (pow.f64 b 7)) (+.f64 (/.f64 c b) (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b 3))))))
	4.2b	(neg.f64 (fma.f64 2 (log.f64 (exp.f64 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5)))) (fma.f64 5 (/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)) (+.f64 (/.f64 c b) (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b 3))))))
✓	2.6b	(neg.f64 (fma.f64 2 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5)) (fma.f64 5 (/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)) (+.f64 (/.f64 c b) (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b 3))))))
	43.6b	(/.f64 (/.f64 (-.f64 (.f64 (neg.f64 b) (neg.f64 b)) (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (.f64 2 a))
	43.7b	(/.f64 (/.f64 (+.f64 (pow.f64 (neg.f64 b) 3) (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) 3)) (+.f64 (.f64 (neg.f64 b) (neg.f64 b)) (-.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 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))))) (.f64 2 a))
	43.6b	(/.f64 (cbrt.f64 (.f64 (.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))))) (.f64 2 a))
▶	2.9b	(/.f64 (neg.f64 (+.f64 (.f64 2 (/.f64 (.f64 c a) b)) (+.f64 (.f64 2 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))) (+.f64 (.f64 10 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))) (.f64 4 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))))))) (*.f64 2 a))
	43.0b	(/.f64 (fma.f64 (sqrt.f64 b) (neg.f64 (sqrt.f64 b)) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))

Compiler

Compiled 13387 to 7720 computations (42.3% saved)

localize114.0ms (1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.4b	(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
✓	0.4b	(*.f64 (pow.f64 c 4) (pow.f64 a 4))
✓	0.4b	(/.f64 (*.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))
	0.4b	(/.f64 (*.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))

series378.0ms (3.3%)

Counts

3 → 0

Calls

3 calls:

208.0ms	(/.f64 (*.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))
131.0ms	(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
39.0ms	(*.f64 (pow.f64 c 4) (pow.f64 a 4))

rewrite61.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

133×	`add-exp-log_binary64`
63×	`prod-exp_binary64`
62×	`pow-exp_binary64`
62×	`pow-to-exp_binary64`
60×	`div-exp_binary64`

Counts

3 → 172

Calls

3 calls:

12.0ms	(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
11.0ms	(/.f64 (*.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))
10.0ms	(*.f64 (pow.f64 c 4) (pow.f64 a 4))

simplify197.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

660×	`associate-/r/_binary64`
496×	`unswap-sqr_binary64`
222×	`times-frac_binary64`
216×	`associate-l_binary64`
211×	`associate-/l*_binary64`

Counts

172 → 165

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	241	3147
1	477	2869
2	2386	2781
3	4792	2781
4	4934	2781

prune844.0ms (7.3%)

Pruning

12 alts after pruning (9 fresh and 3 done)

	Pruned	Kept	Total
New	221	0	221
Fresh	0	9	9
Picked	0	1	1
Done	0	2	2
Total	221	12	233

Error

0.3b

Counts

233 → 12

Alt Table

Status	Error	Program
	43.6b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (cbrt.f64 (pow.f64 (fma.f64 (.f64 c a) -4 (.f64 b b)) 3)))) (*.f64 2 a))
	43.6b	(/.f64 (-.f64 (.f64 (neg.f64 b) (neg.f64 b)) (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (.f64 (.f64 2 a) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))))
	49.8b	(/.f64 (log.f64 (exp.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))))) (.f64 2 a))
✓	2.9b	(/.f64 (-.f64 (.f64 -2 (+.f64 (/.f64 (.f64 c a) b) (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)))) (fma.f64 4 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) (.f64 10 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))))) (*.f64 2 a))
	23.2b	(neg.f64 (fma.f64 2 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5)) (fma.f64 5 (/.f64 (log.f64 (exp.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)))) (pow.f64 b 7)) (+.f64 (/.f64 c b) (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b 3))))))
	4.2b	(neg.f64 (fma.f64 2 (log.f64 (exp.f64 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5)))) (fma.f64 5 (/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)) (+.f64 (/.f64 c b) (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b 3))))))
✓	2.6b	(neg.f64 (fma.f64 2 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5)) (fma.f64 5 (/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)) (+.f64 (/.f64 c b) (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b 3))))))
	43.6b	(/.f64 (/.f64 (-.f64 (.f64 (neg.f64 b) (neg.f64 b)) (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (.f64 2 a))
	43.7b	(/.f64 (/.f64 (+.f64 (pow.f64 (neg.f64 b) 3) (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) 3)) (+.f64 (.f64 (neg.f64 b) (neg.f64 b)) (-.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 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))))) (.f64 2 a))
	43.6b	(/.f64 (cbrt.f64 (.f64 (.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))))) (.f64 2 a))
✓	2.9b	(/.f64 (neg.f64 (+.f64 (.f64 2 (/.f64 (.f64 c a) b)) (+.f64 (.f64 2 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))) (+.f64 (.f64 10 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))) (.f64 4 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))))))) (*.f64 2 a))
	43.0b	(/.f64 (fma.f64 (sqrt.f64 b) (neg.f64 (sqrt.f64 b)) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))

Compiler

Compiled 13819 to 9796 computations (29.1% saved)

regimes626.0ms (5.4%)

Accuracy

Total 2.5b remaining (85.2%)

Threshold costs 0b (0%)

Counts

67 → 1

Compiler

Compiled 8054 to 5544 computations (31.2% saved)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

5×	`*-commutative_binary64`
2×	`+-commutative_binary64`
1×	`sub-neg_binary64`
1×	`neg-sub0_binary64`
1×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	28	59
1	37	59
2	39	59
3	40	59
4	40	59

end608.0ms (5.2%)

Compiler: Compiled 605 to 402 computations (33.6% saved)

Details

analyze957.0ms (8.2%)

sample3.0s (25.7%)

simplify395.0ms (3.4%)

prune6.0ms (0.1%)

localize15.0ms (0.1%)

series464.0ms (4%)

rewrite57.0ms (0.5%)

simplify260.0ms (2.2%)

prune293.0ms (2.5%)

localize33.0ms (0.3%)

series320.0ms (2.8%)

rewrite81.0ms (0.7%)

simplify328.0ms (2.8%)

prune861.0ms (7.4%)

localize41.0ms (0.4%)

series421.0ms (3.6%)

rewrite95.0ms (0.8%)

simplify299.0ms (2.6%)

prune872.0ms (7.5%)

localize114.0ms (1%)

series378.0ms (3.3%)

rewrite61.0ms (0.5%)

simplify197.0ms (1.7%)

prune844.0ms (7.3%)

regimes626.0ms (5.4%)

simplify6.0ms (0.1%)

end608.0ms (5.2%)

Profiling