Details

analyze4.5s (3.5%)

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)

sample161.0ms (0.1%)

Algorithm

1×

intervals

Results

63.0ms	227×	body	128	valid
56.0ms	191×	body	128	invalid
15.0ms	14×	body	1024	valid
6.0ms	11×	body	256	valid
5.0ms	4×	body	512	valid

Compiler

Compiled 261 to 163 computations (37.5% saved)

simplify30.0ms (0%)

Algorithm

1×	egg-herbie

Rules

797×	`distribute-rgt-in_binary64`
779×	`distribute-lft-in_binary64`
203×	`fma-def_binary64`
172×	`associate-+l+_binary64`
168×	`distribute-lft-out_binary64`

Counts

1 → 2

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	36	164
1	118	155
2	404	150
3	1778	138
4	5017	138

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

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 x1 (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (fma.f64 x1 (.f64 3 (.f64 x1 (/.f64 (-.f64 (fma.f64 x1 (.f64 x1 3) (.f64 2 x2)) x1) (fma.f64 x1 x1 1)))) (.f64 (fma.f64 x1 x1 1) (+.f64 (+.f64 (.f64 (/.f64 (-.f64 (fma.f64 x1 (.f64 x1 3) (.f64 2 x2)) x1) (fma.f64 x1 x1 1)) (+.f64 (.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x1 (.f64 x1 3) (.f64 2 x2)) x1) (fma.f64 x1 x1 1)) 3)) (.f64 (.f64 x1 x1) 4))) (.f64 (*.f64 x1 x1) -6)) 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 x1 (fma.f64 3 (/.f64 (-.f64 (*.f64 x1 (*.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (fma.f64 x1 (*.f64 3 (*.f64 x1 (/.f64 (-.f64 (fma.f64 x1 (*.f64 x1 3) (*.f64 2 x2)) x1) (fma.f64 x1 x1 1)))) (*.f64 (fma.f64 x1 x1 1) (+.f64 (+.f64 (*.f64 (/.f64 (-.f64 (fma.f64 x1 (*.f64 x1 3) (*.f64 2 x2)) x1) (fma.f64 x1 x1 1)) (+.f64 (*.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x1 (*.f64 x1 3) (*.f64 2 x2)) x1) (fma.f64 x1 x1 1)) 3)) (*.f64 (*.f64 x1 x1) 4))) (*.f64 (*.f64 x1 x1) -6)) x1)))))

Compiler

Compiled 679 to 420 computations (38.1% saved)

localize35.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(.f64 3 (.f64 x1 (/.f64 (-.f64 (fma.f64 x1 (.f64 x1 3) (.f64 2 x2)) x1) (fma.f64 x1 x1 1))))
✓	0.3b	(.f64 (/.f64 (-.f64 (fma.f64 x1 (.f64 x1 3) (.f64 2 x2)) x1) (fma.f64 x1 x1 1)) (+.f64 (.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x1 (.f64 x1 3) (.f64 2 x2)) x1) (fma.f64 x1 x1 1)) 3)) (.f64 (.f64 x1 x1) 4)))
✓	2.5b	(-.f64 (/.f64 (-.f64 (fma.f64 x1 (.f64 x1 3) (.f64 2 x2)) x1) (fma.f64 x1 x1 1)) 3)
✓	2.9b	(+.f64 (.f64 (/.f64 (-.f64 (fma.f64 x1 (.f64 x1 3) (.f64 2 x2)) x1) (fma.f64 x1 x1 1)) (+.f64 (.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x1 (.f64 x1 3) (.f64 2 x2)) x1) (fma.f64 x1 x1 1)) 3)) (.f64 (.f64 x1 x1) 4))) (.f64 (.f64 x1 x1) -6))

series727.0ms (0.6%)

Counts

4 → 96

Calls

4 calls:

451.0ms	(+.f64 (.f64 (/.f64 (-.f64 (fma.f64 x1 (.f64 x1 3) (.f64 2 x2)) x1) (fma.f64 x1 x1 1)) (+.f64 (.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x1 (.f64 x1 3) (.f64 2 x2)) x1) (fma.f64 x1 x1 1)) 3)) (.f64 (.f64 x1 x1) 4))) (.f64 (.f64 x1 x1) -6))
176.0ms	(.f64 (/.f64 (-.f64 (fma.f64 x1 (.f64 x1 3) (.f64 2 x2)) x1) (fma.f64 x1 x1 1)) (+.f64 (.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x1 (.f64 x1 3) (.f64 2 x2)) x1) (fma.f64 x1 x1 1)) 3)) (.f64 (.f64 x1 x1) 4)))
50.0ms	(-.f64 (/.f64 (-.f64 (fma.f64 x1 (.f64 x1 3) (.f64 2 x2)) x1) (fma.f64 x1 x1 1)) 3)
49.0ms	(.f64 3 (.f64 x1 (/.f64 (-.f64 (fma.f64 x1 (.f64 x1 3) (.f64 2 x2)) x1) (fma.f64 x1 x1 1))))

rewrite135.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

111×	`add-sqr-sqrt_binary64`
103×	`*-un-lft-identity_binary64`
77×	`times-frac_binary64`
71×	`add-cube-cbrt_binary64`
57×	`prod-diff_binary64`

Counts

4 → 181

Calls

4 calls:

63.0ms	(+.f64 (.f64 (/.f64 (-.f64 (fma.f64 x1 (.f64 x1 3) (.f64 2 x2)) x1) (fma.f64 x1 x1 1)) (+.f64 (.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x1 (.f64 x1 3) (.f64 2 x2)) x1) (fma.f64 x1 x1 1)) 3)) (.f64 (.f64 x1 x1) 4))) (.f64 (.f64 x1 x1) -6))
22.0ms	(.f64 (/.f64 (-.f64 (fma.f64 x1 (.f64 x1 3) (.f64 2 x2)) x1) (fma.f64 x1 x1 1)) (+.f64 (.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x1 (.f64 x1 3) (.f64 2 x2)) x1) (fma.f64 x1 x1 1)) 3)) (.f64 (.f64 x1 x1) 4)))
10.0ms	(-.f64 (/.f64 (-.f64 (fma.f64 x1 (.f64 x1 3) (.f64 2 x2)) x1) (fma.f64 x1 x1 1)) 3)
7.0ms	(.f64 3 (.f64 x1 (/.f64 (-.f64 (fma.f64 x1 (.f64 x1 3) (.f64 2 x2)) x1) (fma.f64 x1 x1 1))))

simplify306.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

484×	`fma-def_binary64`
458×	`fma-neg_binary64`
411×	`associate-r_binary64`
378×	`associate-l_binary64`
167×	`associate--l+_binary64`

Counts

277 → 352

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	498	14989
1	1521	13418
2	4981	13418
3	5298	13418

prune1.1s (0.9%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	344	8	352
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	345	9	354

Error

0.1b

Counts

354 → 9

Alt Table

Status	Error	Program
	21.5b	(+.f64 x1 (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (fma.f64 x1 (.f64 3 (.f64 x1 (/.f64 (-.f64 (fma.f64 x1 (.f64 x1 3) (.f64 2 x2)) x1) (fma.f64 x1 x1 1)))) (.f64 (fma.f64 x1 x1 1) (+.f64 (.f64 (sqrt.f64 (fma.f64 (.f64 x1 x1) -6 (.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) (fma.f64 x1 (.f64 x1 4) (.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3)))))) (sqrt.f64 (fma.f64 (.f64 x1 x1) -6 (.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) (fma.f64 x1 (.f64 x1 4) (.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3))))))) x1)))))
	27.0b	(+.f64 x1 (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (fma.f64 x1 (.f64 3 (.f64 x1 (/.f64 (-.f64 (fma.f64 x1 (.f64 x1 3) (.f64 2 x2)) x1) (fma.f64 x1 x1 1)))) (.f64 (fma.f64 x1 x1 1) (+.f64 (+.f64 (.f64 (.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) (sqrt.f64 (fma.f64 x1 (.f64 x1 4) (.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3))))) (sqrt.f64 (+.f64 (.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x1 (.f64 x1 3) (.f64 2 x2)) x1) (fma.f64 x1 x1 1)) 3)) (.f64 (.f64 x1 x1) 4)))) (.f64 (.f64 x1 x1) -6)) x1)))))
▶	0.5b	(+.f64 x1 (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (fma.f64 x1 (.f64 3 (.f64 x1 (/.f64 (-.f64 (fma.f64 x1 (.f64 x1 3) (.f64 2 x2)) x1) (fma.f64 x1 x1 1)))) (.f64 (fma.f64 x1 x1 1) (+.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 (.f64 x1 x1) -6 (.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) (fma.f64 x1 (.f64 x1 4) (.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3)))))) (cbrt.f64 (fma.f64 (.f64 x1 x1) -6 (.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) (fma.f64 x1 (.f64 x1 4) (.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3))))))) (cbrt.f64 (fma.f64 (.f64 x1 x1) -6 (.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) (fma.f64 x1 (.f64 x1 4) (.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (*.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3))))))) x1)))))
	0.6b	(+.f64 x1 (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (fma.f64 x1 (.f64 3 (.f64 x1 (/.f64 (-.f64 (fma.f64 x1 (.f64 x1 3) (.f64 2 x2)) x1) (fma.f64 x1 x1 1)))) (.f64 (fma.f64 x1 x1 1) (+.f64 (+.f64 (.f64 (.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) (.f64 (cbrt.f64 (fma.f64 x1 (.f64 x1 4) (.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3)))) (cbrt.f64 (fma.f64 x1 (.f64 x1 4) (.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3)))))) (cbrt.f64 (+.f64 (.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x1 (.f64 x1 3) (.f64 2 x2)) x1) (fma.f64 x1 x1 1)) 3)) (.f64 (.f64 x1 x1) 4)))) (.f64 (*.f64 x1 x1) -6)) x1)))))
	16.0b	(+.f64 x1 (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (fma.f64 x1 (.f64 3 (.f64 x1 (/.f64 (-.f64 (fma.f64 x1 (.f64 x1 3) (.f64 2 x2)) x1) (fma.f64 x1 x1 1)))) (.f64 (fma.f64 x1 x1 1) (+.f64 (cbrt.f64 (pow.f64 (fma.f64 (.f64 x1 x1) -6 (.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) (fma.f64 x1 (.f64 x1 4) (.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (*.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3))))) 3)) x1)))))
	23.1b	(+.f64 x1 (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (fma.f64 x1 (.f64 3 (.f64 x1 (/.f64 (-.f64 (fma.f64 x1 (.f64 x1 3) (.f64 2 x2)) x1) (fma.f64 x1 x1 1)))) (.f64 (fma.f64 x1 x1 1) (+.f64 (fma.f64 x1 (.f64 x1 6) (*.f64 x1 -4)) 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)))))
	0.5b	(+.f64 x1 (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (fma.f64 x1 (.f64 3 (.f64 x1 (/.f64 (-.f64 (fma.f64 x1 (.f64 x1 3) (.f64 2 x2)) x1) (fma.f64 x1 x1 1)))) (.f64 (fma.f64 x1 x1 1) (+.f64 (+.f64 (.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 (fma.f64 x1 (.f64 x1 3) (.f64 2 x2)) x1) (fma.f64 x1 x1 1))) (cbrt.f64 (/.f64 (-.f64 (fma.f64 x1 (.f64 x1 3) (.f64 2 x2)) x1) (fma.f64 x1 x1 1)))) (.f64 (fma.f64 x1 (.f64 x1 4) (.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3))) (cbrt.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (.f64 x1 x1))) x1) (fma.f64 x1 x1 1))))) (.f64 (.f64 x1 x1) -6)) x1)))))
	10.1b	(+.f64 x1 (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (fma.f64 x1 (.f64 3 (.f64 x1 (/.f64 (-.f64 (fma.f64 x1 (.f64 x1 3) (.f64 2 x2)) x1) (fma.f64 x1 x1 1)))) (.f64 (fma.f64 x1 x1 1) (+.f64 (+.f64 (/.f64 (.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) (fma.f64 (.f64 x1 (.f64 x1 4)) (.f64 (-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3) (-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3)) (.f64 (pow.f64 x1 4) -16))) (-.f64 (.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x1 (.f64 x1 3) (.f64 2 x2)) x1) (fma.f64 x1 x1 1)) 3)) (.f64 (.f64 x1 x1) 4))) (.f64 (*.f64 x1 x1) -6)) x1)))))

Compiler

Compiled 42834 to 26389 computations (38.4% saved)

localize44.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(.f64 (cbrt.f64 (fma.f64 (.f64 x1 x1) -6 (.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) (fma.f64 x1 (.f64 x1 4) (.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3)))))) (cbrt.f64 (fma.f64 (.f64 x1 x1) -6 (.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) (fma.f64 x1 (.f64 x1 4) (.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (*.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3)))))))
✓	2.5b	(-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3)
✓	5.9b	(fma.f64 (.f64 x1 x1) -6 (.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) (fma.f64 x1 (.f64 x1 4) (.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3)))))
✓	8.0b	(cbrt.f64 (fma.f64 (.f64 x1 x1) -6 (.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) (fma.f64 x1 (.f64 x1 4) (.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3))))))

series1.5min (67.5%)

Counts

4 → 96

Calls

4 calls:

1.4min	(.f64 (cbrt.f64 (fma.f64 (.f64 x1 x1) -6 (.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) (fma.f64 x1 (.f64 x1 4) (.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3)))))) (cbrt.f64 (fma.f64 (.f64 x1 x1) -6 (.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) (fma.f64 x1 (.f64 x1 4) (.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (*.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3)))))))
3.3s	(cbrt.f64 (fma.f64 (.f64 x1 x1) -6 (.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) (fma.f64 x1 (.f64 x1 4) (.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3))))))
186.0ms	(fma.f64 (.f64 x1 x1) -6 (.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) (fma.f64 x1 (.f64 x1 4) (.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3)))))
48.0ms	(-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3)

rewrite61.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

106×	`add-sqr-sqrt_binary64`
95×	`*-un-lft-identity_binary64`
69×	`add-cube-cbrt_binary64`
61×	`times-frac_binary64`
57×	`prod-diff_binary64`

Counts

4 → 161

Calls

4 calls:

20.0ms	(-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3)
6.0ms	(.f64 (cbrt.f64 (fma.f64 (.f64 x1 x1) -6 (.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) (fma.f64 x1 (.f64 x1 4) (.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3)))))) (cbrt.f64 (fma.f64 (.f64 x1 x1) -6 (.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) (fma.f64 x1 (.f64 x1 4) (.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (*.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3)))))))
1.0ms	(cbrt.f64 (fma.f64 (.f64 x1 x1) -6 (.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) (fma.f64 x1 (.f64 x1 4) (.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3))))))
1.0ms	(fma.f64 (.f64 x1 x1) -6 (.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) (fma.f64 x1 (.f64 x1 4) (.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3)))))

simplify1.5s (1.2%)

Algorithm

1×	egg-herbie

Counts

257 → 250

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5709	163394

prune7.9s (6.1%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	625	1	626
Fresh	1	7	8
Picked	1	0	1
Done	0	0	0
Total	627	8	635

Error

0.1b

Counts

635 → 8

Alt Table

Status	Error	Program
	21.5b	(+.f64 x1 (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (fma.f64 x1 (.f64 3 (.f64 x1 (/.f64 (-.f64 (fma.f64 x1 (.f64 x1 3) (.f64 2 x2)) x1) (fma.f64 x1 x1 1)))) (.f64 (fma.f64 x1 x1 1) (+.f64 (.f64 (sqrt.f64 (fma.f64 (.f64 x1 x1) -6 (.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) (fma.f64 x1 (.f64 x1 4) (.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3)))))) (sqrt.f64 (fma.f64 (.f64 x1 x1) -6 (.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) (fma.f64 x1 (.f64 x1 4) (.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3))))))) x1)))))
	27.0b	(+.f64 x1 (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (fma.f64 x1 (.f64 3 (.f64 x1 (/.f64 (-.f64 (fma.f64 x1 (.f64 x1 3) (.f64 2 x2)) x1) (fma.f64 x1 x1 1)))) (.f64 (fma.f64 x1 x1 1) (+.f64 (+.f64 (.f64 (.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) (sqrt.f64 (fma.f64 x1 (.f64 x1 4) (.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3))))) (sqrt.f64 (+.f64 (.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x1 (.f64 x1 3) (.f64 2 x2)) x1) (fma.f64 x1 x1 1)) 3)) (.f64 (.f64 x1 x1) 4)))) (.f64 (.f64 x1 x1) -6)) x1)))))
	16.0b	(+.f64 x1 (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (fma.f64 x1 (.f64 3 (.f64 x1 (/.f64 (-.f64 (fma.f64 x1 (.f64 x1 3) (.f64 2 x2)) x1) (fma.f64 x1 x1 1)))) (.f64 (fma.f64 x1 x1 1) (+.f64 (cbrt.f64 (pow.f64 (fma.f64 (.f64 x1 x1) -6 (.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) (fma.f64 x1 (.f64 x1 4) (.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (*.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3))))) 3)) x1)))))
	23.1b	(+.f64 x1 (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (fma.f64 x1 (.f64 3 (.f64 x1 (/.f64 (-.f64 (fma.f64 x1 (.f64 x1 3) (.f64 2 x2)) x1) (fma.f64 x1 x1 1)))) (.f64 (fma.f64 x1 x1 1) (+.f64 (fma.f64 x1 (.f64 x1 6) (*.f64 x1 -4)) 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)))))
	0.5b	(+.f64 x1 (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (fma.f64 x1 (.f64 3 (.f64 x1 (/.f64 (-.f64 (fma.f64 x1 (.f64 x1 3) (.f64 2 x2)) x1) (fma.f64 x1 x1 1)))) (.f64 (fma.f64 x1 x1 1) (+.f64 (+.f64 (.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 (fma.f64 x1 (.f64 x1 3) (.f64 2 x2)) x1) (fma.f64 x1 x1 1))) (cbrt.f64 (/.f64 (-.f64 (fma.f64 x1 (.f64 x1 3) (.f64 2 x2)) x1) (fma.f64 x1 x1 1)))) (.f64 (fma.f64 x1 (.f64 x1 4) (.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3))) (cbrt.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (.f64 x1 x1))) x1) (fma.f64 x1 x1 1))))) (.f64 (.f64 x1 x1) -6)) x1)))))
	0.6b	(+.f64 x1 (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (fma.f64 x1 (.f64 3 (.f64 x1 (/.f64 (-.f64 (fma.f64 x1 (.f64 x1 3) (.f64 2 x2)) x1) (fma.f64 x1 x1 1)))) (.f64 (fma.f64 x1 x1 1) (+.f64 (+.f64 (.f64 (.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) (.f64 (cbrt.f64 (fma.f64 x1 (.f64 x1 4) (.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3)))) (cbrt.f64 (fma.f64 x1 (.f64 x1 4) (.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3)))))) (cbrt.f64 (+.f64 (.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x1 (.f64 x1 3) (.f64 2 x2)) x1) (fma.f64 x1 x1 1)) 3)) (.f64 (.f64 x1 x1) 4)))) (.f64 (*.f64 x1 x1) -6)) x1)))))
	9.8b	(+.f64 x1 (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (fma.f64 x1 (.f64 3 (.f64 x1 (/.f64 (-.f64 (fma.f64 x1 (.f64 x1 3) (.f64 2 x2)) x1) (fma.f64 x1 x1 1)))) (.f64 (fma.f64 x1 x1 1) (+.f64 (.f64 (cbrt.f64 (.f64 (fma.f64 (.f64 x1 x1) -6 (.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) (fma.f64 x1 (.f64 x1 4) (.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3))))) (fma.f64 (.f64 x1 x1) -6 (.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) (fma.f64 x1 (.f64 x1 4) (.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3))))))) (cbrt.f64 (fma.f64 (.f64 x1 x1) -6 (.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) (fma.f64 x1 (.f64 x1 4) (.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (*.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3))))))) x1)))))

Compiler

Compiled 273986 to 198545 computations (27.5% saved)

localize33.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	2.5b	(-.f64 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) 3)
✓	2.9b	(+.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)))
✓	5.5b	(.f64 (.f64 (.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))
✓	5.6b	(.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))

series554.0ms (0.4%)

Counts

4 → 96

Calls

4 calls:

314.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)))
100.0ms	(-.f64 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) 3)
85.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))
55.0ms	(.f64 (.f64 (.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))

rewrite376.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

250×	`add-sqr-sqrt_binary64`
246×	`*-un-lft-identity_binary64`
201×	`prod-diff_binary64`
178×	`add-cube-cbrt_binary64`
166×	`times-frac_binary64`

Counts

4 → 361

Calls

4 calls:

77.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)))
33.0ms	(-.f64 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) 3)
27.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))
26.0ms	(.f64 (.f64 (.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))

simplify682.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

600×	`fma-def_binary64`
294×	`distribute-rgt-in_binary64`
284×	`distribute-lft-in_binary64`
183×	`*-commutative_binary64`
165×	`associate-/l*_binary64`

Counts

457 → 648

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	648	25960
1	1902	20366
2	4879	20366
3	4914	20366

prune4.4s (3.5%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	646	2	648
Fresh	2	5	7
Picked	1	0	1
Done	0	0	0
Total	649	7	656

Error

0.1b

Counts

656 → 7

Alt Table

Status	Error	Program
	16.0b	(+.f64 x1 (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (fma.f64 x1 (.f64 3 (.f64 x1 (/.f64 (-.f64 (fma.f64 x1 (.f64 x1 3) (.f64 2 x2)) x1) (fma.f64 x1 x1 1)))) (.f64 (fma.f64 x1 x1 1) (+.f64 (cbrt.f64 (pow.f64 (fma.f64 (.f64 x1 x1) -6 (.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) (fma.f64 x1 (.f64 x1 4) (.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (*.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3))))) 3)) x1)))))
	23.1b	(+.f64 x1 (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (fma.f64 x1 (.f64 3 (.f64 x1 (/.f64 (-.f64 (fma.f64 x1 (.f64 x1 3) (.f64 2 x2)) x1) (fma.f64 x1 x1 1)))) (.f64 (fma.f64 x1 x1 1) (+.f64 (fma.f64 x1 (.f64 x1 6) (*.f64 x1 -4)) 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 (fma.f64 4 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) (neg.f64 (.f64 (sqrt.f64 6) (sqrt.f64 6)))) (.f64 x1 x1)) (.f64 (fma.f64 (neg.f64 (sqrt.f64 6)) (sqrt.f64 6) (.f64 (sqrt.f64 6) (sqrt.f64 6))) (.f64 x1 x1)))) (+.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.5b	(+.f64 x1 (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (fma.f64 x1 (.f64 3 (.f64 x1 (/.f64 (-.f64 (fma.f64 x1 (.f64 x1 3) (.f64 2 x2)) x1) (fma.f64 x1 x1 1)))) (.f64 (fma.f64 x1 x1 1) (+.f64 (+.f64 (.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 (fma.f64 x1 (.f64 x1 3) (.f64 2 x2)) x1) (fma.f64 x1 x1 1))) (cbrt.f64 (/.f64 (-.f64 (fma.f64 x1 (.f64 x1 3) (.f64 2 x2)) x1) (fma.f64 x1 x1 1)))) (.f64 (fma.f64 x1 (.f64 x1 4) (.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3))) (cbrt.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (.f64 x1 x1))) x1) (fma.f64 x1 x1 1))))) (.f64 (.f64 x1 x1) -6)) x1)))))
	27.0b	(+.f64 x1 (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (fma.f64 x1 (.f64 3 (.f64 x1 (/.f64 (-.f64 (fma.f64 x1 (.f64 x1 3) (.f64 2 x2)) x1) (fma.f64 x1 x1 1)))) (.f64 (fma.f64 x1 x1 1) (+.f64 (+.f64 (.f64 (.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) (sqrt.f64 (fma.f64 x1 (.f64 x1 4) (.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3))))) (sqrt.f64 (+.f64 (.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x1 (.f64 x1 3) (.f64 2 x2)) x1) (fma.f64 x1 x1 1)) 3)) (.f64 (.f64 x1 x1) 4)))) (.f64 (.f64 x1 x1) -6)) x1)))))
	0.6b	(+.f64 x1 (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (fma.f64 x1 (.f64 3 (.f64 x1 (/.f64 (-.f64 (fma.f64 x1 (.f64 x1 3) (.f64 2 x2)) x1) (fma.f64 x1 x1 1)))) (.f64 (fma.f64 x1 x1 1) (+.f64 (+.f64 (.f64 (.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) (.f64 (cbrt.f64 (fma.f64 x1 (.f64 x1 4) (.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3)))) (cbrt.f64 (fma.f64 x1 (.f64 x1 4) (.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3)))))) (cbrt.f64 (+.f64 (.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x1 (.f64 x1 3) (.f64 2 x2)) x1) (fma.f64 x1 x1 1)) 3)) (.f64 (.f64 x1 x1) 4)))) (.f64 (*.f64 x1 x1) -6)) x1)))))
	13.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))) (-.f64 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) 3)) (fma.f64 6 (.f64 x1 x1) (.f64 x1 -4))) (+.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 102922 to 64417 computations (37.4% saved)

localize40.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	2.9b	(+.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 (fma.f64 4 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) (neg.f64 (.f64 (sqrt.f64 6) (sqrt.f64 6)))) (.f64 x1 x1)) (.f64 (fma.f64 (neg.f64 (sqrt.f64 6)) (sqrt.f64 6) (.f64 (sqrt.f64 6) (sqrt.f64 6))) (*.f64 x1 x1))))
	5.5b	(.f64 (.f64 (.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))
✓	5.6b	(.f64 (fma.f64 4 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) (neg.f64 (.f64 (sqrt.f64 6) (sqrt.f64 6)))) (*.f64 x1 x1))
✓	61.9b	(fma.f64 (neg.f64 (sqrt.f64 6)) (sqrt.f64 6) (*.f64 (sqrt.f64 6) (sqrt.f64 6)))

series374.0ms (0.3%)

Counts

3 → 48

Calls

3 calls:

304.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 (fma.f64 4 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) (neg.f64 (*.f64 (sqrt.f64 6) (sqrt.f64 6)))) (*.f64 x1 x1)) (*.f64 (fma.f64 (neg.f64 (sqrt.f64 6)) (sqrt.f64 6) (*.f64 (sqrt.f64 6) (sqrt.f64 6))) (*.f64 x1 x1))))

69.0ms

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

0.0ms

(fma.f64 (neg.f64 (sqrt.f64 6)) (sqrt.f64 6) (*.f64 (sqrt.f64 6) (sqrt.f64 6)))

rewrite162.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

139×	`add-sqr-sqrt_binary64`
138×	`*-un-lft-identity_binary64`
134×	`associate-+l+_binary64`
126×	`prod-diff_binary64`
102×	`add-cube-cbrt_binary64`

Counts

3 → 191

Calls

3 calls:

47.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 (fma.f64 4 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) (neg.f64 (*.f64 (sqrt.f64 6) (sqrt.f64 6)))) (*.f64 x1 x1)) (*.f64 (fma.f64 (neg.f64 (sqrt.f64 6)) (sqrt.f64 6) (*.f64 (sqrt.f64 6) (sqrt.f64 6))) (*.f64 x1 x1))))

5.0ms

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

0.0ms

(fma.f64 (neg.f64 (sqrt.f64 6)) (sqrt.f64 6) (*.f64 (sqrt.f64 6) (sqrt.f64 6)))

simplify355.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

535×	`fma-neg_binary64`
469×	`fma-def_binary64`
446×	`associate-l_binary64`
403×	`associate-r_binary64`
276×	`distribute-rgt-in_binary64`

Counts

239 → 368

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	368	13520
1	1223	12513
2	4461	12501
3	4847	12501

prune2.8s (2.2%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	460	2	462
Fresh	1	5	6
Picked	0	1	1
Done	0	0	0
Total	461	8	469

Error

0.1b

Counts

469 → 8

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 (fma.f64 4 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) (neg.f64 (.f64 (sqrt.f64 6) (sqrt.f64 6)))) (.f64 x1 x1)) (.f64 (+.f64 -6 (.f64 (sqrt.f64 6) (sqrt.f64 6))) (.f64 x1 x1)))) (+.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.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 (fma.f64 4 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) (neg.f64 (.f64 (sqrt.f64 6) (sqrt.f64 6)))) (.f64 x1 x1)) (.f64 (fma.f64 (neg.f64 (sqrt.f64 6)) (sqrt.f64 6) (.f64 (sqrt.f64 6) (sqrt.f64 6))) (.f64 x1 x1)))) (+.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.5b	(+.f64 x1 (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (fma.f64 x1 (.f64 3 (.f64 x1 (/.f64 (-.f64 (fma.f64 x1 (.f64 x1 3) (.f64 2 x2)) x1) (fma.f64 x1 x1 1)))) (.f64 (fma.f64 x1 x1 1) (+.f64 (+.f64 (.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 (fma.f64 x1 (.f64 x1 3) (.f64 2 x2)) x1) (fma.f64 x1 x1 1))) (cbrt.f64 (/.f64 (-.f64 (fma.f64 x1 (.f64 x1 3) (.f64 2 x2)) x1) (fma.f64 x1 x1 1)))) (.f64 (fma.f64 x1 (.f64 x1 4) (.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3))) (cbrt.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (.f64 x1 x1))) x1) (fma.f64 x1 x1 1))))) (.f64 (.f64 x1 x1) -6)) x1)))))
	27.0b	(+.f64 x1 (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (fma.f64 x1 (.f64 3 (.f64 x1 (/.f64 (-.f64 (fma.f64 x1 (.f64 x1 3) (.f64 2 x2)) x1) (fma.f64 x1 x1 1)))) (.f64 (fma.f64 x1 x1 1) (+.f64 (+.f64 (.f64 (.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) (sqrt.f64 (fma.f64 x1 (.f64 x1 4) (.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3))))) (sqrt.f64 (+.f64 (.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x1 (.f64 x1 3) (.f64 2 x2)) x1) (fma.f64 x1 x1 1)) 3)) (.f64 (.f64 x1 x1) 4)))) (.f64 (.f64 x1 x1) -6)) x1)))))
	0.6b	(+.f64 x1 (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (fma.f64 x1 (.f64 3 (.f64 x1 (/.f64 (-.f64 (fma.f64 x1 (.f64 x1 3) (.f64 2 x2)) x1) (fma.f64 x1 x1 1)))) (.f64 (fma.f64 x1 x1 1) (+.f64 (+.f64 (.f64 (.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) (.f64 (cbrt.f64 (fma.f64 x1 (.f64 x1 4) (.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3)))) (cbrt.f64 (fma.f64 x1 (.f64 x1 4) (.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x2 2 (.f64 3 (.f64 x1 x1))) x1) (fma.f64 x1 x1 1)) 3)))))) (cbrt.f64 (+.f64 (.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (fma.f64 x1 (.f64 x1 3) (.f64 2 x2)) x1) (fma.f64 x1 x1 1)) 3)) (.f64 (.f64 x1 x1) 4)))) (.f64 (*.f64 x1 x1) -6)) x1)))))
	23.1b	(+.f64 x1 (fma.f64 3 (/.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (fma.f64 2 x2 x1)) (fma.f64 x1 x1 1)) (fma.f64 x1 (.f64 3 (.f64 x1 (/.f64 (-.f64 (fma.f64 x1 (.f64 x1 3) (.f64 2 x2)) x1) (fma.f64 x1 x1 1)))) (.f64 (fma.f64 x1 x1 1) (+.f64 (fma.f64 x1 (.f64 x1 6) (*.f64 x1 -4)) x1)))))
	13.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))) (-.f64 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) 3)) (fma.f64 6 (.f64 x1 x1) (.f64 x1 -4))) (+.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)))))
	45.9b	(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (.f64 (/.f64 (+.f64 (.f64 (.f64 (.f64 (.f64 2 x1) (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1)) (-.f64 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) 3)) (+.f64 (.f64 (.f64 (fma.f64 4 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) (neg.f64 (.f64 (sqrt.f64 6) (sqrt.f64 6)))) (.f64 x1 x1)) (.f64 (fma.f64 4 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) (neg.f64 (.f64 (sqrt.f64 6) (sqrt.f64 6)))) (.f64 x1 x1))) (-.f64 (.f64 (.f64 (fma.f64 (neg.f64 (sqrt.f64 6)) (sqrt.f64 6) (.f64 (sqrt.f64 6) (sqrt.f64 6))) (.f64 x1 x1)) (.f64 (fma.f64 (neg.f64 (sqrt.f64 6)) (sqrt.f64 6) (.f64 (sqrt.f64 6) (sqrt.f64 6))) (.f64 x1 x1))) (.f64 (.f64 (fma.f64 4 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) (neg.f64 (.f64 (sqrt.f64 6) (sqrt.f64 6)))) (.f64 x1 x1)) (.f64 (fma.f64 (neg.f64 (sqrt.f64 6)) (sqrt.f64 6) (.f64 (sqrt.f64 6) (sqrt.f64 6))) (.f64 x1 x1)))))) (.f64 (+.f64 (.f64 x1 x1) 1) (+.f64 (pow.f64 (.f64 (fma.f64 4 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) (neg.f64 (.f64 (sqrt.f64 6) (sqrt.f64 6)))) (.f64 x1 x1)) 3) (pow.f64 (.f64 (fma.f64 (neg.f64 (sqrt.f64 6)) (sqrt.f64 6) (.f64 (sqrt.f64 6) (sqrt.f64 6))) (.f64 x1 x1)) 3)))) (.f64 (+.f64 (.f64 x1 x1) 1) (+.f64 (.f64 (.f64 (fma.f64 4 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) (neg.f64 (.f64 (sqrt.f64 6) (sqrt.f64 6)))) (.f64 x1 x1)) (.f64 (fma.f64 4 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) (neg.f64 (.f64 (sqrt.f64 6) (sqrt.f64 6)))) (.f64 x1 x1))) (-.f64 (.f64 (.f64 (fma.f64 (neg.f64 (sqrt.f64 6)) (sqrt.f64 6) (.f64 (sqrt.f64 6) (sqrt.f64 6))) (.f64 x1 x1)) (.f64 (fma.f64 (neg.f64 (sqrt.f64 6)) (sqrt.f64 6) (.f64 (sqrt.f64 6) (sqrt.f64 6))) (.f64 x1 x1))) (.f64 (.f64 (fma.f64 4 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) (neg.f64 (.f64 (sqrt.f64 6) (sqrt.f64 6)))) (.f64 x1 x1)) (.f64 (fma.f64 (neg.f64 (sqrt.f64 6)) (sqrt.f64 6) (.f64 (sqrt.f64 6) (sqrt.f64 6))) (.f64 x1 x1))))))) (+.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 82194 to 52928 computations (35.6% saved)

regimes9.8s (7.6%)

Accuracy

Total 0.2b remaining (60.1%)

Threshold costs 0.2b (60.1%)

Counts

657 → 1

Compiler

Compiled 355358 to 225684 computations (36.5% saved)

simplify8.0ms (0%)

Algorithm

1×	egg-herbie

Rules

14×	`*-commutative_binary64`
9×	`+-commutative_binary64`
6×	`sub-neg_binary64`
2×	`neg-sub0_binary64`
2×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	40	136
1	65	136
2	74	136
3	78	136
4	80	136
5	77	136

end1.0ms (0%)

Compiler: Compiled 97 to 59 computations (39.2% saved)

sample5.7s (4.4%)

Algorithm

1×

intervals

Results

2.1s	7012×	body	128	valid
1.7s	5784×	body	128	invalid
405.0ms	329×	body	1024	valid
354.0ms	384×	body	512	valid
157.0ms	275×	body	256	valid

Compiler

Compiled 1541 to 991 computations (35.7% saved)

Details

analyze4.5s (3.5%)

sample161.0ms (0.1%)

simplify30.0ms (0%)

prune11.0ms (0%)

localize35.0ms (0%)

series727.0ms (0.6%)

rewrite135.0ms (0.1%)

simplify306.0ms (0.2%)

prune1.1s (0.9%)

localize44.0ms (0%)

series1.5min (67.5%)

rewrite61.0ms (0%)

simplify1.5s (1.2%)

prune7.9s (6.1%)

localize33.0ms (0%)

series554.0ms (0.4%)

rewrite376.0ms (0.3%)

simplify682.0ms (0.5%)

prune4.4s (3.5%)

localize40.0ms (0%)

series374.0ms (0.3%)

rewrite162.0ms (0.1%)

simplify355.0ms (0.3%)

prune2.8s (2.2%)

regimes9.8s (7.6%)

simplify8.0ms (0%)

end1.0ms (0%)

sample5.7s (4.4%)

Profiling