Details

analyze2.7s (15.3%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
25%	74.9%	0.1%	5
25%	74.9%	0.1%	6
31.2%	68.7%	0.1%	7
34.3%	65.6%	0.1%	8
37.5%	59.3%	3.2%	9
42.9%	53.5%	3.6%	10
44.5%	50%	5.6%	11
47.8%	45.8%	6.4%	12
48.7%	43.7%	7.6%	13
50.5%	41.3%	8.2%	14

Compiler

Compiled 130 to 81 computations (37.7% saved)

sample5.9s (33.5%)

Results

2.7s	7313×	body	128	valid
2.2s	6055×	body	128	invalid
428.0ms	311×	body	1024	valid
403.0ms	383×	body	512	valid
193.0ms	249×	body	256	valid

Compiler

Compiled 389 to 242 computations (37.8% saved)

simplify25.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

812×	`distribute-rgt-in_binary64`
766×	`distribute-lft-in_binary64`
203×	`fma-def_binary64`
171×	`associate-+l+_binary64`
160×	`distribute-lft-out_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	36	164
1	118	155
2	432	150
3	2227	138

Stop Event

1×	node limit

Counts

1 → 2

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

0.2b

Counts

3 → 2

Alt Table

Status	Error	Program
	0.5b	(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (.f64 (+.f64 (.f64 (.f64 (.f64 2 x1) (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1))) (-.f64 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) 3)) (.f64 (.f64 x1 x1) (-.f64 (.f64 4 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1))) 6))) (+.f64 (.f64 x1 x1) 1)) (.f64 (.f64 (.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)))) (.f64 (.f64 x1 x1) x1)) x1) (.f64 3 (/.f64 (-.f64 (-.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)))))
▶	0.3b	(+.f64 (fma.f64 x1 (.f64 x1 (/.f64 (.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) 3) (fma.f64 x1 x1 1))) (.f64 (fma.f64 x1 x1 1) (+.f64 (+.f64 (.f64 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) (+.f64 (.f64 x1 (+.f64 -6 (.f64 2 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1))))) (.f64 (.f64 x1 x1) 4))) (.f64 x1 (.f64 x1 -6))) x1))) (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (*.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) x1))

Status

Error

Program

0.5b

(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 (+.f64 (*.f64 (*.f64 (*.f64 2 x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)) (*.f64 (*.f64 x1 x1) (-.f64 (*.f64 4 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) 6))) (+.f64 (*.f64 x1 x1) 1)) (*.f64 (*.f64 (*.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))) (*.f64 (*.f64 x1 x1) x1)) x1) (*.f64 3 (/.f64 (-.f64 (-.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))))

▶

0.3b

(+.f64 (fma.f64 x1 (*.f64 x1 (/.f64 (*.f64 (fma.f64 2 x2 (fma.f64 x1 (*.f64 x1 3) (neg.f64 x1))) 3) (fma.f64 x1 x1 1))) (*.f64 (fma.f64 x1 x1 1) (+.f64 (+.f64 (*.f64 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (*.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) (+.f64 (*.f64 x1 (+.f64 -6 (*.f64 2 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (*.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1))))) (*.f64 (*.f64 x1 x1) 4))) (*.f64 x1 (*.f64 x1 -6))) x1))) (fma.f64 3 (/.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) x1))

Compiler

Compiled 679 to 420 computations (38.1% saved)

localize36.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) (+.f64 (.f64 x1 (+.f64 -6 (.f64 2 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1))))) (.f64 (*.f64 x1 x1) 4)))
✓	0.2b	(.f64 x1 (/.f64 (.f64 (fma.f64 2 x2 (fma.f64 x1 (*.f64 x1 3) (neg.f64 x1))) 3) (fma.f64 x1 x1 1)))
✓	2.5b	(+.f64 (.f64 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) (+.f64 (.f64 x1 (+.f64 -6 (.f64 2 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1))))) (.f64 (.f64 x1 x1) 4))) (.f64 x1 (*.f64 x1 -6)))
✓	4.8b	(+.f64 -6 (.f64 2 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1))))

series306.0ms (1.7%)

Counts

4 → 96

Calls

4 calls:

130.0ms	(+.f64 (.f64 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) (+.f64 (.f64 x1 (+.f64 -6 (.f64 2 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1))))) (.f64 (.f64 x1 x1) 4))) (.f64 x1 (*.f64 x1 -6)))
94.0ms	(.f64 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) (+.f64 (.f64 x1 (+.f64 -6 (.f64 2 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1))))) (.f64 (*.f64 x1 x1) 4)))
43.0ms	(.f64 x1 (/.f64 (.f64 (fma.f64 2 x2 (fma.f64 x1 (*.f64 x1 3) (neg.f64 x1))) 3) (fma.f64 x1 x1 1)))
38.0ms	(+.f64 -6 (.f64 2 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1))))

rewrite52.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

278×	`log1p-expm1-u_binary64`
278×	`expm1-log1p-u_binary64`
275×	`add-cbrt-cube_binary64`
270×	`add-log-exp_binary64`
269×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	27	181
1	600	175

Stop Event

1×	node limit

Counts

4 → 80

Calls

4 calls:

46.0ms	(.f64 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) (+.f64 (.f64 x1 (+.f64 -6 (.f64 2 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1))))) (.f64 (*.f64 x1 x1) 4)))
46.0ms	(.f64 x1 (/.f64 (.f64 (fma.f64 2 x2 (fma.f64 x1 (*.f64 x1 3) (neg.f64 x1))) 3) (fma.f64 x1 x1 1)))
46.0ms	(+.f64 (.f64 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) (+.f64 (.f64 x1 (+.f64 -6 (.f64 2 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1))))) (.f64 (.f64 x1 x1) 4))) (.f64 x1 (*.f64 x1 -6)))
46.0ms	(+.f64 -6 (.f64 2 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1))))

simplify85.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

769×	`cancel-sign-sub-inv_binary64`
439×	`sub-neg_binary64`
387×	`fma-neg_binary64`
371×	`fma-def_binary64`
276×	`times-frac_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	235	5760
1	820	5209
2	2930	5195

Stop Event

1×	node limit

Counts

176 → 170

prune712.0ms (4%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	159	11	170
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	160	12	172

Error

0.1b

Counts

172 → 12

Alt Table

Status	Error	Program
	13.2b	(+.f64 (fma.f64 x1 (.f64 x1 (/.f64 (.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) 3) (fma.f64 x1 x1 1))) (.f64 (fma.f64 x1 x1 1) (+.f64 (cbrt.f64 (pow.f64 (fma.f64 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) (fma.f64 x1 (fma.f64 2 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) -6) (.f64 x1 (.f64 x1 4))) (.f64 x1 (.f64 -6 x1))) 3)) x1))) (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) x1))
	51.3b	(+.f64 (fma.f64 x1 (.f64 x1 (/.f64 (.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) 3) (fma.f64 x1 x1 1))) (.f64 (fma.f64 x1 x1 1) (+.f64 (-.f64 (+.f64 (.f64 8 x2) (.f64 6 (pow.f64 x1 2))) (+.f64 18 (.f64 4 x1))) x1))) (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (*.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) x1))
	19.0b	(+.f64 (fma.f64 x1 (.f64 x1 (/.f64 (.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) 3) (fma.f64 x1 x1 1))) (.f64 (fma.f64 x1 x1 1) (+.f64 (/.f64 (-.f64 (pow.f64 (.f64 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) (fma.f64 x1 (fma.f64 2 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) -6) (.f64 x1 (.f64 x1 4)))) 2) (pow.f64 (.f64 x1 (.f64 -6 x1)) 2)) (fma.f64 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) (fma.f64 x1 (fma.f64 2 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) -6) (.f64 x1 (.f64 x1 4))) (neg.f64 (.f64 x1 (.f64 -6 x1))))) x1))) (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (*.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) x1))
	18.1b	(+.f64 (fma.f64 x1 (.f64 x1 (/.f64 (.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) 3) (fma.f64 x1 x1 1))) (.f64 (fma.f64 x1 x1 1) (+.f64 (-.f64 (fma.f64 24 (.f64 (pow.f64 x1 5) (.f64 x2 x2)) (fma.f64 (.f64 x2 8) (pow.f64 x1 4) (fma.f64 (.f64 x2 36) (pow.f64 x1 3) (fma.f64 (pow.f64 x1 5) 36 (.f64 x1 (.f64 8 (.f64 x2 x2))))))) (fma.f64 16 (.f64 (pow.f64 x1 3) (.f64 x2 x2)) (fma.f64 12 (.f64 x1 x2) (fma.f64 60 (.f64 x2 (pow.f64 x1 5)) (fma.f64 (pow.f64 x1 3) 20 (.f64 6 (pow.f64 x1 4))))))) x1))) (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) x1))
	38.7b	(+.f64 (fma.f64 x1 (.f64 x1 (/.f64 (.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) 3) (fma.f64 x1 x1 1))) (.f64 (fma.f64 x1 x1 1) (+.f64 (/.f64 (+.f64 (pow.f64 (.f64 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) (fma.f64 x1 (fma.f64 2 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) -6) (.f64 x1 (.f64 x1 4)))) 3) (pow.f64 (.f64 x1 (.f64 -6 x1)) 3)) (+.f64 (pow.f64 (.f64 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) (fma.f64 x1 (fma.f64 2 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) -6) (.f64 x1 (.f64 x1 4)))) 2) (-.f64 (pow.f64 (.f64 x1 (.f64 -6 x1)) 2) (.f64 (.f64 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) (fma.f64 x1 (fma.f64 2 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) -6) (.f64 x1 (.f64 x1 4)))) (.f64 x1 (.f64 -6 x1)))))) x1))) (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) x1))
	0.8b	(+.f64 (fma.f64 x1 (.f64 9 x1) (.f64 (fma.f64 x1 x1 1) (+.f64 (+.f64 (.f64 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) (+.f64 (.f64 x1 (+.f64 -6 (.f64 2 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1))))) (.f64 (.f64 x1 x1) 4))) (.f64 x1 (.f64 x1 -6))) x1))) (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (*.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) x1))
	20.3b	(+.f64 (fma.f64 x1 (.f64 x1 (/.f64 (.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) 3) (fma.f64 x1 x1 1))) (.f64 (fma.f64 x1 x1 1) (+.f64 (pow.f64 (sqrt.f64 (fma.f64 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) (fma.f64 x1 (fma.f64 2 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) -6) (.f64 x1 (.f64 x1 4))) (.f64 x1 (.f64 -6 x1)))) 2) x1))) (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) x1))
▶	0.3b	(+.f64 (fma.f64 x1 (.f64 x1 (/.f64 (.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) 3) (fma.f64 x1 x1 1))) (.f64 (fma.f64 x1 x1 1) (+.f64 (+.f64 (.f64 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) (+.f64 (.f64 x1 (-.f64 (fma.f64 6 (/.f64 x1 (/.f64 (fma.f64 x1 x1 1) x1)) (/.f64 4 (/.f64 (fma.f64 x1 x1 1) x2))) (fma.f64 2 (/.f64 x1 (fma.f64 x1 x1 1)) 6))) (.f64 (.f64 x1 x1) 4))) (.f64 x1 (.f64 x1 -6))) x1))) (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (*.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) x1))
	11.5b	(+.f64 (fma.f64 x1 (fma.f64 x1 9 -3) (.f64 (fma.f64 x1 x1 1) (+.f64 (+.f64 (.f64 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) (+.f64 (.f64 x1 (+.f64 -6 (.f64 2 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1))))) (.f64 (.f64 x1 x1) 4))) (.f64 x1 (.f64 x1 -6))) x1))) (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) x1))
	0.3b	(+.f64 (fma.f64 x1 (.f64 x1 (/.f64 (.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) 3) (fma.f64 x1 x1 1))) (.f64 (fma.f64 x1 x1 1) (+.f64 (+.f64 (/.f64 (.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 (fma.f64 2 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) -6) (.f64 x1 (.f64 x1 4)))) (fma.f64 x1 x1 1)) (.f64 x1 (.f64 x1 -6))) x1))) (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (*.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) x1))
	0.6b	(+.f64 (fma.f64 x1 (.f64 x1 (/.f64 (.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) 3) (fma.f64 x1 x1 1))) (.f64 (fma.f64 x1 x1 1) (+.f64 (.f64 (pow.f64 (cbrt.f64 (fma.f64 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) (fma.f64 x1 (fma.f64 2 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) -6) (.f64 x1 (.f64 x1 4))) (.f64 x1 (.f64 -6 x1)))) 2) (cbrt.f64 (fma.f64 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) (fma.f64 x1 (fma.f64 2 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) -6) (.f64 x1 (.f64 x1 4))) (.f64 x1 (.f64 -6 x1))))) x1))) (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (*.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) x1))
	0.5b	(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (.f64 (+.f64 (.f64 (.f64 (.f64 2 x1) (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1))) (-.f64 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) 3)) (.f64 (.f64 x1 x1) (-.f64 (.f64 4 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1))) 6))) (+.f64 (.f64 x1 x1) 1)) (.f64 (.f64 (.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)))) (.f64 (.f64 x1 x1) x1)) x1) (.f64 3 (/.f64 (-.f64 (-.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)))))

Compiler

Compiled 19829 to 12349 computations (37.7% saved)

localize44.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.2b	(.f64 x1 (/.f64 (.f64 (fma.f64 2 x2 (fma.f64 x1 (*.f64 x1 3) (neg.f64 x1))) 3) (fma.f64 x1 x1 1)))
✓	0.6b	(/.f64 4 (/.f64 (fma.f64 x1 x1 1) x2))
✓	2.5b	(+.f64 (.f64 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) (+.f64 (.f64 x1 (-.f64 (fma.f64 6 (/.f64 x1 (/.f64 (fma.f64 x1 x1 1) x1)) (/.f64 4 (/.f64 (fma.f64 x1 x1 1) x2))) (fma.f64 2 (/.f64 x1 (fma.f64 x1 x1 1)) 6))) (.f64 (.f64 x1 x1) 4))) (.f64 x1 (*.f64 x1 -6)))
✓	4.8b	(-.f64 (fma.f64 6 (/.f64 x1 (/.f64 (fma.f64 x1 x1 1) x1)) (/.f64 4 (/.f64 (fma.f64 x1 x1 1) x2))) (fma.f64 2 (/.f64 x1 (fma.f64 x1 x1 1)) 6))

series238.0ms (1.3%)

Counts

3 → 72

Calls

3 calls:

145.0ms

(+.f64 (*.f64 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (*.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) (+.f64 (*.f64 x1 (-.f64 (fma.f64 6 (/.f64 x1 (/.f64 (fma.f64 x1 x1 1) x1)) (/.f64 4 (/.f64 (fma.f64 x1 x1 1) x2))) (fma.f64 2 (/.f64 x1 (fma.f64 x1 x1 1)) 6))) (*.f64 (*.f64 x1 x1) 4))) (*.f64 x1 (*.f64 x1 -6)))

60.0ms

(-.f64 (fma.f64 6 (/.f64 x1 (/.f64 (fma.f64 x1 x1 1) x1)) (/.f64 4 (/.f64 (fma.f64 x1 x1 1) x2))) (fma.f64 2 (/.f64 x1 (fma.f64 x1 x1 1)) 6))

33.0ms

(/.f64 4 (/.f64 (fma.f64 x1 x1 1) x2))

rewrite50.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

321×	`log1p-expm1-u_binary64`
321×	`expm1-log1p-u_binary64`
318×	`add-cbrt-cube_binary64`
312×	`add-log-exp_binary64`
311×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	31	129
1	692	129

Stop Event

1×	node limit

Counts

3 → 73

Calls

3 calls:

47.0ms

(/.f64 4 (/.f64 (fma.f64 x1 x1 1) x2))

47.0ms

(+.f64 (*.f64 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (*.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) (+.f64 (*.f64 x1 (-.f64 (fma.f64 6 (/.f64 x1 (/.f64 (fma.f64 x1 x1 1) x1)) (/.f64 4 (/.f64 (fma.f64 x1 x1 1) x2))) (fma.f64 2 (/.f64 x1 (fma.f64 x1 x1 1)) 6))) (*.f64 (*.f64 x1 x1) 4))) (*.f64 x1 (*.f64 x1 -6)))

47.0ms

(-.f64 (fma.f64 6 (/.f64 x1 (/.f64 (fma.f64 x1 x1 1) x1)) (/.f64 4 (/.f64 (fma.f64 x1 x1 1) x2))) (fma.f64 2 (/.f64 x1 (fma.f64 x1 x1 1)) 6))

simplify64.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

592×	`cancel-sign-sub-inv_binary64`
346×	`fma-neg_binary64`
309×	`sub-neg_binary64`
296×	`times-frac_binary64`
274×	`fma-def_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	186	3415
1	633	3104
2	2354	3067

Stop Event

1×	node limit

Counts

145 → 135

prune946.0ms (5.4%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	168	2	170
Fresh	3	8	11
Picked	0	1	1
Done	0	0	0
Total	171	11	182

Error

0.1b

Counts

182 → 11

Alt Table

Status	Error	Program
	13.2b	(+.f64 (fma.f64 x1 (.f64 x1 (/.f64 (.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) 3) (fma.f64 x1 x1 1))) (.f64 (fma.f64 x1 x1 1) (+.f64 (cbrt.f64 (pow.f64 (fma.f64 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) (fma.f64 x1 (fma.f64 2 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) -6) (.f64 x1 (.f64 x1 4))) (.f64 x1 (.f64 -6 x1))) 3)) x1))) (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) x1))
	10.8b	(+.f64 (fma.f64 x1 (.f64 x1 (/.f64 (.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) 3) (fma.f64 x1 x1 1))) (.f64 (fma.f64 x1 x1 1) (+.f64 (.f64 6 (.f64 x1 x1)) x1))) (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) x1))
	18.1b	(+.f64 (fma.f64 x1 (.f64 x1 (/.f64 (.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) 3) (fma.f64 x1 x1 1))) (.f64 (fma.f64 x1 x1 1) (+.f64 (-.f64 (+.f64 (fma.f64 8 (.f64 x2 (pow.f64 x1 4)) (fma.f64 (.f64 x2 (pow.f64 x1 3)) 36 (fma.f64 (pow.f64 x1 5) 36 (.f64 x1 (.f64 x2 (.f64 x2 8)))))) (.f64 (.f64 x2 x2) (-.f64 (.f64 24 (pow.f64 x1 5)) (.f64 16 (pow.f64 x1 3))))) (fma.f64 12 (.f64 x2 x1) (fma.f64 60 (.f64 x2 (pow.f64 x1 5)) (fma.f64 6 (pow.f64 x1 4) (.f64 (pow.f64 x1 3) 20))))) x1))) (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) x1))
	20.3b	(+.f64 (fma.f64 x1 (.f64 x1 (/.f64 (.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) 3) (fma.f64 x1 x1 1))) (.f64 (fma.f64 x1 x1 1) (+.f64 (pow.f64 (sqrt.f64 (fma.f64 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) (fma.f64 x1 (fma.f64 2 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) -6) (.f64 x1 (.f64 x1 4))) (.f64 x1 (.f64 -6 x1)))) 2) x1))) (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) x1))
✓	0.3b	(+.f64 (fma.f64 x1 (.f64 x1 (/.f64 (.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) 3) (fma.f64 x1 x1 1))) (.f64 (fma.f64 x1 x1 1) (+.f64 (+.f64 (.f64 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) (+.f64 (.f64 x1 (-.f64 (fma.f64 6 (/.f64 x1 (/.f64 (fma.f64 x1 x1 1) x1)) (/.f64 4 (/.f64 (fma.f64 x1 x1 1) x2))) (fma.f64 2 (/.f64 x1 (fma.f64 x1 x1 1)) 6))) (.f64 (.f64 x1 x1) 4))) (.f64 x1 (.f64 x1 -6))) x1))) (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (*.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) x1))
	11.5b	(+.f64 (fma.f64 x1 (fma.f64 x1 9 -3) (.f64 (fma.f64 x1 x1 1) (+.f64 (+.f64 (.f64 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) (+.f64 (.f64 x1 (+.f64 -6 (.f64 2 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1))))) (.f64 (.f64 x1 x1) 4))) (.f64 x1 (.f64 x1 -6))) x1))) (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) x1))
	19.0b	(+.f64 (fma.f64 x1 (.f64 x1 (/.f64 (.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) 3) (fma.f64 x1 x1 1))) (.f64 (fma.f64 x1 x1 1) (+.f64 (/.f64 (-.f64 (pow.f64 (.f64 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) (fma.f64 x1 (fma.f64 2 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) -6) (.f64 x1 (.f64 x1 4)))) 2) (pow.f64 (.f64 x1 (.f64 -6 x1)) 2)) (fma.f64 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) (fma.f64 x1 (fma.f64 2 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) -6) (.f64 x1 (.f64 x1 4))) (neg.f64 (.f64 x1 (.f64 -6 x1))))) x1))) (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (*.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) x1))
	38.7b	(+.f64 (fma.f64 x1 (.f64 x1 (/.f64 (.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) 3) (fma.f64 x1 x1 1))) (.f64 (fma.f64 x1 x1 1) (+.f64 (/.f64 (+.f64 (pow.f64 (.f64 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) (fma.f64 x1 (fma.f64 2 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) -6) (.f64 x1 (.f64 x1 4)))) 3) (pow.f64 (.f64 x1 (.f64 -6 x1)) 3)) (+.f64 (pow.f64 (.f64 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) (fma.f64 x1 (fma.f64 2 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) -6) (.f64 x1 (.f64 x1 4)))) 2) (-.f64 (pow.f64 (.f64 x1 (.f64 -6 x1)) 2) (.f64 (.f64 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) (fma.f64 x1 (fma.f64 2 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) -6) (.f64 x1 (.f64 x1 4)))) (.f64 x1 (.f64 -6 x1)))))) x1))) (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) x1))
▶	0.3b	(+.f64 (fma.f64 x1 (.f64 x1 (/.f64 (.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) 3) (fma.f64 x1 x1 1))) (.f64 (fma.f64 x1 x1 1) (+.f64 (+.f64 (/.f64 (.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 (fma.f64 2 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) -6) (.f64 x1 (.f64 x1 4)))) (fma.f64 x1 x1 1)) (.f64 x1 (.f64 x1 -6))) x1))) (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (*.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) x1))
	0.6b	(+.f64 (fma.f64 x1 (.f64 x1 (/.f64 (.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) 3) (fma.f64 x1 x1 1))) (.f64 (fma.f64 x1 x1 1) (+.f64 (.f64 (pow.f64 (cbrt.f64 (fma.f64 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) (fma.f64 x1 (fma.f64 2 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) -6) (.f64 x1 (.f64 x1 4))) (.f64 x1 (.f64 -6 x1)))) 2) (cbrt.f64 (fma.f64 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) (fma.f64 x1 (fma.f64 2 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) -6) (.f64 x1 (.f64 x1 4))) (.f64 x1 (.f64 -6 x1))))) x1))) (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (*.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) x1))
	0.5b	(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (.f64 (+.f64 (.f64 (.f64 (.f64 2 x1) (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1))) (-.f64 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) 3)) (.f64 (.f64 x1 x1) (-.f64 (.f64 4 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1))) 6))) (+.f64 (.f64 x1 x1) 1)) (.f64 (.f64 (.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)))) (.f64 (.f64 x1 x1) x1)) x1) (.f64 3 (/.f64 (-.f64 (-.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)))))

Compiler

Compiled 21100 to 13120 computations (37.8% saved)

localize39.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.2b	(.f64 x1 (/.f64 (.f64 (fma.f64 2 x2 (fma.f64 x1 (*.f64 x1 3) (neg.f64 x1))) 3) (fma.f64 x1 x1 1)))
✓	0.2b	(.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 (fma.f64 2 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) -6) (.f64 x1 (*.f64 x1 4))))
✓	2.5b	(+.f64 (/.f64 (.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 (fma.f64 2 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) -6) (.f64 x1 (.f64 x1 4)))) (fma.f64 x1 x1 1)) (.f64 x1 (*.f64 x1 -6)))
✓	4.8b	(fma.f64 2 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (*.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) -6)

series214.0ms (1.2%)

Counts

3 → 72

Calls

3 calls:

102.0ms

(+.f64 (/.f64 (*.f64 (fma.f64 2 x2 (fma.f64 x1 (*.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 (fma.f64 2 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (*.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) -6) (*.f64 x1 (*.f64 x1 4)))) (fma.f64 x1 x1 1)) (*.f64 x1 (*.f64 x1 -6)))

74.0ms

(*.f64 (fma.f64 2 x2 (fma.f64 x1 (*.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 (fma.f64 2 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (*.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) -6) (*.f64 x1 (*.f64 x1 4))))

38.0ms

(fma.f64 2 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (*.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) -6)

rewrite44.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

231×	`add-sqr-sqrt_binary64`
220×	`log1p-expm1-u_binary64`
220×	`expm1-log1p-u_binary64`
217×	`add-cbrt-cube_binary64`
215×	`add-log-exp_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	23	143
1	483	131

Stop Event

1×	node limit

Counts

3 → 65

Calls

3 calls:

41.0ms

(*.f64 (fma.f64 2 x2 (fma.f64 x1 (*.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 (fma.f64 2 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (*.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) -6) (*.f64 x1 (*.f64 x1 4))))

41.0ms

(+.f64 (/.f64 (*.f64 (fma.f64 2 x2 (fma.f64 x1 (*.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 (fma.f64 2 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (*.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) -6) (*.f64 x1 (*.f64 x1 4)))) (fma.f64 x1 x1 1)) (*.f64 x1 (*.f64 x1 -6)))

41.0ms

(fma.f64 2 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (*.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) -6)

simplify71.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

433×	`fma-neg_binary64`
430×	`sub-neg_binary64`
408×	`fma-def_binary64`
292×	`times-frac_binary64`
211×	`+-commutative_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	232	4588
1	816	4199
2	3150	4147

Stop Event

1×	node limit

Counts

137 → 137

prune760.0ms (4.3%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	171	1	172
Fresh	1	8	9
Picked	0	1	1
Done	0	1	1
Total	172	11	183

Error

0.1b

Counts

183 → 11

Alt Table

Status	Error	Program
	18.1b	(+.f64 (fma.f64 x1 (.f64 x1 (/.f64 (.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) 3) (fma.f64 x1 x1 1))) (.f64 (fma.f64 x1 x1 1) (+.f64 (-.f64 (+.f64 (fma.f64 8 (.f64 x2 (pow.f64 x1 4)) (fma.f64 (.f64 x2 (pow.f64 x1 3)) 36 (fma.f64 (pow.f64 x1 5) 36 (.f64 x1 (.f64 x2 (.f64 x2 8)))))) (.f64 (.f64 x2 x2) (-.f64 (.f64 24 (pow.f64 x1 5)) (.f64 16 (pow.f64 x1 3))))) (fma.f64 12 (.f64 x2 x1) (fma.f64 60 (.f64 x2 (pow.f64 x1 5)) (fma.f64 6 (pow.f64 x1 4) (.f64 (pow.f64 x1 3) 20))))) x1))) (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) x1))
	10.8b	(+.f64 (fma.f64 x1 (.f64 x1 (/.f64 (.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) 3) (fma.f64 x1 x1 1))) (.f64 (fma.f64 x1 x1 1) (+.f64 (.f64 6 (.f64 x1 x1)) x1))) (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) x1))
	20.3b	(+.f64 (fma.f64 x1 (.f64 x1 (/.f64 (.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) 3) (fma.f64 x1 x1 1))) (.f64 (fma.f64 x1 x1 1) (+.f64 (pow.f64 (sqrt.f64 (fma.f64 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) (fma.f64 x1 (fma.f64 2 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) -6) (.f64 x1 (.f64 x1 4))) (.f64 x1 (.f64 -6 x1)))) 2) x1))) (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) x1))
✓	0.3b	(+.f64 (fma.f64 x1 (.f64 x1 (/.f64 (.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) 3) (fma.f64 x1 x1 1))) (.f64 (fma.f64 x1 x1 1) (+.f64 (+.f64 (.f64 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) (+.f64 (.f64 x1 (-.f64 (fma.f64 6 (/.f64 x1 (/.f64 (fma.f64 x1 x1 1) x1)) (/.f64 4 (/.f64 (fma.f64 x1 x1 1) x2))) (fma.f64 2 (/.f64 x1 (fma.f64 x1 x1 1)) 6))) (.f64 (.f64 x1 x1) 4))) (.f64 x1 (.f64 x1 -6))) x1))) (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (*.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) x1))
	11.5b	(+.f64 (fma.f64 x1 (fma.f64 x1 9 -3) (.f64 (fma.f64 x1 x1 1) (+.f64 (+.f64 (.f64 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) (+.f64 (.f64 x1 (+.f64 -6 (.f64 2 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1))))) (.f64 (.f64 x1 x1) 4))) (.f64 x1 (.f64 x1 -6))) x1))) (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) x1))
	19.0b	(+.f64 (fma.f64 x1 (.f64 x1 (/.f64 (.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) 3) (fma.f64 x1 x1 1))) (.f64 (fma.f64 x1 x1 1) (+.f64 (/.f64 (-.f64 (pow.f64 (.f64 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) (fma.f64 x1 (fma.f64 2 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) -6) (.f64 x1 (.f64 x1 4)))) 2) (pow.f64 (.f64 x1 (.f64 -6 x1)) 2)) (fma.f64 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) (fma.f64 x1 (fma.f64 2 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) -6) (.f64 x1 (.f64 x1 4))) (neg.f64 (.f64 x1 (.f64 -6 x1))))) x1))) (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (*.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) x1))
	38.7b	(+.f64 (fma.f64 x1 (.f64 x1 (/.f64 (.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) 3) (fma.f64 x1 x1 1))) (.f64 (fma.f64 x1 x1 1) (+.f64 (/.f64 (+.f64 (pow.f64 (.f64 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) (fma.f64 x1 (fma.f64 2 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) -6) (.f64 x1 (.f64 x1 4)))) 3) (pow.f64 (.f64 x1 (.f64 -6 x1)) 3)) (+.f64 (pow.f64 (.f64 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) (fma.f64 x1 (fma.f64 2 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) -6) (.f64 x1 (.f64 x1 4)))) 2) (-.f64 (pow.f64 (.f64 x1 (.f64 -6 x1)) 2) (.f64 (.f64 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) (fma.f64 x1 (fma.f64 2 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) -6) (.f64 x1 (.f64 x1 4)))) (.f64 x1 (.f64 -6 x1)))))) x1))) (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) x1))
✓	0.3b	(+.f64 (fma.f64 x1 (.f64 x1 (/.f64 (.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) 3) (fma.f64 x1 x1 1))) (.f64 (fma.f64 x1 x1 1) (+.f64 (+.f64 (/.f64 (.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 (fma.f64 2 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) -6) (.f64 x1 (.f64 x1 4)))) (fma.f64 x1 x1 1)) (.f64 x1 (.f64 x1 -6))) x1))) (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (*.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) x1))
	0.6b	(+.f64 (fma.f64 x1 (.f64 x1 (/.f64 (.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) 3) (fma.f64 x1 x1 1))) (.f64 (fma.f64 x1 x1 1) (+.f64 (.f64 (pow.f64 (cbrt.f64 (fma.f64 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) (fma.f64 x1 (fma.f64 2 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) -6) (.f64 x1 (.f64 x1 4))) (.f64 x1 (.f64 -6 x1)))) 2) (cbrt.f64 (fma.f64 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) (fma.f64 x1 (fma.f64 2 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) -6) (.f64 x1 (.f64 x1 4))) (.f64 x1 (.f64 -6 x1))))) x1))) (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (*.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) x1))
▶	0.5b	(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (.f64 (+.f64 (.f64 (.f64 (.f64 2 x1) (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1))) (-.f64 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) 3)) (.f64 (.f64 x1 x1) (-.f64 (.f64 4 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1))) 6))) (+.f64 (.f64 x1 x1) 1)) (.f64 (.f64 (.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)))) (.f64 (.f64 x1 x1) x1)) x1) (.f64 3 (/.f64 (-.f64 (-.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)))))
	14.1b	(+.f64 (fma.f64 x1 (.f64 x1 (/.f64 (.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) 3) (fma.f64 x1 x1 1))) (.f64 (fma.f64 x1 x1 1) (+.f64 (cbrt.f64 (pow.f64 (fma.f64 x1 (.f64 x1 -6) (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) x1)) (/.f64 (fma.f64 x1 x1 1) (fma.f64 x1 (fma.f64 2 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) x1)) (fma.f64 x1 x1 1)) -6) (pow.f64 (.f64 x1 2) 2))))) 3)) x1))) (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) x1))

Compiler

Compiled 19511 to 12324 computations (36.8% saved)

localize33.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	2.4b	(+.f64 (.f64 (.f64 (.f64 2 x1) (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1))) (-.f64 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) 3)) (.f64 (.f64 x1 x1) (-.f64 (.f64 4 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1))) 6)))
✓	3.8b	(.f64 (.f64 (.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))
✓	3.8b	(.f64 (.f64 x1 x1) (-.f64 (.f64 4 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) 6))
✓	4.8b	(-.f64 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) 3)

series366.0ms (2.1%)

Counts

4 → 96

Calls

4 calls:

192.0ms	(+.f64 (.f64 (.f64 (.f64 2 x1) (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1))) (-.f64 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) 3)) (.f64 (.f64 x1 x1) (-.f64 (.f64 4 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1))) 6)))
71.0ms	(.f64 (.f64 x1 x1) (-.f64 (.f64 4 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) 6))
56.0ms	(-.f64 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) 3)
46.0ms	(.f64 (.f64 (.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))

rewrite47.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

278×	`log1p-expm1-u_binary64`
278×	`expm1-log1p-u_binary64`
274×	`add-cbrt-cube_binary64`
265×	`add-log-exp_binary64`
264×	`add-cube-cbrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	169
1	586	169

Stop Event

1×	node limit

Counts

4 → 75

Calls

4 calls:

44.0ms	(+.f64 (.f64 (.f64 (.f64 2 x1) (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1))) (-.f64 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) 3)) (.f64 (.f64 x1 x1) (-.f64 (.f64 4 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1))) 6)))
44.0ms	(.f64 (.f64 (.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))
44.0ms	(.f64 (.f64 x1 x1) (-.f64 (.f64 4 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) 6))
44.0ms	(-.f64 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) 3)

simplify73.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

723×	`cancel-sign-sub-inv_binary64`
416×	`fma-neg_binary64`
411×	`sub-neg_binary64`
346×	`fma-def_binary64`
292×	`times-frac_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	238	4674
1	820	4245
2	2972	4221

Stop Event

1×	node limit

Counts

171 → 164

prune638.0ms (3.6%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	163	1	164
Fresh	0	8	8
Picked	1	0	1
Done	0	2	2
Total	164	11	175

Error

0.1b

Counts

175 → 11

Alt Table

Status	Error	Program
	0.6b	(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (.f64 (+.f64 (.f64 (.f64 (.f64 2 x1) (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1))) (pow.f64 (cbrt.f64 (+.f64 (/.f64 (fma.f64 3 (.f64 x1 x1) (fma.f64 2 x2 (neg.f64 x1))) (fma.f64 x1 x1 1)) -3)) 3)) (.f64 (.f64 x1 x1) (-.f64 (.f64 4 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1))) 6))) (+.f64 (.f64 x1 x1) 1)) (.f64 (.f64 (.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)))) (.f64 (.f64 x1 x1) x1)) x1) (.f64 3 (/.f64 (-.f64 (-.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))))
	19.0b	(+.f64 (fma.f64 x1 (.f64 x1 (/.f64 (.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) 3) (fma.f64 x1 x1 1))) (.f64 (fma.f64 x1 x1 1) (+.f64 (/.f64 (-.f64 (pow.f64 (.f64 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) (fma.f64 x1 (fma.f64 2 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) -6) (.f64 x1 (.f64 x1 4)))) 2) (pow.f64 (.f64 x1 (.f64 -6 x1)) 2)) (fma.f64 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) (fma.f64 x1 (fma.f64 2 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) -6) (.f64 x1 (.f64 x1 4))) (neg.f64 (.f64 x1 (.f64 -6 x1))))) x1))) (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (*.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) x1))
	18.1b	(+.f64 (fma.f64 x1 (.f64 x1 (/.f64 (.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) 3) (fma.f64 x1 x1 1))) (.f64 (fma.f64 x1 x1 1) (+.f64 (-.f64 (+.f64 (fma.f64 8 (.f64 x2 (pow.f64 x1 4)) (fma.f64 (.f64 x2 (pow.f64 x1 3)) 36 (fma.f64 (pow.f64 x1 5) 36 (.f64 x1 (.f64 x2 (.f64 x2 8)))))) (.f64 (.f64 x2 x2) (-.f64 (.f64 24 (pow.f64 x1 5)) (.f64 16 (pow.f64 x1 3))))) (fma.f64 12 (.f64 x2 x1) (fma.f64 60 (.f64 x2 (pow.f64 x1 5)) (fma.f64 6 (pow.f64 x1 4) (.f64 (pow.f64 x1 3) 20))))) x1))) (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) x1))
	10.8b	(+.f64 (fma.f64 x1 (.f64 x1 (/.f64 (.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) 3) (fma.f64 x1 x1 1))) (.f64 (fma.f64 x1 x1 1) (+.f64 (.f64 6 (.f64 x1 x1)) x1))) (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) x1))
	20.3b	(+.f64 (fma.f64 x1 (.f64 x1 (/.f64 (.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) 3) (fma.f64 x1 x1 1))) (.f64 (fma.f64 x1 x1 1) (+.f64 (pow.f64 (sqrt.f64 (fma.f64 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) (fma.f64 x1 (fma.f64 2 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) -6) (.f64 x1 (.f64 x1 4))) (.f64 x1 (.f64 -6 x1)))) 2) x1))) (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) x1))
✓	0.3b	(+.f64 (fma.f64 x1 (.f64 x1 (/.f64 (.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) 3) (fma.f64 x1 x1 1))) (.f64 (fma.f64 x1 x1 1) (+.f64 (+.f64 (.f64 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) (+.f64 (.f64 x1 (-.f64 (fma.f64 6 (/.f64 x1 (/.f64 (fma.f64 x1 x1 1) x1)) (/.f64 4 (/.f64 (fma.f64 x1 x1 1) x2))) (fma.f64 2 (/.f64 x1 (fma.f64 x1 x1 1)) 6))) (.f64 (.f64 x1 x1) 4))) (.f64 x1 (.f64 x1 -6))) x1))) (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (*.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) x1))
	11.5b	(+.f64 (fma.f64 x1 (fma.f64 x1 9 -3) (.f64 (fma.f64 x1 x1 1) (+.f64 (+.f64 (.f64 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) (+.f64 (.f64 x1 (+.f64 -6 (.f64 2 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1))))) (.f64 (.f64 x1 x1) 4))) (.f64 x1 (.f64 x1 -6))) x1))) (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) x1))
	38.7b	(+.f64 (fma.f64 x1 (.f64 x1 (/.f64 (.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) 3) (fma.f64 x1 x1 1))) (.f64 (fma.f64 x1 x1 1) (+.f64 (/.f64 (+.f64 (pow.f64 (.f64 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) (fma.f64 x1 (fma.f64 2 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) -6) (.f64 x1 (.f64 x1 4)))) 3) (pow.f64 (.f64 x1 (.f64 -6 x1)) 3)) (+.f64 (pow.f64 (.f64 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) (fma.f64 x1 (fma.f64 2 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) -6) (.f64 x1 (.f64 x1 4)))) 2) (-.f64 (pow.f64 (.f64 x1 (.f64 -6 x1)) 2) (.f64 (.f64 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) (fma.f64 x1 (fma.f64 2 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) -6) (.f64 x1 (.f64 x1 4)))) (.f64 x1 (.f64 -6 x1)))))) x1))) (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) x1))
✓	0.3b	(+.f64 (fma.f64 x1 (.f64 x1 (/.f64 (.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) 3) (fma.f64 x1 x1 1))) (.f64 (fma.f64 x1 x1 1) (+.f64 (+.f64 (/.f64 (.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 (fma.f64 2 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) -6) (.f64 x1 (.f64 x1 4)))) (fma.f64 x1 x1 1)) (.f64 x1 (.f64 x1 -6))) x1))) (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (*.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) x1))
	0.6b	(+.f64 (fma.f64 x1 (.f64 x1 (/.f64 (.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) 3) (fma.f64 x1 x1 1))) (.f64 (fma.f64 x1 x1 1) (+.f64 (.f64 (pow.f64 (cbrt.f64 (fma.f64 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) (fma.f64 x1 (fma.f64 2 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) -6) (.f64 x1 (.f64 x1 4))) (.f64 x1 (.f64 -6 x1)))) 2) (cbrt.f64 (fma.f64 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) (fma.f64 x1 (fma.f64 2 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) (fma.f64 x1 x1 1)) -6) (.f64 x1 (.f64 x1 4))) (.f64 x1 (.f64 -6 x1))))) x1))) (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (*.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) x1))
	14.1b	(+.f64 (fma.f64 x1 (.f64 x1 (/.f64 (.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) (neg.f64 x1))) 3) (fma.f64 x1 x1 1))) (.f64 (fma.f64 x1 x1 1) (+.f64 (cbrt.f64 (pow.f64 (fma.f64 x1 (.f64 x1 -6) (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) x1)) (/.f64 (fma.f64 x1 x1 1) (fma.f64 x1 (fma.f64 2 (/.f64 (fma.f64 2 x2 (fma.f64 x1 (.f64 x1 3) x1)) (fma.f64 x1 x1 1)) -6) (pow.f64 (.f64 x1 2) 2))))) 3)) x1))) (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) x1))

Compiler

Compiled 22240 to 13441 computations (39.6% saved)

regimes3.6s (20.1%)

Accuracy

Total 0.2b remaining (56.2%)

Threshold costs 0.2b (56.2%)

Counts

307 → 1

Compiler

Compiled 130249 to 82750 computations (36.5% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

14×	`*-commutative_binary64`
11×	`+-commutative_binary64`
6×	`sub-neg_binary64`
3×	`neg-sub0_binary64`
3×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	47	148
1	73	148
2	82	148
3	87	148
4	89	148

Stop Event

1×

saturated

end638.0ms (3.6%)

Compiler: Compiled 1482 to 940 computations (36.6% saved)

Details

analyze2.7s (15.3%)

sample5.9s (33.5%)

simplify25.0ms (0.1%)

prune10.0ms (0.1%)

localize36.0ms (0.2%)

series306.0ms (1.7%)

rewrite52.0ms (0.3%)

simplify85.0ms (0.5%)

prune712.0ms (4%)

localize44.0ms (0.3%)

series238.0ms (1.3%)

rewrite50.0ms (0.3%)

simplify64.0ms (0.4%)

prune946.0ms (5.4%)

localize39.0ms (0.2%)

series214.0ms (1.2%)

rewrite44.0ms (0.2%)

simplify71.0ms (0.4%)

prune760.0ms (4.3%)

localize33.0ms (0.2%)

series366.0ms (2.1%)

rewrite47.0ms (0.3%)

simplify73.0ms (0.4%)

prune638.0ms (3.6%)

regimes3.6s (20.1%)

simplify4.0ms (0%)

end638.0ms (3.6%)

Profiling