Details

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

sample1.5s (25.7%)

Results

1.2s	7917×	body	128	valid
143.0ms	1018×	body	128	invalid
91.0ms	339×	body	256	valid

Compiler

Compiled 106 to 76 computations (28.3% saved)

simplify33.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

452×	`fma-neg_binary64`
277×	`rules-4_binary64`
272×	`rules-11_binary64`
242×	`rules-40_binary64`
242×	`rules-41_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	26
1	78	26
2	249	26
3	924	26
4	24	26

prune2.0ms (0%)

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

28.4b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	28.4b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))

Compiler

Compiled 60 to 42 computations (30% saved)

localize10.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
✓	0.3b	(.f64 (.f64 3 a) c)
✓	0.4b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))
✓	28.3b	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))))

series191.0ms (3.3%)

Counts

4 → 100

Calls

4 calls:

124.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))
52.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))))
11.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
4.0ms	(.f64 (.f64 3 a) c)

rewrite132.0ms (2.3%)

Algorithm

2×	batch-egg-rewrite

Rules

251×	`expm1-udef_binary64`
251×	`log1p-udef_binary64`
163×	`egg-rr`
141×	`add-sqr-sqrt_binary64`
136×	`log1p-expm1-u_binary64`

Counts

4 → 163

Calls

4 calls:

128.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
128.0ms	(.f64 (.f64 3 a) c)
128.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))
128.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	66
1	319	66
2	4138	64
3	4996	64
4	4883	64
0	0	0
1	0	0

simplify81.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

401×	`rules-21_binary64`
265×	`fma-neg_binary64`
228×	`rules-16-rev_binary64`
202×	`rules-18_binary64`
194×	`rules-7-rev_binary64`

Counts

263 → 213

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	119	1971
1	854	1961
2	3897	1961
3	4976	1961

prune196.0ms (3.4%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	205	8	213
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	206	8	214

Error

0.9b

Counts

214 → 8

Alt Table

Status	Error	Program
	28.4b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (fabs.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))))) (.f64 3 a))
	6.0b	(/.f64 (neg.f64 (fma.f64 (/.f64 (.f64 c a) b) 3/2 (fma.f64 9/8 (/.f64 (.f64 (.f64 c c) (.f64 a a)) (pow.f64 b 3)) (fma.f64 27/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 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))
	12.4b	(neg.f64 (fma.f64 1/2 (/.f64 c b) (.f64 3/8 (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b 3)))))
	6.0b	(/.f64 (neg.f64 (+.f64 (.f64 3/2 (/.f64 (.f64 c a) b)) (+.f64 (.f64 9/8 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))) (+.f64 (.f64 405/128 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))) (.f64 27/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))))))) (*.f64 3 a))
	28.5b	(/.f64 (fma.f64 (pow.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)) 1/4) (pow.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)) 1/4) (neg.f64 b)) (*.f64 3 a))
	29.0b	(/.f64 (.f64 (pow.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)) 1/4) (+.f64 (pow.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)) 1/4) (/.f64 (neg.f64 b) (pow.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)) 1/4)))) (*.f64 3 a))
▶	5.8b	(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 1/2 (/.f64 c b) (.f64 3/8 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)))))))
	28.3b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (neg.f64 (.f64 (.f64 3 a) c))))) (*.f64 3 a))

Compiler

Compiled 5998 to 3781 computations (37% saved)

localize27.0ms (0.5%)

Local error

Found 4 expressions with local error:

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

series376.0ms (6.5%)

Counts

4 → 132

Calls

4 calls:

155.0ms	(.f64 3/8 (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b 3)))
136.0ms	(/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7))
70.0ms	(/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3))
15.0ms	(.f64 (.f64 a a) (pow.f64 c 3))

rewrite79.0ms (1.4%)

Algorithm

2×	batch-egg-rewrite

Rules

345×	`log1p-udef_binary64`
196×	`add-sqr-sqrt_binary64`
190×	`log1p-expm1-u_binary64`
190×	`expm1-log1p-u_binary64`
186×	`add-cbrt-cube_binary64`

Counts

4 → 94

Calls

4 calls:

76.0ms	(/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3))
76.0ms	(/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7))
76.0ms	(.f64 3/8 (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b 3)))
76.0ms	(.f64 (.f64 a a) (pow.f64 c 3))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	55
1	492	55
2	4691	55
3	5215	55
0	0	0
1	0	0

simplify86.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

978×	`rules-42_binary64`
977×	`rules-40_binary64`
815×	`fma-neg_binary64`
703×	`rules-41_binary64`
703×	`rules-43_binary64`

Counts

226 → 99

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	1320
1	133	1320
2	434	1320
3	1752	1320
4	3672	1320
5	23	1320

prune237.0ms (4.1%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	95	4	99
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	95	12	107

Error

0.9b

Counts

107 → 12

Alt Table

Status	Error	Program
	11.6b	(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 1/2 (/.f64 c b) (-.f64 (exp.f64 (log1p.f64 (.f64 3/8 (/.f64 (.f64 c (.f64 a c)) (pow.f64 b 3))))) 1)))))
	12.4b	(neg.f64 (fma.f64 1/2 (/.f64 c b) (.f64 3/8 (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b 3)))))
	28.4b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (fabs.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))))) (.f64 3 a))
▶	6.0b	(/.f64 (neg.f64 (fma.f64 (/.f64 (.f64 c a) b) 3/2 (fma.f64 9/8 (/.f64 (.f64 (.f64 c c) (.f64 a a)) (pow.f64 b 3)) (fma.f64 27/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 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))
	11.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 1/2 (/.f64 c b) (.f64 3/8 (log.f64 (exp.f64 (/.f64 (.f64 c (.f64 a c)) (pow.f64 b 3)))))))))
	29.0b	(/.f64 (.f64 (pow.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)) 1/4) (+.f64 (pow.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)) 1/4) (/.f64 (neg.f64 b) (pow.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)) 1/4)))) (*.f64 3 a))
	11.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 1/2 (/.f64 c b) (.f64 3/8 (-.f64 (exp.f64 (log1p.f64 (/.f64 (.f64 c (.f64 a c)) (pow.f64 b 3)))) 1))))))
✓	5.8b	(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 1/2 (/.f64 c b) (.f64 3/8 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)))))))
	6.0b	(/.f64 (neg.f64 (+.f64 (.f64 3/2 (/.f64 (.f64 c a) b)) (+.f64 (.f64 9/8 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))) (+.f64 (.f64 405/128 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))) (.f64 27/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))))))) (*.f64 3 a))
	28.5b	(/.f64 (fma.f64 (pow.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)) 1/4) (pow.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)) 1/4) (neg.f64 b)) (*.f64 3 a))
	6.3b	(neg.f64 (fma.f64 9/16 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5)) (fma.f64 135/128 (log.f64 (exp.f64 (/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)))) (fma.f64 1/2 (/.f64 c b) (.f64 3/8 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)))))))
	28.3b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (neg.f64 (.f64 (.f64 3 a) c))))) (*.f64 3 a))

Compiler

Compiled 5615 to 3597 computations (35.9% saved)

localize33.0ms (0.6%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(.f64 (.f64 c c) (*.f64 a a))
✓	0.3b	(/.f64 (*.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))
✓	0.4b	(*.f64 (pow.f64 c 4) (pow.f64 a 4))
✓	0.4b	(/.f64 (neg.f64 (fma.f64 (/.f64 (.f64 c a) b) 3/2 (fma.f64 9/8 (/.f64 (.f64 (.f64 c c) (.f64 a a)) (pow.f64 b 3)) (fma.f64 27/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 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))

series260.0ms (4.5%)

Counts

4 → 60

Calls

4 calls:

118.0ms	(/.f64 (neg.f64 (fma.f64 (/.f64 (.f64 c a) b) 3/2 (fma.f64 9/8 (/.f64 (.f64 (.f64 c c) (.f64 a a)) (pow.f64 b 3)) (fma.f64 27/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 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))
109.0ms	(/.f64 (*.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))
21.0ms	(*.f64 (pow.f64 c 4) (pow.f64 a 4))
12.0ms	(.f64 (.f64 c c) (*.f64 a a))

rewrite52.0ms (0.9%)

Algorithm

2×	batch-egg-rewrite

Rules

334×	`log1p-expm1-u_binary64`
334×	`expm1-log1p-u_binary64`
324×	`add-cbrt-cube_binary64`
317×	`add-exp-log_binary64`
317×	`add-log-exp_binary64`

Counts

4 → 88

Calls

4 calls:

50.0ms	(.f64 (.f64 c c) (*.f64 a a))
50.0ms	(/.f64 (*.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))
50.0ms	(*.f64 (pow.f64 c 4) (pow.f64 a 4))
50.0ms	(/.f64 (neg.f64 (fma.f64 (/.f64 (.f64 c a) b) 3/2 (fma.f64 9/8 (/.f64 (.f64 (.f64 c c) (.f64 a a)) (pow.f64 b 3)) (fma.f64 27/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 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))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	36	99
1	853	93
2	5010	93
0	0	0
1	0	0

simplify108.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

751×	`rules-21_binary64`
702×	`fma-neg_binary64`
379×	`rules-40_binary64`
379×	`rules-41_binary64`
379×	`rules-42_binary64`

Counts

148 → 103

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	49	1686
1	331	1686
2	1393	1686
3	4684	1686
4	4651	1686
5	4941	1686

prune196.0ms (3.4%)

Pruning

16 alts after pruning (14 fresh and 2 done)

	Pruned	Kept	Total
New	99	4	103
Fresh	0	10	10
Picked	0	1	1
Done	0	1	1
Total	99	16	115

Error

0.8b

Counts

115 → 16

Alt Table

Status	Error	Program
	11.6b	(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 1/2 (/.f64 c b) (-.f64 (exp.f64 (log1p.f64 (.f64 3/8 (/.f64 (.f64 c (.f64 a c)) (pow.f64 b 3))))) 1)))))
	12.4b	(neg.f64 (fma.f64 1/2 (/.f64 c b) (.f64 3/8 (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b 3)))))
	28.4b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (fabs.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))))) (.f64 3 a))
✓	6.0b	(/.f64 (neg.f64 (fma.f64 (/.f64 (.f64 c a) b) 3/2 (fma.f64 9/8 (/.f64 (.f64 (.f64 c c) (.f64 a a)) (pow.f64 b 3)) (fma.f64 27/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 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))
	11.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 1/2 (/.f64 c b) (.f64 3/8 (log.f64 (exp.f64 (/.f64 (.f64 c (.f64 a c)) (pow.f64 b 3)))))))))
	29.0b	(/.f64 (.f64 (pow.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)) 1/4) (+.f64 (pow.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)) 1/4) (/.f64 (neg.f64 b) (pow.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)) 1/4)))) (*.f64 3 a))
	6.3b	(cbrt.f64 (pow.f64 (/.f64 (neg.f64 (fma.f64 (/.f64 (.f64 c a) b) 3/2 (fma.f64 9/8 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3)) (fma.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) (.f64 405/128 (/.f64 (pow.f64 (.f64 c a) 4) (pow.f64 b 7))))))) (.f64 a 3)) 3))
	11.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 1/2 (/.f64 c b) (.f64 3/8 (-.f64 (exp.f64 (log1p.f64 (/.f64 (.f64 c (.f64 a c)) (pow.f64 b 3)))) 1))))))
✓	5.8b	(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 1/2 (/.f64 c b) (.f64 3/8 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)))))))
	28.3b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (neg.f64 (.f64 (.f64 3 a) c))))) (*.f64 3 a))
	6.8b	(pow.f64 (cbrt.f64 (/.f64 (neg.f64 (fma.f64 (/.f64 (.f64 c a) b) 3/2 (fma.f64 9/8 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3)) (fma.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) (.f64 405/128 (/.f64 (pow.f64 (.f64 c a) 4) (pow.f64 b 7))))))) (.f64 a 3))) 3)
	26.4b	(-.f64 (exp.f64 (log1p.f64 (/.f64 (neg.f64 (fma.f64 (/.f64 (.f64 c a) b) 3/2 (fma.f64 9/8 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3)) (fma.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) (.f64 405/128 (/.f64 (pow.f64 (.f64 c a) 4) (pow.f64 b 7))))))) (.f64 a 3)))) 1)
▶	6.0b	(/.f64 (neg.f64 (+.f64 (.f64 3/2 (/.f64 (.f64 c a) b)) (+.f64 (.f64 9/8 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))) (+.f64 (.f64 405/128 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))) (.f64 27/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))))))) (*.f64 3 a))
	8.8b	(log1p.f64 (expm1.f64 (/.f64 (neg.f64 (fma.f64 (/.f64 (.f64 c a) b) 3/2 (fma.f64 9/8 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3)) (fma.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) (.f64 405/128 (/.f64 (pow.f64 (.f64 c a) 4) (pow.f64 b 7))))))) (.f64 a 3))))
	28.5b	(/.f64 (fma.f64 (pow.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)) 1/4) (pow.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)) 1/4) (neg.f64 b)) (*.f64 3 a))
	6.3b	(neg.f64 (fma.f64 9/16 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5)) (fma.f64 135/128 (log.f64 (exp.f64 (/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)))) (fma.f64 1/2 (/.f64 c b) (.f64 3/8 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)))))))

Compiler

Compiled 6471 to 4172 computations (35.5% saved)

localize34.0ms (0.6%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(*.f64 (pow.f64 c 2) (pow.f64 a 2))
	0.3b	(/.f64 (*.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))
	0.4b	(*.f64 (pow.f64 c 4) (pow.f64 a 4))
✓	0.4b	(/.f64 (neg.f64 (+.f64 (.f64 3/2 (/.f64 (.f64 c a) b)) (+.f64 (.f64 9/8 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))) (+.f64 (.f64 405/128 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))) (.f64 27/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))))))) (*.f64 3 a))

series98.0ms (1.7%)

Counts

2 → 36

Calls

2 calls:

86.0ms

(/.f64 (neg.f64 (+.f64 (*.f64 3/2 (/.f64 (*.f64 c a) b)) (+.f64 (*.f64 9/8 (/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))) (+.f64 (*.f64 405/128 (/.f64 (*.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))) (*.f64 27/16 (/.f64 (*.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))))))) (*.f64 3 a))

11.0ms

(*.f64 (pow.f64 c 2) (pow.f64 a 2))

rewrite73.0ms (1.2%)

Algorithm

2×	batch-egg-rewrite

Rules

706×	`log1p-udef_binary64`
395×	`log1p-expm1-u_binary64`
395×	`expm1-log1p-u_binary64`
369×	`add-log-exp_binary64`
329×	`pow1_binary64`

Counts

2 → 43

Calls

2 calls:

71.0ms

(*.f64 (pow.f64 c 2) (pow.f64 a 2))

71.0ms

(/.f64 (neg.f64 (+.f64 (*.f64 3/2 (/.f64 (*.f64 c a) b)) (+.f64 (*.f64 9/8 (/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))) (+.f64 (*.f64 405/128 (/.f64 (*.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))) (*.f64 27/16 (/.f64 (*.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))))))) (*.f64 3 a))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	40	73
1	988	73
2	4757	73
3	5885	73
0	0	0
1	0	0

simplify52.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

686×	`fma-neg_binary64`
514×	`rules-13_binary64`
379×	`rules-40_binary64`
379×	`rules-41_binary64`
379×	`rules-42_binary64`

Counts

79 → 56

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	48	1446
1	325	1446
2	1374	1446
3	5683	1446

prune254.0ms (4.4%)

Pruning

16 alts after pruning (13 fresh and 3 done)

	Pruned	Kept	Total
New	100	0	100
Fresh	0	13	13
Picked	0	1	1
Done	0	2	2
Total	100	16	116

Error

0.8b

Counts

116 → 16

Alt Table

Status	Error	Program
	11.6b	(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 1/2 (/.f64 c b) (-.f64 (exp.f64 (log1p.f64 (.f64 3/8 (/.f64 (.f64 c (.f64 a c)) (pow.f64 b 3))))) 1)))))
	12.4b	(neg.f64 (fma.f64 1/2 (/.f64 c b) (.f64 3/8 (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b 3)))))
	28.4b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (fabs.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))))) (.f64 3 a))
✓	6.0b	(/.f64 (neg.f64 (fma.f64 (/.f64 (.f64 c a) b) 3/2 (fma.f64 9/8 (/.f64 (.f64 (.f64 c c) (.f64 a a)) (pow.f64 b 3)) (fma.f64 27/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 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))
	11.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 1/2 (/.f64 c b) (.f64 3/8 (log.f64 (exp.f64 (/.f64 (.f64 c (.f64 a c)) (pow.f64 b 3)))))))))
	29.0b	(/.f64 (.f64 (pow.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)) 1/4) (+.f64 (pow.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)) 1/4) (/.f64 (neg.f64 b) (pow.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)) 1/4)))) (*.f64 3 a))
	6.3b	(cbrt.f64 (pow.f64 (/.f64 (neg.f64 (fma.f64 (/.f64 (.f64 c a) b) 3/2 (fma.f64 9/8 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3)) (fma.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) (.f64 405/128 (/.f64 (pow.f64 (.f64 c a) 4) (pow.f64 b 7))))))) (.f64 a 3)) 3))
	11.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 1/2 (/.f64 c b) (.f64 3/8 (-.f64 (exp.f64 (log1p.f64 (/.f64 (.f64 c (.f64 a c)) (pow.f64 b 3)))) 1))))))
✓	5.8b	(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 1/2 (/.f64 c b) (.f64 3/8 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)))))))
	28.3b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (neg.f64 (.f64 (.f64 3 a) c))))) (*.f64 3 a))
	6.8b	(pow.f64 (cbrt.f64 (/.f64 (neg.f64 (fma.f64 (/.f64 (.f64 c a) b) 3/2 (fma.f64 9/8 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3)) (fma.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) (.f64 405/128 (/.f64 (pow.f64 (.f64 c a) 4) (pow.f64 b 7))))))) (.f64 a 3))) 3)
	26.4b	(-.f64 (exp.f64 (log1p.f64 (/.f64 (neg.f64 (fma.f64 (/.f64 (.f64 c a) b) 3/2 (fma.f64 9/8 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3)) (fma.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) (.f64 405/128 (/.f64 (pow.f64 (.f64 c a) 4) (pow.f64 b 7))))))) (.f64 a 3)))) 1)
✓	6.0b	(/.f64 (neg.f64 (+.f64 (.f64 3/2 (/.f64 (.f64 c a) b)) (+.f64 (.f64 9/8 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))) (+.f64 (.f64 405/128 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))) (.f64 27/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))))))) (*.f64 3 a))
	8.8b	(log1p.f64 (expm1.f64 (/.f64 (neg.f64 (fma.f64 (/.f64 (.f64 c a) b) 3/2 (fma.f64 9/8 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3)) (fma.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) (.f64 405/128 (/.f64 (pow.f64 (.f64 c a) 4) (pow.f64 b 7))))))) (.f64 a 3))))
	28.5b	(/.f64 (fma.f64 (pow.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)) 1/4) (pow.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)) 1/4) (neg.f64 b)) (*.f64 3 a))
	6.3b	(neg.f64 (fma.f64 9/16 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5)) (fma.f64 135/128 (log.f64 (exp.f64 (/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)))) (fma.f64 1/2 (/.f64 c b) (.f64 3/8 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)))))))

Compiler

Compiled 5922 to 4069 computations (31.3% saved)

regimes852.0ms (14.6%)

Accuracy

Total 5.2b remaining (85.6%)

Threshold costs 0b (0%)

Counts

95 → 1

Compiler

Compiled 18392 to 13089 computations (28.8% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	32	63
1	32	63

end514.0ms (8.8%)

Compiler: Compiled 787 to 559 computations (29% saved)

Details

analyze351.0ms (6%)

sample1.5s (25.7%)

simplify33.0ms (0.6%)

prune2.0ms (0%)

localize10.0ms (0.2%)

series191.0ms (3.3%)

rewrite132.0ms (2.3%)

simplify81.0ms (1.4%)

prune196.0ms (3.4%)

localize27.0ms (0.5%)

series376.0ms (6.5%)

rewrite79.0ms (1.4%)

simplify86.0ms (1.5%)

prune237.0ms (4.1%)

localize33.0ms (0.6%)

series260.0ms (4.5%)

rewrite52.0ms (0.9%)

simplify108.0ms (1.8%)

prune196.0ms (3.4%)

localize34.0ms (0.6%)

series98.0ms (1.7%)

rewrite73.0ms (1.2%)

simplify52.0ms (0.9%)

prune254.0ms (4.4%)

regimes852.0ms (14.6%)

simplify2.0ms (0%)

end514.0ms (8.8%)

Profiling