Details

analyze7.5s (9.4%)

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)

sample1.2s (1.5%)

Algorithm

1×

intervals

Results

780.0ms	2456×	body	128	invalid
76.0ms	256×	body	128	valid

Compiler

Compiled 239 to 143 computations (40.2% saved)

simplify47.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

565×	`distribute-rgt-in_binary64`
529×	`distribute-lft-in_binary64`
513×	`cancel-sign-sub-inv_binary64`
453×	`neg-sub0_binary64`
437×	`neg-mul-1_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	64	142
1	169	142
2	425	142
3	1945	142
4	4605	142
5	5169	142

prune5.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

26.1b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	26.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 (-.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

▶

26.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 (-.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 333 to 189 computations (43.2% saved)

localize67.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite393.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

26.0b

Rules

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

Counts

4 → 120

Calls

4 calls:

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

Compiler

Compiled 12696 to 916 computations (92.8% saved)

series904.0ms (1.1%)

Error

12.7b

Counts

4 → 192

Calls

4 calls:

201.0ms	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (*.f64 y5 i)))
188.0ms	(.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))
179.0ms	(.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (*.f64 y1 a)))
174.0ms	(.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (*.f64 y1 i)))

Compiler

Compiled 39642 to 19910 computations (49.8% saved)

simplify172.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

756×	`associate-l_binary64`
729×	`associate-r_binary64`
358×	`distribute-rgt-in_binary64`
351×	`distribute-lft-in_binary64`
248×	`*-commutative_binary64`

Counts

312 → 283

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	499	10568
1	1403	10208
2	5678	10208

prune445.0ms (0.6%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	267	16	283
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	268	16	284

Error

13.7b

Counts

284 → 16

Alt Table

Status	Error	Program
	26.2b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (.f64 (cbrt.f64 (-.f64 (.f64 x j) (.f64 z k))) (cbrt.f64 (-.f64 (.f64 x j) (.f64 z k)))) (.f64 (-.f64 (.f64 y0 b) (.f64 y1 i)) (cbrt.f64 (-.f64 (.f64 j x) (.f64 k z)))))) (.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))))
	29.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)))) (neg.f64 (.f64 y3 (.f64 z (-.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.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 (sqrt.f64 (-.f64 (.f64 t j) (.f64 y k))) (.f64 (-.f64 (.f64 b y4) (.f64 i y5)) (sqrt.f64 (-.f64 (.f64 j t) (.f64 k 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))))
	28.2b	(+.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 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.8b	(+.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 y4 (.f64 y1 (-.f64 (.f64 k y2) (.f64 j y3)))) (neg.f64 (.f64 y0 (.f64 y5 (-.f64 (.f64 k y2) (*.f64 j y3)))))))
	26.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 (cbrt.f64 (.f64 (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (-.f64 (.f64 k y2) (.f64 j y3)))) (cbrt.f64 (.f64 (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (-.f64 (.f64 k y2) (.f64 j y3))))) (cbrt.f64 (.f64 (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (-.f64 (.f64 k y2) (.f64 j y3))))))
	25.3b	(+.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 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.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 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 y0 (.f64 y5 (.f64 j y3))) (.f64 k (.f64 y4 (.f64 y1 y2)))) (+.f64 (.f64 k (.f64 y0 (.f64 y5 y2))) (.f64 y4 (.f64 y1 (*.f64 j y3))))))
	26.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 (.f64 k y2) (.f64 j y3)) (.f64 (cbrt.f64 (-.f64 (.f64 y1 y4) (.f64 y0 y5))) (cbrt.f64 (-.f64 (.f64 y1 y4) (.f64 y0 y5))))) (cbrt.f64 (-.f64 (.f64 y4 y1) (.f64 y5 y0)))))
	34.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 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (/.f64 (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 (.f64 y1 y4) (.f64 y1 y4)) (.f64 (.f64 y0 y5) (.f64 y0 y5)))) (+.f64 (.f64 y4 y1) (.f64 y5 y0))))
▶	23.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 c (.f64 y0 (-.f64 (.f64 x y2) (.f64 z y3)))) (neg.f64 (.f64 y1 (.f64 a (-.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))))
	26.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 t j) (.f64 y k))) (cbrt.f64 (-.f64 (.f64 t j) (.f64 y k)))) (.f64 (-.f64 (.f64 b y4) (.f64 i y5)) (cbrt.f64 (-.f64 (.f64 j t) (.f64 k 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.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)))) (neg.f64 (.f64 i (.f64 y5 (-.f64 (.f64 j t) (.f64 k 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.8b	(+.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 y5 y)))) (+.f64 (.f64 i (.f64 t (.f64 j y5))) (.f64 k (.f64 y4 (.f64 b 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))))
	28.9b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (neg.f64 (.f64 (-.f64 (.f64 y0 b) (.f64 y1 i)) (.f64 k z)))) (.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))))
	43.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 (sqrt.f64 (-.f64 (.f64 x y2) (.f64 z y3))) (.f64 (-.f64 (.f64 y0 c) (.f64 y1 a)) (sqrt.f64 (-.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))))

Compiler

Compiled 14937 to 3015 computations (79.8% saved)

localize70.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite882.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

13.7b

Rules

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

Counts

4 → 120

Calls

4 calls:

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

Compiler

Compiled 13704 to 862 computations (93.7% saved)

series1.0s (1.3%)

Error

8.4b

Counts

4 → 192

Calls

4 calls:

261.0ms	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (*.f64 y5 i)))
210.0ms	(.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (*.f64 y5 a)))
179.0ms	(.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))
178.0ms	(.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (*.f64 y1 i)))

Compiler

Compiled 41522 to 20490 computations (50.7% saved)

simplify175.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

750×	`associate-l_binary64`
719×	`associate-r_binary64`
358×	`distribute-rgt-in_binary64`
351×	`distribute-lft-in_binary64`
236×	`*-commutative_binary64`

Counts

312 → 277

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	471	10568
1	1398	10208
2	5657	10208

prune690.0ms (0.9%)

Pruning

20 alts after pruning (20 fresh and 0 done)

	Pruned	Kept	Total
New	267	10	277
Fresh	5	10	15
Picked	1	0	1
Done	0	0	0
Total	273	20	293

Error

9.2b

Counts

293 → 20

Alt Table

Status	Error	Program
	26.2b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (.f64 (cbrt.f64 (-.f64 (.f64 x j) (.f64 z k))) (cbrt.f64 (-.f64 (.f64 x j) (.f64 z k)))) (.f64 (-.f64 (.f64 y0 b) (.f64 y1 i)) (cbrt.f64 (-.f64 (.f64 j x) (.f64 k z)))))) (.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))))
	29.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)))) (neg.f64 (.f64 y3 (.f64 z (-.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))))
▶	24.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 c (.f64 y0 (-.f64 (.f64 x y2) (.f64 z y3)))) (neg.f64 (.f64 y1 (.f64 a (-.f64 (.f64 x y2) (.f64 z y3))))))) (+.f64 (.f64 y4 (.f64 b (-.f64 (.f64 j t) (.f64 k y)))) (neg.f64 (.f64 i (.f64 y5 (-.f64 (.f64 j t) (.f64 k 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))))
	28.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 c (.f64 y0 (-.f64 (.f64 x y2) (.f64 z y3)))) (neg.f64 (.f64 y1 (.f64 a (-.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 y4 (.f64 y1 (-.f64 (.f64 k y2) (.f64 j y3)))))
	42.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 (sqrt.f64 (-.f64 (.f64 t j) (.f64 y k))) (.f64 (-.f64 (.f64 b y4) (.f64 i y5)) (sqrt.f64 (-.f64 (.f64 j t) (.f64 k 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))))
	42.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 c (.f64 y0 (-.f64 (.f64 x y2) (.f64 z y3)))) (neg.f64 (.f64 y1 (.f64 a (-.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 (.f64 (.f64 y4 c) (.f64 y4 c)) (.f64 (.f64 y5 a) (.f64 y5 a))) (-.f64 (.f64 (.f64 t y2) (.f64 t y2)) (.f64 (.f64 y y3) (.f64 y y3)))) (.f64 (+.f64 (.f64 y4 c) (.f64 y5 a)) (+.f64 (.f64 t y2) (.f64 y y3))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	26.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 c (.f64 y0 (-.f64 (.f64 x y2) (.f64 z y3)))) (neg.f64 (.f64 y1 (.f64 a (-.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)))) (neg.f64 (.f64 y0 (.f64 y5 (-.f64 (.f64 k y2) (.f64 j y3))))))
	25.3b	(+.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 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.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 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 y0 (.f64 y5 (.f64 j y3))) (.f64 k (.f64 y4 (.f64 y1 y2)))) (+.f64 (.f64 k (.f64 y0 (.f64 y5 y2))) (.f64 y4 (.f64 y1 (*.f64 j y3))))))
	26.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 (.f64 k y2) (.f64 j y3)) (.f64 (cbrt.f64 (-.f64 (.f64 y1 y4) (.f64 y0 y5))) (cbrt.f64 (-.f64 (.f64 y1 y4) (.f64 y0 y5))))) (cbrt.f64 (-.f64 (.f64 y4 y1) (.f64 y5 y0)))))
	25.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 c (.f64 y0 (-.f64 (.f64 x y2) (.f64 z y3)))) (neg.f64 (.f64 y1 (.f64 a (-.f64 (.f64 x y2) (.f64 z y3))))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (neg.f64 (.f64 y (.f64 y3 (-.f64 (.f64 y4 c) (.f64 y5 a)))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	43.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 (sqrt.f64 (-.f64 (.f64 x y2) (.f64 z y3))) (.f64 (-.f64 (.f64 y0 c) (.f64 y1 a)) (sqrt.f64 (-.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))))
	34.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 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (/.f64 (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 (.f64 y1 y4) (.f64 y1 y4)) (.f64 (.f64 y0 y5) (.f64 y0 y5)))) (+.f64 (.f64 y4 y1) (.f64 y5 y0))))
	26.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 c (.f64 y0 (-.f64 (.f64 x y2) (.f64 z y3)))) (neg.f64 (.f64 y1 (.f64 a (-.f64 (.f64 x y2) (.f64 z y3))))))) (-.f64 (+.f64 (.f64 y4 (.f64 t (.f64 b j))) (.f64 k (.f64 i (.f64 y5 y)))) (+.f64 (.f64 i (.f64 t (.f64 j y5))) (.f64 k (.f64 y4 (.f64 b 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))))
	26.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 t j) (.f64 y k))) (cbrt.f64 (-.f64 (.f64 t j) (.f64 y k)))) (.f64 (-.f64 (.f64 b y4) (.f64 i y5)) (cbrt.f64 (-.f64 (.f64 j t) (.f64 k 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))))
	24.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 c (.f64 y0 (-.f64 (.f64 x y2) (.f64 z y3)))) (neg.f64 (.f64 y1 (.f64 a (-.f64 (.f64 x y2) (.f64 z y3))))))) (.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))))
	26.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 (cbrt.f64 (.f64 (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (-.f64 (.f64 k y2) (.f64 j y3)))) (cbrt.f64 (.f64 (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (-.f64 (.f64 k y2) (.f64 j y3))))) (cbrt.f64 (.f64 (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (-.f64 (.f64 k y2) (.f64 j y3))))))
	24.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 c (.f64 y0 (-.f64 (.f64 x y2) (.f64 z y3)))) (neg.f64 (.f64 y1 (.f64 a (-.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))))
	26.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 c (.f64 y0 (-.f64 (.f64 x y2) (.f64 z y3)))) (neg.f64 (.f64 y1 (.f64 a (-.f64 (.f64 x y2) (.f64 z y3))))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 t (.f64 y2 (-.f64 (.f64 y4 c) (.f64 y5 a))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	26.1b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (neg.f64 (.f64 (-.f64 (.f64 y0 b) (.f64 y1 i)) (.f64 k z)))) (+.f64 (.f64 c (.f64 y0 (-.f64 (.f64 x y2) (.f64 z y3)))) (neg.f64 (.f64 y1 (.f64 a (-.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))))

Compiler

Compiled 16847 to 3524 computations (79.1% saved)

localize74.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite645.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

9.1b

Rules

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

Counts

4 → 120

Calls

4 calls:

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

Compiler

Compiled 14712 to 921 computations (93.7% saved)

series1.2s (1.6%)

Error

5.4b

Counts

4 → 192

Calls

4 calls:

438.0ms	(.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (*.f64 y5 a)))
211.0ms	(.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (*.f64 c i)))
193.0ms	(.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (*.f64 y1 i)))
186.0ms	(.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))

Compiler

Compiled 44603 to 21088 computations (52.7% saved)

simplify185.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

753×	`associate-l_binary64`
719×	`associate-r_binary64`
355×	`distribute-rgt-in_binary64`
348×	`distribute-lft-in_binary64`
233×	`*-commutative_binary64`

Counts

312 → 288

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	470	10568
1	1411	10208
2	5654	10208

prune672.0ms (0.8%)

Pruning

26 alts after pruning (26 fresh and 0 done)

	Pruned	Kept	Total
New	277	11	288
Fresh	4	15	19
Picked	1	0	1
Done	0	0	0
Total	282	26	308

Error

6.6b

Counts

308 → 26

Alt Table

Status	Error	Program
	26.2b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (.f64 (cbrt.f64 (-.f64 (.f64 x j) (.f64 z k))) (cbrt.f64 (-.f64 (.f64 x j) (.f64 z k)))) (.f64 (-.f64 (.f64 y0 b) (.f64 y1 i)) (cbrt.f64 (-.f64 (.f64 j x) (.f64 k z)))))) (.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))))
	29.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)))) (neg.f64 (.f64 y3 (.f64 z (-.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.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 (sqrt.f64 (-.f64 (.f64 t j) (.f64 y k))) (.f64 (-.f64 (.f64 b y4) (.f64 i y5)) (sqrt.f64 (-.f64 (.f64 j t) (.f64 k 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))))
	27.2b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (-.f64 (+.f64 (.f64 c (.f64 i (.f64 z t))) (.f64 y (.f64 x (.f64 b a)))) (+.f64 (.f64 a (.f64 b (.f64 z t))) (.f64 c (.f64 i (.f64 x y))))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (+.f64 (.f64 c (.f64 y0 (-.f64 (.f64 x y2) (.f64 z y3)))) (neg.f64 (.f64 y1 (.f64 a (-.f64 (.f64 x y2) (.f64 z y3))))))) (+.f64 (.f64 y4 (.f64 b (-.f64 (.f64 j t) (.f64 k y)))) (neg.f64 (.f64 i (.f64 y5 (-.f64 (.f64 j t) (.f64 k 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))))
	26.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 t j) (.f64 y k))) (cbrt.f64 (-.f64 (.f64 t j) (.f64 y k)))) (.f64 (-.f64 (.f64 b y4) (.f64 i y5)) (cbrt.f64 (-.f64 (.f64 j t) (.f64 k 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))))
	28.1b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (neg.f64 (.f64 (-.f64 (.f64 b a) (.f64 i c)) (.f64 z t))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (+.f64 (.f64 c (.f64 y0 (-.f64 (.f64 x y2) (.f64 z y3)))) (neg.f64 (.f64 y1 (.f64 a (-.f64 (.f64 x y2) (.f64 z y3))))))) (+.f64 (.f64 y4 (.f64 b (-.f64 (.f64 j t) (.f64 k y)))) (neg.f64 (.f64 i (.f64 y5 (-.f64 (.f64 j t) (.f64 k 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))))
	24.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 c (.f64 y0 (-.f64 (.f64 x y2) (.f64 z y3)))) (neg.f64 (.f64 y1 (.f64 a (-.f64 (.f64 x y2) (.f64 z y3))))))) (.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))))
▶	22.5b	(+.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 c (.f64 y0 (-.f64 (.f64 x y2) (.f64 z y3)))) (neg.f64 (.f64 y1 (.f64 a (-.f64 (.f64 x y2) (.f64 z y3))))))) (+.f64 (.f64 y4 (.f64 b (-.f64 (.f64 j t) (.f64 k y)))) (neg.f64 (.f64 i (.f64 y5 (-.f64 (.f64 j t) (.f64 k 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.7b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (+.f64 (.f64 a (.f64 b (-.f64 (.f64 x y) (.f64 z t)))) (neg.f64 (.f64 c (.f64 i (-.f64 (.f64 x y) (.f64 z t)))))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (+.f64 (.f64 c (.f64 y0 (-.f64 (.f64 x y2) (.f64 z y3)))) (neg.f64 (.f64 y1 (.f64 a (-.f64 (.f64 x y2) (.f64 z y3))))))) (+.f64 (.f64 y4 (.f64 b (-.f64 (.f64 j t) (.f64 k y)))) (neg.f64 (.f64 i (.f64 y5 (-.f64 (.f64 j t) (.f64 k 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))))
	34.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 c (.f64 y0 (-.f64 (.f64 x y2) (.f64 z y3)))) (neg.f64 (.f64 y1 (.f64 a (-.f64 (.f64 x y2) (.f64 z y3))))))) (+.f64 (.f64 y4 (.f64 b (-.f64 (.f64 j t) (.f64 k y)))) (neg.f64 (.f64 i (.f64 y5 (-.f64 (.f64 j t) (.f64 k y))))))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (/.f64 (.f64 (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (-.f64 (.f64 (.f64 k y2) (.f64 k y2)) (.f64 (.f64 j y3) (.f64 j y3)))) (+.f64 (.f64 k y2) (.f64 j y3))))
	26.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 (cbrt.f64 (.f64 (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (-.f64 (.f64 k y2) (.f64 j y3)))) (cbrt.f64 (.f64 (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (-.f64 (.f64 k y2) (.f64 j y3))))) (cbrt.f64 (.f64 (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (-.f64 (.f64 k y2) (.f64 j y3))))))
	26.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 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 y0 (.f64 y5 (.f64 j y3))) (.f64 k (.f64 y4 (.f64 y1 y2)))) (+.f64 (.f64 k (.f64 y0 (.f64 y5 y2))) (.f64 y4 (.f64 y1 (*.f64 j y3))))))
	26.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 (.f64 k y2) (.f64 j y3)) (.f64 (cbrt.f64 (-.f64 (.f64 y1 y4) (.f64 y0 y5))) (cbrt.f64 (-.f64 (.f64 y1 y4) (.f64 y0 y5))))) (cbrt.f64 (-.f64 (.f64 y4 y1) (.f64 y5 y0)))))
	24.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 c (.f64 y0 (-.f64 (.f64 x y2) (.f64 z y3)))) (neg.f64 (.f64 y1 (.f64 a (-.f64 (.f64 x y2) (.f64 z y3))))))) (+.f64 (.f64 y4 (.f64 b (-.f64 (.f64 j t) (.f64 k y)))) (neg.f64 (.f64 i (.f64 y5 (-.f64 (.f64 j t) (.f64 k y))))))) (-.f64 (+.f64 (.f64 y (.f64 y3 (.f64 y5 a))) (.f64 c (.f64 y4 (.f64 y2 t)))) (+.f64 (.f64 a (.f64 y5 (.f64 y2 t))) (.f64 c (.f64 y4 (.f64 y3 y)))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	25.9b	(+.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 c (.f64 y0 (-.f64 (.f64 x y2) (.f64 z y3)))) (neg.f64 (.f64 y1 (.f64 a (-.f64 (.f64 x y2) (.f64 z y3))))))) (+.f64 (.f64 y4 (.f64 b (-.f64 (.f64 j t) (.f64 k y)))) (neg.f64 (.f64 i (.f64 y5 (-.f64 (.f64 j t) (.f64 k 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))))
	32.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 c (.f64 y0 (-.f64 (.f64 x y2) (.f64 z y3)))) (neg.f64 (.f64 y1 (.f64 a (-.f64 (.f64 x y2) (.f64 z y3))))))) (+.f64 (.f64 y4 (.f64 b (-.f64 (.f64 j t) (.f64 k y)))) (neg.f64 (.f64 i (.f64 y5 (-.f64 (.f64 j t) (.f64 k y))))))) (/.f64 (.f64 (-.f64 (.f64 y2 t) (.f64 y3 y)) (-.f64 (.f64 (.f64 y4 c) (.f64 y4 c)) (.f64 (.f64 y5 a) (.f64 y5 a)))) (+.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	26.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 c (.f64 y0 (-.f64 (.f64 x y2) (.f64 z y3)))) (neg.f64 (.f64 y1 (.f64 a (-.f64 (.f64 x y2) (.f64 z y3))))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 t (.f64 y2 (-.f64 (.f64 y4 c) (.f64 y5 a))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	42.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 c (.f64 y0 (-.f64 (.f64 x y2) (.f64 z y3)))) (neg.f64 (.f64 y1 (.f64 a (-.f64 (.f64 x y2) (.f64 z y3))))))) (+.f64 (.f64 y4 (.f64 b (-.f64 (.f64 j t) (.f64 k y)))) (neg.f64 (.f64 i (.f64 y5 (-.f64 (.f64 j t) (.f64 k y))))))) (/.f64 (.f64 (-.f64 (.f64 y2 t) (.f64 y3 y)) (-.f64 (pow.f64 (.f64 y4 c) 3) (pow.f64 (.f64 y5 a) 3))) (+.f64 (.f64 (.f64 y4 c) (.f64 y4 c)) (+.f64 (.f64 (.f64 y5 a) (.f64 y5 a)) (.f64 (.f64 y4 c) (.f64 y5 a)))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	26.1b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (neg.f64 (.f64 (-.f64 (.f64 y0 b) (.f64 y1 i)) (.f64 k z)))) (+.f64 (.f64 c (.f64 y0 (-.f64 (.f64 x y2) (.f64 z y3)))) (neg.f64 (.f64 y1 (.f64 a (-.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))))
	25.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 c (.f64 y0 (-.f64 (.f64 x y2) (.f64 z y3)))) (neg.f64 (.f64 y1 (.f64 a (-.f64 (.f64 x y2) (.f64 z y3))))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (neg.f64 (.f64 y (.f64 y3 (-.f64 (.f64 y4 c) (.f64 y5 a)))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	43.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 (sqrt.f64 (-.f64 (.f64 x y2) (.f64 z y3))) (.f64 (-.f64 (.f64 y0 c) (.f64 y1 a)) (sqrt.f64 (-.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))))
	34.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 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (/.f64 (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 (.f64 y1 y4) (.f64 y1 y4)) (.f64 (.f64 y0 y5) (.f64 y0 y5)))) (+.f64 (.f64 y4 y1) (.f64 y5 y0))))
	26.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 c (.f64 y0 (-.f64 (.f64 x y2) (.f64 z y3)))) (neg.f64 (.f64 y1 (.f64 a (-.f64 (.f64 x y2) (.f64 z y3))))))) (-.f64 (+.f64 (.f64 y4 (.f64 t (.f64 b j))) (.f64 k (.f64 i (.f64 y5 y)))) (+.f64 (.f64 i (.f64 t (.f64 j y5))) (.f64 k (.f64 y4 (.f64 b 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))))
	26.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 c (.f64 y0 (-.f64 (.f64 x y2) (.f64 z y3)))) (neg.f64 (.f64 y1 (.f64 a (-.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)))) (neg.f64 (.f64 y0 (.f64 y5 (-.f64 (.f64 k y2) (.f64 j y3))))))
	24.6b	(+.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 b a) (.f64 i c)) (cbrt.f64 (-.f64 (.f64 x y) (.f64 z t))))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (+.f64 (.f64 c (.f64 y0 (-.f64 (.f64 x y2) (.f64 z y3)))) (neg.f64 (.f64 y1 (.f64 a (-.f64 (.f64 x y2) (.f64 z y3))))))) (+.f64 (.f64 y4 (.f64 b (-.f64 (.f64 j t) (.f64 k y)))) (neg.f64 (.f64 i (.f64 y5 (-.f64 (.f64 j t) (.f64 k 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))))
	43.0b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (/.f64 (.f64 (-.f64 (.f64 b a) (.f64 i c)) (-.f64 (pow.f64 (.f64 x y) 3) (pow.f64 (.f64 z t) 3))) (+.f64 (.f64 (.f64 x y) (.f64 x y)) (+.f64 (.f64 (.f64 z t) (.f64 z t)) (.f64 (.f64 x y) (.f64 z t))))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (+.f64 (.f64 c (.f64 y0 (-.f64 (.f64 x y2) (.f64 z y3)))) (neg.f64 (.f64 y1 (.f64 a (-.f64 (.f64 x y2) (.f64 z y3))))))) (+.f64 (.f64 y4 (.f64 b (-.f64 (.f64 j t) (.f64 k y)))) (neg.f64 (.f64 i (.f64 y5 (-.f64 (.f64 j t) (.f64 k 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))))

Compiler

Compiled 20377 to 4510 computations (77.9% saved)

localize81.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite858.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

6.6b

Rules

19×	`flip--_binary64`
19×	`flip3--_binary64`
17×	`add-sqr-sqrt_binary64`
15×	`add-cbrt-cube_binary64`
15×	`add-exp-log_binary64`

Counts

4 → 118

Calls

4 calls:

9.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)))
7.0ms	(.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))
7.0ms	(.f64 y1 (.f64 i (-.f64 (.f64 j x) (.f64 k z))))

Compiler

Compiled 15070 to 930 computations (93.8% saved)

series901.0ms (1.1%)

Error

5.9b

Counts

4 → 174

Calls

4 calls:

197.0ms	(.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (*.f64 c i)))
195.0ms	(.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (*.f64 y5 a)))
194.0ms	(.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))
116.0ms	(.f64 y1 (.f64 i (-.f64 (.f64 j x) (.f64 k z))))

Compiler

Compiled 42756 to 19748 computations (53.8% saved)

simplify201.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

714×	`associate-l_binary64`
690×	`associate-r_binary64`
282×	`distribute-rgt-in_binary64`
275×	`distribute-lft-in_binary64`
208×	`*-commutative_binary64`

Counts

292 → 265

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	429	9043
1	1268	8611
2	4977	8611
3	5046	8611

prune661.0ms (0.8%)

Pruning

27 alts after pruning (27 fresh and 0 done)

	Pruned	Kept	Total
New	261	4	265
Fresh	2	23	25
Picked	1	0	1
Done	0	0	0
Total	264	27	291

Error

6.6b

Counts

291 → 27

Alt Table

Status	Error	Program
	26.2b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (.f64 (.f64 (cbrt.f64 (-.f64 (.f64 x j) (.f64 z k))) (cbrt.f64 (-.f64 (.f64 x j) (.f64 z k)))) (.f64 (-.f64 (.f64 y0 b) (.f64 y1 i)) (cbrt.f64 (-.f64 (.f64 j x) (.f64 k z)))))) (.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))))
	29.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)))) (neg.f64 (.f64 y3 (.f64 z (-.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.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 (sqrt.f64 (-.f64 (.f64 t j) (.f64 y k))) (.f64 (-.f64 (.f64 b y4) (.f64 i y5)) (sqrt.f64 (-.f64 (.f64 j t) (.f64 k 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))))
	41.5b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (/.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (pow.f64 (.f64 a b) 3) (pow.f64 (.f64 i c) 3))) (+.f64 (.f64 (.f64 a b) (.f64 a b)) (+.f64 (.f64 (.f64 c i) (.f64 c i)) (.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 c (.f64 y0 (-.f64 (.f64 x y2) (.f64 z y3)))) (neg.f64 (.f64 y1 (.f64 a (-.f64 (.f64 x y2) (.f64 z y3))))))) (+.f64 (.f64 y4 (.f64 b (-.f64 (.f64 j t) (.f64 k y)))) (neg.f64 (.f64 i (.f64 y5 (-.f64 (.f64 j t) (.f64 k 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))))
	27.2b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (-.f64 (+.f64 (.f64 c (.f64 i (.f64 z t))) (.f64 y (.f64 x (.f64 b a)))) (+.f64 (.f64 a (.f64 b (.f64 z t))) (.f64 c (.f64 i (.f64 x y))))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (+.f64 (.f64 c (.f64 y0 (-.f64 (.f64 x y2) (.f64 z y3)))) (neg.f64 (.f64 y1 (.f64 a (-.f64 (.f64 x y2) (.f64 z y3))))))) (+.f64 (.f64 y4 (.f64 b (-.f64 (.f64 j t) (.f64 k y)))) (neg.f64 (.f64 i (.f64 y5 (-.f64 (.f64 j t) (.f64 k 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))))
	26.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 t j) (.f64 y k))) (cbrt.f64 (-.f64 (.f64 t j) (.f64 y k)))) (.f64 (-.f64 (.f64 b y4) (.f64 i y5)) (cbrt.f64 (-.f64 (.f64 j t) (.f64 k 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))))
	28.1b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (neg.f64 (.f64 (-.f64 (.f64 b a) (.f64 i c)) (.f64 z t))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (+.f64 (.f64 c (.f64 y0 (-.f64 (.f64 x y2) (.f64 z y3)))) (neg.f64 (.f64 y1 (.f64 a (-.f64 (.f64 x y2) (.f64 z y3))))))) (+.f64 (.f64 y4 (.f64 b (-.f64 (.f64 j t) (.f64 k y)))) (neg.f64 (.f64 i (.f64 y5 (-.f64 (.f64 j t) (.f64 k 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))))
	24.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 c (.f64 y0 (-.f64 (.f64 x y2) (.f64 z y3)))) (neg.f64 (.f64 y1 (.f64 a (-.f64 (.f64 x y2) (.f64 z y3))))))) (.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))))
	25.7b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (+.f64 (.f64 a (.f64 b (-.f64 (.f64 x y) (.f64 z t)))) (neg.f64 (.f64 c (.f64 i (-.f64 (.f64 x y) (.f64 z t)))))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (+.f64 (.f64 c (.f64 y0 (-.f64 (.f64 x y2) (.f64 z y3)))) (neg.f64 (.f64 y1 (.f64 a (-.f64 (.f64 x y2) (.f64 z y3))))))) (+.f64 (.f64 y4 (.f64 b (-.f64 (.f64 j t) (.f64 k y)))) (neg.f64 (.f64 i (.f64 y5 (-.f64 (.f64 j t) (.f64 k 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))))
	34.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 c (.f64 y0 (-.f64 (.f64 x y2) (.f64 z y3)))) (neg.f64 (.f64 y1 (.f64 a (-.f64 (.f64 x y2) (.f64 z y3))))))) (+.f64 (.f64 y4 (.f64 b (-.f64 (.f64 j t) (.f64 k y)))) (neg.f64 (.f64 i (.f64 y5 (-.f64 (.f64 j t) (.f64 k y))))))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (/.f64 (.f64 (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (-.f64 (.f64 (.f64 k y2) (.f64 k y2)) (.f64 (.f64 j y3) (.f64 j y3)))) (+.f64 (.f64 k y2) (.f64 j y3))))
	26.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 (cbrt.f64 (.f64 (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (-.f64 (.f64 k y2) (.f64 j y3)))) (cbrt.f64 (.f64 (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (-.f64 (.f64 k y2) (.f64 j y3))))) (cbrt.f64 (.f64 (-.f64 (.f64 y1 y4) (.f64 y0 y5)) (-.f64 (.f64 k y2) (.f64 j y3))))))
	26.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 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 y0 (.f64 y5 (.f64 j y3))) (.f64 k (.f64 y4 (.f64 y1 y2)))) (+.f64 (.f64 k (.f64 y0 (.f64 y5 y2))) (.f64 y4 (.f64 y1 (*.f64 j y3))))))
	24.6b	(+.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 c (.f64 y0 (-.f64 (.f64 x y2) (.f64 z y3)))) (neg.f64 (.f64 y1 (.f64 a (-.f64 (.f64 x y2) (.f64 z y3))))))) (+.f64 (.f64 y4 (.f64 b (-.f64 (.f64 j t) (.f64 k y)))) (neg.f64 (.f64 i (.f64 y5 (-.f64 (.f64 j t) (.f64 k y))))))) (.f64 c (.f64 y4 (-.f64 (.f64 y2 t) (.f64 y3 y))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	26.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 (.f64 k y2) (.f64 j y3)) (.f64 (cbrt.f64 (-.f64 (.f64 y1 y4) (.f64 y0 y5))) (cbrt.f64 (-.f64 (.f64 y1 y4) (.f64 y0 y5))))) (cbrt.f64 (-.f64 (.f64 y4 y1) (.f64 y5 y0)))))
	25.9b	(+.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 c (.f64 y0 (-.f64 (.f64 x y2) (.f64 z y3)))) (neg.f64 (.f64 y1 (.f64 a (-.f64 (.f64 x y2) (.f64 z y3))))))) (+.f64 (.f64 y4 (.f64 b (-.f64 (.f64 j t) (.f64 k y)))) (neg.f64 (.f64 i (.f64 y5 (-.f64 (.f64 j t) (.f64 k 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))))
	32.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 c (.f64 y0 (-.f64 (.f64 x y2) (.f64 z y3)))) (neg.f64 (.f64 y1 (.f64 a (-.f64 (.f64 x y2) (.f64 z y3))))))) (+.f64 (.f64 y4 (.f64 b (-.f64 (.f64 j t) (.f64 k y)))) (neg.f64 (.f64 i (.f64 y5 (-.f64 (.f64 j t) (.f64 k y))))))) (/.f64 (.f64 (-.f64 (.f64 y2 t) (.f64 y3 y)) (-.f64 (.f64 (.f64 y4 c) (.f64 y4 c)) (.f64 (.f64 y5 a) (.f64 y5 a)))) (+.f64 (.f64 y4 c) (.f64 y5 a)))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	26.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 c (.f64 y0 (-.f64 (.f64 x y2) (.f64 z y3)))) (neg.f64 (.f64 y1 (.f64 a (-.f64 (.f64 x y2) (.f64 z y3))))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (.f64 t (.f64 y2 (-.f64 (.f64 y4 c) (.f64 y5 a))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	42.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 c (.f64 y0 (-.f64 (.f64 x y2) (.f64 z y3)))) (neg.f64 (.f64 y1 (.f64 a (-.f64 (.f64 x y2) (.f64 z y3))))))) (+.f64 (.f64 y4 (.f64 b (-.f64 (.f64 j t) (.f64 k y)))) (neg.f64 (.f64 i (.f64 y5 (-.f64 (.f64 j t) (.f64 k y))))))) (/.f64 (.f64 (-.f64 (.f64 y2 t) (.f64 y3 y)) (-.f64 (pow.f64 (.f64 y4 c) 3) (pow.f64 (.f64 y5 a) 3))) (+.f64 (.f64 (.f64 y4 c) (.f64 y4 c)) (+.f64 (.f64 (.f64 y5 a) (.f64 y5 a)) (.f64 (.f64 y4 c) (.f64 y5 a)))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0))))
	26.1b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (.f64 c i))) (neg.f64 (.f64 (-.f64 (.f64 y0 b) (.f64 y1 i)) (.f64 k z)))) (+.f64 (.f64 c (.f64 y0 (-.f64 (.f64 x y2) (.f64 z y3)))) (neg.f64 (.f64 y1 (.f64 a (-.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))))
	24.1b	(+.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 (neg.f64 (.f64 y1 (.f64 k (.f64 i z))))))) (+.f64 (.f64 c (.f64 y0 (-.f64 (.f64 x y2) (.f64 z y3)))) (neg.f64 (.f64 y1 (.f64 a (-.f64 (.f64 x y2) (.f64 z y3))))))) (+.f64 (.f64 y4 (.f64 b (-.f64 (.f64 j t) (.f64 k y)))) (neg.f64 (.f64 i (.f64 y5 (-.f64 (.f64 j t) (.f64 k 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.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 c (.f64 y0 (-.f64 (.f64 x y2) (.f64 z y3)))) (neg.f64 (.f64 y1 (.f64 a (-.f64 (.f64 x y2) (.f64 z y3))))))) (.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (.f64 y5 i)))) (neg.f64 (.f64 y (.f64 y3 (-.f64 (.f64 y4 c) (.f64 y5 a)))))) (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (.f64 y5 y0))))
	43.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 (sqrt.f64 (-.f64 (.f64 x y2) (.f64 z y3))) (.f64 (-.f64 (.f64 y0 c) (.f64 y1 a)) (sqrt.f64 (-.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))))
	25.4b	(+.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 c (.f64 y0 (-.f64 (.f64 x y2) (.f64 z y3)))) (neg.f64 (.f64 y1 (.f64 a (-.f64 (.f64 x y2) (.f64 z y3))))))) (+.f64 (.f64 y4 (.f64 b (-.f64 (.f64 j t) (.f64 k y)))) (neg.f64 (.f64 i (.f64 y5 (-.f64 (.f64 j t) (.f64 k y))))))) (.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (neg.f64 (.f64 y0 (.f64 y5 (-.f64 (.f64 k y2) (.f64 y3 j))))))
	34.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 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (.f64 y5 a)))) (/.f64 (.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 (.f64 y1 y4) (.f64 y1 y4)) (.f64 (.f64 y0 y5) (.f64 y0 y5)))) (+.f64 (.f64 y4 y1) (.f64 y5 y0))))
	26.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 c (.f64 y0 (-.f64 (.f64 x y2) (.f64 z y3)))) (neg.f64 (.f64 y1 (.f64 a (-.f64 (.f64 x y2) (.f64 z y3))))))) (-.f64 (+.f64 (.f64 y4 (.f64 t (.f64 b j))) (.f64 k (.f64 i (.f64 y5 y)))) (+.f64 (.f64 i (.f64 t (.f64 j y5))) (.f64 k (.f64 y4 (.f64 b 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))))
	24.6b	(+.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 b a) (.f64 i c)) (cbrt.f64 (-.f64 (.f64 x y) (.f64 z t))))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (+.f64 (.f64 c (.f64 y0 (-.f64 (.f64 x y2) (.f64 z y3)))) (neg.f64 (.f64 y1 (.f64 a (-.f64 (.f64 x y2) (.f64 z y3))))))) (+.f64 (.f64 y4 (.f64 b (-.f64 (.f64 j t) (.f64 k y)))) (neg.f64 (.f64 i (.f64 y5 (-.f64 (.f64 j t) (.f64 k 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))))
	43.0b	(+.f64 (-.f64 (+.f64 (+.f64 (-.f64 (/.f64 (.f64 (-.f64 (.f64 b a) (.f64 i c)) (-.f64 (pow.f64 (.f64 x y) 3) (pow.f64 (.f64 z t) 3))) (+.f64 (.f64 (.f64 x y) (.f64 x y)) (+.f64 (.f64 (.f64 z t) (.f64 z t)) (.f64 (.f64 x y) (.f64 z t))))) (.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (.f64 y1 i)))) (+.f64 (.f64 c (.f64 y0 (-.f64 (.f64 x y2) (.f64 z y3)))) (neg.f64 (.f64 y1 (.f64 a (-.f64 (.f64 x y2) (.f64 z y3))))))) (+.f64 (.f64 y4 (.f64 b (-.f64 (.f64 j t) (.f64 k y)))) (neg.f64 (.f64 i (.f64 y5 (-.f64 (.f64 j t) (.f64 k 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))))

Compiler

Compiled 16372 to 2681 computations (83.6% saved)

regimes31.6s (39.6%)

Accuracy

Total 9.5b remaining (43%)

Threshold costs 0b (0%)

Compiler

Compiled 672419 to 354663 computations (47.3% saved)

bsearch82.0ms (0.1%)

Compiler: Compiled 111 to 63 computations (43.2% saved)

simplify130.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

398×	`distribute-rgt-neg-in_binary64`
351×	`neg-sub0_binary64`
351×	`neg-mul-1_binary64`
266×	`cancel-sign-sub-inv_binary64`
262×	`distribute-lft-neg-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	127	810
1	291	810
2	444	810
3	628	810
4	831	810
5	974	810
6	1164	810
7	1378	810
8	1566	810
9	1770	810
10	1925	810
11	2056	810
12	2092	810
13	2146	810
14	2292	810
15	2267	810
16	2376	810
17	2395	810
18	2399	810
19	2399	810
20	2395	810

end2.0ms (0%)

Compiler: Compiled 557 to 110 computations (80.3% saved)

sample29.0s (36.3%)

Algorithm

1×

intervals

Results

18.5s	64743×	body	128	invalid
2.5s	8000×	body	128	valid

Compiler

Compiled 4297 to 2059 computations (52.1% saved)

Details

analyze7.5s (9.4%)

sample1.2s (1.5%)

simplify47.0ms (0.1%)

prune5.0ms (0%)

localize67.0ms (0.1%)

rewrite393.0ms (0.5%)

series904.0ms (1.1%)

simplify172.0ms (0.2%)

prune445.0ms (0.6%)

localize70.0ms (0.1%)

rewrite882.0ms (1.1%)

series1.0s (1.3%)

simplify175.0ms (0.2%)

prune690.0ms (0.9%)

localize74.0ms (0.1%)

rewrite645.0ms (0.8%)

series1.2s (1.6%)

simplify185.0ms (0.2%)

prune672.0ms (0.8%)

localize81.0ms (0.1%)

rewrite858.0ms (1.1%)

series901.0ms (1.1%)

simplify201.0ms (0.3%)

prune661.0ms (0.8%)

regimes31.6s (39.6%)

bsearch82.0ms (0.1%)

simplify130.0ms (0.2%)

end2.0ms (0%)

sample29.0s (36.3%)

Profiling