Details

analyze3.0s (21.6%)

Algorithm

1×

Search

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

Compiler

Compiled 39 to 24 computations (38.5% saved)

sample109.0ms (0.8%)

Algorithm

1×

intervals

Results

43.0ms	372×	body	128	invalid
23.0ms	256×	body	128	valid

Compiler

Compiled 86 to 56 computations (34.9% saved)

simplify737.0ms (5.3%)

Algorithm

1×	egg-herbie

Rules

1512×	`associate--r-_binary64`
1091×	`sub-neg_binary64`
807×	`unsub-neg_binary64`
421×	`distribute-neg-in_binary64`
393×	`+-commutative_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	43
1	55	43
2	125	43
3	389	43
4	994	43
5	2361	43
6	2824	43
7	3291	43
8	3449	43
9	3379	43
10	3424	43
11	3420	43
12	3784	43
13	3991	43
14	4056	43
15	4061	43
16	4061	43
17	4063	43
18	4065	43
19	4065	43
20	4325	43
21	4117	43
22	4117	43
23	4117	43
24	4984	43
25	4565	43
26	4335	43
27	4665	43
28	4778	43
29	4794	43
30	4794	43
31	4794	43
32	4794	43
33	4794	43
34	4635	43

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

8.9b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	8.9b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))

Compiler

Compiled 114 to 69 computations (39.5% saved)

localize22.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (.f64 c a) (.f64 y i))
3.1b	(.f64 j (-.f64 (.f64 c a) (*.f64 y i)))
3.6b	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))
4.6b	(.f64 b (-.f64 (.f64 c z) (*.f64 t i)))

rewrite160.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

8.7b

Rules

16×	`add-sqr-sqrt_binary64`
10×	`*-un-lft-identity_binary64`
10×	`add-cube-cbrt_binary64`
10×	`add-cbrt-cube_binary64`
10×	`add-exp-log_binary64`

Counts

4 → 84

Calls

4 calls:

6.0ms	(.f64 j (-.f64 (.f64 c a) (*.f64 y i)))
5.0ms	(.f64 b (-.f64 (.f64 c z) (*.f64 t i)))
5.0ms	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))
3.0ms	(-.f64 (.f64 c a) (.f64 y i))

Compiler

Compiled 2974 to 403 computations (86.4% saved)

series226.0ms (1.6%)

Error

1.1b

Counts

4 → 105

Calls

4 calls:

55.0ms	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))
54.0ms	(.f64 b (-.f64 (.f64 c z) (*.f64 t i)))
52.0ms	(.f64 j (-.f64 (.f64 c a) (*.f64 y i)))
38.0ms	(-.f64 (.f64 c a) (.f64 y i))

Compiler

Compiled 6723 to 3847 computations (42.8% saved)

simplify132.0ms (1%)

Algorithm

1×	egg-herbie

Rules

368×	`distribute-rgt-in_binary64`
361×	`distribute-lft-in_binary64`
290×	`exp-prod_binary64`
287×	`associate-l_binary64`
265×	`cancel-sign-sub-inv_binary64`

Counts

189 → 149

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	197	2626
1	478	2443
2	1542	2443
3	3569	2443
4	4619	2443
5	4912	2443

prune127.0ms (0.9%)

Pruning

21 alts after pruning (21 fresh and 0 done)

	Pruned	Kept	Total
New	128	21	149
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	129	21	150

Error

3.6b

Counts

150 → 21

Alt Table

Status	Error	Program
	9.2b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 (.f64 b (.f64 (cbrt.f64 (-.f64 (.f64 c z) (.f64 i t))) (cbrt.f64 (-.f64 (.f64 c z) (.f64 i t))))) (cbrt.f64 (-.f64 (.f64 c z) (.f64 t i))))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
	9.2b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 (.f64 (cbrt.f64 b) (cbrt.f64 b)) (.f64 (-.f64 (.f64 c z) (.f64 i t)) (cbrt.f64 b)))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
	37.0b	(+.f64 (-.f64 (.f64 (sqrt.f64 x) (.f64 (-.f64 (.f64 z y) (.f64 t a)) (sqrt.f64 x))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 j (-.f64 (.f64 c a) (.f64 y i))))
	23.0b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (/.f64 (.f64 b (-.f64 (.f64 (.f64 c z) (.f64 c z)) (.f64 (.f64 i t) (.f64 i t)))) (+.f64 (.f64 c z) (.f64 t i)))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
	9.2b	(+.f64 (-.f64 (.f64 (.f64 x (.f64 (cbrt.f64 (-.f64 (.f64 z y) (.f64 t a))) (cbrt.f64 (-.f64 (.f64 z y) (.f64 t a))))) (cbrt.f64 (-.f64 (.f64 y z) (.f64 t a)))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
	36.8b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (/.f64 (.f64 b (-.f64 (pow.f64 (.f64 c z) 3) (pow.f64 (.f64 i t) 3))) (+.f64 (.f64 (.f64 c z) (.f64 c z)) (+.f64 (.f64 (.f64 t i) (.f64 t i)) (.f64 (.f64 c z) (.f64 t i)))))) (.f64 j (-.f64 (.f64 c a) (.f64 y i))))
	32.9b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 (sqrt.f64 j) (.f64 (-.f64 (.f64 c a) (.f64 i y)) (sqrt.f64 j))))
	9.2b	(+.f64 (-.f64 (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (-.f64 (.f64 z y) (.f64 t a)) (cbrt.f64 x))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
	33.3b	(+.f64 (-.f64 (.f64 (sqrt.f64 (.f64 (-.f64 (.f64 z y) (.f64 t a)) x)) (sqrt.f64 (.f64 (-.f64 (.f64 z y) (.f64 t a)) x))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
	18.0b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (neg.f64 (.f64 b (.f64 i t)))) (.f64 j (-.f64 (.f64 c a) (.f64 y i))))
	27.1b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (/.f64 (.f64 j (-.f64 (.f64 (.f64 c a) (.f64 c a)) (.f64 (.f64 i y) (.f64 i y)))) (+.f64 (.f64 c a) (*.f64 y i))))
	33.8b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 (sqrt.f64 (.f64 b (-.f64 (.f64 c z) (.f64 i t)))) (sqrt.f64 (.f64 b (-.f64 (.f64 c z) (.f64 i t)))))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
	30.4b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 j (cbrt.f64 (pow.f64 (-.f64 (.f64 c a) (*.f64 i y)) 3))))
	34.8b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 (.f64 b (sqrt.f64 (-.f64 (.f64 c z) (.f64 i t)))) (sqrt.f64 (-.f64 (.f64 c z) (.f64 t i))))) (.f64 j (-.f64 (.f64 c a) (.f64 y i))))
	9.2b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 (.f64 (cbrt.f64 (.f64 b (-.f64 (.f64 c z) (.f64 i t)))) (cbrt.f64 (.f64 b (-.f64 (.f64 c z) (.f64 i t))))) (cbrt.f64 (.f64 b (-.f64 (.f64 c z) (.f64 i t)))))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
	10.9b	(+.f64 (-.f64 (+.f64 (.f64 y (.f64 z x)) (neg.f64 (.f64 a (.f64 t x)))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 j (-.f64 (.f64 c a) (.f64 y i))))
	25.4b	(+.f64 (-.f64 (/.f64 (.f64 x (-.f64 (.f64 (.f64 z y) (.f64 z y)) (.f64 (.f64 t a) (.f64 t a)))) (+.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
	9.2b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 (.f64 (cbrt.f64 j) (cbrt.f64 j)) (.f64 (-.f64 (.f64 c a) (*.f64 i y)) (cbrt.f64 j))))
▶	8.6b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (+.f64 (.f64 c (.f64 a j)) (neg.f64 (.f64 y (.f64 i j)))))
	9.2b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 (.f64 (cbrt.f64 (.f64 j (-.f64 (.f64 c a) (.f64 i y)))) (cbrt.f64 (.f64 j (-.f64 (.f64 c a) (.f64 i y))))) (cbrt.f64 (.f64 j (-.f64 (.f64 c a) (*.f64 i y))))))
	17.0b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (.f64 c z))) (.f64 j (-.f64 (.f64 c a) (.f64 y i))))

Compiler

Compiled 4355 to 1434 computations (67.1% saved)

localize24.0ms (0.2%)

Local error

Found 4 expressions with local error:

3.6b	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))
3.9b	(.f64 c (.f64 a j))
4.6b	(.f64 b (-.f64 (.f64 c z) (*.f64 t i)))
6.2b	(.f64 y (.f64 i j))

rewrite174.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

3.6b

Rules

18×	`add-cbrt-cube_binary64`
18×	`add-exp-log_binary64`
18×	`pow1_binary64`
14×	`add-sqr-sqrt_binary64`
12×	`associate-l_binary64`

Counts

4 → 84

Calls

4 calls:

7.0ms	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))
5.0ms	(.f64 b (-.f64 (.f64 c z) (*.f64 t i)))
4.0ms	(.f64 y (.f64 i j))
4.0ms	(.f64 c (.f64 a j))

Compiler

Compiled 2953 to 429 computations (85.5% saved)

series190.0ms (1.4%)

Error

1.1b

Counts

4 → 72

Calls

4 calls:

63.0ms	(.f64 b (-.f64 (.f64 c z) (*.f64 t i)))
54.0ms	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))
25.0ms	(.f64 c (.f64 a j))
21.0ms	(.f64 y (.f64 i j))

Compiler

Compiled 5327 to 3097 computations (41.9% saved)

simplify112.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

414×	`neg-mul-1_binary64`
323×	`associate-l_binary64`
294×	`associate-r_binary64`
245×	`distribute-rgt-in_binary64`
240×	`distribute-lft-in_binary64`

Counts

156 → 125

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	190	2012
1	469	1814
2	1540	1814
3	2996	1814
4	4687	1814
5	5156	1814

prune129.0ms (0.9%)

Pruning

19 alts after pruning (19 fresh and 0 done)

	Pruned	Kept	Total
New	121	4	125
Fresh	5	15	20
Picked	1	0	1
Done	0	0	0
Total	127	19	146

Error

2.0b

Counts

146 → 19

Alt Table

Status	Error	Program
	9.2b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 (.f64 b (.f64 (cbrt.f64 (-.f64 (.f64 c z) (.f64 i t))) (cbrt.f64 (-.f64 (.f64 c z) (.f64 i t))))) (cbrt.f64 (-.f64 (.f64 c z) (.f64 t i))))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
	8.8b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (+.f64 (.f64 (.f64 (cbrt.f64 (.f64 c (.f64 j a))) (cbrt.f64 (.f64 c (.f64 j a)))) (cbrt.f64 (.f64 c (.f64 j a)))) (neg.f64 (.f64 y (.f64 i j)))))
	37.0b	(+.f64 (-.f64 (.f64 (sqrt.f64 x) (.f64 (-.f64 (.f64 z y) (.f64 t a)) (sqrt.f64 x))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 j (-.f64 (.f64 c a) (.f64 y i))))
	23.0b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (/.f64 (.f64 b (-.f64 (.f64 (.f64 c z) (.f64 c z)) (.f64 (.f64 i t) (.f64 i t)))) (+.f64 (.f64 c z) (.f64 t i)))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
	9.2b	(+.f64 (-.f64 (.f64 (.f64 x (.f64 (cbrt.f64 (-.f64 (.f64 z y) (.f64 t a))) (cbrt.f64 (-.f64 (.f64 z y) (.f64 t a))))) (cbrt.f64 (-.f64 (.f64 y z) (.f64 t a)))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
	36.8b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (/.f64 (.f64 b (-.f64 (pow.f64 (.f64 c z) 3) (pow.f64 (.f64 i t) 3))) (+.f64 (.f64 (.f64 c z) (.f64 c z)) (+.f64 (.f64 (.f64 t i) (.f64 t i)) (.f64 (.f64 c z) (.f64 t i)))))) (.f64 j (-.f64 (.f64 c a) (.f64 y i))))
	32.9b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 (sqrt.f64 j) (.f64 (-.f64 (.f64 c a) (.f64 i y)) (sqrt.f64 j))))
	9.2b	(+.f64 (-.f64 (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (-.f64 (.f64 z y) (.f64 t a)) (cbrt.f64 x))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
	33.3b	(+.f64 (-.f64 (.f64 (sqrt.f64 (.f64 (-.f64 (.f64 z y) (.f64 t a)) x)) (sqrt.f64 (.f64 (-.f64 (.f64 z y) (.f64 t a)) x))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
	18.0b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (neg.f64 (.f64 b (.f64 i t)))) (.f64 j (-.f64 (.f64 c a) (.f64 y i))))
	27.1b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (/.f64 (.f64 j (-.f64 (.f64 (.f64 c a) (.f64 c a)) (.f64 (.f64 i y) (.f64 i y)))) (+.f64 (.f64 c a) (*.f64 y i))))
	17.0b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (.f64 c z))) (.f64 j (-.f64 (.f64 c a) (.f64 y i))))
▶	7.9b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (+.f64 (.f64 c (.f64 a j)) (neg.f64 (pow.f64 (.f64 i (.f64 y j)) 1))))
	17.4b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (neg.f64 (.f64 i (.f64 b t)))) (+.f64 (.f64 c (.f64 a j)) (neg.f64 (.f64 y (*.f64 i j)))))
	25.4b	(+.f64 (-.f64 (/.f64 (.f64 x (-.f64 (.f64 (.f64 z y) (.f64 z y)) (.f64 (.f64 t a) (.f64 t a)))) (+.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
	9.2b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 (.f64 (cbrt.f64 j) (cbrt.f64 j)) (.f64 (-.f64 (.f64 c a) (*.f64 i y)) (cbrt.f64 j))))
	33.8b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 (sqrt.f64 (.f64 b (-.f64 (.f64 c z) (.f64 i t)))) (sqrt.f64 (.f64 b (-.f64 (.f64 c z) (.f64 i t)))))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
	10.9b	(+.f64 (-.f64 (+.f64 (.f64 y (.f64 z x)) (neg.f64 (.f64 a (.f64 t x)))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 j (-.f64 (.f64 c a) (.f64 y i))))
	8.0b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (+.f64 (.f64 c (.f64 a j)) (neg.f64 (.f64 (.f64 (cbrt.f64 (.f64 i (.f64 y j))) (cbrt.f64 (.f64 i (.f64 y j)))) (cbrt.f64 (.f64 i (.f64 y j)))))))

Compiler

Compiled 3798 to 1285 computations (66.2% saved)

localize25.0ms (0.2%)

Local error

Found 4 expressions with local error:

3.6b	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))
3.9b	(.f64 c (.f64 a j))
4.6b	(.f64 b (-.f64 (.f64 c z) (*.f64 t i)))
5.9b	(.f64 i (.f64 y j))

rewrite196.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

2.0b

Rules

18×	`add-cbrt-cube_binary64`
18×	`add-exp-log_binary64`
18×	`pow1_binary64`
14×	`add-sqr-sqrt_binary64`
12×	`associate-l_binary64`

Counts

4 → 84

Calls

4 calls:

5.0ms	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))
5.0ms	(.f64 b (-.f64 (.f64 c z) (*.f64 t i)))
5.0ms	(.f64 c (.f64 a j))
4.0ms	(.f64 i (.f64 y j))

Compiler

Compiled 3101 to 678 computations (78.1% saved)

series187.0ms (1.3%)

Error

0.8b

Counts

4 → 72

Calls

4 calls:

60.0ms	(.f64 b (-.f64 (.f64 c z) (*.f64 t i)))
58.0ms	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))
23.0ms	(.f64 c (.f64 a j))
23.0ms	(.f64 i (.f64 y j))

Compiler

Compiled 5591 to 3381 computations (39.5% saved)

simplify112.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

414×	`neg-mul-1_binary64`
323×	`associate-l_binary64`
294×	`associate-r_binary64`
245×	`distribute-rgt-in_binary64`
240×	`distribute-lft-in_binary64`

Counts

156 → 125

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	190	2012
1	469	1814
2	1540	1814
3	2996	1814
4	4687	1814
5	5156	1814

prune128.0ms (0.9%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	124	1	125
Fresh	3	15	18
Picked	1	0	1
Done	0	0	0
Total	128	16	144

Error

1.8b

Counts

144 → 16

Alt Table

Status	Error	Program
	9.2b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 (.f64 b (.f64 (cbrt.f64 (-.f64 (.f64 c z) (.f64 i t))) (cbrt.f64 (-.f64 (.f64 c z) (.f64 i t))))) (cbrt.f64 (-.f64 (.f64 c z) (.f64 t i))))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
	8.8b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (+.f64 (.f64 (.f64 (cbrt.f64 (.f64 c (.f64 j a))) (cbrt.f64 (.f64 c (.f64 j a)))) (cbrt.f64 (.f64 c (.f64 j a)))) (neg.f64 (.f64 y (.f64 i j)))))
	37.0b	(+.f64 (-.f64 (.f64 (sqrt.f64 x) (.f64 (-.f64 (.f64 z y) (.f64 t a)) (sqrt.f64 x))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 j (-.f64 (.f64 c a) (.f64 y i))))
	23.0b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (/.f64 (.f64 b (-.f64 (.f64 (.f64 c z) (.f64 c z)) (.f64 (.f64 i t) (.f64 i t)))) (+.f64 (.f64 c z) (.f64 t i)))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
	9.2b	(+.f64 (-.f64 (.f64 (.f64 x (.f64 (cbrt.f64 (-.f64 (.f64 z y) (.f64 t a))) (cbrt.f64 (-.f64 (.f64 z y) (.f64 t a))))) (cbrt.f64 (-.f64 (.f64 y z) (.f64 t a)))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
	36.8b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (/.f64 (.f64 b (-.f64 (pow.f64 (.f64 c z) 3) (pow.f64 (.f64 i t) 3))) (+.f64 (.f64 (.f64 c z) (.f64 c z)) (+.f64 (.f64 (.f64 t i) (.f64 t i)) (.f64 (.f64 c z) (.f64 t i)))))) (.f64 j (-.f64 (.f64 c a) (.f64 y i))))
	32.9b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 (sqrt.f64 j) (.f64 (-.f64 (.f64 c a) (.f64 i y)) (sqrt.f64 j))))
	9.2b	(+.f64 (-.f64 (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (-.f64 (.f64 z y) (.f64 t a)) (cbrt.f64 x))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
	33.3b	(+.f64 (-.f64 (.f64 (sqrt.f64 (.f64 (-.f64 (.f64 z y) (.f64 t a)) x)) (sqrt.f64 (.f64 (-.f64 (.f64 z y) (.f64 t a)) x))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
	25.4b	(+.f64 (-.f64 (/.f64 (.f64 x (-.f64 (.f64 (.f64 z y) (.f64 z y)) (.f64 (.f64 t a) (.f64 t a)))) (+.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
	15.7b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (neg.f64 (.f64 i (.f64 b t)))) (+.f64 (.f64 c (.f64 a j)) (neg.f64 (pow.f64 (.f64 i (*.f64 y j)) 1))))
	9.2b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 (.f64 (cbrt.f64 j) (cbrt.f64 j)) (.f64 (-.f64 (.f64 c a) (*.f64 i y)) (cbrt.f64 j))))
	27.1b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (/.f64 (.f64 j (-.f64 (.f64 (.f64 c a) (.f64 c a)) (.f64 (.f64 i y) (.f64 i y)))) (+.f64 (.f64 c a) (*.f64 y i))))
	33.8b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 (sqrt.f64 (.f64 b (-.f64 (.f64 c z) (.f64 i t)))) (sqrt.f64 (.f64 b (-.f64 (.f64 c z) (.f64 i t)))))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
	10.9b	(+.f64 (-.f64 (+.f64 (.f64 y (.f64 z x)) (neg.f64 (.f64 a (.f64 t x)))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 j (-.f64 (.f64 c a) (.f64 y i))))
▶	8.0b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (+.f64 (.f64 c (.f64 a j)) (neg.f64 (.f64 (.f64 (cbrt.f64 (.f64 i (.f64 y j))) (cbrt.f64 (.f64 i (.f64 y j)))) (cbrt.f64 (.f64 i (.f64 y j)))))))

Compiler

Compiled 3682 to 1323 computations (64.1% saved)

localize34.0ms (0.2%)

Local error

Found 4 expressions with local error:

5.9b	(.f64 i (.f64 y j))
13.3b	(cbrt.f64 (.f64 i (.f64 y j)))
13.3b	(cbrt.f64 (.f64 i (.f64 y j)))
13.3b	(cbrt.f64 (.f64 i (.f64 y j)))

rewrite98.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

1.8b

Rules

9×	`add-cbrt-cube_binary64`
9×	`add-exp-log_binary64`
9×	`pow1_binary64`
5×	`*-un-lft-identity_binary64`
5×	`add-sqr-sqrt_binary64`

Counts

4 → 45

Calls

4 calls:

5.0ms	(cbrt.f64 (.f64 i (.f64 y j)))
4.0ms	(.f64 i (.f64 y j))
3.0ms	(cbrt.f64 (.f64 i (.f64 y j)))
3.0ms	(cbrt.f64 (.f64 i (.f64 y j)))

Compiler

Compiled 2162 to 310 computations (85.7% saved)

series255.0ms (1.8%)

Error

1.8b

Counts

4 → 36

Calls

4 calls:

72.0ms	(cbrt.f64 (.f64 i (.f64 y j)))
61.0ms	(cbrt.f64 (.f64 i (.f64 y j)))
60.0ms	(cbrt.f64 (.f64 i (.f64 y j)))
25.0ms	(.f64 i (.f64 y j))

Compiler

Compiled 5917 to 2880 computations (51.3% saved)

simplify113.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

652×	`associate-l_binary64`
468×	`associate-r_binary64`
425×	`exp-sum_binary64`
363×	`exp-prod_binary64`
276×	`exp-diff_binary64`

Counts

81 → 48

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	94	1022
1	208	901
2	541	873
3	1858	809
4	3136	803
5	4596	767
6	4961	767
7	4951	767

prune52.0ms (0.4%)

Pruning

16 alts after pruning (15 fresh and 1 done)

	Pruned	Kept	Total
New	48	0	48
Fresh	0	15	15
Picked	0	1	1
Done	0	0	0
Total	48	16	64

Error

1.8b

Counts

64 → 16

Alt Table

Status	Error	Program
	9.2b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 (.f64 b (.f64 (cbrt.f64 (-.f64 (.f64 c z) (.f64 i t))) (cbrt.f64 (-.f64 (.f64 c z) (.f64 i t))))) (cbrt.f64 (-.f64 (.f64 c z) (.f64 t i))))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
	8.8b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (+.f64 (.f64 (.f64 (cbrt.f64 (.f64 c (.f64 j a))) (cbrt.f64 (.f64 c (.f64 j a)))) (cbrt.f64 (.f64 c (.f64 j a)))) (neg.f64 (.f64 y (.f64 i j)))))
	37.0b	(+.f64 (-.f64 (.f64 (sqrt.f64 x) (.f64 (-.f64 (.f64 z y) (.f64 t a)) (sqrt.f64 x))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 j (-.f64 (.f64 c a) (.f64 y i))))
	23.0b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (/.f64 (.f64 b (-.f64 (.f64 (.f64 c z) (.f64 c z)) (.f64 (.f64 i t) (.f64 i t)))) (+.f64 (.f64 c z) (.f64 t i)))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
	9.2b	(+.f64 (-.f64 (.f64 (.f64 x (.f64 (cbrt.f64 (-.f64 (.f64 z y) (.f64 t a))) (cbrt.f64 (-.f64 (.f64 z y) (.f64 t a))))) (cbrt.f64 (-.f64 (.f64 y z) (.f64 t a)))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
	36.8b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (/.f64 (.f64 b (-.f64 (pow.f64 (.f64 c z) 3) (pow.f64 (.f64 i t) 3))) (+.f64 (.f64 (.f64 c z) (.f64 c z)) (+.f64 (.f64 (.f64 t i) (.f64 t i)) (.f64 (.f64 c z) (.f64 t i)))))) (.f64 j (-.f64 (.f64 c a) (.f64 y i))))
	32.9b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 (sqrt.f64 j) (.f64 (-.f64 (.f64 c a) (.f64 i y)) (sqrt.f64 j))))
	9.2b	(+.f64 (-.f64 (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (-.f64 (.f64 z y) (.f64 t a)) (cbrt.f64 x))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
	33.3b	(+.f64 (-.f64 (.f64 (sqrt.f64 (.f64 (-.f64 (.f64 z y) (.f64 t a)) x)) (sqrt.f64 (.f64 (-.f64 (.f64 z y) (.f64 t a)) x))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
	25.4b	(+.f64 (-.f64 (/.f64 (.f64 x (-.f64 (.f64 (.f64 z y) (.f64 z y)) (.f64 (.f64 t a) (.f64 t a)))) (+.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
	15.7b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (neg.f64 (.f64 i (.f64 b t)))) (+.f64 (.f64 c (.f64 a j)) (neg.f64 (pow.f64 (.f64 i (*.f64 y j)) 1))))
	9.2b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 (.f64 (cbrt.f64 j) (cbrt.f64 j)) (.f64 (-.f64 (.f64 c a) (*.f64 i y)) (cbrt.f64 j))))
	27.1b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (/.f64 (.f64 j (-.f64 (.f64 (.f64 c a) (.f64 c a)) (.f64 (.f64 i y) (.f64 i y)))) (+.f64 (.f64 c a) (*.f64 y i))))
	33.8b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 (sqrt.f64 (.f64 b (-.f64 (.f64 c z) (.f64 i t)))) (sqrt.f64 (.f64 b (-.f64 (.f64 c z) (.f64 i t)))))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
	10.9b	(+.f64 (-.f64 (+.f64 (.f64 y (.f64 z x)) (neg.f64 (.f64 a (.f64 t x)))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 j (-.f64 (.f64 c a) (.f64 y i))))
	8.0b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (+.f64 (.f64 c (.f64 a j)) (neg.f64 (.f64 (.f64 (cbrt.f64 (.f64 i (.f64 y j))) (cbrt.f64 (.f64 i (.f64 y j)))) (cbrt.f64 (.f64 i (.f64 y j)))))))

Compiler

Compiled 1621 to 598 computations (63.1% saved)

regimes4.2s (30.3%)

Accuracy

Total 3.3b remaining (56.9%)

Threshold costs 0b (0%)

Compiler

Compiled 85446 to 49248 computations (42.4% saved)

bsearch16.0ms (0.1%)

Compiler: Compiled 38 to 23 computations (39.5% saved)

simplify40.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

194×	`distribute-rgt-neg-in_binary64`
174×	`cancel-sign-sub-inv_binary64`
128×	`distribute-lft-neg-in_binary64`
117×	`neg-sub0_binary64`
117×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	53	193
1	118	193
2	178	193
3	267	193
4	340	193
5	399	193
6	470	193
7	534	193
8	576	193
9	615	193
10	657	193
11	717	193
12	794	193
13	848	193
14	887	193
15	910	193
16	916	193
17	912	193

end1.0ms (0%)

Compiler: Compiled 138 to 47 computations (65.9% saved)

sample3.3s (23.7%)

Algorithm

1×

intervals

Results

1.1s	11013×	body	128	invalid
773.0ms	8000×	body	128	valid

Compiler

Compiled 995 to 515 computations (48.2% saved)

Iter	Nodes	Cost
0	53	193
1	118	193
2	178	193
3	267	193
4	340	193
5	399	193
6	470	193
7	534	193
8	576	193
9	615	193
10	657	193
11	717	193
12	794	193
13	848	193
14	887	193
15	910	193
16	916	193
17	912	193

Iter	Nodes	Cost
0	53	193
1	118	193
2	178	193
3	267	193
4	340	193
5	399	193
6	470	193
7	534	193
8	576	193
9	615	193
10	657	193
11	717	193
12	794	193
13	848	193
14	887	193
15	910	193
16	916	193
17	912	193

Details

analyze3.0s (21.6%)

sample109.0ms (0.8%)

simplify737.0ms (5.3%)

prune3.0ms (0%)

localize22.0ms (0.2%)

rewrite160.0ms (1.2%)

series226.0ms (1.6%)

simplify132.0ms (1%)

prune127.0ms (0.9%)

localize24.0ms (0.2%)

rewrite174.0ms (1.3%)

series190.0ms (1.4%)

simplify112.0ms (0.8%)

prune129.0ms (0.9%)

localize25.0ms (0.2%)

rewrite196.0ms (1.4%)

series187.0ms (1.3%)

simplify112.0ms (0.8%)

prune128.0ms (0.9%)

localize34.0ms (0.2%)

rewrite98.0ms (0.7%)

series255.0ms (1.8%)

simplify113.0ms (0.8%)

prune52.0ms (0.4%)

regimes4.2s (30.3%)

bsearch16.0ms (0.1%)

simplify40.0ms (0.3%)

end1.0ms (0%)

sample3.3s (23.7%)

Profiling

Iter	Nodes	Cost
0	53	193
1	118	193
2	178	193
3	267	193
4	340	193
5	399	193
6	470	193
7	534	193
8	576	193
9	615	193
10	657	193
11	717	193
12	794	193
13	848	193
14	887	193
15	910	193
16	916	193
17	912	193