Details

analyze6.7s (10.5%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.2%	0.8%	0
0%	99.2%	0.8%	1
0%	99.2%	0.8%	2
0%	99.2%	0.8%	3
0%	99.2%	0.8%	4
0%	99.2%	0.8%	5
0%	99.2%	0.8%	6
0%	99.2%	0.8%	7
0%	99.2%	0.8%	8
0%	99.2%	0.8%	9
0%	99.2%	0.8%	10
0%	99.2%	0.8%	11
0%	99.2%	0.8%	12
0%	99.2%	0.8%	13
0%	99.2%	0.8%	14

Compiler

Compiled 112 to 64 computations (42.9% saved)

sample32.9s (51.9%)

Results

29.1s	65699×	body	128	invalid
3.6s	8256×	body	128	valid

Compiler

Compiled 335 to 191 computations (43% saved)

simplify47.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

759×	`fma-neg_binary64`
565×	`distribute-rgt-in_binary64`
513×	`cancel-sign-sub-inv_binary64`
437×	`neg-mul-1_binary64`
217×	`distribute-rgt-neg-in_binary64`

Counts

1 → 2

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	64	142
1	182	136
2	467	132
3	2132	132
4	4408	132
5	5050	132

prune7.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

30.2b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	30.2b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))

Status

Error

Program

▶

30.2b

(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 a b) (*.f64 c i))) (*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 y0 b) (*.f64 y1 i)))) (*.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (-.f64 (*.f64 y0 c) (*.f64 y1 a)))) (*.f64 (-.f64 (*.f64 t j) (*.f64 y k)) (-.f64 (*.f64 y4 b) (*.f64 y5 i)))) (*.f64 (-.f64 (*.f64 t y2) (*.f64 y y3)) (-.f64 (*.f64 y4 c) (*.f64 y5 a)))) (*.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y4 y1) (*.f64 y5 y0))))

Compiler

Compiled 423 to 210 computations (50.4% saved)

localize77.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	8.9b	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (*.f64 y5 i)))
✓	9.2b	(.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (*.f64 y1 a)))
✓	9.4b	(.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (*.f64 c i)))
✓	10.9b	(.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (*.f64 y5 a)))

series241.0ms (0.4%)

Counts

4 → 384

Calls

4 calls:

62.0ms	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (*.f64 y5 i)))
61.0ms	(.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (*.f64 y1 a)))
59.0ms	(.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (*.f64 c i)))
59.0ms	(.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (*.f64 y5 a)))

rewrite39.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`flip--_binary64`
24×	`flip3--_binary64`
20×	`add-sqr-sqrt_binary64`
16×	`frac-times_binary64`
12×	`associate-r_binary64`

Counts

4 → 136

Calls

4 calls:

8.0ms	(.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (*.f64 y1 a)))
7.0ms	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (*.f64 y5 i)))
7.0ms	(.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (*.f64 y5 a)))
7.0ms	(.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (*.f64 c i)))

simplify377.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

767×	`associate-l_binary64`
376×	`fma-def_binary64`
363×	`distribute-rgt-in_binary64`
357×	`distribute-lft-in_binary64`
254×	`*-commutative_binary64`

Counts

520 → 286

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	524	18648
1	1486	18276
2	5181	18276

prune1.5s (2.3%)

Pruning

19 alts after pruning (19 fresh and 0 done)

	Pruned	Kept	Total
New	267	19	286
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	268	19	287

Error

16.1b

Counts

287 → 19

Alt Table

Status	Error	Program
▶	28.5b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (-.f64 (+.f64 (.f64 a (.f64 y1 (.f64 y3 z))) (.f64 c (.f64 y0 (.f64 x y2)))) (+.f64 (.f64 c (.f64 y0 (.f64 y3 z))) (.f64 y1 (.f64 a (.f64 x y2)))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	32.1b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (neg.f64 (.f64 (-.f64 (.f64 a b) (.f64 c i)) (.f64 t z))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	31.7b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (neg.f64 (.f64 y (.f64 y3 (-.f64 (.f64 c y4) (.f64 a y5)))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	35.1b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (neg.f64 (.f64 y3 (.f64 z (-.f64 (.f64 c y0) (.f64 a y1)))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	30.7b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (-.f64 (+.f64 (.f64 a (.f64 y (.f64 y3 y5))) (.f64 c (.f64 y4 (.f64 t y2)))) (+.f64 (.f64 a (.f64 t (.f64 y5 y2))) (.f64 c (.f64 y4 (.f64 y y3)))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	30.2b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (-.f64 (+.f64 (.f64 y4 (.f64 t (.f64 b j))) (.f64 k (.f64 i (.f64 y y5)))) (+.f64 (.f64 i (.f64 t (.f64 j y5))) (.f64 k (.f64 y4 (.f64 y b)))))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	29.1b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (-.f64 (+.f64 (.f64 c (.f64 y0 (.f64 x y2))) (.f64 y1 (.f64 a (.f64 y3 z)))) (+.f64 (.f64 c (.f64 y0 (.f64 y3 z))) (.f64 a (.f64 y1 (.f64 x y2)))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	31.2b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (-.f64 (+.f64 (.f64 c (.f64 i (.f64 t z))) (.f64 a (.f64 y (.f64 b x)))) (+.f64 (.f64 a (.f64 t (.f64 b z))) (.f64 c (.f64 y (.f64 i x))))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	30.3b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (.f64 (cbrt.f64 (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (cbrt.f64 (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a))))) (cbrt.f64 (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	32.8b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 a b) (.f64 c i)) (.f64 y x)) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	32.1b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 t (.f64 (-.f64 (.f64 c y4) (.f64 a y5)) y2))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	53.3b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (.f64 (sqrt.f64 (-.f64 (.f64 t y2) (.f64 y y3))) (sqrt.f64 (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (sqrt.f64 (-.f64 (.f64 t y2) (.f64 y y3))) (sqrt.f64 (-.f64 (.f64 y4 c) (.f64 y5 a)))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	31.5b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 -1 (.f64 k (.f64 (-.f64 (.f64 y4 b) (.f64 i y5)) y)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	29.4b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (+.f64 (.f64 y4 (.f64 b (-.f64 (.f64 t j) (.f64 y k)))) (neg.f64 (.f64 i (.f64 y5 (-.f64 (.f64 t j) (.f64 y k))))))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	30.3b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (.f64 x y) (.f64 z t))) (cbrt.f64 (-.f64 (.f64 x y) (.f64 z t)))) (.f64 (cbrt.f64 (-.f64 (.f64 x y) (.f64 z t))) (-.f64 (.f64 a b) (.f64 c i)))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	30.2b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (.f64 (cbrt.f64 (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (cbrt.f64 (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i))))) (cbrt.f64 (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	30.2b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (+.f64 (.f64 (fma.f64 y0 c (neg.f64 (.f64 a y1))) (-.f64 (.f64 x y2) (.f64 z y3))) (.f64 (fma.f64 (neg.f64 a) y1 (.f64 a y1)) (-.f64 (.f64 x y2) (.f64 z y3))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	48.3b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (sqrt.f64 (-.f64 (.f64 a b) (.f64 c i)))) (sqrt.f64 (-.f64 (.f64 a b) (.f64 c i)))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	42.6b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (sqrt.f64 (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (sqrt.f64 (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))

Compiler

Compiled 35863 to 4748 computations (86.8% saved)

localize74.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	8.7b	(.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (*.f64 y1 i)))
	8.9b	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (*.f64 y5 i)))
	9.4b	(.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (*.f64 c i)))
	10.9b	(.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (*.f64 y5 a)))

series70.0ms (0.1%)

Counts

1 → 96

Calls

1 calls:

70.0ms

(*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 y0 b) (*.f64 y1 i)))

rewrite10.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`flip--_binary64`
6×	`flip3--_binary64`
5×	`add-sqr-sqrt_binary64`
4×	`frac-times_binary64`
3×	`associate-r_binary64`

Counts

1 → 34

Calls

1 calls:

7.0ms

(*.f64 (-.f64 (*.f64 x j) (*.f64 z k)) (-.f64 (*.f64 y0 b) (*.f64 y1 i)))

simplify104.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

938×	`fma-def_binary64`
740×	`distribute-rgt-in_binary64`
727×	`distribute-lft-in_binary64`
224×	`cancel-sign-sub-inv_binary64`
198×	`associate-l_binary64`

Counts

130 → 75

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	153	4662
1	421	4566
2	1657	4266
3	5639	4266

prune2.0s (3.1%)

Pruning

23 alts after pruning (23 fresh and 0 done)

	Pruned	Kept	Total
New	277	6	283
Fresh	1	17	18
Picked	1	0	1
Done	0	0	0
Total	279	23	302

Error

13.5b

Counts

302 → 23

Alt Table

Status	Error	Program
	32.1b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (neg.f64 (.f64 (-.f64 (.f64 a b) (.f64 c i)) (.f64 t z))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	31.7b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (neg.f64 (.f64 y (.f64 y3 (-.f64 (.f64 c y4) (.f64 a y5)))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	35.1b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (neg.f64 (.f64 y3 (.f64 z (-.f64 (.f64 c y0) (.f64 a y1)))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	30.7b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (-.f64 (+.f64 (.f64 a (.f64 y (.f64 y3 y5))) (.f64 c (.f64 y4 (.f64 t y2)))) (+.f64 (.f64 a (.f64 t (.f64 y5 y2))) (.f64 c (.f64 y4 (.f64 y y3)))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	30.2b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (+.f64 (.f64 (fma.f64 y0 c (neg.f64 (.f64 a y1))) (-.f64 (.f64 x y2) (.f64 z y3))) (.f64 (fma.f64 (neg.f64 a) y1 (.f64 a y1)) (-.f64 (.f64 x y2) (.f64 z y3))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	30.7b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (-.f64 (+.f64 (.f64 a (.f64 y1 (.f64 y3 z))) (.f64 c (.f64 y0 (.f64 x y2)))) (+.f64 (.f64 c (.f64 y0 (.f64 y3 z))) (.f64 y1 (.f64 a (.f64 x y2)))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 t (.f64 (-.f64 (.f64 c y4) (.f64 a y5)) y2))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	31.3b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 -1 (.f64 k (.f64 (-.f64 (.f64 y0 b) (.f64 y1 i)) z)))) (-.f64 (+.f64 (.f64 a (.f64 y1 (.f64 y3 z))) (.f64 c (.f64 y0 (.f64 x y2)))) (+.f64 (.f64 c (.f64 y0 (.f64 y3 z))) (.f64 y1 (.f64 a (.f64 x y2)))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	30.2b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (-.f64 (+.f64 (.f64 y4 (.f64 t (.f64 b j))) (.f64 k (.f64 i (.f64 y y5)))) (+.f64 (.f64 i (.f64 t (.f64 j y5))) (.f64 k (.f64 y4 (.f64 y b)))))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	29.1b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (-.f64 (+.f64 (.f64 c (.f64 y0 (.f64 x y2))) (.f64 y1 (.f64 a (.f64 y3 z)))) (+.f64 (.f64 c (.f64 y0 (.f64 y3 z))) (.f64 a (.f64 y1 (.f64 x y2)))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	30.7b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (-.f64 (+.f64 (.f64 y0 (.f64 j (.f64 b x))) (.f64 k (.f64 y1 (.f64 i z)))) (+.f64 (.f64 y1 (.f64 i (.f64 j x))) (.f64 k (.f64 y0 (.f64 b z)))))) (-.f64 (+.f64 (.f64 a (.f64 y1 (.f64 y3 z))) (.f64 c (.f64 y0 (.f64 x y2)))) (+.f64 (.f64 c (.f64 y0 (.f64 y3 z))) (.f64 y1 (.f64 a (.f64 x y2)))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	31.2b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (-.f64 (+.f64 (.f64 c (.f64 i (.f64 t z))) (.f64 a (.f64 y (.f64 b x)))) (+.f64 (.f64 a (.f64 t (.f64 b z))) (.f64 c (.f64 y (.f64 i x))))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	30.3b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (.f64 (cbrt.f64 (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (cbrt.f64 (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a))))) (cbrt.f64 (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	32.8b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 a b) (.f64 c i)) (.f64 y x)) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	53.3b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (.f64 (sqrt.f64 (-.f64 (.f64 t y2) (.f64 y y3))) (sqrt.f64 (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (sqrt.f64 (-.f64 (.f64 t y2) (.f64 y y3))) (sqrt.f64 (-.f64 (.f64 y4 c) (.f64 y5 a)))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	31.5b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 -1 (.f64 k (.f64 (-.f64 (.f64 y4 b) (.f64 i y5)) y)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	29.4b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (+.f64 (.f64 y4 (.f64 b (-.f64 (.f64 t j) (.f64 y k)))) (neg.f64 (.f64 i (.f64 y5 (-.f64 (.f64 t j) (.f64 y k))))))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	30.3b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (.f64 x y) (.f64 z t))) (cbrt.f64 (-.f64 (.f64 x y) (.f64 z t)))) (.f64 (cbrt.f64 (-.f64 (.f64 x y) (.f64 z t))) (-.f64 (.f64 a b) (.f64 c i)))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
▶	27.0b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (-.f64 (+.f64 (.f64 a (.f64 y1 (.f64 y3 z))) (.f64 c (.f64 y0 (.f64 x y2)))) (+.f64 (.f64 c (.f64 y0 (.f64 y3 z))) (.f64 y1 (.f64 a (.f64 x y2)))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (+.f64 (.f64 c (.f64 y4 (-.f64 (.f64 t y2) (.f64 y y3)))) (neg.f64 (.f64 a (.f64 y5 (-.f64 (.f64 t y2) (.f64 y y3))))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	30.2b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (.f64 (cbrt.f64 (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (cbrt.f64 (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i))))) (cbrt.f64 (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	32.3b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 y0 (.f64 b (-.f64 (.f64 j x) (.f64 k z))))) (-.f64 (+.f64 (.f64 a (.f64 y1 (.f64 y3 z))) (.f64 c (.f64 y0 (.f64 x y2)))) (+.f64 (.f64 c (.f64 y0 (.f64 y3 z))) (.f64 y1 (.f64 a (.f64 x y2)))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	32.7b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (neg.f64 (.f64 y1 (.f64 i (-.f64 (.f64 j x) (.f64 k z)))))) (-.f64 (+.f64 (.f64 a (.f64 y1 (.f64 y3 z))) (.f64 c (.f64 y0 (.f64 x y2)))) (+.f64 (.f64 c (.f64 y0 (.f64 y3 z))) (.f64 y1 (.f64 a (.f64 x y2)))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	48.3b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (sqrt.f64 (-.f64 (.f64 a b) (.f64 c i)))) (sqrt.f64 (-.f64 (.f64 a b) (.f64 c i)))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	42.6b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (sqrt.f64 (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (sqrt.f64 (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))

Compiler

Compiled 41182 to 5377 computations (86.9% saved)

localize81.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	7.7b	(.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))
	8.7b	(.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (*.f64 y1 i)))
	8.9b	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (*.f64 y5 i)))
	9.4b	(.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (*.f64 c i)))

series60.0ms (0.1%)

Counts

1 → 96

Calls

1 calls:

60.0ms

(*.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y4 y1) (*.f64 y5 y0)))

rewrite10.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`flip--_binary64`
6×	`flip3--_binary64`
5×	`add-sqr-sqrt_binary64`
4×	`frac-times_binary64`
3×	`associate-r_binary64`

Counts

1 → 34

Calls

1 calls:

7.0ms

(*.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y4 y1) (*.f64 y5 y0)))

simplify111.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

753×	`fma-def_binary64`
736×	`distribute-rgt-in_binary64`
727×	`distribute-lft-in_binary64`
196×	`cancel-sign-sub-inv_binary64`
187×	`associate-l_binary64`

Counts

130 → 68

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	128	4662
1	380	4566
2	1610	4266
3	5339	4266

prune2.1s (3.2%)

Pruning

26 alts after pruning (26 fresh and 0 done)

	Pruned	Kept	Total
New	278	5	283
Fresh	1	21	22
Picked	1	0	1
Done	0	0	0
Total	280	26	306

Error

10.5b

Counts

306 → 26

Alt Table

Status	Error	Program
	32.1b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (neg.f64 (.f64 (-.f64 (.f64 a b) (.f64 c i)) (.f64 t z))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	31.7b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (neg.f64 (.f64 y (.f64 y3 (-.f64 (.f64 c y4) (.f64 a y5)))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	28.9b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (-.f64 (+.f64 (.f64 a (.f64 y1 (.f64 y3 z))) (.f64 c (.f64 y0 (.f64 x y2)))) (+.f64 (.f64 c (.f64 y0 (.f64 y3 z))) (.f64 y1 (.f64 a (.f64 x y2)))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (+.f64 (.f64 c (.f64 y4 (-.f64 (.f64 t y2) (.f64 y y3)))) (neg.f64 (.f64 a (.f64 y5 (-.f64 (.f64 t y2) (.f64 y y3))))))) (.f64 (-.f64 (.f64 y4 y1) (.f64 y0 y5)) (*.f64 k y2)))
	35.1b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (neg.f64 (.f64 y3 (.f64 z (-.f64 (.f64 c y0) (.f64 a y1)))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	30.7b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (-.f64 (+.f64 (.f64 a (.f64 y (.f64 y3 y5))) (.f64 c (.f64 y4 (.f64 t y2)))) (+.f64 (.f64 a (.f64 t (.f64 y5 y2))) (.f64 c (.f64 y4 (.f64 y y3)))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	30.2b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (+.f64 (.f64 (fma.f64 y0 c (neg.f64 (.f64 a y1))) (-.f64 (.f64 x y2) (.f64 z y3))) (.f64 (fma.f64 (neg.f64 a) y1 (.f64 a y1)) (-.f64 (.f64 x y2) (.f64 z y3))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	27.2b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (-.f64 (+.f64 (.f64 c (.f64 i (.f64 t z))) (.f64 a (.f64 y (.f64 b x)))) (+.f64 (.f64 a (.f64 t (.f64 z b))) (.f64 c (.f64 y (.f64 i x))))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (-.f64 (+.f64 (.f64 a (.f64 y1 (.f64 y3 z))) (.f64 c (.f64 y0 (.f64 x y2)))) (+.f64 (.f64 c (.f64 y0 (.f64 y3 z))) (.f64 y1 (.f64 a (.f64 x y2)))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (+.f64 (.f64 c (.f64 y4 (-.f64 (.f64 t y2) (.f64 y y3)))) (neg.f64 (.f64 a (.f64 y5 (-.f64 (.f64 t y2) (.f64 y y3))))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	30.7b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (-.f64 (+.f64 (.f64 a (.f64 y1 (.f64 y3 z))) (.f64 c (.f64 y0 (.f64 x y2)))) (+.f64 (.f64 c (.f64 y0 (.f64 y3 z))) (.f64 y1 (.f64 a (.f64 x y2)))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 t (.f64 (-.f64 (.f64 c y4) (.f64 a y5)) y2))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	31.3b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 -1 (.f64 k (.f64 (-.f64 (.f64 y0 b) (.f64 y1 i)) z)))) (-.f64 (+.f64 (.f64 a (.f64 y1 (.f64 y3 z))) (.f64 c (.f64 y0 (.f64 x y2)))) (+.f64 (.f64 c (.f64 y0 (.f64 y3 z))) (.f64 y1 (.f64 a (.f64 x y2)))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	30.2b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (-.f64 (+.f64 (.f64 y4 (.f64 t (.f64 b j))) (.f64 k (.f64 i (.f64 y y5)))) (+.f64 (.f64 i (.f64 t (.f64 j y5))) (.f64 k (.f64 y4 (.f64 y b)))))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	29.1b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (-.f64 (+.f64 (.f64 c (.f64 y0 (.f64 x y2))) (.f64 y1 (.f64 a (.f64 y3 z)))) (+.f64 (.f64 c (.f64 y0 (.f64 y3 z))) (.f64 a (.f64 y1 (.f64 x y2)))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	30.7b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (-.f64 (+.f64 (.f64 y0 (.f64 j (.f64 b x))) (.f64 k (.f64 y1 (.f64 i z)))) (+.f64 (.f64 y1 (.f64 i (.f64 j x))) (.f64 k (.f64 y0 (.f64 b z)))))) (-.f64 (+.f64 (.f64 a (.f64 y1 (.f64 y3 z))) (.f64 c (.f64 y0 (.f64 x y2)))) (+.f64 (.f64 c (.f64 y0 (.f64 y3 z))) (.f64 y1 (.f64 a (.f64 x y2)))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	31.2b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (-.f64 (+.f64 (.f64 c (.f64 i (.f64 t z))) (.f64 a (.f64 y (.f64 b x)))) (+.f64 (.f64 a (.f64 t (.f64 b z))) (.f64 c (.f64 y (.f64 i x))))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	26.5b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (-.f64 (+.f64 (.f64 a (.f64 y1 (.f64 y3 z))) (.f64 c (.f64 y0 (.f64 x y2)))) (+.f64 (.f64 c (.f64 y0 (.f64 y3 z))) (.f64 y1 (.f64 a (.f64 x y2)))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (+.f64 (.f64 c (.f64 y4 (-.f64 (.f64 t y2) (.f64 y y3)))) (neg.f64 (.f64 a (.f64 y5 (-.f64 (.f64 t y2) (.f64 y y3))))))) (+.f64 (.f64 y4 (.f64 y1 (-.f64 (.f64 k y2) (.f64 y3 j)))) (neg.f64 (.f64 y0 (.f64 y5 (-.f64 (.f64 k y2) (*.f64 y3 j)))))))
	30.3b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (.f64 (cbrt.f64 (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (cbrt.f64 (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a))))) (cbrt.f64 (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	32.8b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 a b) (.f64 c i)) (.f64 y x)) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	53.3b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (.f64 (sqrt.f64 (-.f64 (.f64 t y2) (.f64 y y3))) (sqrt.f64 (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (sqrt.f64 (-.f64 (.f64 t y2) (.f64 y y3))) (sqrt.f64 (-.f64 (.f64 y4 c) (.f64 y5 a)))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	31.5b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 -1 (.f64 k (.f64 (-.f64 (.f64 y4 b) (.f64 i y5)) y)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	30.2b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (.f64 (cbrt.f64 (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (cbrt.f64 (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i))))) (cbrt.f64 (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	28.0b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (-.f64 (+.f64 (.f64 a (.f64 y1 (.f64 y3 z))) (.f64 c (.f64 y0 (.f64 x y2)))) (+.f64 (.f64 c (.f64 y0 (.f64 y3 z))) (.f64 y1 (.f64 a (.f64 x y2)))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (+.f64 (.f64 c (.f64 y4 (-.f64 (.f64 t y2) (.f64 y y3)))) (neg.f64 (.f64 a (.f64 y5 (-.f64 (.f64 t y2) (.f64 y y3))))))) (-.f64 (+.f64 (.f64 y0 (.f64 y3 (.f64 j y5))) (.f64 k (.f64 y4 (.f64 y1 y2)))) (+.f64 (.f64 k (.f64 y0 (.f64 y5 y2))) (.f64 y4 (.f64 y1 (*.f64 y3 j))))))
▶	26.0b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (-.f64 (+.f64 (.f64 a (.f64 y1 (.f64 y3 z))) (.f64 c (.f64 y0 (.f64 x y2)))) (+.f64 (.f64 c (.f64 y0 (.f64 y3 z))) (.f64 y1 (.f64 a (.f64 x y2)))))) (+.f64 (.f64 y4 (.f64 b (-.f64 (.f64 t j) (.f64 y k)))) (neg.f64 (.f64 i (.f64 y5 (-.f64 (.f64 t j) (.f64 y k))))))) (+.f64 (.f64 c (.f64 y4 (-.f64 (.f64 t y2) (.f64 y y3)))) (neg.f64 (.f64 a (.f64 y5 (-.f64 (.f64 t y2) (.f64 y y3))))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	32.3b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 y0 (.f64 b (-.f64 (.f64 j x) (.f64 k z))))) (-.f64 (+.f64 (.f64 a (.f64 y1 (.f64 y3 z))) (.f64 c (.f64 y0 (.f64 x y2)))) (+.f64 (.f64 c (.f64 y0 (.f64 y3 z))) (.f64 y1 (.f64 a (.f64 x y2)))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	32.7b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (neg.f64 (.f64 y1 (.f64 i (-.f64 (.f64 j x) (.f64 k z)))))) (-.f64 (+.f64 (.f64 a (.f64 y1 (.f64 y3 z))) (.f64 c (.f64 y0 (.f64 x y2)))) (+.f64 (.f64 c (.f64 y0 (.f64 y3 z))) (.f64 y1 (.f64 a (.f64 x y2)))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	48.3b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (sqrt.f64 (-.f64 (.f64 a b) (.f64 c i)))) (sqrt.f64 (-.f64 (.f64 a b) (.f64 c i)))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	42.6b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (sqrt.f64 (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (sqrt.f64 (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	30.3b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (.f64 x y) (.f64 z t))) (cbrt.f64 (-.f64 (.f64 x y) (.f64 z t)))) (.f64 (cbrt.f64 (-.f64 (.f64 x y) (.f64 z t))) (-.f64 (.f64 a b) (.f64 c i)))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))

Compiler

Compiled 44653 to 5780 computations (87.1% saved)

localize81.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	4.7b	(.f64 y5 (-.f64 (.f64 t y2) (*.f64 y y3)))
	7.7b	(.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))
	8.7b	(.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (*.f64 y1 i)))
	9.4b	(.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (*.f64 c i)))

series21.0ms (0%)

Counts

1 → 60

Calls

1 calls:

20.0ms

(*.f64 y5 (-.f64 (*.f64 t y2) (*.f64 y y3)))

rewrite14.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

5×	`add-sqr-sqrt_binary64`
3×	`associate-r_binary64`
3×	`associate-l_binary64`
3×	`distribute-lft-in_binary64`
3×	`distribute-rgt-in_binary64`

Counts

1 → 28

Calls

1 calls:

12.0ms

(*.f64 y5 (-.f64 (*.f64 t y2) (*.f64 y y3)))

simplify92.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

831×	`fma-def_binary64`
455×	`unsub-neg_binary64`
418×	`associate-l_binary64`
332×	`associate-r_binary64`
298×	`neg-sub0_binary64`

Counts

88 → 46

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	74	1253
1	169	1191
2	568	1179
3	1795	1173
4	3566	1173
5	4724	1173
6	5115	1173

prune1.8s (2.9%)

Pruning

27 alts after pruning (27 fresh and 0 done)

	Pruned	Kept	Total
New	252	9	261
Fresh	7	18	25
Picked	1	0	1
Done	0	0	0
Total	260	27	287

Error

9.5b

Counts

287 → 27

Alt Table

Status	Error	Program
	28.0b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (-.f64 (+.f64 (.f64 a (.f64 y1 (.f64 y3 z))) (.f64 c (.f64 y0 (.f64 x y2)))) (+.f64 (.f64 c (.f64 y0 (.f64 y3 z))) (.f64 y1 (.f64 a (.f64 x y2)))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (+.f64 (.f64 c (.f64 y4 (-.f64 (.f64 t y2) (.f64 y y3)))) (neg.f64 (.f64 a (.f64 y5 (-.f64 (.f64 t y2) (.f64 y y3))))))) (-.f64 (+.f64 (.f64 y0 (.f64 y3 (.f64 j y5))) (.f64 k (.f64 y4 (.f64 y1 y2)))) (+.f64 (.f64 k (.f64 y0 (.f64 y5 y2))) (.f64 y4 (.f64 y1 (*.f64 y3 j))))))
	29.7b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 -1 (.f64 i (.f64 y1 (-.f64 (.f64 j x) (.f64 k z)))))) (-.f64 (+.f64 (.f64 a (.f64 y1 (.f64 y3 z))) (.f64 c (.f64 y0 (.f64 x y2)))) (+.f64 (.f64 c (.f64 y0 (.f64 y3 z))) (.f64 y1 (.f64 a (.f64 x y2)))))) (+.f64 (.f64 y4 (.f64 b (-.f64 (.f64 t j) (.f64 y k)))) (neg.f64 (.f64 i (.f64 y5 (-.f64 (.f64 t j) (.f64 y k))))))) (+.f64 (.f64 c (.f64 y4 (-.f64 (.f64 t y2) (.f64 y y3)))) (neg.f64 (.f64 a (.f64 y5 (-.f64 (.f64 t y2) (.f64 y y3))))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	35.1b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (neg.f64 (.f64 y3 (.f64 z (-.f64 (.f64 c y0) (.f64 a y1)))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	26.0b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (-.f64 (+.f64 (.f64 a (.f64 y1 (.f64 y3 z))) (.f64 c (.f64 y0 (.f64 x y2)))) (+.f64 (.f64 c (.f64 y0 (.f64 y3 z))) (.f64 y1 (.f64 a (.f64 x y2)))))) (+.f64 (.f64 y4 (.f64 b (-.f64 (.f64 t j) (.f64 y k)))) (neg.f64 (.f64 i (.f64 y5 (-.f64 (.f64 t j) (.f64 y k))))))) (+.f64 (.f64 c (.f64 y4 (-.f64 (.f64 t y2) (.f64 y y3)))) (neg.f64 (.f64 a (.f64 (.f64 y5 (.f64 (cbrt.f64 (-.f64 (.f64 t y2) (.f64 y y3))) (cbrt.f64 (-.f64 (.f64 t y2) (.f64 y y3))))) (cbrt.f64 (-.f64 (.f64 t y2) (.f64 y y3)))))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	28.1b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (-.f64 (+.f64 (.f64 a (.f64 y1 (.f64 y3 z))) (.f64 c (.f64 y0 (.f64 x y2)))) (+.f64 (.f64 c (.f64 y0 (.f64 y3 z))) (.f64 y1 (.f64 a (.f64 x y2)))))) (+.f64 (.f64 y4 (.f64 b (-.f64 (.f64 t j) (.f64 y k)))) (neg.f64 (.f64 i (.f64 y5 (-.f64 (.f64 t j) (.f64 y k))))))) (+.f64 (.f64 c (.f64 y4 (-.f64 (.f64 t y2) (.f64 y y3)))) (neg.f64 (.f64 a (.f64 y5 (-.f64 (.f64 t y2) (.f64 y y3))))))) (.f64 k (.f64 (-.f64 (.f64 y4 y1) (.f64 y0 y5)) y2)))
	27.2b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (-.f64 (+.f64 (.f64 a (.f64 y1 (.f64 y3 z))) (.f64 c (.f64 y0 (.f64 x y2)))) (+.f64 (.f64 c (.f64 y0 (.f64 y3 z))) (.f64 y1 (.f64 a (.f64 x y2)))))) (+.f64 (.f64 y4 (.f64 b (-.f64 (.f64 t j) (.f64 y k)))) (neg.f64 (.f64 i (.f64 y5 (-.f64 (.f64 t j) (.f64 y k))))))) (+.f64 (.f64 c (.f64 y4 (-.f64 (.f64 t y2) (.f64 y y3)))) (neg.f64 (.f64 a (+.f64 (.f64 t (.f64 y2 y5)) (neg.f64 (.f64 y (.f64 y3 y5)))))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	30.2b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (+.f64 (.f64 (fma.f64 y0 c (neg.f64 (.f64 a y1))) (-.f64 (.f64 x y2) (.f64 z y3))) (.f64 (fma.f64 (neg.f64 a) y1 (.f64 a y1)) (-.f64 (.f64 x y2) (.f64 z y3))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	27.2b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (-.f64 (+.f64 (.f64 c (.f64 i (.f64 t z))) (.f64 a (.f64 y (.f64 b x)))) (+.f64 (.f64 a (.f64 t (.f64 z b))) (.f64 c (.f64 y (.f64 i x))))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (-.f64 (+.f64 (.f64 a (.f64 y1 (.f64 y3 z))) (.f64 c (.f64 y0 (.f64 x y2)))) (+.f64 (.f64 c (.f64 y0 (.f64 y3 z))) (.f64 y1 (.f64 a (.f64 x y2)))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (+.f64 (.f64 c (.f64 y4 (-.f64 (.f64 t y2) (.f64 y y3)))) (neg.f64 (.f64 a (.f64 y5 (-.f64 (.f64 t y2) (.f64 y y3))))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	30.7b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (-.f64 (+.f64 (.f64 a (.f64 y1 (.f64 y3 z))) (.f64 c (.f64 y0 (.f64 x y2)))) (+.f64 (.f64 c (.f64 y0 (.f64 y3 z))) (.f64 y1 (.f64 a (.f64 x y2)))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 t (.f64 (-.f64 (.f64 c y4) (.f64 a y5)) y2))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	31.3b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 -1 (.f64 k (.f64 (-.f64 (.f64 y0 b) (.f64 y1 i)) z)))) (-.f64 (+.f64 (.f64 a (.f64 y1 (.f64 y3 z))) (.f64 c (.f64 y0 (.f64 x y2)))) (+.f64 (.f64 c (.f64 y0 (.f64 y3 z))) (.f64 y1 (.f64 a (.f64 x y2)))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	30.2b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (-.f64 (+.f64 (.f64 y4 (.f64 t (.f64 b j))) (.f64 k (.f64 i (.f64 y y5)))) (+.f64 (.f64 i (.f64 t (.f64 j y5))) (.f64 k (.f64 y4 (.f64 y b)))))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	29.1b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (-.f64 (+.f64 (.f64 c (.f64 y0 (.f64 x y2))) (.f64 y1 (.f64 a (.f64 y3 z)))) (+.f64 (.f64 c (.f64 y0 (.f64 y3 z))) (.f64 a (.f64 y1 (.f64 x y2)))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	30.7b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (-.f64 (+.f64 (.f64 y0 (.f64 j (.f64 b x))) (.f64 k (.f64 y1 (.f64 i z)))) (+.f64 (.f64 y1 (.f64 i (.f64 j x))) (.f64 k (.f64 y0 (.f64 b z)))))) (-.f64 (+.f64 (.f64 a (.f64 y1 (.f64 y3 z))) (.f64 c (.f64 y0 (.f64 x y2)))) (+.f64 (.f64 c (.f64 y0 (.f64 y3 z))) (.f64 y1 (.f64 a (.f64 x y2)))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	31.2b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (-.f64 (+.f64 (.f64 c (.f64 i (.f64 t z))) (.f64 a (.f64 y (.f64 b x)))) (+.f64 (.f64 a (.f64 t (.f64 b z))) (.f64 c (.f64 y (.f64 i x))))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	30.3b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (.f64 (cbrt.f64 (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (cbrt.f64 (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a))))) (cbrt.f64 (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	32.8b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 a b) (.f64 c i)) (.f64 y x)) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	53.3b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (.f64 (sqrt.f64 (-.f64 (.f64 t y2) (.f64 y y3))) (sqrt.f64 (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (sqrt.f64 (-.f64 (.f64 t y2) (.f64 y y3))) (sqrt.f64 (-.f64 (.f64 y4 c) (.f64 y5 a)))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	31.5b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 -1 (.f64 k (.f64 (-.f64 (.f64 y4 b) (.f64 i y5)) y)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	25.3b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (-.f64 (+.f64 (.f64 a (.f64 y1 (.f64 y3 z))) (.f64 c (.f64 y0 (.f64 x y2)))) (+.f64 (.f64 c (.f64 y0 (.f64 y3 z))) (.f64 y1 (.f64 a (.f64 x y2)))))) (+.f64 (.f64 y4 (.f64 b (-.f64 (.f64 t j) (.f64 y k)))) (neg.f64 (.f64 i (.f64 y5 (-.f64 (.f64 t j) (.f64 y k))))))) (+.f64 (.f64 c (.f64 y4 (-.f64 (.f64 t y2) (.f64 y y3)))) (neg.f64 (.f64 a (.f64 y5 (-.f64 (.f64 t y2) (.f64 y y3))))))) (+.f64 (.f64 y4 (.f64 y1 (-.f64 (.f64 k y2) (.f64 y3 j)))) (neg.f64 (.f64 y0 (.f64 y5 (-.f64 (.f64 k y2) (.f64 y3 j)))))))
	28.0b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (neg.f64 (.f64 (-.f64 (.f64 a b) (.f64 c i)) (.f64 t z))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (-.f64 (+.f64 (.f64 a (.f64 y1 (.f64 y3 z))) (.f64 c (.f64 y0 (.f64 x y2)))) (+.f64 (.f64 c (.f64 y0 (.f64 y3 z))) (.f64 y1 (.f64 a (.f64 x y2)))))) (+.f64 (.f64 y4 (.f64 b (-.f64 (.f64 t j) (.f64 y k)))) (neg.f64 (.f64 i (.f64 y5 (-.f64 (.f64 t j) (.f64 y k))))))) (+.f64 (.f64 c (.f64 y4 (-.f64 (.f64 t y2) (.f64 y y3)))) (neg.f64 (.f64 a (.f64 y5 (-.f64 (.f64 t y2) (.f64 y y3))))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	42.6b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (sqrt.f64 (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (sqrt.f64 (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	25.5b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (+.f64 (.f64 a (.f64 b (-.f64 (.f64 y x) (.f64 t z)))) (neg.f64 (.f64 c (.f64 i (-.f64 (.f64 y x) (.f64 t z)))))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (-.f64 (+.f64 (.f64 a (.f64 y1 (.f64 y3 z))) (.f64 c (.f64 y0 (.f64 x y2)))) (+.f64 (.f64 c (.f64 y0 (.f64 y3 z))) (.f64 y1 (.f64 a (.f64 x y2)))))) (+.f64 (.f64 y4 (.f64 b (-.f64 (.f64 t j) (.f64 y k)))) (neg.f64 (.f64 i (.f64 y5 (-.f64 (.f64 t j) (.f64 y k))))))) (+.f64 (.f64 c (.f64 y4 (-.f64 (.f64 t y2) (.f64 y y3)))) (neg.f64 (.f64 a (.f64 y5 (-.f64 (.f64 t y2) (.f64 y y3))))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	31.7b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (neg.f64 (.f64 y (.f64 y3 (-.f64 (.f64 c y4) (.f64 a y5)))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	30.2b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (.f64 (cbrt.f64 (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (cbrt.f64 (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i))))) (cbrt.f64 (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	27.9b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (+.f64 (.f64 y0 (.f64 b (-.f64 (.f64 j x) (.f64 k z)))) (neg.f64 (.f64 y1 (.f64 i (-.f64 (.f64 j x) (.f64 k z))))))) (-.f64 (+.f64 (.f64 a (.f64 y1 (.f64 y3 z))) (.f64 c (.f64 y0 (.f64 x y2)))) (+.f64 (.f64 c (.f64 y0 (.f64 y3 z))) (.f64 y1 (.f64 a (.f64 x y2)))))) (+.f64 (.f64 y4 (.f64 b (-.f64 (.f64 t j) (.f64 y k)))) (neg.f64 (.f64 i (.f64 y5 (-.f64 (.f64 t j) (.f64 y k))))))) (+.f64 (.f64 c (.f64 y4 (-.f64 (.f64 t y2) (.f64 y y3)))) (neg.f64 (.f64 a (.f64 y5 (-.f64 (.f64 t y2) (.f64 y y3))))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	48.3b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (sqrt.f64 (-.f64 (.f64 a b) (.f64 c i)))) (sqrt.f64 (-.f64 (.f64 a b) (.f64 c i)))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (.f64 y1 a)))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	26.0b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (.f64 x y) (.f64 z t))) (cbrt.f64 (-.f64 (.f64 x y) (.f64 z t)))) (.f64 (-.f64 (.f64 a b) (.f64 c i)) (cbrt.f64 (-.f64 (.f64 y x) (.f64 t z))))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (-.f64 (+.f64 (.f64 a (.f64 y1 (.f64 y3 z))) (.f64 c (.f64 y0 (.f64 x y2)))) (+.f64 (.f64 c (.f64 y0 (.f64 y3 z))) (.f64 y1 (.f64 a (.f64 x y2)))))) (+.f64 (.f64 y4 (.f64 b (-.f64 (.f64 t j) (.f64 y k)))) (neg.f64 (.f64 i (.f64 y5 (-.f64 (.f64 t j) (.f64 y k))))))) (+.f64 (.f64 c (.f64 y4 (-.f64 (.f64 t y2) (.f64 y y3)))) (neg.f64 (.f64 a (.f64 y5 (-.f64 (.f64 t y2) (.f64 y y3))))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))

Compiler

Compiled 40721 to 4004 computations (90.2% saved)

regimes11.4s (18%)

Accuracy

Total 17.4b remaining (64.3%)

Threshold costs 0b (0%)

Counts

176 → 7

Compiler

Compiled 392650 to 208497 computations (46.9% saved)

bsearch2.4s (3.8%)

Steps

Iters	Range		Point
8	0.48232194563062286	599.574160872262	0.7947004650056086
9	1.3547651129644032e-10	1.394878524791024e-5	6.503281304510843e-9
8	3.410633937327456e-217	1.1755321802592565e-213	3.904953834996993e-214
4	4.464908123326091e-235	7.780467387273127e-235	6.151744767147083e-235
8	-6.952339784524312e-307	6.138404724406482e-307	4.7580947082678275e-307
8	-2.1787564857696e-151	-8.532222114951977e-156	-1.7868532318154938e-151

Compiler

Compiled 17 to 16 computations (5.9% saved)

simplify166.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

437×	`distribute-rgt-neg-in_binary64`
413×	`neg-sub0_binary64`
412×	`neg-mul-1_binary64`
359×	`cancel-sign-sub-inv_binary64`
309×	`unsub-neg_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	167	1274
1	375	1270
2	574	1270
3	800	1270
4	1060	1270
5	1266	1270
6	1503	1270
7	1758	1270
8	1977	1270
9	2201	1270
10	2235	1270
11	2321	1270
12	2399	1270
13	2662	1270
14	2742	1270
15	2805	1270
16	2835	1270
17	2843	1270
18	2843	1270
19	2839	1270

end1.0s (1.6%)

Compiler: Compiled 5402 to 2180 computations (59.6% saved)

Details

analyze6.7s (10.5%)

sample32.9s (51.9%)

simplify47.0ms (0.1%)

prune7.0ms (0%)

localize77.0ms (0.1%)

series241.0ms (0.4%)

rewrite39.0ms (0.1%)

simplify377.0ms (0.6%)

prune1.5s (2.3%)

localize74.0ms (0.1%)

series70.0ms (0.1%)

rewrite10.0ms (0%)

simplify104.0ms (0.2%)

prune2.0s (3.1%)

localize81.0ms (0.1%)

series60.0ms (0.1%)

rewrite10.0ms (0%)

simplify111.0ms (0.2%)

prune2.1s (3.2%)

localize81.0ms (0.1%)

series21.0ms (0%)

rewrite14.0ms (0%)

simplify92.0ms (0.1%)

prune1.8s (2.9%)

regimes11.4s (18%)

bsearch2.4s (3.8%)

simplify166.0ms (0.3%)

end1.0s (1.6%)

Profiling