Details

analyze3.3s (0.1%)

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)

sample195.0ms (0%)

Algorithm

1×

intervals

Results

116.0ms	232×	body	128	valid
41.0ms	145×	body	128	invalid
8.0ms	9×	body	512	valid
7.0ms	5×	body	1024	valid
7.0ms	10×	body	256	valid

Compiler

Compiled 261 to 163 computations (37.5% saved)

simplify55.0ms (0%)

Algorithm

1×	egg-herbie

Rules

797×	`distribute-rgt-in_binary64`
779×	`distribute-lft-in_binary64`
269×	`times-frac_binary64`
172×	`associate-+l+_binary64`
168×	`distribute-lft-out_binary64`

Counts

1 → 1

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	36	190
1	112	187
2	359	178
3	1580	157
4	4846	157
5	5174	157

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

0.5b

Counts

2 → 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.5b	(+.f64 x1 (+.f64 (.f64 3 (+.f64 (/.f64 (-.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) (.f64 x1 (.f64 x1 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)))))) (.f64 (+.f64 (.f64 x1 x1) 1) (+.f64 (+.f64 (.f64 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) (+.f64 (.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.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.5b

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

Compiler

Compiled 579 to 355 computations (38.7% saved)

localize46.0ms (0%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 (.f64 x1 x1) -6)
0.2b	(.f64 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) (+.f64 (.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) 3)) (.f64 (.f64 x1 x1) 4)))
3.7b	(+.f64 (.f64 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) (+.f64 (.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) 3)) (.f64 (.f64 x1 x1) 4))) (.f64 (.f64 x1 x1) -6))
3.8b	(-.f64 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) 3)

rewrite438.0ms (0%)

Algorithm

1×	rewrite-expression-head

Error

0.3b

Rules

33×	`add-sqr-sqrt_binary64`
24×	`*-un-lft-identity_binary64`
22×	`associate-l_binary64`
17×	`times-frac_binary64`
16×	`add-cube-cbrt_binary64`

Counts

4 → 96

Calls

4 calls:

39.0ms	(.f64 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) (+.f64 (.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) 3)) (.f64 (.f64 x1 x1) 4)))
38.0ms	(+.f64 (.f64 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) (+.f64 (.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) 3)) (.f64 (.f64 x1 x1) 4))) (.f64 (.f64 x1 x1) -6))
16.0ms	(-.f64 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) 3)
5.0ms	(.f64 (.f64 x1 x1) -6)

Compiler

Compiled 11601 to 6845 computations (41% saved)

series777.0ms (0%)

Error

0.4b

Counts

4 → 63

Calls

4 calls:

337.0ms	(+.f64 (.f64 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) (+.f64 (.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) 3)) (.f64 (.f64 x1 x1) 4))) (.f64 (.f64 x1 x1) -6))
224.0ms	(.f64 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) (+.f64 (.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) 3)) (.f64 (.f64 x1 x1) 4)))
80.0ms	(-.f64 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) 3)
11.0ms	(.f64 (.f64 x1 x1) -6)

Compiler

Compiled 13297 to 9139 computations (31.3% saved)

simplify205.0ms (0%)

Algorithm

1×	egg-herbie

Rules

383×	`associate-l_binary64`
380×	`associate-r_binary64`
176×	`distribute-rgt-in_binary64`
170×	`associate-+r+_binary64`
164×	`associate--r+_binary64`

Counts

159 → 135

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	417	9947
1	1322	9632
2	4964	9632

prune766.0ms (0%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	124	11	135
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	125	12	137

Error

0.3b

Counts

137 → 12

Alt Table

Status	Error	Program
	0.5b	(+.f64 x1 (+.f64 (.f64 3 (+.f64 (/.f64 (-.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) (.f64 x1 (.f64 x1 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)))))) (.f64 (+.f64 (.f64 x1 x1) 1) (+.f64 (+.f64 (.f64 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (-.f64 (.f64 (.f64 x1 x1) (.f64 x1 x1)) (.f64 1 1))) (.f64 (+.f64 (.f64 x1 (.f64 x1 4)) (.f64 (-.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (+.f64 (.f64 x1 x1) 1)) 3) (+.f64 x1 x1))) (+.f64 (.f64 x1 x1) -1))) (.f64 (.f64 x1 x1) -6)) x1))))
	15.7b	(+.f64 x1 (+.f64 (.f64 3 (+.f64 (/.f64 (-.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) (.f64 x1 (.f64 x1 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)))))) (.f64 (+.f64 (.f64 x1 x1) 1) (+.f64 (cbrt.f64 (pow.f64 (+.f64 (.f64 (.f64 x1 x1) -6) (.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (+.f64 (.f64 x1 x1) 1)) (+.f64 (.f64 x1 (.f64 x1 4)) (.f64 (-.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (+.f64 (*.f64 x1 x1) 1)) 3) (+.f64 x1 x1))))) 3)) x1))))
	0.8b	(+.f64 x1 (+.f64 (.f64 3 (+.f64 (/.f64 (-.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) (.f64 x1 (.f64 x1 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)))))) (.f64 (+.f64 (.f64 x1 x1) 1) (+.f64 (+.f64 (.f64 (.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (+.f64 (.f64 x1 x1) 1)) (.f64 (cbrt.f64 (+.f64 (.f64 x1 (.f64 x1 4)) (.f64 (-.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (+.f64 (.f64 x1 x1) 1)) 3) (+.f64 x1 x1)))) (cbrt.f64 (+.f64 (.f64 x1 (.f64 x1 4)) (.f64 (-.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (+.f64 (.f64 x1 x1) 1)) 3) (+.f64 x1 x1)))))) (cbrt.f64 (+.f64 (.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) 3)) (.f64 (.f64 x1 x1) 4)))) (.f64 (*.f64 x1 x1) -6)) x1))))
	20.2b	(+.f64 x1 (+.f64 (.f64 3 (+.f64 (/.f64 (-.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) (.f64 x1 (.f64 x1 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)))))) (.f64 (+.f64 (.f64 x1 x1) 1) (+.f64 (/.f64 (-.f64 (.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (/.f64 (pow.f64 (+.f64 (.f64 x1 x1) 1) 2) (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)))) (.f64 (+.f64 (.f64 x1 (.f64 x1 4)) (.f64 (-.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (+.f64 (.f64 x1 x1) 1)) 3) (+.f64 x1 x1))) (+.f64 (.f64 x1 (.f64 x1 4)) (.f64 (-.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (+.f64 (.f64 x1 x1) 1)) 3) (+.f64 x1 x1))))) (.f64 (pow.f64 x1 4) 36)) (+.f64 (.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (+.f64 (.f64 x1 x1) 1)) (+.f64 (.f64 x1 (.f64 x1 4)) (.f64 (-.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (+.f64 (.f64 x1 x1) 1)) 3) (+.f64 x1 x1)))) (.f64 (*.f64 x1 x1) 6))) x1))))
	0.7b	(+.f64 x1 (+.f64 (.f64 3 (+.f64 (/.f64 (-.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) (.f64 x1 (.f64 x1 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)))))) (.f64 (+.f64 (.f64 x1 x1) 1) (+.f64 (.f64 (.f64 (cbrt.f64 (+.f64 (.f64 (.f64 x1 x1) -6) (.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (+.f64 (.f64 x1 x1) 1)) (+.f64 (.f64 x1 (.f64 x1 4)) (.f64 (-.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (+.f64 (.f64 x1 x1) 1)) 3) (+.f64 x1 x1)))))) (cbrt.f64 (+.f64 (.f64 (.f64 x1 x1) -6) (.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (+.f64 (.f64 x1 x1) 1)) (+.f64 (.f64 x1 (.f64 x1 4)) (.f64 (-.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (+.f64 (.f64 x1 x1) 1)) 3) (+.f64 x1 x1))))))) (cbrt.f64 (+.f64 (.f64 (.f64 x1 x1) -6) (.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (+.f64 (.f64 x1 x1) 1)) (+.f64 (.f64 x1 (.f64 x1 4)) (.f64 (-.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (+.f64 (*.f64 x1 x1) 1)) 3) (+.f64 x1 x1))))))) x1))))
	0.8b	(+.f64 x1 (+.f64 (.f64 3 (+.f64 (/.f64 (-.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) (.f64 x1 (.f64 x1 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)))))) (.f64 (+.f64 (.f64 x1 x1) 1) (+.f64 (+.f64 (.f64 (/.f64 (.f64 (cbrt.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1)) (cbrt.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1))) (.f64 (cbrt.f64 (+.f64 (.f64 x1 x1) 1)) (cbrt.f64 (+.f64 (.f64 x1 x1) 1)))) (.f64 (+.f64 (.f64 x1 (.f64 x1 4)) (.f64 (-.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (+.f64 (.f64 x1 x1) 1)) 3) (+.f64 x1 x1))) (/.f64 (cbrt.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1))) (cbrt.f64 (+.f64 (.f64 x1 x1) 1))))) (.f64 (.f64 x1 x1) -6)) x1))))
	0.6b	(+.f64 x1 (+.f64 (.f64 3 (+.f64 (/.f64 (-.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) (.f64 x1 (.f64 x1 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)))))) (.f64 (+.f64 (.f64 x1 x1) 1) (+.f64 (+.f64 (.f64 (/.f64 1 (.f64 (cbrt.f64 (+.f64 (.f64 x1 x1) 1)) (cbrt.f64 (+.f64 (.f64 x1 x1) 1)))) (.f64 (+.f64 (.f64 x1 (.f64 x1 4)) (.f64 (-.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (+.f64 (.f64 x1 x1) 1)) 3) (+.f64 x1 x1))) (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (cbrt.f64 (+.f64 (.f64 x1 x1) 1))))) (.f64 (*.f64 x1 x1) -6)) x1))))
	5.2b	(+.f64 x1 (+.f64 (.f64 3 (+.f64 (/.f64 (-.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) (.f64 x1 (.f64 x1 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)))))) (.f64 (+.f64 (.f64 x1 x1) 1) (+.f64 (+.f64 (.f64 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) (+.f64 (.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) 3)) (.f64 (.f64 x1 x1) 4))) (cbrt.f64 (.f64 (pow.f64 x1 6) -216))) 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.6b	(+.f64 x1 (+.f64 (.f64 3 (+.f64 (/.f64 (-.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) (.f64 x1 (.f64 x1 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)))))) (.f64 (+.f64 (.f64 x1 x1) 1) (+.f64 (+.f64 (.f64 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) (+.f64 (.f64 (+.f64 x1 x1) (.f64 (.f64 (cbrt.f64 (-.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (+.f64 (.f64 x1 x1) 1)) 3)) (cbrt.f64 (-.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (+.f64 (.f64 x1 x1) 1)) 3))) (cbrt.f64 (-.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (+.f64 (.f64 x1 x1) 1)) 3)))) (.f64 (.f64 x1 x1) 4))) (.f64 (*.f64 x1 x1) -6)) x1))))
	19.2b	(+.f64 x1 (+.f64 (.f64 3 (+.f64 (/.f64 (-.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) (.f64 x1 (.f64 x1 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)))))) (.f64 (+.f64 (.f64 x1 x1) 1) (+.f64 (+.f64 (.f64 8 (+.f64 (.f64 x1 (.f64 x2 x2)) (.f64 x2 (pow.f64 x1 4)))) (-.f64 (.f64 36 (.f64 x2 (pow.f64 x1 3))) (+.f64 (.f64 16 (.f64 x2 (.f64 x2 (pow.f64 x1 3)))) (+.f64 (.f64 x1 (.f64 x2 12)) (+.f64 (.f64 (pow.f64 x1 3) 20) (.f64 (pow.f64 x1 4) 6)))))) x1))))
	21.0b	(+.f64 x1 (+.f64 (.f64 3 (+.f64 (/.f64 (-.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) (.f64 x1 (.f64 x1 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)))))) (.f64 (+.f64 (.f64 x1 x1) 1) (+.f64 (.f64 (sqrt.f64 (+.f64 (.f64 (.f64 x1 x1) -6) (.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (+.f64 (.f64 x1 x1) 1)) (+.f64 (.f64 x1 (.f64 x1 4)) (.f64 (-.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (+.f64 (.f64 x1 x1) 1)) 3) (+.f64 x1 x1)))))) (sqrt.f64 (+.f64 (.f64 (.f64 x1 x1) -6) (.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (+.f64 (.f64 x1 x1) 1)) (+.f64 (.f64 x1 (.f64 x1 4)) (.f64 (-.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (+.f64 (.f64 x1 x1) 1)) 3) (+.f64 x1 x1))))))) x1))))

Compiler

Compiled 15299 to 9055 computations (40.8% saved)

localize50.0ms (0%)

Local error

Found 4 expressions with local error:

3.7b	(+.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 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) 3)
4.1b	(.f64 (.f64 (.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))
4.1b	(.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))

rewrite1.2s (0%)

Algorithm

1×	rewrite-expression-head

Error

0.3b

Rules

33×	`add-sqr-sqrt_binary64`
30×	`add-cbrt-cube_binary64`
30×	`add-exp-log_binary64`
29×	`*-un-lft-identity_binary64`
24×	`associate-r_binary64`

Counts

4 → 130

Calls

4 calls:

97.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)))
19.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))
17.0ms	(.f64 (.f64 (.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))
16.0ms	(-.f64 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) 3)

Compiler

Compiled 19785 to 12132 computations (38.7% saved)

series889.0ms (0%)

Error

0.3b

Counts

4 → 74

Calls

4 calls:

367.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)))
92.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))
84.0ms	(-.f64 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) 3)
67.0ms	(.f64 (.f64 (.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))

Compiler

Compiled 16965 to 11225 computations (33.8% saved)

simplify344.0ms (0%)

Algorithm

1×	egg-herbie

Rules

290×	`distribute-rgt-in_binary64`
280×	`distribute-lft-in_binary64`
178×	`associate-+l+_binary64`
174×	`*-commutative_binary64`
165×	`associate-/l*_binary64`

Counts

204 → 191

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	523	13550
1	1687	12923
2	4938	12923
3	4999	12923
4	4925	12923

prune1.0s (0%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	187	4	191
Fresh	6	5	11
Picked	1	0	1
Done	0	0	0
Total	194	9	203

Error

0.3b

Counts

203 → 9

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 x1 (.f64 x1 (-.f64 (.f64 4 (/.f64 (+.f64 (.f64 x2 2) (-.f64 (.f64 x1 (.f64 x1 3)) 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 x1 (+.f64 (+.f64 (+.f64 (+.f64 (.f64 (-.f64 (+.f64 (.f64 8 (.f64 x1 (.f64 x2 x2))) (.f64 36 (.f64 x2 (pow.f64 x1 3)))) (+.f64 (.f64 16 (.f64 (pow.f64 x1 3) (.f64 x2 x2))) (+.f64 (.f64 12 (.f64 x2 x1)) (.f64 (pow.f64 x1 3) 20)))) (+.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.8b	(+.f64 x1 (+.f64 (.f64 3 (+.f64 (/.f64 (-.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) (.f64 x1 (.f64 x1 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)))))) (.f64 (+.f64 (.f64 x1 x1) 1) (+.f64 (+.f64 (.f64 (.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (+.f64 (.f64 x1 x1) 1)) (.f64 (cbrt.f64 (+.f64 (.f64 x1 (.f64 x1 4)) (.f64 (-.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (+.f64 (.f64 x1 x1) 1)) 3) (+.f64 x1 x1)))) (cbrt.f64 (+.f64 (.f64 x1 (.f64 x1 4)) (.f64 (-.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (+.f64 (.f64 x1 x1) 1)) 3) (+.f64 x1 x1)))))) (cbrt.f64 (+.f64 (.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) 3)) (.f64 (.f64 x1 x1) 4)))) (.f64 (*.f64 x1 x1) -6)) x1))))
	20.2b	(+.f64 x1 (+.f64 (.f64 3 (+.f64 (/.f64 (-.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) (.f64 x1 (.f64 x1 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)))))) (.f64 (+.f64 (.f64 x1 x1) 1) (+.f64 (/.f64 (-.f64 (.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (/.f64 (pow.f64 (+.f64 (.f64 x1 x1) 1) 2) (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)))) (.f64 (+.f64 (.f64 x1 (.f64 x1 4)) (.f64 (-.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (+.f64 (.f64 x1 x1) 1)) 3) (+.f64 x1 x1))) (+.f64 (.f64 x1 (.f64 x1 4)) (.f64 (-.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (+.f64 (.f64 x1 x1) 1)) 3) (+.f64 x1 x1))))) (.f64 (pow.f64 x1 4) 36)) (+.f64 (.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (+.f64 (.f64 x1 x1) 1)) (+.f64 (.f64 x1 (.f64 x1 4)) (.f64 (-.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (+.f64 (.f64 x1 x1) 1)) 3) (+.f64 x1 x1)))) (.f64 (*.f64 x1 x1) 6))) x1))))
	0.5b	(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (.f64 (+.f64 (+.f64 (.f64 (.f64 x1 x1) (.f64 4 (/.f64 (+.f64 (.f64 x2 2) (-.f64 (.f64 x1 (.f64 x1 3)) x1)) (+.f64 (.f64 x1 x1) 1)))) (.f64 (-.f64 (/.f64 (+.f64 (.f64 x2 2) (-.f64 (.f64 x1 (.f64 x1 3)) x1)) (+.f64 (.f64 x1 x1) 1)) 3) (.f64 2 (.f64 x1 (/.f64 (+.f64 (.f64 x2 2) (-.f64 (.f64 x1 (.f64 x1 3)) x1)) (+.f64 (.f64 x1 x1) 1)))))) (.f64 (.f64 (neg.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 3 (+.f64 (/.f64 (-.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) (.f64 x1 (.f64 x1 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)))))) (.f64 (+.f64 (.f64 x1 x1) 1) (+.f64 (+.f64 (.f64 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (-.f64 (.f64 (.f64 x1 x1) (.f64 x1 x1)) (.f64 1 1))) (.f64 (+.f64 (.f64 x1 (.f64 x1 4)) (.f64 (-.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (+.f64 (.f64 x1 x1) 1)) 3) (+.f64 x1 x1))) (+.f64 (.f64 x1 x1) -1))) (.f64 (.f64 x1 x1) -6)) x1))))
	0.6b	(+.f64 x1 (+.f64 (.f64 3 (+.f64 (/.f64 (-.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) (.f64 x1 (.f64 x1 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)))))) (.f64 (+.f64 (.f64 x1 x1) 1) (+.f64 (+.f64 (.f64 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) (+.f64 (.f64 (+.f64 x1 x1) (.f64 (.f64 (cbrt.f64 (-.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (+.f64 (.f64 x1 x1) 1)) 3)) (cbrt.f64 (-.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (+.f64 (.f64 x1 x1) 1)) 3))) (cbrt.f64 (-.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (+.f64 (.f64 x1 x1) 1)) 3)))) (.f64 (.f64 x1 x1) 4))) (.f64 (*.f64 x1 x1) -6)) x1))))
	21.0b	(+.f64 x1 (+.f64 (.f64 3 (+.f64 (/.f64 (-.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) (.f64 x1 (.f64 x1 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)))))) (.f64 (+.f64 (.f64 x1 x1) 1) (+.f64 (.f64 (sqrt.f64 (+.f64 (.f64 (.f64 x1 x1) -6) (.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (+.f64 (.f64 x1 x1) 1)) (+.f64 (.f64 x1 (.f64 x1 4)) (.f64 (-.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (+.f64 (.f64 x1 x1) 1)) 3) (+.f64 x1 x1)))))) (sqrt.f64 (+.f64 (.f64 (.f64 x1 x1) -6) (.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (+.f64 (.f64 x1 x1) 1)) (+.f64 (.f64 x1 (.f64 x1 4)) (.f64 (-.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (+.f64 (.f64 x1 x1) 1)) 3) (+.f64 x1 x1))))))) x1))))
	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))) (-.f64 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) 3)) (.f64 (.f64 (cbrt.f64 (.f64 (.f64 x1 x1) (-.f64 (.f64 4 (/.f64 (+.f64 (.f64 x2 2) (-.f64 (.f64 x1 (.f64 x1 3)) x1)) (+.f64 (.f64 x1 x1) 1))) 6))) (cbrt.f64 (.f64 (.f64 x1 x1) (-.f64 (.f64 4 (/.f64 (+.f64 (.f64 x2 2) (-.f64 (.f64 x1 (.f64 x1 3)) x1)) (+.f64 (.f64 x1 x1) 1))) 6)))) (cbrt.f64 (.f64 (.f64 x1 x1) (-.f64 (.f64 4 (/.f64 (+.f64 (.f64 x2 2) (-.f64 (.f64 x1 (.f64 x1 3)) 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 21803 to 13297 computations (39% saved)

localize57.0ms (0%)

Local error

Found 4 expressions with local error:

0.2b	(.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))
3.7b	(+.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 x1 (.f64 x1 (-.f64 (.f64 4 (/.f64 (+.f64 (.f64 x2 2) (-.f64 (.f64 x1 (.f64 x1 3)) x1)) (+.f64 (.f64 x1 x1) 1))) 6))))
3.8b	(-.f64 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) 3)
4.1b	(.f64 (.f64 (.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))

rewrite1.4s (0.1%)

Algorithm

1×	rewrite-expression-head

Error

0.3b

Rules

43×	`add-cbrt-cube_binary64`
43×	`add-exp-log_binary64`
39×	`add-sqr-sqrt_binary64`
36×	`associate-*r/_binary64`
33×	`*-un-lft-identity_binary64`

Counts

4 → 150

Calls

4 calls:

78.0ms	(.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))
35.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 x1 (.f64 x1 (-.f64 (.f64 4 (/.f64 (+.f64 (.f64 x2 2) (-.f64 (.f64 x1 (.f64 x1 3)) x1)) (+.f64 (.f64 x1 x1) 1))) 6))))
16.0ms	(.f64 (.f64 (.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))
15.0ms	(-.f64 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) 3)

Compiler

Compiled 22810 to 14158 computations (37.9% saved)

series1.0s (0%)

Error

0.3b

Counts

4 → 77

Calls

4 calls:

340.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 x1 (.f64 x1 (-.f64 (.f64 4 (/.f64 (+.f64 (.f64 x2 2) (-.f64 (.f64 x1 (.f64 x1 3)) x1)) (+.f64 (.f64 x1 x1) 1))) 6))))
235.0ms	(.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))
98.0ms	(-.f64 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) 3)
86.0ms	(.f64 (.f64 (.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)))

Compiler

Compiled 18144 to 12241 computations (32.5% saved)

simplify385.0ms (0%)

Algorithm

1×	egg-herbie

Rules

314×	`distribute-rgt-in_binary64`
305×	`distribute-lft-in_binary64`
196×	`associate-*r/_binary64`
188×	`*-commutative_binary64`
188×	`associate--l+_binary64`

Counts

227 → 212

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	576	17105
1	1852	16298
2	4903	16298
3	4959	16298

prune1.2s (0%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	211	1	212
Fresh	1	7	8
Picked	0	1	1
Done	0	0	0
Total	212	9	221

Error

0.3b

Counts

221 → 9

Alt Table

Status	Error	Program
	10.6b	(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (.f64 (+.f64 (.f64 8 (/.f64 (.f64 x1 (.f64 x2 x2)) (pow.f64 (+.f64 (.f64 x1 x1) 1) 2))) (.f64 x1 (.f64 x1 (-.f64 (.f64 4 (/.f64 (+.f64 (.f64 x2 2) (-.f64 (.f64 x1 (.f64 x1 3)) 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 (+.f64 (.f64 3 (+.f64 (/.f64 (-.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) (.f64 x1 (.f64 x1 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)))))) (.f64 (+.f64 (.f64 x1 x1) 1) (+.f64 (+.f64 (.f64 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (-.f64 (.f64 (.f64 x1 x1) (.f64 x1 x1)) (.f64 1 1))) (.f64 (+.f64 (.f64 x1 (.f64 x1 4)) (.f64 (-.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (+.f64 (.f64 x1 x1) 1)) 3) (+.f64 x1 x1))) (+.f64 (.f64 x1 x1) -1))) (.f64 (.f64 x1 x1) -6)) x1))))
	0.8b	(+.f64 x1 (+.f64 (.f64 3 (+.f64 (/.f64 (-.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) (.f64 x1 (.f64 x1 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)))))) (.f64 (+.f64 (.f64 x1 x1) 1) (+.f64 (+.f64 (.f64 (.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (+.f64 (.f64 x1 x1) 1)) (.f64 (cbrt.f64 (+.f64 (.f64 x1 (.f64 x1 4)) (.f64 (-.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (+.f64 (.f64 x1 x1) 1)) 3) (+.f64 x1 x1)))) (cbrt.f64 (+.f64 (.f64 x1 (.f64 x1 4)) (.f64 (-.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (+.f64 (.f64 x1 x1) 1)) 3) (+.f64 x1 x1)))))) (cbrt.f64 (+.f64 (.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) 3)) (.f64 (.f64 x1 x1) 4)))) (.f64 (*.f64 x1 x1) -6)) x1))))
	20.2b	(+.f64 x1 (+.f64 (.f64 3 (+.f64 (/.f64 (-.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) (.f64 x1 (.f64 x1 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)))))) (.f64 (+.f64 (.f64 x1 x1) 1) (+.f64 (/.f64 (-.f64 (.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (/.f64 (pow.f64 (+.f64 (.f64 x1 x1) 1) 2) (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)))) (.f64 (+.f64 (.f64 x1 (.f64 x1 4)) (.f64 (-.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (+.f64 (.f64 x1 x1) 1)) 3) (+.f64 x1 x1))) (+.f64 (.f64 x1 (.f64 x1 4)) (.f64 (-.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (+.f64 (.f64 x1 x1) 1)) 3) (+.f64 x1 x1))))) (.f64 (pow.f64 x1 4) 36)) (+.f64 (.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (+.f64 (.f64 x1 x1) 1)) (+.f64 (.f64 x1 (.f64 x1 4)) (.f64 (-.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (+.f64 (.f64 x1 x1) 1)) 3) (+.f64 x1 x1)))) (.f64 (*.f64 x1 x1) 6))) x1))))
	0.5b	(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (.f64 (+.f64 (+.f64 (.f64 (.f64 x1 x1) (.f64 4 (/.f64 (+.f64 (.f64 x2 2) (-.f64 (.f64 x1 (.f64 x1 3)) x1)) (+.f64 (.f64 x1 x1) 1)))) (.f64 (-.f64 (/.f64 (+.f64 (.f64 x2 2) (-.f64 (.f64 x1 (.f64 x1 3)) x1)) (+.f64 (.f64 x1 x1) 1)) 3) (.f64 2 (.f64 x1 (/.f64 (+.f64 (.f64 x2 2) (-.f64 (.f64 x1 (.f64 x1 3)) x1)) (+.f64 (.f64 x1 x1) 1)))))) (.f64 (.f64 (neg.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.6b	(+.f64 x1 (+.f64 (.f64 3 (+.f64 (/.f64 (-.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) (.f64 x1 (.f64 x1 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)))))) (.f64 (+.f64 (.f64 x1 x1) 1) (+.f64 (+.f64 (.f64 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) (+.f64 (.f64 (+.f64 x1 x1) (.f64 (.f64 (cbrt.f64 (-.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (+.f64 (.f64 x1 x1) 1)) 3)) (cbrt.f64 (-.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (+.f64 (.f64 x1 x1) 1)) 3))) (cbrt.f64 (-.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (+.f64 (.f64 x1 x1) 1)) 3)))) (.f64 (.f64 x1 x1) 4))) (.f64 (*.f64 x1 x1) -6)) 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 x1 (.f64 x1 (-.f64 (.f64 4 (/.f64 (+.f64 (.f64 x2 2) (-.f64 (.f64 x1 (.f64 x1 3)) 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)))))
	21.0b	(+.f64 x1 (+.f64 (.f64 3 (+.f64 (/.f64 (-.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) (.f64 x1 (.f64 x1 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)))))) (.f64 (+.f64 (.f64 x1 x1) 1) (+.f64 (.f64 (sqrt.f64 (+.f64 (.f64 (.f64 x1 x1) -6) (.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (+.f64 (.f64 x1 x1) 1)) (+.f64 (.f64 x1 (.f64 x1 4)) (.f64 (-.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (+.f64 (.f64 x1 x1) 1)) 3) (+.f64 x1 x1)))))) (sqrt.f64 (+.f64 (.f64 (.f64 x1 x1) -6) (.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (+.f64 (.f64 x1 x1) 1)) (+.f64 (.f64 x1 (.f64 x1 4)) (.f64 (-.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (+.f64 (.f64 x1 x1) 1)) 3) (+.f64 x1 x1))))))) x1))))
	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))) (-.f64 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) 3)) (.f64 (.f64 (cbrt.f64 (.f64 (.f64 x1 x1) (-.f64 (.f64 4 (/.f64 (+.f64 (.f64 x2 2) (-.f64 (.f64 x1 (.f64 x1 3)) x1)) (+.f64 (.f64 x1 x1) 1))) 6))) (cbrt.f64 (.f64 (.f64 x1 x1) (-.f64 (.f64 4 (/.f64 (+.f64 (.f64 x2 2) (-.f64 (.f64 x1 (.f64 x1 3)) x1)) (+.f64 (.f64 x1 x1) 1))) 6)))) (cbrt.f64 (.f64 (.f64 x1 x1) (-.f64 (.f64 4 (/.f64 (+.f64 (.f64 x2 2) (-.f64 (.f64 x1 (.f64 x1 3)) 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 23829 to 14631 computations (38.6% saved)

localize74.0ms (0%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 (.f64 x1 x1) (*.f64 x1 x1))
0.3b	(.f64 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (-.f64 (.f64 (.f64 x1 x1) (.f64 x1 x1)) (.f64 1 1))) (.f64 (+.f64 (.f64 x1 (.f64 x1 4)) (.f64 (-.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (+.f64 (.f64 x1 x1) 1)) 3) (+.f64 x1 x1))) (+.f64 (*.f64 x1 x1) -1)))
3.7b	(+.f64 (.f64 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (-.f64 (.f64 (.f64 x1 x1) (.f64 x1 x1)) (.f64 1 1))) (.f64 (+.f64 (.f64 x1 (.f64 x1 4)) (.f64 (-.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (+.f64 (.f64 x1 x1) 1)) 3) (+.f64 x1 x1))) (+.f64 (.f64 x1 x1) -1))) (.f64 (*.f64 x1 x1) -6))
3.8b	(-.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (+.f64 (.f64 x1 x1) 1)) 3)

rewrite1.4s (0.1%)

Algorithm

1×	rewrite-expression-head

Error

0.3b

Rules

120×	`pow1_binary64`
36×	`pow-prod-up_binary64`
28×	`add-sqr-sqrt_binary64`
28×	`add-cbrt-cube_binary64`
28×	`add-exp-log_binary64`

Counts

4 → 162

Calls

4 calls:

35.0ms	(.f64 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (-.f64 (.f64 (.f64 x1 x1) (.f64 x1 x1)) (.f64 1 1))) (.f64 (+.f64 (.f64 x1 (.f64 x1 4)) (.f64 (-.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (+.f64 (.f64 x1 x1) 1)) 3) (+.f64 x1 x1))) (+.f64 (*.f64 x1 x1) -1)))
34.0ms	(+.f64 (.f64 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (-.f64 (.f64 (.f64 x1 x1) (.f64 x1 x1)) (.f64 1 1))) (.f64 (+.f64 (.f64 x1 (.f64 x1 4)) (.f64 (-.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (+.f64 (.f64 x1 x1) 1)) 3) (+.f64 x1 x1))) (+.f64 (.f64 x1 x1) -1))) (.f64 (*.f64 x1 x1) -6))
20.0ms	(-.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (+.f64 (.f64 x1 x1) 1)) 3)
9.0ms	(.f64 (.f64 x1 x1) (*.f64 x1 x1))

Compiler

Compiled 18550 to 10561 computations (43.1% saved)

series1.6s (0.1%)

Error

0.3b

Counts

4 → 63

Calls

4 calls:

828.0ms	(+.f64 (.f64 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (-.f64 (.f64 (.f64 x1 x1) (.f64 x1 x1)) (.f64 1 1))) (.f64 (+.f64 (.f64 x1 (.f64 x1 4)) (.f64 (-.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (+.f64 (.f64 x1 x1) 1)) 3) (+.f64 x1 x1))) (+.f64 (.f64 x1 x1) -1))) (.f64 (*.f64 x1 x1) -6))
423.0ms	(.f64 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (-.f64 (.f64 (.f64 x1 x1) (.f64 x1 x1)) (.f64 1 1))) (.f64 (+.f64 (.f64 x1 (.f64 x1 4)) (.f64 (-.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (+.f64 (.f64 x1 x1) 1)) 3) (+.f64 x1 x1))) (+.f64 (*.f64 x1 x1) -1)))
89.0ms	(-.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (+.f64 (.f64 x1 x1) 1)) 3)
13.0ms	(.f64 (.f64 x1 x1) (*.f64 x1 x1))

Compiler

Compiled 17981 to 12784 computations (28.9% saved)

simplify389.0ms (0%)

Algorithm

1×	egg-herbie

Rules

484×	`distribute-rgt-in_binary64`
465×	`distribute-lft-in_binary64`
250×	`times-frac_binary64`
175×	`+-commutative_binary64`
164×	`*-commutative_binary64`

Counts

225 → 192

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	597	15845
1	1901	15314
2	4961	15314
3	4998	15314
4	4940	15314

prune761.0ms (0%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	192	0	192
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	192	9	201

Error

0.3b

Counts

201 → 9

Alt Table

Status	Error	Program
	10.6b	(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (.f64 (+.f64 (.f64 8 (/.f64 (.f64 x1 (.f64 x2 x2)) (pow.f64 (+.f64 (.f64 x1 x1) 1) 2))) (.f64 x1 (.f64 x1 (-.f64 (.f64 4 (/.f64 (+.f64 (.f64 x2 2) (-.f64 (.f64 x1 (.f64 x1 3)) 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 (+.f64 (.f64 3 (+.f64 (/.f64 (-.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) (.f64 x1 (.f64 x1 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)))))) (.f64 (+.f64 (.f64 x1 x1) 1) (+.f64 (+.f64 (.f64 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (-.f64 (.f64 (.f64 x1 x1) (.f64 x1 x1)) (.f64 1 1))) (.f64 (+.f64 (.f64 x1 (.f64 x1 4)) (.f64 (-.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (+.f64 (.f64 x1 x1) 1)) 3) (+.f64 x1 x1))) (+.f64 (.f64 x1 x1) -1))) (.f64 (.f64 x1 x1) -6)) x1))))
	0.8b	(+.f64 x1 (+.f64 (.f64 3 (+.f64 (/.f64 (-.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) (.f64 x1 (.f64 x1 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)))))) (.f64 (+.f64 (.f64 x1 x1) 1) (+.f64 (+.f64 (.f64 (.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (+.f64 (.f64 x1 x1) 1)) (.f64 (cbrt.f64 (+.f64 (.f64 x1 (.f64 x1 4)) (.f64 (-.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (+.f64 (.f64 x1 x1) 1)) 3) (+.f64 x1 x1)))) (cbrt.f64 (+.f64 (.f64 x1 (.f64 x1 4)) (.f64 (-.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (+.f64 (.f64 x1 x1) 1)) 3) (+.f64 x1 x1)))))) (cbrt.f64 (+.f64 (.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) 3)) (.f64 (.f64 x1 x1) 4)))) (.f64 (*.f64 x1 x1) -6)) x1))))
	20.2b	(+.f64 x1 (+.f64 (.f64 3 (+.f64 (/.f64 (-.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) (.f64 x1 (.f64 x1 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)))))) (.f64 (+.f64 (.f64 x1 x1) 1) (+.f64 (/.f64 (-.f64 (.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (/.f64 (pow.f64 (+.f64 (.f64 x1 x1) 1) 2) (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)))) (.f64 (+.f64 (.f64 x1 (.f64 x1 4)) (.f64 (-.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (+.f64 (.f64 x1 x1) 1)) 3) (+.f64 x1 x1))) (+.f64 (.f64 x1 (.f64 x1 4)) (.f64 (-.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (+.f64 (.f64 x1 x1) 1)) 3) (+.f64 x1 x1))))) (.f64 (pow.f64 x1 4) 36)) (+.f64 (.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (+.f64 (.f64 x1 x1) 1)) (+.f64 (.f64 x1 (.f64 x1 4)) (.f64 (-.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (+.f64 (.f64 x1 x1) 1)) 3) (+.f64 x1 x1)))) (.f64 (*.f64 x1 x1) 6))) x1))))
	0.5b	(+.f64 x1 (+.f64 (+.f64 (+.f64 (+.f64 (.f64 (+.f64 (+.f64 (.f64 (.f64 x1 x1) (.f64 4 (/.f64 (+.f64 (.f64 x2 2) (-.f64 (.f64 x1 (.f64 x1 3)) x1)) (+.f64 (.f64 x1 x1) 1)))) (.f64 (-.f64 (/.f64 (+.f64 (.f64 x2 2) (-.f64 (.f64 x1 (.f64 x1 3)) x1)) (+.f64 (.f64 x1 x1) 1)) 3) (.f64 2 (.f64 x1 (/.f64 (+.f64 (.f64 x2 2) (-.f64 (.f64 x1 (.f64 x1 3)) x1)) (+.f64 (.f64 x1 x1) 1)))))) (.f64 (.f64 (neg.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.6b	(+.f64 x1 (+.f64 (.f64 3 (+.f64 (/.f64 (-.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) (.f64 x1 (.f64 x1 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)))))) (.f64 (+.f64 (.f64 x1 x1) 1) (+.f64 (+.f64 (.f64 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) (+.f64 (.f64 (+.f64 x1 x1) (.f64 (.f64 (cbrt.f64 (-.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (+.f64 (.f64 x1 x1) 1)) 3)) (cbrt.f64 (-.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (+.f64 (.f64 x1 x1) 1)) 3))) (cbrt.f64 (-.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (+.f64 (.f64 x1 x1) 1)) 3)))) (.f64 (.f64 x1 x1) 4))) (.f64 (*.f64 x1 x1) -6)) 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 x1 (.f64 x1 (-.f64 (.f64 4 (/.f64 (+.f64 (.f64 x2 2) (-.f64 (.f64 x1 (.f64 x1 3)) 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)))))
	21.0b	(+.f64 x1 (+.f64 (.f64 3 (+.f64 (/.f64 (-.f64 (-.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) (.f64 x1 (.f64 x1 (/.f64 (-.f64 (+.f64 (.f64 x1 (.f64 x1 3)) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)))))) (.f64 (+.f64 (.f64 x1 x1) 1) (+.f64 (.f64 (sqrt.f64 (+.f64 (.f64 (.f64 x1 x1) -6) (.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (+.f64 (.f64 x1 x1) 1)) (+.f64 (.f64 x1 (.f64 x1 4)) (.f64 (-.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (+.f64 (.f64 x1 x1) 1)) 3) (+.f64 x1 x1)))))) (sqrt.f64 (+.f64 (.f64 (.f64 x1 x1) -6) (.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (+.f64 (.f64 x1 x1) 1)) (+.f64 (.f64 x1 (.f64 x1 4)) (.f64 (-.f64 (/.f64 (+.f64 (.f64 2 x2) (-.f64 (.f64 3 (.f64 x1 x1)) x1)) (+.f64 (.f64 x1 x1) 1)) 3) (+.f64 x1 x1))))))) x1))))
	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))) (-.f64 (/.f64 (-.f64 (+.f64 (.f64 (.f64 3 x1) x1) (.f64 2 x2)) x1) (+.f64 (.f64 x1 x1) 1)) 3)) (.f64 (.f64 (cbrt.f64 (.f64 (.f64 x1 x1) (-.f64 (.f64 4 (/.f64 (+.f64 (.f64 x2 2) (-.f64 (.f64 x1 (.f64 x1 3)) x1)) (+.f64 (.f64 x1 x1) 1))) 6))) (cbrt.f64 (.f64 (.f64 x1 x1) (-.f64 (.f64 4 (/.f64 (+.f64 (.f64 x2 2) (-.f64 (.f64 x1 (.f64 x1 3)) x1)) (+.f64 (.f64 x1 x1) 1))) 6)))) (cbrt.f64 (.f64 (.f64 x1 x1) (-.f64 (.f64 4 (/.f64 (+.f64 (.f64 x2 2) (-.f64 (.f64 x1 (.f64 x1 3)) 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 17662 to 10688 computations (39.5% saved)

regimes41.8min (99.3%)

Compiler: Compiled 173476 to 107893 computations (37.8% saved)

Details

analyze3.3s (0.1%)

sample195.0ms (0%)

simplify55.0ms (0%)

prune9.0ms (0%)

localize46.0ms (0%)

rewrite438.0ms (0%)

series777.0ms (0%)

simplify205.0ms (0%)

prune766.0ms (0%)

localize50.0ms (0%)

rewrite1.2s (0%)

series889.0ms (0%)

simplify344.0ms (0%)

prune1.0s (0%)

localize57.0ms (0%)

rewrite1.4s (0.1%)

series1.0s (0%)

simplify385.0ms (0%)

prune1.2s (0%)

localize74.0ms (0%)

rewrite1.4s (0.1%)

series1.6s (0.1%)

simplify389.0ms (0%)

prune761.0ms (0%)

regimes41.8min (99.3%)

Profiling