Details

analyze429.0ms (5.6%)

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)

sample50.0ms (0.7%)

Algorithm

1×

intervals

Results

11.0ms	170×	body	128	valid
11.0ms	86×	body	256	valid
11.0ms	295×	pre	128	true
2.0ms	39×	body	128	nan

Compiler

Compiled 56 to 41 computations (26.8% saved)

simplify364.0ms (4.7%)

Algorithm

1×	egg-herbie

Rules

1968×	`fma-neg_binary64`
1363×	`fma-def_binary64`
898×	`div-sub_binary64`
743×	`associate-/l*_binary64`
567×	`times-frac_binary64`

Counts

1 → 1

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	13	26
1	30	22
2	64	22
3	135	22
4	201	22
5	335	22
6	554	22
7	929	22
8	1477	22
9	2115	22
10	2599	22
11	2554	22
12	2602	22
13	2671	22
14	3117	22
15	2327	22
16	2375	22
17	2383	22
18	2389	22
19	2395	22
20	2397	22
21	2397	22
22	2585	22
23	2685	22
24	2619	22
25	2631	22
26	2661	22
27	2677	22
28	2707	22
29	2707	22
30	2751	22
31	2851	22
32	2827	22
33	2827	22
34	2638	22

prune4.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

42.5b

Counts

2 → 2

Alt Table

Status	Error	Program
▶	42.5b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))
	42.5b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))

Compiler

Compiled 94 to 64 computations (31.9% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
0.3b	(.f64 (.f64 3 a) c)
0.3b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))
36.8b	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))))

rewrite259.0ms (3.4%)

Algorithm

1×	rewrite-expression-head

Error

39.4b

Rules

28×	`pow1_binary64`
26×	`add-cube-cbrt_binary64`
21×	`add-sqr-sqrt_binary64`
20×	`add-exp-log_binary64`
18×	`add-cbrt-cube_binary64`

Counts

4 → 183

Calls

4 calls:

20.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))
20.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
19.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))))
17.0ms	(.f64 (.f64 3 a) c)

Compiler

Compiled 4489 to 2575 computations (42.6% saved)

series140.0ms (1.8%)

Error

0.5b

Counts

4 → 60

Calls

4 calls:

47.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))
36.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))))
28.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
11.0ms	(.f64 (.f64 3 a) c)

Compiler

Compiled 2319 to 1714 computations (26.1% saved)

simplify160.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

760×	`fma-neg_binary64`
237×	`associate-r_binary64`
223×	`associate-l_binary64`
203×	`div-sub_binary64`
145×	`neg-sub0_binary64`

Counts

243 → 160

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	303	4811
1	827	4266
2	3396	4071
3	4971	4071
4	5054	4071

prune115.0ms (1.5%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	149	11	160
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	151	11	162

Error

0.4b

Counts

162 → 11

Alt Table

Status	Error	Program
	41.7b	(/.f64 (/.f64 (-.f64 (pow.f64 (fma.f64 b b (.f64 c (.f64 a -3))) 3/2) (pow.f64 b 3)) (+.f64 (fma.f64 b b (fma.f64 b b (.f64 c (.f64 a -3)))) (.f64 b (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3))))))) (.f64 3 a))
	3.4b	(/.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (fma.f64 9/8 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)) (fma.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) (.f64 405/128 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7)))))) (*.f64 3 a))
▶	3.2b	(neg.f64 (fma.f64 9/16 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5)) (fma.f64 135/128 (/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)) (fma.f64 (/.f64 c b) 1/2 (.f64 3/8 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)))))))
	43.5b	(/.f64 (neg.f64 (/.f64 (pow.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3)))) b) 2) (pow.f64 (.f64 3 a) 2))) (/.f64 (-.f64 b (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3))))) (.f64 3 a)))
	41.7b	(/.f64 (/.f64 1 (/.f64 (+.f64 (fma.f64 b b (fma.f64 b b (.f64 c (.f64 a -3)))) (.f64 b (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3)))))) (-.f64 (pow.f64 (fma.f64 b b (.f64 c (.f64 a -3))) 3/2) (pow.f64 b 3)))) (.f64 3 a))
	43.4b	(/.f64 (pow.f64 (/.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3)))) b) (.f64 3 a)) 3) (/.f64 (pow.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3)))) b) 2) (pow.f64 (.f64 3 a) 2)))
	42.5b	(/.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3)))) b) (exp.f64 (+.f64 (log.f64 3) (log.f64 a))))
	42.4b	(.f64 (cbrt.f64 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))) (.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3)))) b) (.f64 3 a))) (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3)))) b) (.f64 3 a)))))
	42.4b	(/.f64 (/.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3)))) b) 3) a)
	42.1b	(/.f64 (/.f64 (-.f64 (.f64 b b) (fma.f64 b b (.f64 c (.f64 a -3)))) (-.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3)))))) (.f64 3 a))
	42.0b	(/.f64 (-.f64 (/.f64 (.f64 b b) (-.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3)))))) (/.f64 (fma.f64 b b (.f64 c (.f64 a -3))) (-.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3))))))) (.f64 3 a))

Compiler

Compiled 3489 to 2140 computations (38.7% saved)

localize26.0ms (0.3%)

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.4b	(.f64 (.f64 a a) (pow.f64 c 3))
0.4b	(/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3))
0.4b	(*.f64 (pow.f64 a 3) (pow.f64 c 4))

rewrite290.0ms (3.8%)

Algorithm

1×	rewrite-expression-head

Error

0.4b

Rules

31×	`add-cube-cbrt_binary64`
24×	`add-cbrt-cube_binary64`
22×	`add-sqr-sqrt_binary64`
18×	`add-exp-log_binary64`
18×	`pow-to-exp_binary64`

Counts

4 → 162

Calls

4 calls:

18.0ms	(/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7))
17.0ms	(*.f64 (pow.f64 a 3) (pow.f64 c 4))
16.0ms	(/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3))
15.0ms	(.f64 (.f64 a a) (pow.f64 c 3))

Compiler

Compiled 6495 to 4005 computations (38.3% saved)

series153.0ms (2%)

Error

0.4b

Counts

4 → 30

Calls

4 calls:

58.0ms	(/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7))
42.0ms	(/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3))
26.0ms	(*.f64 (pow.f64 a 3) (pow.f64 c 4))
22.0ms	(.f64 (.f64 a a) (pow.f64 c 3))

Compiler

Compiled 2892 to 2100 computations (27.4% saved)

simplify112.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

754×	`fma-def_binary64`
342×	`associate-/l/_binary64`
244×	`associate-l_binary64`
234×	`log-prod_binary64`
226×	`associate-r_binary64`

Counts

192 → 111

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	185	2418
1	456	2159
2	2257	2117
3	4685	2117
4	5432	2117

prune133.0ms (1.7%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	110	1	111
Fresh	0	10	10
Picked	0	1	1
Done	0	0	0
Total	110	12	122

Error

0.4b

Counts

122 → 12

Alt Table

Status	Error	Program
	6.4b	(neg.f64 (fma.f64 9/16 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5)) (fma.f64 135/128 (/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)) (fma.f64 (/.f64 c b) 1/2 (.f64 3/8 (-.f64 (exp.f64 (log1p.f64 (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3)))) 1))))))
	41.7b	(/.f64 (/.f64 1 (/.f64 (+.f64 (fma.f64 b b (fma.f64 b b (.f64 c (.f64 a -3)))) (.f64 b (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3)))))) (-.f64 (pow.f64 (fma.f64 b b (.f64 c (.f64 a -3))) 3/2) (pow.f64 b 3)))) (.f64 3 a))
	41.7b	(/.f64 (/.f64 (-.f64 (pow.f64 (fma.f64 b b (.f64 c (.f64 a -3))) 3/2) (pow.f64 b 3)) (+.f64 (fma.f64 b b (fma.f64 b b (.f64 c (.f64 a -3)))) (.f64 b (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3))))))) (.f64 3 a))
▶	3.4b	(/.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (fma.f64 9/8 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)) (fma.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) (.f64 405/128 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7)))))) (*.f64 3 a))
✓	3.2b	(neg.f64 (fma.f64 9/16 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5)) (fma.f64 135/128 (/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)) (fma.f64 (/.f64 c b) 1/2 (.f64 3/8 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)))))))
	43.5b	(/.f64 (neg.f64 (/.f64 (pow.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3)))) b) 2) (pow.f64 (.f64 3 a) 2))) (/.f64 (-.f64 b (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3))))) (.f64 3 a)))
	43.4b	(/.f64 (pow.f64 (/.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3)))) b) (.f64 3 a)) 3) (/.f64 (pow.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3)))) b) 2) (pow.f64 (.f64 3 a) 2)))
	42.5b	(/.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3)))) b) (exp.f64 (+.f64 (log.f64 3) (log.f64 a))))
	42.4b	(.f64 (cbrt.f64 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))) (.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3)))) b) (.f64 3 a))) (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3)))) b) (.f64 3 a)))))
	42.4b	(/.f64 (/.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3)))) b) 3) a)
	42.1b	(/.f64 (/.f64 (-.f64 (.f64 b b) (fma.f64 b b (.f64 c (.f64 a -3)))) (-.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3)))))) (.f64 3 a))
	42.0b	(/.f64 (-.f64 (/.f64 (.f64 b b) (-.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3)))))) (/.f64 (fma.f64 b b (.f64 c (.f64 a -3))) (-.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3))))))) (.f64 3 a))

Compiler

Compiled 4330 to 2731 computations (36.9% saved)

localize27.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.3b	(/.f64 (*.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))
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)

rewrite319.0ms (4.2%)

Algorithm

1×	rewrite-expression-head

Error

0.4b

Rules

39×	`pow1_binary64`
28×	`add-cube-cbrt_binary64`
23×	`add-cbrt-cube_binary64`
21×	`unpow-prod-down_binary64`
18×	`add-exp-log_binary64`

Counts

4 → 178

Calls

4 calls:

18.0ms	(/.f64 (*.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))
17.0ms	(.f64 (.f64 c a) (*.f64 c a))
17.0ms	(pow.f64 (*.f64 c a) 3)
14.0ms	(/.f64 (pow.f64 (*.f64 c a) 3) (pow.f64 b 5))

Compiler

Compiled 7380 to 4309 computations (41.6% saved)

series150.0ms (2%)

Error

0.4b

Counts

4 → 30

Calls

4 calls:

53.0ms	(/.f64 (pow.f64 (*.f64 c a) 3) (pow.f64 b 5))
51.0ms	(/.f64 (*.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))
22.0ms	(pow.f64 (*.f64 c a) 3)
20.0ms	(.f64 (.f64 c a) (*.f64 c a))

Compiler

Compiled 3332 to 2276 computations (31.7% saved)

simplify106.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

429×	`associate-*l/_binary64`
373×	`unswap-sqr_binary64`
305×	`associate-*r/_binary64`
276×	`fma-def_binary64`
195×	`associate-/l/_binary64`

Counts

208 → 117

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	170	2225
1	357	1898
2	1474	1872
3	4793	1872
4	5089	1872

prune110.0ms (1.4%)

Pruning

13 alts after pruning (11 fresh and 2 done)

	Pruned	Kept	Total
New	116	1	117
Fresh	0	10	10
Picked	0	1	1
Done	0	1	1
Total	116	13	129

Error

0.4b

Counts

129 → 13

Alt Table

Status	Error	Program
	6.4b	(neg.f64 (fma.f64 9/16 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5)) (fma.f64 135/128 (/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)) (fma.f64 (/.f64 c b) 1/2 (.f64 3/8 (-.f64 (exp.f64 (log1p.f64 (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3)))) 1))))))
	41.7b	(/.f64 (/.f64 1 (/.f64 (+.f64 (fma.f64 b b (fma.f64 b b (.f64 c (.f64 a -3)))) (.f64 b (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3)))))) (-.f64 (pow.f64 (fma.f64 b b (.f64 c (.f64 a -3))) 3/2) (pow.f64 b 3)))) (.f64 3 a))
	41.7b	(/.f64 (/.f64 (-.f64 (pow.f64 (fma.f64 b b (.f64 c (.f64 a -3))) 3/2) (pow.f64 b 3)) (+.f64 (fma.f64 b b (fma.f64 b b (.f64 c (.f64 a -3)))) (.f64 b (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3))))))) (.f64 3 a))
✓	3.4b	(/.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (fma.f64 9/8 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)) (fma.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) (.f64 405/128 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7)))))) (*.f64 3 a))
	42.1b	(/.f64 (/.f64 (-.f64 (.f64 b b) (fma.f64 b b (.f64 c (.f64 a -3)))) (-.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3)))))) (.f64 3 a))
▶	3.9b	(/.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (fma.f64 9/8 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)) (fma.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) (.f64 405/128 (log.f64 (exp.f64 (/.f64 (pow.f64 (.f64 c a) 4) (pow.f64 b 7)))))))) (*.f64 3 a))
✓	3.2b	(neg.f64 (fma.f64 9/16 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5)) (fma.f64 135/128 (/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)) (fma.f64 (/.f64 c b) 1/2 (.f64 3/8 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)))))))
	43.5b	(/.f64 (neg.f64 (/.f64 (pow.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3)))) b) 2) (pow.f64 (.f64 3 a) 2))) (/.f64 (-.f64 b (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3))))) (.f64 3 a)))
	43.4b	(/.f64 (pow.f64 (/.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3)))) b) (.f64 3 a)) 3) (/.f64 (pow.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3)))) b) 2) (pow.f64 (.f64 3 a) 2)))
	42.5b	(/.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3)))) b) (exp.f64 (+.f64 (log.f64 3) (log.f64 a))))
	42.4b	(.f64 (cbrt.f64 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))) (.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3)))) b) (.f64 3 a))) (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3)))) b) (.f64 3 a)))))
	42.4b	(/.f64 (/.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3)))) b) 3) a)
	42.0b	(/.f64 (-.f64 (/.f64 (.f64 b b) (-.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3)))))) (/.f64 (fma.f64 b b (.f64 c (.f64 a -3))) (-.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3))))))) (.f64 3 a))

Compiler

Compiled 3933 to 2373 computations (39.7% saved)

localize30.0ms (0.4%)

Local error

Found 4 expressions with local error:

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)
16.2b	(log.f64 (exp.f64 (/.f64 (pow.f64 (*.f64 c a) 4) (pow.f64 b 7))))

rewrite340.0ms (4.4%)

Algorithm

1×	rewrite-expression-head

Error

0.4b

Rules

42×	`pow1_binary64`
20×	`add-exp-log_binary64`
20×	`add-cube-cbrt_binary64`
19×	`pow-prod-down_binary64`
17×	`add-sqr-sqrt_binary64`

Counts

4 → 157

Calls

4 calls:

69.0ms	(.f64 (.f64 c a) (*.f64 c a))
23.0ms	(pow.f64 (*.f64 c a) 4)
17.0ms	(log.f64 (exp.f64 (/.f64 (pow.f64 (*.f64 c a) 4) (pow.f64 b 7))))
15.0ms	(pow.f64 (*.f64 c a) 3)

Compiler

Compiled 6490 to 3705 computations (42.9% saved)

series176.0ms (2.3%)

Error

0.4b

Counts

4 → 29

Calls

4 calls:

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

Compiler

Compiled 3202 to 2141 computations (33.1% saved)

simplify107.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

459×	`log-prod_binary64`
382×	`fma-def_binary64`
376×	`exp-prod_binary64`
288×	`unswap-sqr_binary64`
247×	`fma-neg_binary64`

Counts

186 → 101

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	139	1880
1	250	1646
2	738	1447
3	2846	1445
4	4976	1445
5	5204	1445

prune100.0ms (1.3%)

Pruning

14 alts after pruning (12 fresh and 2 done)

	Pruned	Kept	Total
New	99	2	101
Fresh	0	10	10
Picked	1	0	1
Done	0	2	2
Total	100	14	114

Error

0.4b

Counts

114 → 14

Alt Table

Status	Error	Program
	6.4b	(neg.f64 (fma.f64 9/16 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5)) (fma.f64 135/128 (/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)) (fma.f64 (/.f64 c b) 1/2 (.f64 3/8 (-.f64 (exp.f64 (log1p.f64 (/.f64 (.f64 a (.f64 c c)) (pow.f64 b 3)))) 1))))))
	41.7b	(/.f64 (/.f64 1 (/.f64 (+.f64 (fma.f64 b b (fma.f64 b b (.f64 c (.f64 a -3)))) (.f64 b (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3)))))) (-.f64 (pow.f64 (fma.f64 b b (.f64 c (.f64 a -3))) 3/2) (pow.f64 b 3)))) (.f64 3 a))
	41.7b	(/.f64 (/.f64 (-.f64 (pow.f64 (fma.f64 b b (.f64 c (.f64 a -3))) 3/2) (pow.f64 b 3)) (+.f64 (fma.f64 b b (fma.f64 b b (.f64 c (.f64 a -3)))) (.f64 b (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3))))))) (.f64 3 a))
	3.4b	(/.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (fma.f64 9/8 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)) (fma.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) (.f64 405/128 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7)))))) (*.f64 3 a))
	42.4b	(/.f64 (/.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3)))) b) 3) a)
	3.9b	(/.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (fma.f64 9/8 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)) (fma.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) (.f64 405/128 (.f64 (cbrt.f64 (log.f64 (exp.f64 (/.f64 (pow.f64 (.f64 c a) 4) (pow.f64 b 7))))) (.f64 (cbrt.f64 (/.f64 (pow.f64 (.f64 c a) 4) (pow.f64 b 7))) (cbrt.f64 (/.f64 (pow.f64 (.f64 c a) 4) (pow.f64 b 7))))))))) (*.f64 3 a))
	42.1b	(/.f64 (/.f64 (-.f64 (.f64 b b) (fma.f64 b b (.f64 c (.f64 a -3)))) (-.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3)))))) (.f64 3 a))
	57.7b	(/.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (fma.f64 9/8 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)) (fma.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) (.f64 405/128 (/.f64 (fma.f64 8 (pow.f64 (log.f64 (cbrt.f64 (exp.f64 (/.f64 (pow.f64 (.f64 c a) 4) (pow.f64 b 7))))) 3) (pow.f64 (log.f64 (cbrt.f64 (exp.f64 (/.f64 (pow.f64 (.f64 c a) 4) (pow.f64 b 7))))) 3)) (.f64 (/.f64 (pow.f64 (.f64 c a) 4) (pow.f64 b 7)) (+.f64 0 (log.f64 (cbrt.f64 (exp.f64 (/.f64 (pow.f64 (.f64 c a) 4) (pow.f64 b 7)))))))))))) (*.f64 3 a))
	3.2b	(neg.f64 (fma.f64 9/16 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5)) (fma.f64 135/128 (/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)) (fma.f64 (/.f64 c b) 1/2 (.f64 3/8 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)))))))
	43.5b	(/.f64 (neg.f64 (/.f64 (pow.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3)))) b) 2) (pow.f64 (.f64 3 a) 2))) (/.f64 (-.f64 b (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3))))) (.f64 3 a)))
	43.4b	(/.f64 (pow.f64 (/.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3)))) b) (.f64 3 a)) 3) (/.f64 (pow.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3)))) b) 2) (pow.f64 (.f64 3 a) 2)))
	42.5b	(/.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3)))) b) (exp.f64 (+.f64 (log.f64 3) (log.f64 a))))
	42.4b	(.f64 (cbrt.f64 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))) (.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3)))) b) (.f64 3 a))) (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3)))) b) (.f64 3 a)))))
	42.0b	(/.f64 (-.f64 (/.f64 (.f64 b b) (-.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3)))))) (/.f64 (fma.f64 b b (.f64 c (.f64 a -3))) (-.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -3))))))) (.f64 3 a))

Compiler

Compiled 3041 to 1833 computations (39.7% saved)

regimes2.0s (26%)

Accuracy

Total 2.6b remaining (88.6%)

Threshold costs 0b (0%)

Compiler

Compiled 36820 to 24958 computations (32.2% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

6×	`*-commutative_binary64`
1×	`+-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	32	63
1	41	63
2	43	63
3	44	63
4	44	63

end1.0ms (0%)

Compiler: Compiled 46 to 33 computations (28.3% saved)

sample2.0s (25.5%)

Algorithm

1×

intervals

Results

400.0ms	2928×	body	256	valid
344.0ms	5071×	body	128	valid
287.0ms	8868×	pre	128	true
57.0ms	868×	body	128	nan
0.0ms	1×	body	512	valid

Compiler

Compiled 743 to 501 computations (32.6% saved)

Details

analyze429.0ms (5.6%)

sample50.0ms (0.7%)

simplify364.0ms (4.7%)

prune4.0ms (0.1%)

localize10.0ms (0.1%)

rewrite259.0ms (3.4%)

series140.0ms (1.8%)

simplify160.0ms (2.1%)

prune115.0ms (1.5%)

localize26.0ms (0.3%)

rewrite290.0ms (3.8%)

series153.0ms (2%)

simplify112.0ms (1.5%)

prune133.0ms (1.7%)

localize27.0ms (0.4%)

rewrite319.0ms (4.2%)

series150.0ms (2%)

simplify106.0ms (1.4%)

prune110.0ms (1.4%)

localize30.0ms (0.4%)

rewrite340.0ms (4.4%)

series176.0ms (2.3%)

simplify107.0ms (1.4%)

prune100.0ms (1.3%)

regimes2.0s (26%)

simplify4.0ms (0.1%)

end1.0ms (0%)

sample2.0s (25.5%)

Profiling