Details

analyze2.6s (19.7%)

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)

sample94.0ms (0.7%)

Algorithm

1×

intervals

Results

33.0ms	339×	body	128	invalid
26.0ms	256×	body	128	valid

Compiler

Compiled 86 to 56 computations (34.9% saved)

simplify700.0ms (5.3%)

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

11.0b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	11.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)

localize24.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.3b	(-.f64 (.f64 c t) (.f64 i y))
3.5b	(.f64 j (-.f64 (.f64 c t) (*.f64 i y)))
5.0b	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))
5.2b	(.f64 b (-.f64 (.f64 c z) (*.f64 i a)))

rewrite138.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

10.9b

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:

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

Compiler

Compiled 2974 to 403 computations (86.4% saved)

series215.0ms (1.6%)

Error

1.6b

Counts

4 → 105

Calls

4 calls:

52.0ms	(.f64 j (-.f64 (.f64 c t) (*.f64 i y)))
51.0ms	(.f64 b (-.f64 (.f64 c z) (*.f64 i a)))
49.0ms	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))
37.0ms	(-.f64 (.f64 c t) (.f64 i y))

Compiler

Compiled 6785 to 3857 computations (43.2% saved)

simplify126.0ms (0.9%)

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 → 129

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

prune68.0ms (0.5%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	114	15	129
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	115	15	130

Error

1.6b

Counts

130 → 15

Alt Table

Status	Error	Program
	31.1b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (cbrt.f64 (pow.f64 (.f64 j (-.f64 (.f64 c t) (*.f64 i y))) 3)))
	27.4b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (/.f64 (.f64 b (-.f64 (.f64 (.f64 c z) (.f64 c z)) (.f64 (.f64 a i) (.f64 a i)))) (+.f64 (.f64 c z) (.f64 i a)))) (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))
▶	11.3b	(+.f64 (-.f64 (.f64 (.f64 x (.f64 (cbrt.f64 (-.f64 (.f64 z y) (.f64 a t))) (cbrt.f64 (-.f64 (.f64 z y) (.f64 a t))))) (cbrt.f64 (-.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))))
	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 a i) 3))) (+.f64 (.f64 (.f64 c z) (.f64 c z)) (+.f64 (.f64 (.f64 i a) (.f64 i a)) (.f64 (.f64 c z) (.f64 i a)))))) (.f64 j (-.f64 (.f64 c t) (.f64 i y))))
	11.4b	(+.f64 (-.f64 (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (-.f64 (.f64 z y) (.f64 a t)) (cbrt.f64 x))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))
	38.3b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 (sqrt.f64 (.f64 (-.f64 (.f64 c z) (.f64 a i)) b)) (sqrt.f64 (.f64 (-.f64 (.f64 c z) (.f64 a i)) b)))) (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))
	27.3b	(+.f64 (-.f64 (/.f64 (.f64 x (-.f64 (.f64 (.f64 z y) (.f64 z y)) (.f64 (.f64 a t) (.f64 a t)))) (+.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))))
	11.3b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 (.f64 (cbrt.f64 (.f64 (-.f64 (.f64 c z) (.f64 a i)) b)) (cbrt.f64 (.f64 (-.f64 (.f64 c z) (.f64 a i)) b))) (cbrt.f64 (.f64 (-.f64 (.f64 c z) (.f64 a i)) b)))) (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))
	33.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 i y)) (sqrt.f64 j))))
	13.1b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (+.f64 (.f64 c (.f64 t j)) (neg.f64 (.f64 i (.f64 y j)))))
	11.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))))
	39.0b	(+.f64 (-.f64 (.f64 (sqrt.f64 x) (.f64 (-.f64 (.f64 z y) (.f64 a t)) (sqrt.f64 x))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 j (-.f64 (.f64 c t) (.f64 i y))))
	11.8b	(+.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))))
	36.0b	(+.f64 (-.f64 (.f64 (sqrt.f64 (.f64 (-.f64 (.f64 z y) (.f64 a t)) x)) (sqrt.f64 (.f64 (-.f64 (.f64 z y) (.f64 a t)) x))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))
	11.3b	(+.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (.f64 (-.f64 (.f64 z y) (.f64 a t)) x)) (cbrt.f64 (.f64 (-.f64 (.f64 z y) (.f64 a t)) x))) (cbrt.f64 (.f64 (-.f64 (.f64 z y) (.f64 a t)) x))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))

Compiler

Compiled 3166 to 1065 computations (66.4% saved)

localize30.0ms (0.2%)

Local error

Found 4 expressions with local error:

5.2b	(.f64 b (-.f64 (.f64 c z) (*.f64 i a)))
7.1b	(cbrt.f64 (-.f64 (.f64 y z) (.f64 t a)))
7.1b	(cbrt.f64 (-.f64 (.f64 z y) (.f64 a t)))
7.1b	(cbrt.f64 (-.f64 (.f64 z y) (.f64 a t)))

rewrite114.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

1.6b

Rules

11×	`add-sqr-sqrt_binary64`
9×	`*-un-lft-identity_binary64`
9×	`cbrt-prod_binary64`
9×	`add-cube-cbrt_binary64`
6×	`cbrt-div_binary64`

Counts

4 → 63

Calls

4 calls:

5.0ms	(.f64 b (-.f64 (.f64 c z) (*.f64 i a)))
5.0ms	(cbrt.f64 (-.f64 (.f64 z y) (.f64 a t)))
3.0ms	(cbrt.f64 (-.f64 (.f64 z y) (.f64 a t)))
2.0ms	(cbrt.f64 (-.f64 (.f64 y z) (.f64 t a)))

Compiler

Compiled 3557 to 419 computations (88.2% saved)

series488.0ms (3.7%)

Error

1.6b

Counts

4 → 93

Calls

4 calls:

136.0ms	(cbrt.f64 (-.f64 (.f64 z y) (.f64 a t)))
115.0ms	(cbrt.f64 (-.f64 (.f64 y z) (.f64 t a)))
104.0ms	(cbrt.f64 (-.f64 (.f64 z y) (.f64 a t)))
56.0ms	(.f64 b (-.f64 (.f64 c z) (*.f64 i a)))

Compiler

Compiled 14623 to 7610 computations (48% saved)

simplify151.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

693×	`times-frac_binary64`
259×	`distribute-rgt-neg-in_binary64`
248×	`distribute-lft-neg-in_binary64`
209×	`associate-r_binary64`
202×	`cancel-sign-sub-inv_binary64`

Counts

156 → 138

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	237	3499
1	592	3373
2	1940	3301
3	4790	3229
4	4972	3229

prune161.0ms (1.2%)

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	138	0	138
Fresh	0	14	14
Picked	0	1	1
Done	0	0	0
Total	138	15	153

Error

1.6b

Counts

153 → 15

Alt Table

Status	Error	Program
	31.1b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (cbrt.f64 (pow.f64 (.f64 j (-.f64 (.f64 c t) (*.f64 i y))) 3)))
	27.4b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (/.f64 (.f64 b (-.f64 (.f64 (.f64 c z) (.f64 c z)) (.f64 (.f64 a i) (.f64 a i)))) (+.f64 (.f64 c z) (.f64 i a)))) (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))
✓	11.3b	(+.f64 (-.f64 (.f64 (.f64 x (.f64 (cbrt.f64 (-.f64 (.f64 z y) (.f64 a t))) (cbrt.f64 (-.f64 (.f64 z y) (.f64 a t))))) (cbrt.f64 (-.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))))
	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 a i) 3))) (+.f64 (.f64 (.f64 c z) (.f64 c z)) (+.f64 (.f64 (.f64 i a) (.f64 i a)) (.f64 (.f64 c z) (.f64 i a)))))) (.f64 j (-.f64 (.f64 c t) (.f64 i y))))
	11.4b	(+.f64 (-.f64 (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (-.f64 (.f64 z y) (.f64 a t)) (cbrt.f64 x))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))
	38.3b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 (sqrt.f64 (.f64 (-.f64 (.f64 c z) (.f64 a i)) b)) (sqrt.f64 (.f64 (-.f64 (.f64 c z) (.f64 a i)) b)))) (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))
	27.3b	(+.f64 (-.f64 (/.f64 (.f64 x (-.f64 (.f64 (.f64 z y) (.f64 z y)) (.f64 (.f64 a t) (.f64 a t)))) (+.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))))
	11.3b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 (.f64 (cbrt.f64 (.f64 (-.f64 (.f64 c z) (.f64 a i)) b)) (cbrt.f64 (.f64 (-.f64 (.f64 c z) (.f64 a i)) b))) (cbrt.f64 (.f64 (-.f64 (.f64 c z) (.f64 a i)) b)))) (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))
	33.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 i y)) (sqrt.f64 j))))
	13.1b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (+.f64 (.f64 c (.f64 t j)) (neg.f64 (.f64 i (.f64 y j)))))
	11.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))))
	39.0b	(+.f64 (-.f64 (.f64 (sqrt.f64 x) (.f64 (-.f64 (.f64 z y) (.f64 a t)) (sqrt.f64 x))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 j (-.f64 (.f64 c t) (.f64 i y))))
	11.8b	(+.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))))
	36.0b	(+.f64 (-.f64 (.f64 (sqrt.f64 (.f64 (-.f64 (.f64 z y) (.f64 a t)) x)) (sqrt.f64 (.f64 (-.f64 (.f64 z y) (.f64 a t)) x))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))
▶	11.3b	(+.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (.f64 (-.f64 (.f64 z y) (.f64 a t)) x)) (cbrt.f64 (.f64 (-.f64 (.f64 z y) (.f64 a t)) x))) (cbrt.f64 (.f64 (-.f64 (.f64 z y) (.f64 a t)) x))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))

Compiler

Compiled 7171 to 1840 computations (74.3% saved)

localize29.0ms (0.2%)

Local error

Found 4 expressions with local error:

5.2b	(.f64 b (-.f64 (.f64 c z) (*.f64 i a)))
7.0b	(cbrt.f64 (.f64 (-.f64 (.f64 z y) (*.f64 a t)) x))
7.0b	(cbrt.f64 (.f64 (-.f64 (.f64 z y) (*.f64 a t)) x))
7.0b	(cbrt.f64 (.f64 (-.f64 (.f64 z y) (*.f64 a t)) x))

rewrite181.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

1.6b

Rules

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

Counts

4 → 57

Calls

4 calls:

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

Compiler

Compiled 3420 to 331 computations (90.3% saved)

series495.0ms (3.7%)

Error

1.6b

Counts

4 → 93

Calls

4 calls:

116.0ms	(cbrt.f64 (.f64 (-.f64 (.f64 z y) (*.f64 a t)) x))
108.0ms	(cbrt.f64 (.f64 (-.f64 (.f64 z y) (*.f64 a t)) x))
105.0ms	(cbrt.f64 (.f64 (-.f64 (.f64 z y) (*.f64 a t)) x))
52.0ms	(.f64 b (-.f64 (.f64 c z) (*.f64 i a)))

Compiler

Compiled 15894 to 7401 computations (53.4% saved)

simplify93.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

466×	`associate-/l*_binary64`
442×	`times-frac_binary64`
216×	`distribute-rgt-neg-in_binary64`
209×	`distribute-lft-neg-in_binary64`
200×	`distribute-rgt-in_binary64`

Counts

150 → 132

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	219	3502
1	593	3376
2	1900	3289
3	5058	3289

prune135.0ms (1%)

Pruning

15 alts after pruning (13 fresh and 2 done)

	Pruned	Kept	Total
New	132	0	132
Fresh	0	13	13
Picked	0	1	1
Done	0	1	1
Total	132	15	147

Error

1.6b

Counts

147 → 15

Alt Table

Status	Error	Program
	31.1b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (cbrt.f64 (pow.f64 (.f64 j (-.f64 (.f64 c t) (*.f64 i y))) 3)))
	27.4b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (/.f64 (.f64 b (-.f64 (.f64 (.f64 c z) (.f64 c z)) (.f64 (.f64 a i) (.f64 a i)))) (+.f64 (.f64 c z) (.f64 i a)))) (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))
✓	11.3b	(+.f64 (-.f64 (.f64 (.f64 x (.f64 (cbrt.f64 (-.f64 (.f64 z y) (.f64 a t))) (cbrt.f64 (-.f64 (.f64 z y) (.f64 a t))))) (cbrt.f64 (-.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))))
	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 a i) 3))) (+.f64 (.f64 (.f64 c z) (.f64 c z)) (+.f64 (.f64 (.f64 i a) (.f64 i a)) (.f64 (.f64 c z) (.f64 i a)))))) (.f64 j (-.f64 (.f64 c t) (.f64 i y))))
	11.4b	(+.f64 (-.f64 (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (-.f64 (.f64 z y) (.f64 a t)) (cbrt.f64 x))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))
	38.3b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 (sqrt.f64 (.f64 (-.f64 (.f64 c z) (.f64 a i)) b)) (sqrt.f64 (.f64 (-.f64 (.f64 c z) (.f64 a i)) b)))) (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))
	27.3b	(+.f64 (-.f64 (/.f64 (.f64 x (-.f64 (.f64 (.f64 z y) (.f64 z y)) (.f64 (.f64 a t) (.f64 a t)))) (+.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))))
▶	11.3b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 (.f64 (cbrt.f64 (.f64 (-.f64 (.f64 c z) (.f64 a i)) b)) (cbrt.f64 (.f64 (-.f64 (.f64 c z) (.f64 a i)) b))) (cbrt.f64 (.f64 (-.f64 (.f64 c z) (.f64 a i)) b)))) (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))
	33.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 i y)) (sqrt.f64 j))))
	13.1b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (+.f64 (.f64 c (.f64 t j)) (neg.f64 (.f64 i (.f64 y j)))))
	11.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))))
	39.0b	(+.f64 (-.f64 (.f64 (sqrt.f64 x) (.f64 (-.f64 (.f64 z y) (.f64 a t)) (sqrt.f64 x))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 j (-.f64 (.f64 c t) (.f64 i y))))
	11.8b	(+.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))))
	36.0b	(+.f64 (-.f64 (.f64 (sqrt.f64 (.f64 (-.f64 (.f64 z y) (.f64 a t)) x)) (sqrt.f64 (.f64 (-.f64 (.f64 z y) (.f64 a t)) x))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))
✓	11.3b	(+.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (.f64 (-.f64 (.f64 z y) (.f64 a t)) x)) (cbrt.f64 (.f64 (-.f64 (.f64 z y) (.f64 a t)) x))) (cbrt.f64 (.f64 (-.f64 (.f64 z y) (.f64 a t)) x))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))

Compiler

Compiled 7083 to 1573 computations (77.8% saved)

localize27.0ms (0.2%)

Local error

Found 4 expressions with local error:

5.2b	(.f64 (-.f64 (.f64 c z) (*.f64 a i)) b)
5.5b	(cbrt.f64 (.f64 (-.f64 (.f64 c z) (*.f64 a i)) b))
5.5b	(cbrt.f64 (.f64 (-.f64 (.f64 c z) (*.f64 a i)) b))
5.5b	(cbrt.f64 (.f64 (-.f64 (.f64 c z) (*.f64 a i)) b))

rewrite108.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

1.6b

Rules

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

Counts

4 → 53

Calls

4 calls:

5.0ms	(cbrt.f64 (.f64 (-.f64 (.f64 c z) (*.f64 a i)) b))
5.0ms	(.f64 (-.f64 (.f64 c z) (*.f64 a i)) b)
4.0ms	(cbrt.f64 (.f64 (-.f64 (.f64 c z) (*.f64 a i)) b))
4.0ms	(cbrt.f64 (.f64 (-.f64 (.f64 c z) (*.f64 a i)) b))

Compiler

Compiled 3125 to 346 computations (88.9% saved)

series538.0ms (4%)

Error

1.6b

Counts

4 → 96

Calls

4 calls:

132.0ms	(cbrt.f64 (.f64 (-.f64 (.f64 c z) (*.f64 a i)) b))
125.0ms	(cbrt.f64 (.f64 (-.f64 (.f64 c z) (*.f64 a i)) b))
125.0ms	(cbrt.f64 (.f64 (-.f64 (.f64 c z) (*.f64 a i)) b))
60.0ms	(.f64 (-.f64 (.f64 c z) (*.f64 a i)) b)

Compiler

Compiled 16734 to 8008 computations (52.1% saved)

simplify90.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

540×	`associate-/l*_binary64`
502×	`times-frac_binary64`
211×	`associate-/r/_binary64`
187×	`distribute-lft-neg-in_binary64`
183×	`distribute-rgt-neg-in_binary64`

Counts

149 → 137

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	189	3656
1	526	3442
2	1746	3360
3	5001	3360

prune147.0ms (1.1%)

Pruning

16 alts after pruning (13 fresh and 3 done)

	Pruned	Kept	Total
New	135	2	137
Fresh	1	11	12
Picked	0	1	1
Done	0	2	2
Total	136	16	152

Error

1.6b

Counts

152 → 16

Alt Table

Status	Error	Program
	31.1b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (cbrt.f64 (pow.f64 (.f64 j (-.f64 (.f64 c t) (*.f64 i y))) 3)))
	27.4b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (/.f64 (.f64 b (-.f64 (.f64 (.f64 c z) (.f64 c z)) (.f64 (.f64 a i) (.f64 a i)))) (+.f64 (.f64 c z) (.f64 i a)))) (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))
	11.3b	(+.f64 (-.f64 (.f64 (.f64 x (.f64 (cbrt.f64 (-.f64 (.f64 z y) (.f64 a t))) (cbrt.f64 (-.f64 (.f64 z y) (.f64 a t))))) (cbrt.f64 (-.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))))
	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 a i) 3))) (+.f64 (.f64 (.f64 c z) (.f64 c z)) (+.f64 (.f64 (.f64 i a) (.f64 i a)) (.f64 (.f64 c z) (.f64 i a)))))) (.f64 j (-.f64 (.f64 c t) (.f64 i y))))
	27.3b	(+.f64 (-.f64 (/.f64 (.f64 x (-.f64 (.f64 (.f64 z y) (.f64 z y)) (.f64 (.f64 a t) (.f64 a t)))) (+.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))))
	11.3b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 (.f64 (cbrt.f64 (.f64 (-.f64 (.f64 c z) (.f64 a i)) b)) (cbrt.f64 (.f64 (-.f64 (.f64 c z) (.f64 a i)) b))) (cbrt.f64 (.f64 (-.f64 (.f64 c z) (.f64 a i)) b)))) (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))
	27.5b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 (.f64 (/.f64 (cbrt.f64 (.f64 b (-.f64 (.f64 (.f64 z c) (.f64 z c)) (.f64 (.f64 a i) (.f64 a i))))) (cbrt.f64 (+.f64 (.f64 a i) (.f64 z c)))) (cbrt.f64 (.f64 (-.f64 (.f64 c z) (.f64 a i)) b))) (cbrt.f64 (.f64 (-.f64 (.f64 c z) (.f64 a i)) b)))) (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))
	33.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 i y)) (sqrt.f64 j))))
	13.1b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (+.f64 (.f64 c (.f64 t j)) (neg.f64 (.f64 i (.f64 y j)))))
	11.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))))
	39.0b	(+.f64 (-.f64 (.f64 (sqrt.f64 x) (.f64 (-.f64 (.f64 z y) (.f64 a t)) (sqrt.f64 x))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 j (-.f64 (.f64 c t) (.f64 i y))))
	11.4b	(+.f64 (-.f64 (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (-.f64 (.f64 z y) (.f64 a t)) (cbrt.f64 x))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))
	11.8b	(+.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))))
	36.0b	(+.f64 (-.f64 (.f64 (sqrt.f64 (.f64 (-.f64 (.f64 z y) (.f64 a t)) x)) (sqrt.f64 (.f64 (-.f64 (.f64 z y) (.f64 a t)) x))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))
	11.3b	(+.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (.f64 (-.f64 (.f64 z y) (.f64 a t)) x)) (cbrt.f64 (.f64 (-.f64 (.f64 z y) (.f64 a t)) x))) (cbrt.f64 (.f64 (-.f64 (.f64 z y) (.f64 a t)) x))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))
	11.2b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 (.f64 (cbrt.f64 (.f64 (-.f64 (.f64 c z) (.f64 a i)) b)) (cbrt.f64 (.f64 (-.f64 (.f64 c z) (.f64 a i)) b))) (.f64 (cbrt.f64 (-.f64 (.f64 z c) (.f64 a i))) (cbrt.f64 b)))) (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))

Compiler

Compiled 6449 to 1331 computations (79.4% saved)

regimes2.8s (21.3%)

Accuracy

Total 8.2b remaining (81.6%)

Threshold costs 0b (0%)

Compiler

Compiled 55706 to 30498 computations (45.3% saved)

bsearch299.0ms (2.2%)

Steps

Iters	Range		Point
3	1.9852414256176914e-30	6.953949134023551e-27	3.3208510332183618e-28
8	-5.407223548023903e-262	-1.167862892434681e-265	-6.33574339428983e-263

Compiler

Compiled 10 to 9 computations (10% saved)

simplify37.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

193×	`distribute-rgt-neg-in_binary64`
174×	`cancel-sign-sub-inv_binary64`
127×	`distribute-lft-neg-in_binary64`
113×	`neg-sub0_binary64`
113×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	50	150
1	116	150
2	185	150
3	269	150
4	349	150
5	398	150
6	447	150
7	493	150
8	543	150
9	620	150
10	687	150
11	761	150
12	830	150
13	876	150
14	904	150
15	912	150
16	908	150

end1.0ms (0%)

Compiler: Compiled 110 to 46 computations (58.2% saved)

sample3.4s (25.2%)

Algorithm

1×

intervals

Results

1.1s	10939×	body	128	invalid
803.0ms	8000×	body	128	valid

Compiler

Compiled 994 to 520 computations (47.7% saved)

Iter	Nodes	Cost
0	50	150
1	116	150
2	185	150
3	269	150
4	349	150
5	398	150
6	447	150
7	493	150
8	543	150
9	620	150
10	687	150
11	761	150
12	830	150
13	876	150
14	904	150
15	912	150
16	908	150

Iter	Nodes	Cost
0	50	150
1	116	150
2	185	150
3	269	150
4	349	150
5	398	150
6	447	150
7	493	150
8	543	150
9	620	150
10	687	150
11	761	150
12	830	150
13	876	150
14	904	150
15	912	150
16	908	150

Details

analyze2.6s (19.7%)

sample94.0ms (0.7%)

simplify700.0ms (5.3%)

prune2.0ms (0%)

localize24.0ms (0.2%)

rewrite138.0ms (1%)

series215.0ms (1.6%)

simplify126.0ms (0.9%)

prune68.0ms (0.5%)

localize30.0ms (0.2%)

rewrite114.0ms (0.9%)

series488.0ms (3.7%)

simplify151.0ms (1.1%)

prune161.0ms (1.2%)

localize29.0ms (0.2%)

rewrite181.0ms (1.4%)

series495.0ms (3.7%)

simplify93.0ms (0.7%)

prune135.0ms (1%)

localize27.0ms (0.2%)

rewrite108.0ms (0.8%)

series538.0ms (4%)

simplify90.0ms (0.7%)

prune147.0ms (1.1%)

regimes2.8s (21.3%)

bsearch299.0ms (2.2%)

simplify37.0ms (0.3%)

end1.0ms (0%)

sample3.4s (25.2%)

Profiling

Iter	Nodes	Cost
0	50	150
1	116	150
2	185	150
3	269	150
4	349	150
5	398	150
6	447	150
7	493	150
8	543	150
9	620	150
10	687	150
11	761	150
12	830	150
13	876	150
14	904	150
15	912	150
16	908	150