Details

analyze289.0ms (4.7%)

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)

sample1.6s (25.1%)

Results

684.0ms	5286×	body	128	valid
651.0ms	2969×	body	256	valid
120.0ms	966×	body	128	invalid
0.0ms	1×	body	512	valid

Compiler

Compiled 106 to 76 computations (28.3% saved)

simplify262.0ms (4.2%)

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

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

44.8b

Counts

3 → 2

Alt Table

Status	Error	Program
	44.8b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a))
▶	44.8b	(/.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)

localize11.0ms (0.2%)

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.4b	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))

series207.0ms (3.3%)

Counts

4 → 96

Calls

4 calls:

93.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))
57.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
46.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
10.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))

rewrite30.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:

9.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))
7.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
6.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
3.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))

simplify120.0ms (1.9%)

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

prune455.0ms (7.3%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	195	11	206
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	196	12	208

Error

0.5b

Counts

208 → 12

Alt Table

Status	Error	Program
	44.9b	(/.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))))))
	3.9b	(/.f64 (fma.f64 -2 (+.f64 (/.f64 (.f64 c a) b) (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3))) (.f64 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) -4)) (*.f64 2 a))
	44.3b	(/.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))
	44.8b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a))
	44.9b	(/.f64 (+.f64 (neg.f64 b) (/.f64 (sqrt.f64 (fma.f64 (.f64 (.f64 c a) (.f64 c a)) -16 (pow.f64 b 4))) (sqrt.f64 (fma.f64 4 (.f64 c a) (.f64 b b))))) (.f64 2 a))
	44.8b	(cbrt.f64 (.f64 (.f64 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a)) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))))
▶	2.5b	(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))))))
	44.9b	(/.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))
	2.8b	(/.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.8b	(/.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))
	44.9b	(/.f64 (+.f64 (pow.f64 (neg.f64 b) 3) (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) 3)) (.f64 (.f64 2 a) (+.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))))))))
	44.8b	(.f64 (.f64 (cbrt.f64 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))) (cbrt.f64 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a)))) (cbrt.f64 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))))

Compiler

Compiled 6348 to 3730 computations (41.2% saved)

localize24.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

series333.0ms (5.4%)

Counts

4 → 132

Calls

4 calls:

134.0ms	(/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))
112.0ms	(/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7))
71.0ms	(/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3))
16.0ms	(.f64 (.f64 a a) (pow.f64 c 3))

rewrite44.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

156×	`add-exp-log_binary64`
72×	`prod-exp_binary64`
60×	`div-exp_binary64`
46×	`pow-exp_binary64`
46×	`pow-to-exp_binary64`

Counts

4 → 194

Calls

4 calls:

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

simplify127.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

538×	`unswap-sqr_binary64`
407×	`times-frac_binary64`
382×	`associate-/l*_binary64`
272×	`associate-l_binary64`
238×	`associate-r_binary64`

Counts

326 → 224

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	293	5430
1	644	5027
2	3378	4964
3	4942	4964

prune397.0ms (6.4%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	223	1	224
Fresh	0	11	11
Picked	0	1	1
Done	0	0	0
Total	223	13	236

Error

0.5b

Counts

236 → 13

Alt Table

Status	Error	Program
	44.9b	(/.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))))))
	3.9b	(/.f64 (fma.f64 -2 (+.f64 (/.f64 (.f64 c a) b) (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3))) (.f64 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) -4)) (*.f64 2 a))
	44.9b	(/.f64 (+.f64 (pow.f64 (neg.f64 b) 3) (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) 3)) (.f64 (.f64 2 a) (+.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))))))))
	6.9b	(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) (log.f64 (exp.f64 (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b 3))))))))
	44.3b	(/.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))
	44.8b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a))
	44.9b	(/.f64 (+.f64 (neg.f64 b) (/.f64 (sqrt.f64 (fma.f64 (.f64 (.f64 c a) (.f64 c a)) -16 (pow.f64 b 4))) (sqrt.f64 (fma.f64 4 (.f64 c a) (.f64 b b))))) (.f64 2 a))
	44.8b	(cbrt.f64 (.f64 (.f64 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a)) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))))
✓	2.5b	(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))))))
	44.9b	(/.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))
▶	2.8b	(/.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.8b	(/.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))
	44.8b	(.f64 (.f64 (cbrt.f64 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))) (cbrt.f64 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a)))) (cbrt.f64 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))))

Compiler

Compiled 11446 to 6790 computations (40.7% saved)

localize26.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.4b	(*.f64 (pow.f64 c 4) (pow.f64 a 4))
✓	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)

series208.0ms (3.3%)

Counts

4 → 48

Calls

4 calls:

158.0ms	(/.f64 (*.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))
24.0ms	(*.f64 (pow.f64 c 4) (pow.f64 a 4))
14.0ms	(pow.f64 (*.f64 c a) 3)
11.0ms	(.f64 (.f64 c a) (*.f64 c a))

rewrite35.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

90×	`add-exp-log_binary64`
46×	`pow1_binary64`
45×	`prod-exp_binary64`
36×	`pow-exp_binary64`
35×	`pow-to-exp_binary64`

Counts

4 → 163

Calls

4 calls:

6.0ms	(/.f64 (*.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))
6.0ms	(pow.f64 (*.f64 c a) 3)
5.0ms	(*.f64 (pow.f64 c 4) (pow.f64 a 4))
5.0ms	(.f64 (.f64 c a) (*.f64 c a))

simplify96.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

591×	`associate-/r*_binary64`
445×	`unswap-sqr_binary64`
382×	`associate-/l/_binary64`
382×	`log-prod_binary64`
249×	`associate-/r/_binary64`

Counts

211 → 173

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	194	2577
1	372	2131
2	1618	2099
3	4450	2099
4	5126	2099

prune317.0ms (5.1%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	172	1	173
Fresh	2	9	11
Picked	0	1	1
Done	0	1	1
Total	174	12	186

Error

0.5b

Counts

186 → 12

Alt Table

Status	Error	Program
	44.9b	(/.f64 (+.f64 (pow.f64 (neg.f64 b) 3) (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) 3)) (.f64 (.f64 2 a) (+.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))))))))
	6.9b	(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) (log.f64 (exp.f64 (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b 3))))))))
	44.3b	(/.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))
	44.8b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a))
	44.9b	(/.f64 (+.f64 (neg.f64 b) (/.f64 (sqrt.f64 (fma.f64 (.f64 (.f64 c a) (.f64 c a)) -16 (pow.f64 b 4))) (sqrt.f64 (fma.f64 4 (.f64 c a) (.f64 b b))))) (.f64 2 a))
	44.8b	(cbrt.f64 (.f64 (.f64 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a)) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))))
✓	2.5b	(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))))))
	44.9b	(/.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))
✓	2.8b	(/.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))
	44.9b	(/.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))))))
▶	3.1b	(/.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 (log.f64 (exp.f64 (/.f64 (pow.f64 (.f64 c a) 4) (pow.f64 b 7))))))) (*.f64 2 a))
	44.8b	(.f64 (.f64 (cbrt.f64 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))) (cbrt.f64 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a)))) (cbrt.f64 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))))

Compiler

Compiled 10264 to 5938 computations (42.1% saved)

localize26.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.5b	(.f64 (.f64 c a) (*.f64 c a))
	0.7b	(pow.f64 (*.f64 c a) 3)
✓	0.9b	(pow.f64 (*.f64 c a) 4)
✓	14.5b	(log.f64 (exp.f64 (/.f64 (pow.f64 (*.f64 c a) 4) (pow.f64 b 7))))

series132.0ms (2.1%)

Counts

2 → 60

Calls

2 calls:

114.0ms	(log.f64 (exp.f64 (/.f64 (pow.f64 (*.f64 c a) 4) (pow.f64 b 7))))
18.0ms	(pow.f64 (*.f64 c a) 4)

rewrite16.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

40×	`log-pow_binary64`
39×	`exp-prod_binary64`
35×	`times-frac_binary64`
23×	`unpow-prod-down_binary64`
22×	`*-un-lft-identity_binary64`

Counts

2 → 72

Calls

2 calls:

7.0ms	(log.f64 (exp.f64 (/.f64 (pow.f64 (*.f64 c a) 4) (pow.f64 b 7))))
3.0ms	(pow.f64 (*.f64 c a) 4)

simplify89.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

330×	`unswap-sqr_binary64`
282×	`exp-prod_binary64`
272×	`log-prod_binary64`
271×	`times-frac_binary64`
224×	`associate-/l*_binary64`

Counts

132 → 118

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	168	1921
1	226	1683
2	512	1641
3	2353	1627
4	4865	1627
5	4994	1627

prune384.0ms (6.2%)

Pruning

13 alts after pruning (11 fresh and 2 done)

	Pruned	Kept	Total
New	176	2	178
Fresh	0	9	9
Picked	0	1	1
Done	1	1	2
Total	177	13	190

Error

0.5b

Counts

190 → 13

Alt Table

Status	Error	Program
	2.8b	(/.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 (sqrt.f64 (/.f64 (pow.f64 (.f64 c a) 4) (pow.f64 b 7))) (log.f64 (exp.f64 (sqrt.f64 (/.f64 (pow.f64 (.f64 c a) 4) (pow.f64 b 7))))))))) (*.f64 2 a))
	44.9b	(/.f64 (+.f64 (pow.f64 (neg.f64 b) 3) (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) 3)) (.f64 (.f64 2 a) (+.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))))))))
	6.9b	(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) (log.f64 (exp.f64 (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b 3))))))))
	44.3b	(/.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))
	44.8b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a))
	44.9b	(/.f64 (+.f64 (neg.f64 b) (/.f64 (sqrt.f64 (fma.f64 (.f64 (.f64 c a) (.f64 c a)) -16 (pow.f64 b 4))) (sqrt.f64 (fma.f64 4 (.f64 c a) (.f64 b b))))) (.f64 2 a))
	44.8b	(cbrt.f64 (.f64 (.f64 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a)) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))))
✓	2.5b	(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))))))
	44.9b	(/.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))
	44.9b	(/.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))))))
✓	3.1b	(/.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 (log.f64 (exp.f64 (/.f64 (pow.f64 (.f64 c a) 4) (pow.f64 b 7))))))) (*.f64 2 a))
	44.8b	(.f64 (.f64 (cbrt.f64 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))) (cbrt.f64 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a)))) (cbrt.f64 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))))
	5.2b	(/.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 (cbrt.f64 (pow.f64 (.f64 c a) 4)) (pow.f64 (sqrt.f64 b) 7)) (log.f64 (exp.f64 (/.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 c a) 4)) (cbrt.f64 (pow.f64 (.f64 c a) 4))) (pow.f64 (sqrt.f64 b) 7)))))))) (*.f64 2 a))

Compiler

Compiled 10588 to 5975 computations (43.6% saved)

regimes669.0ms (10.8%)

Accuracy

Total 2.4b remaining (84.7%)

Threshold costs 0b (0%)

Counts

109 → 1

Compiler

Compiled 17906 to 11744 computations (34.4% saved)

simplify3.0ms (0%)

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

end347.0ms (5.6%)

Compiler: Compiled 712 to 453 computations (36.4% saved)

Details

analyze289.0ms (4.7%)

sample1.6s (25.1%)

simplify262.0ms (4.2%)

prune4.0ms (0.1%)

localize11.0ms (0.2%)

series207.0ms (3.3%)

rewrite30.0ms (0.5%)

simplify120.0ms (1.9%)

prune455.0ms (7.3%)

localize24.0ms (0.4%)

series333.0ms (5.4%)

rewrite44.0ms (0.7%)

simplify127.0ms (2.1%)

prune397.0ms (6.4%)

localize26.0ms (0.4%)

series208.0ms (3.3%)

rewrite35.0ms (0.6%)

simplify96.0ms (1.6%)

prune317.0ms (5.1%)

localize26.0ms (0.4%)

series132.0ms (2.1%)

rewrite16.0ms (0.3%)

simplify89.0ms (1.4%)

prune384.0ms (6.2%)

regimes669.0ms (10.8%)

simplify3.0ms (0%)

end347.0ms (5.6%)

Profiling