Details

analyze418.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)

sample44.0ms (0.5%)

Algorithm

1×

intervals

Results

17.0ms	246×	body	128	valid
10.0ms	287×	pre	128	true
2.0ms	31×	body	128	nan
1.0ms	10×	body	256	valid

Compiler

Compiled 66 to 48 computations (27.3% saved)

simplify265.0ms (3%)

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%)

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

29.1b

Counts

3 → 2

Alt Table

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

Compiler

Compiled 111 to 74 computations (33.3% saved)

localize11.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.3b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))
✓	0.3b	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
✓	29.0b	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))

series196.0ms (2.2%)

Counts

4 → 96

Calls

4 calls:

89.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))
54.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
43.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
10.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))

rewrite28.0ms (0.3%)

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))))
4.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.3%)

Algorithm

1×	egg-herbie

Rules

701×	`fma-neg_binary64`
334×	`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	4208
1	695	3858
2	2512	3724
3	4694	3704
4	5031	3704

prune152.0ms (1.7%)

Pruning

20 alts after pruning (20 fresh and 0 done)

	Pruned	Kept	Total
New	186	20	206
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	188	20	208

Error

0.9b

Counts

208 → 20

Alt Table

Status	Error	Program
	33.9b	(log1p.f64 (expm1.f64 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))))
	29.1b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (+.f64 (fma.f64 b b (neg.f64 (.f64 c (.f64 4 a)))) (fma.f64 (neg.f64 c) (.f64 4 a) (.f64 c (.f64 4 a)))))) (.f64 2 a))
	32.9b	(/.f64 (log1p.f64 (expm1.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))))) (.f64 2 a))
	29.3b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (/.f64 (fma.f64 (.f64 (.f64 c a) (.f64 c a)) -16 (pow.f64 b 4)) (fma.f64 4 (.f64 c a) (.f64 b b))))) (.f64 2 a))
	29.1b	(/.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))
	29.1b	(/.f64 (.f64 (cbrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (cbrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))))) (/.f64 (.f64 2 a) (cbrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))))))
	29.1b	(/.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))
	22.5b	(neg.f64 (/.f64 c b))
	29.1b	(/.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))))))
	32.2b	(/.f64 (log.f64 (exp.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))))) (.f64 2 a))
	32.9b	(log.f64 (exp.f64 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))))
▶	6.4b	(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))))))
	29.2b	(/.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))
	12.5b	(neg.f64 (+.f64 (/.f64 (*.f64 (pow.f64 c 2) a) (pow.f64 b 3)) (/.f64 c b)))
	29.2b	(/.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.5b	(/.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))
	29.1b	(/.f64 1 (/.f64 (.f64 2 a) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))))
	29.5b	(/.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))
	30.4b	(/.f64 (fma.f64 (.f64 (cbrt.f64 b) (cbrt.f64 b)) (neg.f64 (cbrt.f64 b)) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (*.f64 2 a))
	29.1b	(.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 6724 to 3970 computations (41% saved)

localize25.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

series233.0ms (2.6%)

Counts

4 → 120

Calls

4 calls:

105.0ms	(/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7))
94.0ms	(/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))
19.0ms	(*.f64 (pow.f64 a 3) (pow.f64 c 4))
16.0ms	(.f64 (.f64 a a) (pow.f64 c 3))

rewrite40.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

144×	`add-exp-log_binary64`
72×	`prod-exp_binary64`
51×	`div-exp_binary64`
49×	`pow-exp_binary64`
49×	`pow-to-exp_binary64`

Counts

4 → 196

Calls

4 calls:

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

simplify149.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

592×	`fma-def_binary64`
320×	`fma-neg_binary64`
316×	`associate-l_binary64`
296×	`associate-/l*_binary64`
241×	`associate-r_binary64`

Counts

316 → 222

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	257	5178
1	533	4811
2	2895	4732
3	4214	4732
4	4964	4732

prune519.0ms (5.8%)

Pruning

21 alts after pruning (20 fresh and 1 done)

	Pruned	Kept	Total
New	220	2	222
Fresh	1	18	19
Picked	0	1	1
Done	0	0	0
Total	221	21	242

Error

0.9b

Counts

242 → 21

Alt Table

Status	Error	Program
	33.9b	(log1p.f64 (expm1.f64 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))))
	29.1b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (+.f64 (fma.f64 b b (neg.f64 (.f64 c (.f64 4 a)))) (fma.f64 (neg.f64 c) (.f64 4 a) (.f64 c (.f64 4 a)))))) (.f64 2 a))
	32.9b	(/.f64 (log1p.f64 (expm1.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))))) (.f64 2 a))
	8.3b	(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))))))
	29.3b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (/.f64 (fma.f64 (.f64 (.f64 c a) (.f64 c a)) -16 (pow.f64 b 4)) (fma.f64 4 (.f64 c a) (.f64 b b))))) (.f64 2 a))
	29.1b	(/.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))
	29.1b	(/.f64 (.f64 (cbrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (cbrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))))) (/.f64 (.f64 2 a) (cbrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))))))
	29.1b	(/.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))
	22.5b	(neg.f64 (/.f64 c b))
	29.1b	(/.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))))))
	32.2b	(/.f64 (log.f64 (exp.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))))) (.f64 2 a))
	32.9b	(log.f64 (exp.f64 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))))
✓	6.4b	(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))))))
	7.0b	(neg.f64 (fma.f64 2 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5)) (fma.f64 5 (log.f64 (exp.f64 (/.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))))))
	29.2b	(/.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))
	29.2b	(/.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.5b	(/.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))
	29.1b	(/.f64 1 (/.f64 (.f64 2 a) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))))
	29.5b	(/.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))
	30.4b	(/.f64 (fma.f64 (.f64 (cbrt.f64 b) (cbrt.f64 b)) (neg.f64 (cbrt.f64 b)) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (*.f64 2 a))
	29.1b	(.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 11864 to 7098 computations (40.2% saved)

localize49.0ms (0.5%)

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 (pow.f64 (*.f64 c a) 3) (pow.f64 b 5))
✓	0.5b	(.f64 (.f64 c a) (*.f64 c a))
✓	0.7b	(pow.f64 (*.f64 c a) 3)

series260.0ms (2.9%)

Counts

4 → 84

Calls

4 calls:

178.0ms	(/.f64 (pow.f64 (*.f64 c a) 3) (pow.f64 b 5))
39.0ms	(*.f64 (pow.f64 c 4) (pow.f64 a 4))
23.0ms	(pow.f64 (*.f64 c a) 3)
19.0ms	(.f64 (.f64 c a) (*.f64 c a))

rewrite66.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

56×	`times-frac_binary64`
51×	`add-exp-log_binary64`
48×	`unpow-prod-down_binary64`
47×	`add-sqr-sqrt_binary64`
46×	`pow1_binary64`

Counts

4 → 200

Calls

4 calls:

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

simplify241.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

766×	`associate-/r/_binary64`
507×	`log-prod_binary64`
477×	`unswap-sqr_binary64`
271×	`associate-/l*_binary64`
209×	`associate-l_binary64`

Counts

284 → 225

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	251	4074
1	439	3729
2	2309	3581
3	4654	3581
4	5471	3581

prune769.0ms (8.6%)

Pruning

22 alts after pruning (20 fresh and 2 done)

	Pruned	Kept	Total
New	224	1	225
Fresh	0	19	19
Picked	0	1	1
Done	0	1	1
Total	224	22	246

Error

0.9b

Counts

246 → 22

Alt Table

Status	Error	Program
	33.9b	(log1p.f64 (expm1.f64 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))))
	29.1b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (+.f64 (fma.f64 b b (neg.f64 (.f64 c (.f64 4 a)))) (fma.f64 (neg.f64 c) (.f64 4 a) (.f64 c (.f64 4 a)))))) (.f64 2 a))
	32.9b	(/.f64 (log1p.f64 (expm1.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))))) (.f64 2 a))
	8.3b	(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))))))
	29.3b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (/.f64 (fma.f64 (.f64 (.f64 c a) (.f64 c a)) -16 (pow.f64 b 4)) (fma.f64 4 (.f64 c a) (.f64 b b))))) (.f64 2 a))
	29.1b	(/.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))
	29.1b	(/.f64 (.f64 (cbrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (cbrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))))) (/.f64 (.f64 2 a) (cbrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))))))
	29.1b	(/.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))
	22.5b	(neg.f64 (/.f64 c b))
	29.1b	(/.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))))))
	32.2b	(/.f64 (log.f64 (exp.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))))) (.f64 2 a))
	8.3b	(/.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 (log.f64 (exp.f64 (/.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))
	29.2b	(/.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))))))))
	32.9b	(log.f64 (exp.f64 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))))
✓	6.4b	(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))))))
▶	7.0b	(neg.f64 (fma.f64 2 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5)) (fma.f64 5 (log.f64 (exp.f64 (/.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))))))
	29.2b	(/.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))
✓	6.5b	(/.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))
	29.1b	(/.f64 1 (/.f64 (.f64 2 a) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))))
	29.5b	(/.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))
	30.4b	(/.f64 (fma.f64 (.f64 (cbrt.f64 b) (cbrt.f64 b)) (neg.f64 (cbrt.f64 b)) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (*.f64 2 a))
	29.1b	(.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 14153 to 8198 computations (42.1% saved)

localize57.0ms (0.6%)

Local error

Found 4 expressions with local error:

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

series192.0ms (2.2%)

Counts

1 → 36

Calls

1 calls:

192.0ms

(log.f64 (exp.f64 (/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7))))

rewrite9.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`log-pow_binary64`
11×	`exp-prod_binary64`
7×	`times-frac_binary64`
5×	`*-un-lft-identity_binary64`
5×	`add-sqr-sqrt_binary64`

Counts

1 → 25

Calls

1 calls:

6.0ms

(log.f64 (exp.f64 (/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7))))

simplify93.0ms (1%)

Algorithm

1×	egg-herbie

Rules

504×	`log-prod_binary64`
355×	`*-commutative_binary64`
339×	`log-div_binary64`
305×	`unswap-sqr_binary64`
193×	`exp-prod_binary64`

Counts

61 → 46

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	76	1083
1	103	1031
2	320	1027
3	1764	1027
4	4118	1027
5	5017	1027

prune796.0ms (8.9%)

Pruning

23 alts after pruning (21 fresh and 2 done)

	Pruned	Kept	Total
New	210	2	212
Fresh	0	19	19
Picked	1	0	1
Done	0	2	2
Total	211	23	234

Error

0.9b

Counts

234 → 23

Alt Table

Status	Error	Program
	8.4b	(neg.f64 (fma.f64 2 (log.f64 (exp.f64 (/.f64 (.f64 (pow.f64 c 3) (.f64 a a)) (pow.f64 b 5)))) (fma.f64 5 (log.f64 (exp.f64 (/.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))))))
	33.9b	(log1p.f64 (expm1.f64 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))))
	29.1b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (+.f64 (fma.f64 b b (neg.f64 (.f64 c (.f64 4 a)))) (fma.f64 (neg.f64 c) (.f64 4 a) (.f64 c (.f64 4 a)))))) (.f64 2 a))
	32.9b	(/.f64 (log1p.f64 (expm1.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))))) (.f64 2 a))
	23.4b	(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 c 4) (pow.f64 b 7)) (log.f64 (exp.f64 (/.f64 (pow.f64 a 3) 1)))) (+.f64 (/.f64 c b) (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b 3))))))
✓	6.4b	(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))))))
	8.3b	(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))))))
	29.3b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (/.f64 (fma.f64 (.f64 (.f64 c a) (.f64 c a)) -16 (pow.f64 b 4)) (fma.f64 4 (.f64 c a) (.f64 b b))))) (.f64 2 a))
	29.1b	(/.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))
	29.1b	(/.f64 (.f64 (cbrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (cbrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))))) (/.f64 (.f64 2 a) (cbrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))))))
	29.1b	(/.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))
	22.5b	(neg.f64 (/.f64 c b))
	29.1b	(/.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))))))
	32.2b	(/.f64 (log.f64 (exp.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))))) (.f64 2 a))
	8.3b	(/.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 (log.f64 (exp.f64 (/.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))
	29.2b	(/.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))))))))
	32.9b	(log.f64 (exp.f64 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))))
	29.2b	(/.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))
✓	6.5b	(/.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))
	29.1b	(/.f64 1 (/.f64 (.f64 2 a) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))))
	29.5b	(/.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))
	30.4b	(/.f64 (fma.f64 (.f64 (cbrt.f64 b) (cbrt.f64 b)) (neg.f64 (cbrt.f64 b)) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (*.f64 2 a))
	29.1b	(.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 11229 to 6881 computations (38.7% saved)

regimes886.0ms (10%)

Accuracy

Total 4.7b remaining (85.9%)

Threshold costs 0b (0%)

Counts

76 → 2

Compiler

Compiled 10213 to 6929 computations (32.2% saved)

bsearch8.0ms (0.1%)

Compiler: Compiled 20 to 14 computations (30% saved)

simplify11.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

13×	`*-commutative_binary64`
11×	`+-commutative_binary64`
7×	`sub-neg_binary64`
6×	`neg-sub0_binary64`
6×	`neg-mul-1_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	50	134
1	76	128
2	96	128
3	104	128
4	107	128
5	108	128
6	107	128

end4.0ms (0%)

Compiler: Compiled 89 to 60 computations (32.6% saved)

sample3.3s (36.6%)

Algorithm

1×

intervals

Results

953.0ms	7690×	body	128	valid
543.0ms	8831×	pre	128	true
95.0ms	831×	body	128	nan
75.0ms	310×	body	256	valid

Compiler

Compiled 1038 to 680 computations (34.5% saved)

Details

analyze418.0ms (4.7%)

sample44.0ms (0.5%)

simplify265.0ms (3%)

prune4.0ms (0%)

localize11.0ms (0.1%)

series196.0ms (2.2%)

rewrite28.0ms (0.3%)

simplify120.0ms (1.3%)

prune152.0ms (1.7%)

localize25.0ms (0.3%)

series233.0ms (2.6%)

rewrite40.0ms (0.4%)

simplify149.0ms (1.7%)

prune519.0ms (5.8%)

localize49.0ms (0.5%)

series260.0ms (2.9%)

rewrite66.0ms (0.7%)

simplify241.0ms (2.7%)

prune769.0ms (8.6%)

localize57.0ms (0.6%)

series192.0ms (2.2%)

rewrite9.0ms (0.1%)

simplify93.0ms (1%)

prune796.0ms (8.9%)

regimes886.0ms (10%)

bsearch8.0ms (0.1%)

simplify11.0ms (0.1%)

end4.0ms (0%)

sample3.3s (36.6%)

Profiling