Details

analyze2.6s (17.2%)

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)

sample110.0ms (0.7%)

Algorithm

1×

intervals

Results

42.0ms	416×	body	128	invalid
27.0ms	256×	body	128	valid

Compiler

Compiled 86 to 56 computations (34.9% saved)

simplify699.0ms (4.6%)

Algorithm

1×	egg-herbie

Rules

1512×	`associate--r-_binary64`
1092×	`sub-neg_binary64`
809×	`unsub-neg_binary64`
419×	`distribute-neg-in_binary64`
395×	`+-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	2365	43
6	2811	43
7	3289	43
8	3447	43
9	3377	43
10	3422	43
11	3418	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

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

13.0b

Counts

2 → 1

Alt Table

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

Compiler

Compiled 114 to 69 computations (39.5% saved)

localize19.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.5b	(-.f64 (.f64 c z) (.f64 i a))
5.0b	(.f64 b (-.f64 (.f64 c z) (*.f64 i a)))
5.7b	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))
6.8b	(.f64 j (-.f64 (.f64 c t) (*.f64 i y)))

rewrite151.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

12.8b

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 t) (*.f64 i y)))
5.0ms	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))
5.0ms	(.f64 b (-.f64 (.f64 c z) (*.f64 i a)))
3.0ms	(-.f64 (.f64 c z) (.f64 i a))

Compiler

Compiled 2974 to 415 computations (86% saved)

series300.0ms (2%)

Error

2.9b

Counts

4 → 105

Calls

4 calls:

106.0ms	(.f64 j (-.f64 (.f64 c t) (*.f64 i y)))
51.0ms	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))
48.0ms	(.f64 b (-.f64 (.f64 c z) (*.f64 i a)))
33.0ms	(-.f64 (.f64 c z) (.f64 i a))

Compiler

Compiled 6814 to 3863 computations (43.3% saved)

simplify128.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

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

Counts

189 → 136

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	202	2626
1	481	2443
2	1551	2443
3	3578	2443
4	4627	2443
5	4928	2443

prune83.0ms (0.5%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	120	16	136
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	121	16	137

Error

5.3b

Counts

137 → 16

Alt Table

Status	Error	Program
	13.3b	(+.f64 (-.f64 (+.f64 (.f64 y (.f64 z x)) (neg.f64 (.f64 a (.f64 t x)))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 j (-.f64 (.f64 c t) (.f64 i y))))
	38.8b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 (sqrt.f64 j) (.f64 (-.f64 (.f64 c t) (.f64 y i)) (sqrt.f64 j))))
	13.5b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (+.f64 (.f64 c (.f64 z b)) (neg.f64 (.f64 i (.f64 a b))))) (.f64 j (-.f64 (.f64 c t) (.f64 i y))))
	13.3b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 (.f64 (cbrt.f64 j) (cbrt.f64 j)) (.f64 (-.f64 (.f64 c t) (*.f64 y i)) (cbrt.f64 j))))
	38.0b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 (sqrt.f64 (.f64 (-.f64 (.f64 c z) (.f64 i a)) b)) (sqrt.f64 (.f64 (-.f64 (.f64 c z) (.f64 i a)) b)))) (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))
	26.3b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (/.f64 (.f64 j (-.f64 (.f64 (.f64 c t) (.f64 c t)) (.f64 (.f64 y i) (.f64 y i)))) (+.f64 (.f64 c t) (*.f64 i y))))
	19.4b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 j (.f64 c t)))
▶	13.3b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 (.f64 (cbrt.f64 (.f64 (-.f64 (.f64 c z) (.f64 i a)) b)) (cbrt.f64 (.f64 (-.f64 (.f64 c z) (.f64 i a)) b))) (cbrt.f64 (.f64 (-.f64 (.f64 c z) (.f64 i a)) b)))) (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))
	39.0b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (/.f64 (.f64 j (-.f64 (pow.f64 (.f64 c t) 3) (pow.f64 (.f64 y i) 3))) (+.f64 (.f64 (.f64 c t) (.f64 c t)) (+.f64 (.f64 (.f64 i y) (.f64 i y)) (.f64 (.f64 c t) (.f64 i y))))))
	13.3b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 (.f64 j (.f64 (cbrt.f64 (-.f64 (.f64 c t) (.f64 y i))) (cbrt.f64 (-.f64 (.f64 c t) (.f64 y i))))) (cbrt.f64 (-.f64 (.f64 c t) (*.f64 i y)))))
	13.3b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 (.f64 (cbrt.f64 (.f64 j (-.f64 (.f64 c t) (.f64 y i)))) (cbrt.f64 (.f64 j (-.f64 (.f64 c t) (.f64 y i))))) (cbrt.f64 (.f64 j (-.f64 (.f64 c t) (*.f64 y i))))))
	13.4b	(+.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (.f64 (-.f64 (.f64 y z) (.f64 t a)) x)) (cbrt.f64 (.f64 (-.f64 (.f64 y z) (.f64 t a)) x))) (cbrt.f64 (.f64 (-.f64 (.f64 y z) (.f64 t a)) x))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))
	38.6b	(+.f64 (-.f64 (.f64 (sqrt.f64 x) (.f64 (-.f64 (.f64 y z) (.f64 t a)) (sqrt.f64 x))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 j (-.f64 (.f64 c t) (.f64 i y))))
	19.1b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (neg.f64 (.f64 j (.f64 y i))))
	29.3b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (cbrt.f64 (pow.f64 (.f64 (-.f64 (.f64 c z) (.f64 i a)) b) 3))) (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))
	38.0b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 (.f64 j (sqrt.f64 (-.f64 (.f64 c t) (.f64 y i)))) (sqrt.f64 (-.f64 (.f64 c t) (.f64 i y)))))

Compiler

Compiled 3240 to 1074 computations (66.9% saved)

localize29.0ms (0.2%)

Local error

Found 4 expressions with local error:

6.0b	(cbrt.f64 (.f64 (-.f64 (.f64 c z) (*.f64 i a)) b))
6.0b	(cbrt.f64 (.f64 (-.f64 (.f64 c z) (*.f64 i a)) b))
6.0b	(cbrt.f64 (.f64 (-.f64 (.f64 c z) (*.f64 i a)) b))
6.8b	(.f64 j (-.f64 (.f64 c t) (*.f64 i y)))

rewrite155.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

5.3b

Rules

8×	`add-sqr-sqrt_binary64`
6×	`cbrt-div_binary64`
6×	`associate-*l/_binary64`
6×	`*-un-lft-identity_binary64`
6×	`add-cube-cbrt_binary64`

Counts

4 → 57

Calls

4 calls:

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

Compiler

Compiled 3420 to 310 computations (90.9% saved)

series500.0ms (3.3%)

Error

2.9b

Counts

4 → 93

Calls

4 calls:

137.0ms	(cbrt.f64 (.f64 (-.f64 (.f64 c z) (*.f64 i a)) b))
123.0ms	(cbrt.f64 (.f64 (-.f64 (.f64 c z) (*.f64 i a)) b))
108.0ms	(cbrt.f64 (.f64 (-.f64 (.f64 c z) (*.f64 i a)) b))
53.0ms	(.f64 j (-.f64 (.f64 c t) (*.f64 i y)))

Compiler

Compiled 15810 to 7323 computations (53.7% saved)

simplify100.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

526×	`times-frac_binary64`
386×	`associate-/l*_binary64`
205×	`distribute-rgt-in_binary64`
200×	`distribute-rgt-neg-in_binary64`
194×	`distribute-lft-in_binary64`

Counts

150 → 134

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	221	3370
1	585	3268
2	1817	3193
3	5025	3193

prune140.0ms (0.9%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	133	1	134
Fresh	0	15	15
Picked	1	0	1
Done	0	0	0
Total	134	16	150

Error

5.3b

Counts

150 → 16

Alt Table

Status	Error	Program
▶	13.3b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 (.f64 (cbrt.f64 (.f64 j (-.f64 (.f64 c t) (.f64 y i)))) (cbrt.f64 (.f64 j (-.f64 (.f64 c t) (.f64 y i))))) (cbrt.f64 (.f64 j (-.f64 (.f64 c t) (*.f64 y i))))))
	19.4b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 (.f64 (cbrt.f64 (.f64 (-.f64 (.f64 c z) (.f64 i a)) b)) (cbrt.f64 (.f64 (-.f64 (.f64 c z) (.f64 i a)) b))) (cbrt.f64 (.f64 (-.f64 (.f64 c z) (.f64 i a)) b)))) (neg.f64 (.f64 j (.f64 y i))))
	13.3b	(+.f64 (-.f64 (+.f64 (.f64 y (.f64 z x)) (neg.f64 (.f64 a (.f64 t x)))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 j (-.f64 (.f64 c t) (.f64 i y))))
	38.8b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 (sqrt.f64 j) (.f64 (-.f64 (.f64 c t) (.f64 y i)) (sqrt.f64 j))))
	13.5b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (+.f64 (.f64 c (.f64 z b)) (neg.f64 (.f64 i (.f64 a b))))) (.f64 j (-.f64 (.f64 c t) (.f64 i y))))
	13.3b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 (.f64 (cbrt.f64 j) (cbrt.f64 j)) (.f64 (-.f64 (.f64 c t) (*.f64 y i)) (cbrt.f64 j))))
	38.0b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 (sqrt.f64 (.f64 (-.f64 (.f64 c z) (.f64 i a)) b)) (sqrt.f64 (.f64 (-.f64 (.f64 c z) (.f64 i a)) b)))) (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))
	26.3b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (/.f64 (.f64 j (-.f64 (.f64 (.f64 c t) (.f64 c t)) (.f64 (.f64 y i) (.f64 y i)))) (+.f64 (.f64 c t) (*.f64 i y))))
	19.4b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 j (.f64 c t)))
	13.3b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 (.f64 j (.f64 (cbrt.f64 (-.f64 (.f64 c t) (.f64 y i))) (cbrt.f64 (-.f64 (.f64 c t) (.f64 y i))))) (cbrt.f64 (-.f64 (.f64 c t) (*.f64 i y)))))
	13.4b	(+.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (.f64 (-.f64 (.f64 y z) (.f64 t a)) x)) (cbrt.f64 (.f64 (-.f64 (.f64 y z) (.f64 t a)) x))) (cbrt.f64 (.f64 (-.f64 (.f64 y z) (.f64 t a)) x))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))
	38.6b	(+.f64 (-.f64 (.f64 (sqrt.f64 x) (.f64 (-.f64 (.f64 y z) (.f64 t a)) (sqrt.f64 x))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 j (-.f64 (.f64 c t) (.f64 i y))))
	19.1b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (neg.f64 (.f64 j (.f64 y i))))
	39.0b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (/.f64 (.f64 j (-.f64 (pow.f64 (.f64 c t) 3) (pow.f64 (.f64 y i) 3))) (+.f64 (.f64 (.f64 c t) (.f64 c t)) (+.f64 (.f64 (.f64 i y) (.f64 i y)) (.f64 (.f64 c t) (.f64 i y))))))
	29.3b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (cbrt.f64 (pow.f64 (.f64 (-.f64 (.f64 c z) (.f64 i a)) b) 3))) (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))
	38.0b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 (.f64 j (sqrt.f64 (-.f64 (.f64 c t) (.f64 y i)))) (sqrt.f64 (-.f64 (.f64 c t) (.f64 i y)))))

Compiler

Compiled 6907 to 1613 computations (76.6% saved)

localize26.0ms (0.2%)

Local error

Found 4 expressions with local error:

5.7b	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))
6.8b	(.f64 j (-.f64 (.f64 c t) (*.f64 y i)))
6.8b	(.f64 j (-.f64 (.f64 c t) (*.f64 y i)))
6.8b	(.f64 j (-.f64 (.f64 c t) (*.f64 y i)))

rewrite197.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

5.3b

Rules

20×	`add-sqr-sqrt_binary64`
12×	`associate-r_binary64`
12×	`associate-l_binary64`
12×	`*-un-lft-identity_binary64`
12×	`add-cube-cbrt_binary64`

Counts

4 → 96

Calls

4 calls:

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

Compiler

Compiled 5385 to 450 computations (91.6% saved)

series270.0ms (1.8%)

Error

5.3b

Counts

4 → 108

Calls

4 calls:

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

Compiler

Compiled 11485 to 5105 computations (55.6% saved)

simplify126.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

608×	`unsub-neg_binary64`
402×	`neg-mul-1_binary64`
396×	`neg-sub0_binary64`
289×	`*-commutative_binary64`
246×	`distribute-rgt-in_binary64`

Counts

204 → 178

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	128	2968
1	314	2752
2	1012	2752
3	2117	2752
4	3979	2752
5	5216	2752

prune153.0ms (1%)

Pruning

16 alts after pruning (15 fresh and 1 done)

	Pruned	Kept	Total
New	177	1	178
Fresh	1	14	15
Picked	0	1	1
Done	0	0	0
Total	178	16	194

Error

5.3b

Counts

194 → 16

Alt Table

Status	Error	Program
✓	13.3b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 (.f64 (cbrt.f64 (.f64 j (-.f64 (.f64 c t) (.f64 y i)))) (cbrt.f64 (.f64 j (-.f64 (.f64 c t) (.f64 y i))))) (cbrt.f64 (.f64 j (-.f64 (.f64 c t) (*.f64 y i))))))
	19.4b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 (.f64 (cbrt.f64 (.f64 (-.f64 (.f64 c z) (.f64 i a)) b)) (cbrt.f64 (.f64 (-.f64 (.f64 c z) (.f64 i a)) b))) (cbrt.f64 (.f64 (-.f64 (.f64 c z) (.f64 i a)) b)))) (neg.f64 (.f64 j (.f64 y i))))
	13.3b	(+.f64 (-.f64 (+.f64 (.f64 y (.f64 z x)) (neg.f64 (.f64 a (.f64 t x)))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 j (-.f64 (.f64 c t) (.f64 i y))))
	38.8b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 (sqrt.f64 j) (.f64 (-.f64 (.f64 c t) (.f64 y i)) (sqrt.f64 j))))
	38.0b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 (sqrt.f64 (.f64 (-.f64 (.f64 c z) (.f64 i a)) b)) (sqrt.f64 (.f64 (-.f64 (.f64 c z) (.f64 i a)) b)))) (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))
	26.3b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (/.f64 (.f64 j (-.f64 (.f64 (.f64 c t) (.f64 c t)) (.f64 (.f64 y i) (.f64 y i)))) (+.f64 (.f64 c t) (*.f64 i y))))
	19.4b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 j (.f64 c t)))
▶	13.2b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 (.f64 (cbrt.f64 (.f64 j (-.f64 (.f64 c t) (.f64 y i)))) (cbrt.f64 (.f64 j (-.f64 (.f64 c t) (.f64 y i))))) (cbrt.f64 (.f64 (.f64 (cbrt.f64 j) (cbrt.f64 j)) (.f64 (-.f64 (.f64 c t) (*.f64 i y)) (cbrt.f64 j))))))
	19.1b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (neg.f64 (.f64 j (.f64 y i))))
	13.3b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 (.f64 j (.f64 (cbrt.f64 (-.f64 (.f64 c t) (.f64 y i))) (cbrt.f64 (-.f64 (.f64 c t) (.f64 y i))))) (cbrt.f64 (-.f64 (.f64 c t) (*.f64 i y)))))
	13.4b	(+.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (.f64 (-.f64 (.f64 y z) (.f64 t a)) x)) (cbrt.f64 (.f64 (-.f64 (.f64 y z) (.f64 t a)) x))) (cbrt.f64 (.f64 (-.f64 (.f64 y z) (.f64 t a)) x))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))
	13.5b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (+.f64 (.f64 c (.f64 z b)) (neg.f64 (.f64 i (.f64 a b))))) (.f64 j (-.f64 (.f64 c t) (.f64 i y))))
	38.6b	(+.f64 (-.f64 (.f64 (sqrt.f64 x) (.f64 (-.f64 (.f64 y z) (.f64 t a)) (sqrt.f64 x))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 j (-.f64 (.f64 c t) (.f64 i y))))
	39.0b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (/.f64 (.f64 j (-.f64 (pow.f64 (.f64 c t) 3) (pow.f64 (.f64 y i) 3))) (+.f64 (.f64 (.f64 c t) (.f64 c t)) (+.f64 (.f64 (.f64 i y) (.f64 i y)) (.f64 (.f64 c t) (.f64 i y))))))
	29.3b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (cbrt.f64 (pow.f64 (.f64 (-.f64 (.f64 c z) (.f64 i a)) b) 3))) (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))
	38.0b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 (.f64 j (sqrt.f64 (-.f64 (.f64 c t) (.f64 y i)))) (sqrt.f64 (-.f64 (.f64 c t) (.f64 i y)))))

Compiler

Compiled 5507 to 1155 computations (79% saved)

localize40.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

rewrite213.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

5.3b

Rules

20×	`add-sqr-sqrt_binary64`
12×	`associate-r_binary64`
12×	`associate-l_binary64`
12×	`*-un-lft-identity_binary64`
12×	`add-cube-cbrt_binary64`

Counts

4 → 96

Calls

4 calls:

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

Compiler

Compiled 6001 to 513 computations (91.5% saved)

series292.0ms (1.9%)

Error

5.3b

Counts

4 → 108

Calls

4 calls:

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

Compiler

Compiled 12942 to 6107 computations (52.8% saved)

simplify134.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

372×	`distribute-rgt-in_binary64`
363×	`distribute-lft-in_binary64`
299×	`exp-prod_binary64`
277×	`associate-l_binary64`
266×	`cancel-sign-sub-inv_binary64`

Counts

204 → 166

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	193	2968
1	455	2752
2	1481	2752
3	3483	2752
4	4836	2752
5	4994	2752

prune139.0ms (0.9%)

Pruning

16 alts after pruning (15 fresh and 1 done)

	Pruned	Kept	Total
New	165	1	166
Fresh	0	14	14
Picked	1	0	1
Done	0	1	1
Total	166	16	182

Error

5.3b

Counts

182 → 16

Alt Table

Status	Error	Program
	13.3b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 (.f64 (cbrt.f64 (.f64 j (-.f64 (.f64 c t) (.f64 y i)))) (cbrt.f64 (.f64 j (-.f64 (.f64 c t) (.f64 y i))))) (cbrt.f64 (.f64 j (-.f64 (.f64 c t) (*.f64 y i))))))
	19.4b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 (.f64 (cbrt.f64 (.f64 (-.f64 (.f64 c z) (.f64 i a)) b)) (cbrt.f64 (.f64 (-.f64 (.f64 c z) (.f64 i a)) b))) (cbrt.f64 (.f64 (-.f64 (.f64 c z) (.f64 i a)) b)))) (neg.f64 (.f64 j (.f64 y i))))
	13.3b	(+.f64 (-.f64 (+.f64 (.f64 y (.f64 z x)) (neg.f64 (.f64 a (.f64 t x)))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 j (-.f64 (.f64 c t) (.f64 i y))))
	38.8b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 (sqrt.f64 j) (.f64 (-.f64 (.f64 c t) (.f64 y i)) (sqrt.f64 j))))
	38.0b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 (sqrt.f64 (.f64 (-.f64 (.f64 c z) (.f64 i a)) b)) (sqrt.f64 (.f64 (-.f64 (.f64 c z) (.f64 i a)) b)))) (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))
	26.3b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (/.f64 (.f64 j (-.f64 (.f64 (.f64 c t) (.f64 c t)) (.f64 (.f64 y i) (.f64 y i)))) (+.f64 (.f64 c t) (*.f64 i y))))
	19.4b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 j (.f64 c t)))
	13.3b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 (.f64 j (.f64 (cbrt.f64 (-.f64 (.f64 c t) (.f64 y i))) (cbrt.f64 (-.f64 (.f64 c t) (.f64 y i))))) (cbrt.f64 (-.f64 (.f64 c t) (*.f64 i y)))))
	20.9b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (neg.f64 (.f64 i (.f64 a b)))) (.f64 (.f64 (cbrt.f64 (.f64 j (-.f64 (.f64 c t) (.f64 y i)))) (cbrt.f64 (.f64 j (-.f64 (.f64 c t) (.f64 y i))))) (cbrt.f64 (.f64 (.f64 (cbrt.f64 j) (cbrt.f64 j)) (.f64 (-.f64 (.f64 c t) (.f64 i y)) (cbrt.f64 j))))))
	13.4b	(+.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (.f64 (-.f64 (.f64 y z) (.f64 t a)) x)) (cbrt.f64 (.f64 (-.f64 (.f64 y z) (.f64 t a)) x))) (cbrt.f64 (.f64 (-.f64 (.f64 y z) (.f64 t a)) x))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))
	13.5b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (+.f64 (.f64 c (.f64 z b)) (neg.f64 (.f64 i (.f64 a b))))) (.f64 j (-.f64 (.f64 c t) (.f64 i y))))
	38.6b	(+.f64 (-.f64 (.f64 (sqrt.f64 x) (.f64 (-.f64 (.f64 y z) (.f64 t a)) (sqrt.f64 x))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 j (-.f64 (.f64 c t) (.f64 i y))))
	19.1b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (neg.f64 (.f64 j (.f64 y i))))
	39.0b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (/.f64 (.f64 j (-.f64 (pow.f64 (.f64 c t) 3) (pow.f64 (.f64 y i) 3))) (+.f64 (.f64 (.f64 c t) (.f64 c t)) (+.f64 (.f64 (.f64 i y) (.f64 i y)) (.f64 (.f64 c t) (.f64 i y))))))
	29.3b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (cbrt.f64 (pow.f64 (.f64 (-.f64 (.f64 c z) (.f64 i a)) b) 3))) (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))
	38.0b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 (.f64 j (sqrt.f64 (-.f64 (.f64 c t) (.f64 y i)))) (sqrt.f64 (-.f64 (.f64 c t) (.f64 i y)))))

Compiler

Compiled 4798 to 757 computations (84.2% saved)

regimes4.8s (31.2%)

Accuracy

Total 5.7b remaining (57.8%)

Threshold costs 0b (0%)

Compiler

Compiled 92756 to 48438 computations (47.8% saved)

bsearch93.0ms (0.6%)

Steps

Iters	Range		Point
1	9915738300655557000.0	3.5578387015922174e+21	1.9050836583000123e+20
7	-9.472304037960046e-52	-5.924685151256526e-54	-8.902045176972174e-52

Compiler

Compiled 10 to 9 computations (10% saved)

simplify30.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

168×	`distribute-rgt-neg-in_binary64`
141×	`cancel-sign-sub-inv_binary64`
114×	`distribute-lft-neg-in_binary64`
101×	`neg-sub0_binary64`
101×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	45	106
1	105	106
2	163	106
3	224	106
4	291	106
5	325	106
6	364	106
7	415	106
8	465	106
9	529	106
10	588	106
11	637	106
12	695	106
13	741	106
14	770	106
15	789	106
16	795	106
17	791	106

end1.0ms (0%)

Compiler: Compiled 80 to 42 computations (47.5% saved)

sample3.8s (24.6%)

Algorithm

1×

intervals

Results

1.3s	11225×	body	128	invalid
1.1s	8000×	body	128	valid

Compiler

Compiled 924 to 497 computations (46.2% saved)

Iter	Nodes	Cost
0	45	106
1	105	106
2	163	106
3	224	106
4	291	106
5	325	106
6	364	106
7	415	106
8	465	106
9	529	106
10	588	106
11	637	106
12	695	106
13	741	106
14	770	106
15	789	106
16	795	106
17	791	106

Iter	Nodes	Cost
0	45	106
1	105	106
2	163	106
3	224	106
4	291	106
5	325	106
6	364	106
7	415	106
8	465	106
9	529	106
10	588	106
11	637	106
12	695	106
13	741	106
14	770	106
15	789	106
16	795	106
17	791	106

Details

analyze2.6s (17.2%)

sample110.0ms (0.7%)

simplify699.0ms (4.6%)

prune2.0ms (0%)

localize19.0ms (0.1%)

rewrite151.0ms (1%)

series300.0ms (2%)

simplify128.0ms (0.8%)

prune83.0ms (0.5%)

localize29.0ms (0.2%)

rewrite155.0ms (1%)

series500.0ms (3.3%)

simplify100.0ms (0.7%)

prune140.0ms (0.9%)

localize26.0ms (0.2%)

rewrite197.0ms (1.3%)

series270.0ms (1.8%)

simplify126.0ms (0.8%)

prune153.0ms (1%)

localize40.0ms (0.3%)

rewrite213.0ms (1.4%)

series292.0ms (1.9%)

simplify134.0ms (0.9%)

prune139.0ms (0.9%)

regimes4.8s (31.2%)

bsearch93.0ms (0.6%)

simplify30.0ms (0.2%)

end1.0ms (0%)

sample3.8s (24.6%)

Profiling

Iter	Nodes	Cost
0	45	106
1	105	106
2	163	106
3	224	106
4	291	106
5	325	106
6	364	106
7	415	106
8	465	106
9	529	106
10	588	106
11	637	106
12	695	106
13	741	106
14	770	106
15	789	106
16	795	106
17	791	106