Details

analyze2.8s (20.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)

sample4.3s (31%)

Results

2.4s	11391×	body	128	invalid
1.8s	8256×	body	128	valid

Compiler

Compiled 116 to 71 computations (38.8% saved)

simplify319.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

800×	`unsub-neg_binary64`
655×	`sub-neg_binary64`
486×	`fma-neg_binary64`
421×	`distribute-neg-in_binary64`
393×	`+-commutative_binary64`

Counts

1 → 2

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	24	43
1	59	41
2	139	41
3	438	39
4	1302	39
5	2978	39
6	3433	39
7	3900	39
8	4058	39
9	3988	39
10	4033	39
11	4029	39
12	4393	39
13	4600	39
14	4665	39
15	4670	39
16	4670	39
17	4672	39
18	4674	39
19	4674	39
20	4934	39
21	4931	39

prune4.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

11.7b

Counts

3 → 2

Alt Table

Status	Error	Program
	11.7b	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (*.f64 y i)))))
▶	11.7b	(+.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))))

Status

Error

Program

11.7b

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

▶

11.7b

(+.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 213 to 118 computations (44.6% saved)

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(-.f64 (.f64 c z) (.f64 t i))
✓	4.4b	(.f64 b (-.f64 (.f64 c z) (*.f64 t i)))
✓	5.0b	(.f64 j (-.f64 (.f64 c a) (*.f64 y i)))
✓	5.4b	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))

series72.0ms (0.5%)

Counts

4 → 220

Calls

4 calls:

22.0ms	(.f64 b (-.f64 (.f64 c z) (*.f64 t i)))
21.0ms	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))
20.0ms	(.f64 j (-.f64 (.f64 c a) (*.f64 y i)))
10.0ms	(-.f64 (.f64 c z) (.f64 t i))

rewrite23.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

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

Calls

4 calls:

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

simplify133.0ms (1%)

Algorithm

1×	egg-herbie

Rules

445×	`fma-def_binary64`
383×	`distribute-rgt-in_binary64`
375×	`distribute-lft-in_binary64`
295×	`associate-l_binary64`
278×	`fma-neg_binary64`

Counts

320 → 189

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	227	4335
1	502	4127
2	1697	4085
3	4191	4085
4	4949	4085

prune324.0ms (2.3%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	173	16	189
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	174	17	191

Error

1.6b

Counts

191 → 17

Alt Table

Status	Error	Program
▶	11.5b	(+.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)) (.f64 i (.f64 y j))))
	11.7b	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (*.f64 y i)))))
	24.6b	(+.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 a c) (.f64 y i)) (fma.f64 y i (.f64 a c)))) (+.f64 (.f64 c a) (*.f64 y i))))
	29.6b	(+.f64 (-.f64 (cbrt.f64 (.f64 (.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 x (-.f64 (.f64 y z) (.f64 t a)))) (.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))))
	36.9b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (/.f64 (.f64 j (-.f64 (pow.f64 (.f64 c a) 3) (pow.f64 (.f64 y i) 3))) (+.f64 (.f64 (.f64 c a) (.f64 c a)) (+.f64 (.f64 (.f64 y i) (.f64 y i)) (.f64 (.f64 c a) (.f64 y i))))))
	13.0b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (-.f64 (.f64 c (.f64 z b)) (.f64 i (.f64 t b)))) (.f64 j (-.f64 (.f64 c a) (.f64 y i))))
	12.4b	(+.f64 (-.f64 (-.f64 (.f64 y (.f64 z x)) (.f64 a (.f64 t x))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 j (-.f64 (.f64 c a) (.f64 y i))))
	34.9b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 (sqrt.f64 (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (sqrt.f64 (.f64 b (-.f64 (.f64 c z) (.f64 t i)))))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
	12.0b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 (.f64 (cbrt.f64 (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (cbrt.f64 (.f64 b (-.f64 (.f64 c z) (.f64 t i))))) (cbrt.f64 (.f64 b (-.f64 (.f64 c z) (.f64 t i)))))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
	23.4b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (/.f64 (.f64 (-.f64 (.f64 z c) (.f64 t i)) (fma.f64 z c (.f64 t i))) (fma.f64 z c (.f64 t i))))) (.f64 j (-.f64 (.f64 c a) (.f64 y i))))
	40.4b	(+.f64 (-.f64 (/.f64 (.f64 x (-.f64 (pow.f64 (.f64 y z) 3) (pow.f64 (.f64 t a) 3))) (+.f64 (.f64 (.f64 y z) (.f64 y z)) (+.f64 (.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))))
	11.7b	(+.f64 (-.f64 (+.f64 (.f64 (.f64 y z) x) (.f64 (neg.f64 (.f64 t a)) x)) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 j (-.f64 (.f64 c a) (.f64 y i))))
	11.7b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (fma.f64 c z (neg.f64 (.f64 t i))))) (.f64 j (-.f64 (.f64 c a) (.f64 y i))))
	12.0b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 (.f64 (cbrt.f64 b) (cbrt.f64 b)) (.f64 (cbrt.f64 b) (-.f64 (.f64 c z) (.f64 t i))))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
	25.4b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (/.f64 (.f64 b (.f64 (-.f64 (.f64 z c) (.f64 t i)) (fma.f64 z c (.f64 t i)))) (+.f64 (.f64 c z) (.f64 t i)))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
	12.0b	(+.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 y i)))) (cbrt.f64 (.f64 j (-.f64 (.f64 c a) (.f64 y i))))) (cbrt.f64 (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))))
	12.1b	(+.f64 (-.f64 (.f64 (.f64 x (.f64 (cbrt.f64 (-.f64 (.f64 y z) (.f64 t a))) (cbrt.f64 (-.f64 (.f64 y z) (.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))))

Compiler

Compiled 8493 to 1771 computations (79.1% saved)

localize23.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	4.0b	(.f64 c (.f64 a j))
	4.4b	(.f64 b (-.f64 (.f64 c z) (*.f64 t i)))
✓	4.6b	(.f64 i (.f64 y j))
	5.4b	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))

series17.0ms (0.1%)

Counts

2 → 16

Calls

2 calls:

9.0ms	(.f64 c (.f64 a j))
8.0ms	(.f64 i (.f64 y j))

rewrite9.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`add-cbrt-cube_binary64`
12×	`add-exp-log_binary64`
12×	`pow1_binary64`
6×	`associate-l_binary64`
6×	`cbrt-unprod_binary64`

Counts

2 → 40

Calls

2 calls:

4.0ms	(.f64 c (.f64 a j))
3.0ms	(.f64 i (.f64 y j))

simplify71.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

506×	`unswap-sqr_binary64`
429×	`associate-/l/_binary64`
408×	`*-commutative_binary64`
372×	`log-div_binary64`
341×	`times-frac_binary64`

Counts

56 → 58

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	73	550
1	172	460
2	571	460
3	798	460
4	1016	460
5	1349	460
6	1826	460
7	2742	460
8	4216	460
9	4968	460

prune333.0ms (2.4%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	155	6	161
Fresh	5	11	16
Picked	1	0	1
Done	0	0	0
Total	161	17	178

Error

1.1b

Counts

178 → 17

Alt Table

Status	Error	Program
	11.7b	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (*.f64 y i)))))
	27.6b	(+.f64 (-.f64 (cbrt.f64 (pow.f64 (.f64 (-.f64 (.f64 y z) (.f64 a t)) x) 3)) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (-.f64 (.f64 c (.f64 a j)) (.f64 i (.f64 y j))))
	24.6b	(+.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 a c) (.f64 y i)) (fma.f64 y i (.f64 a c)))) (+.f64 (.f64 c a) (*.f64 y i))))
	11.7b	(+.f64 (-.f64 (-.f64 (.f64 y (.f64 z x)) (.f64 a (.f64 t x))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (-.f64 (.f64 c (.f64 a j)) (.f64 i (*.f64 y j))))
	12.0b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 (.f64 (cbrt.f64 b) (cbrt.f64 b)) (.f64 (cbrt.f64 b) (-.f64 (.f64 c z) (.f64 t i))))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
	11.7b	(+.f64 (-.f64 (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (-.f64 (.f64 y z) (.f64 a t)) (cbrt.f64 x))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (-.f64 (.f64 c (.f64 a j)) (.f64 i (.f64 y j))))
	12.1b	(+.f64 (-.f64 (.f64 (.f64 x (.f64 (cbrt.f64 (-.f64 (.f64 y z) (.f64 t a))) (cbrt.f64 (-.f64 (.f64 y z) (.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))))
	12.4b	(+.f64 (-.f64 (-.f64 (.f64 y (.f64 z x)) (.f64 a (.f64 t x))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 j (-.f64 (.f64 c a) (.f64 y i))))
	41.1b	(+.f64 (-.f64 (.f64 (sqrt.f64 x) (.f64 (-.f64 (.f64 y z) (.f64 a t)) (sqrt.f64 x))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (-.f64 (.f64 c (.f64 a j)) (.f64 i (*.f64 y j))))
	34.9b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 (sqrt.f64 (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (sqrt.f64 (.f64 b (-.f64 (.f64 c z) (.f64 t i)))))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
	12.0b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 (.f64 (cbrt.f64 (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (cbrt.f64 (.f64 b (-.f64 (.f64 c z) (.f64 t i))))) (cbrt.f64 (.f64 b (-.f64 (.f64 c z) (.f64 t i)))))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
	23.4b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (/.f64 (.f64 (-.f64 (.f64 z c) (.f64 t i)) (fma.f64 z c (.f64 t i))) (fma.f64 z c (.f64 t i))))) (.f64 j (-.f64 (.f64 c a) (.f64 y i))))
	11.7b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (-.f64 (.f64 c (.f64 b z)) (.f64 i (.f64 t b)))) (-.f64 (.f64 c (.f64 a j)) (.f64 i (*.f64 y j))))
▶	11.2b	(+.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)) (pow.f64 (.f64 y (.f64 i j)) 1)))
	11.7b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (fma.f64 c z (neg.f64 (.f64 t i))))) (.f64 j (-.f64 (.f64 c a) (.f64 y i))))
	36.9b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (/.f64 (.f64 j (-.f64 (pow.f64 (.f64 c a) 3) (pow.f64 (.f64 y i) 3))) (+.f64 (.f64 (.f64 c a) (.f64 c a)) (+.f64 (.f64 (.f64 y i) (.f64 y i)) (.f64 (.f64 c a) (.f64 y i))))))
	25.4b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (/.f64 (.f64 b (.f64 (-.f64 (.f64 z c) (.f64 t i)) (fma.f64 z c (.f64 t i)))) (+.f64 (.f64 c z) (.f64 t i)))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))

Compiler

Compiled 7644 to 1682 computations (78% saved)

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	4.0b	(.f64 c (.f64 a j))
	4.4b	(.f64 b (-.f64 (.f64 c z) (*.f64 t i)))
	5.4b	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))
✓	6.1b	(.f64 y (.f64 i j))

series14.0ms (0.1%)

Counts

1 → 16

Calls

1 calls:

14.0ms

(*.f64 y (*.f64 i j))

rewrite5.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`add-cbrt-cube_binary64`
6×	`add-exp-log_binary64`
6×	`pow1_binary64`
3×	`associate-l_binary64`
3×	`cbrt-unprod_binary64`

Counts

1 → 20

Calls

1 calls:

4.0ms

(*.f64 y (*.f64 i j))

simplify78.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

621×	`log-div_binary64`
557×	`associate-/l*_binary64`
486×	`associate-l_binary64`
378×	`*-commutative_binary64`
369×	`cube-div_binary64`

Counts

36 → 30

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	40	331
1	91	286
2	305	286
3	862	286
4	1072	286
5	1298	286
6	1596	286
7	2151	286
8	3255	286
9	4791	286
10	5075	286

prune338.0ms (2.4%)

Pruning

17 alts after pruning (16 fresh and 1 done)

	Pruned	Kept	Total
New	161	0	161
Fresh	0	16	16
Picked	0	1	1
Done	0	0	0
Total	161	17	178

Error

1.1b

Counts

178 → 17

Alt Table

Status	Error	Program
	11.7b	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (*.f64 y i)))))
	27.6b	(+.f64 (-.f64 (cbrt.f64 (pow.f64 (.f64 (-.f64 (.f64 y z) (.f64 a t)) x) 3)) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (-.f64 (.f64 c (.f64 a j)) (.f64 i (.f64 y j))))
	24.6b	(+.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 a c) (.f64 y i)) (fma.f64 y i (.f64 a c)))) (+.f64 (.f64 c a) (*.f64 y i))))
▶	11.7b	(+.f64 (-.f64 (-.f64 (.f64 y (.f64 z x)) (.f64 a (.f64 t x))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (-.f64 (.f64 c (.f64 a j)) (.f64 i (*.f64 y j))))
	12.0b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 (.f64 (cbrt.f64 b) (cbrt.f64 b)) (.f64 (cbrt.f64 b) (-.f64 (.f64 c z) (.f64 t i))))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
	11.7b	(+.f64 (-.f64 (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (-.f64 (.f64 y z) (.f64 a t)) (cbrt.f64 x))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (-.f64 (.f64 c (.f64 a j)) (.f64 i (.f64 y j))))
	12.1b	(+.f64 (-.f64 (.f64 (.f64 x (.f64 (cbrt.f64 (-.f64 (.f64 y z) (.f64 t a))) (cbrt.f64 (-.f64 (.f64 y z) (.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))))
	12.4b	(+.f64 (-.f64 (-.f64 (.f64 y (.f64 z x)) (.f64 a (.f64 t x))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 j (-.f64 (.f64 c a) (.f64 y i))))
	41.1b	(+.f64 (-.f64 (.f64 (sqrt.f64 x) (.f64 (-.f64 (.f64 y z) (.f64 a t)) (sqrt.f64 x))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (-.f64 (.f64 c (.f64 a j)) (.f64 i (*.f64 y j))))
	34.9b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 (sqrt.f64 (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (sqrt.f64 (.f64 b (-.f64 (.f64 c z) (.f64 t i)))))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
	12.0b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 (.f64 (cbrt.f64 (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (cbrt.f64 (.f64 b (-.f64 (.f64 c z) (.f64 t i))))) (cbrt.f64 (.f64 b (-.f64 (.f64 c z) (.f64 t i)))))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
	23.4b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (/.f64 (.f64 (-.f64 (.f64 z c) (.f64 t i)) (fma.f64 z c (.f64 t i))) (fma.f64 z c (.f64 t i))))) (.f64 j (-.f64 (.f64 c a) (.f64 y i))))
	11.7b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (-.f64 (.f64 c (.f64 b z)) (.f64 i (.f64 t b)))) (-.f64 (.f64 c (.f64 a j)) (.f64 i (*.f64 y j))))
✓	11.2b	(+.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)) (pow.f64 (.f64 y (.f64 i j)) 1)))
	11.7b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (fma.f64 c z (neg.f64 (.f64 t i))))) (.f64 j (-.f64 (.f64 c a) (.f64 y i))))
	36.9b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (/.f64 (.f64 j (-.f64 (pow.f64 (.f64 c a) 3) (pow.f64 (.f64 y i) 3))) (+.f64 (.f64 (.f64 c a) (.f64 c a)) (+.f64 (.f64 (.f64 y i) (.f64 y i)) (.f64 (.f64 c a) (.f64 y i))))))
	25.4b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (/.f64 (.f64 b (.f64 (-.f64 (.f64 z c) (.f64 t i)) (fma.f64 z c (.f64 t i)))) (+.f64 (.f64 c z) (.f64 t i)))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))

Compiler

Compiled 7924 to 2081 computations (73.7% saved)

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	4.4b	(.f64 b (-.f64 (.f64 c z) (*.f64 t i)))
	4.6b	(.f64 i (.f64 y j))
✓	4.6b	(.f64 a (.f64 t x))
✓	4.7b	(.f64 y (.f64 z x))

series21.0ms (0.2%)

Counts

2 → 0

Calls

2 calls:

12.0ms	(.f64 a (.f64 t x))
9.0ms	(.f64 y (.f64 z x))

rewrite9.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`add-cbrt-cube_binary64`
12×	`add-exp-log_binary64`
12×	`pow1_binary64`
6×	`associate-l_binary64`
6×	`cbrt-unprod_binary64`

Counts

2 → 40

Calls

2 calls:

4.0ms	(.f64 y (.f64 z x))
3.0ms	(.f64 a (.f64 t x))

simplify71.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

531×	`log-div_binary64`
502×	`unswap-sqr_binary64`
469×	`associate-/r*_binary64`
401×	`associate-/l/_binary64`
387×	`*-commutative_binary64`

Counts

40 → 48

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	71	438
1	168	348
2	541	348
3	766	348
4	975	348
5	1290	348
6	1749	348
7	2642	348
8	4220	348
9	5066	348

prune282.0ms (2%)

Pruning

19 alts after pruning (18 fresh and 1 done)

	Pruned	Kept	Total
New	127	4	131
Fresh	1	14	15
Picked	1	0	1
Done	0	1	1
Total	129	19	148

Error

0.1b

Counts

148 → 19

Alt Table

Status	Error	Program
	38.9b	(+.f64 (-.f64 (-.f64 (.f64 y (.f64 z x)) (.f64 (sqrt.f64 a) (.f64 (sqrt.f64 a) (.f64 t x)))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (-.f64 (.f64 c (.f64 a j)) (.f64 i (.f64 y j))))
	11.7b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (fma.f64 c z (neg.f64 (.f64 t i))))) (.f64 j (-.f64 (.f64 c a) (.f64 y i))))
	11.7b	(fma.f64 b (-.f64 (.f64 t i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 a c) (*.f64 y i)))))
	24.6b	(+.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 a c) (.f64 y i)) (fma.f64 y i (.f64 a c)))) (+.f64 (.f64 c a) (*.f64 y i))))
	12.5b	(+.f64 (-.f64 (-.f64 (.f64 y (.f64 z x)) (.f64 a (.f64 t x))) (-.f64 (.f64 c (.f64 b z)) (.f64 i (.f64 t b)))) (-.f64 (.f64 c (.f64 a j)) (.f64 i (.f64 y j))))
	25.4b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (/.f64 (.f64 b (.f64 (-.f64 (.f64 z c) (.f64 t i)) (fma.f64 z c (.f64 t i)))) (+.f64 (.f64 c z) (.f64 t i)))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
	11.7b	(+.f64 (-.f64 (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (-.f64 (.f64 y z) (.f64 a t)) (cbrt.f64 x))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (-.f64 (.f64 c (.f64 a j)) (.f64 i (.f64 y j))))
	12.1b	(+.f64 (-.f64 (.f64 (.f64 x (.f64 (cbrt.f64 (-.f64 (.f64 y z) (.f64 t a))) (cbrt.f64 (-.f64 (.f64 y z) (.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))))
	12.4b	(+.f64 (-.f64 (-.f64 (.f64 y (.f64 z x)) (.f64 a (.f64 t x))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 j (-.f64 (.f64 c a) (.f64 y i))))
	41.1b	(+.f64 (-.f64 (.f64 (sqrt.f64 x) (.f64 (-.f64 (.f64 y z) (.f64 a t)) (sqrt.f64 x))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (-.f64 (.f64 c (.f64 a j)) (.f64 i (*.f64 y j))))
	34.9b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 (sqrt.f64 (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (sqrt.f64 (.f64 b (-.f64 (.f64 c z) (.f64 t i)))))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
	12.0b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 (.f64 (cbrt.f64 (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (cbrt.f64 (.f64 b (-.f64 (.f64 c z) (.f64 t i))))) (cbrt.f64 (.f64 b (-.f64 (.f64 c z) (.f64 t i)))))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
	23.4b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (/.f64 (.f64 (-.f64 (.f64 z c) (.f64 t i)) (fma.f64 z c (.f64 t i))) (fma.f64 z c (.f64 t i))))) (.f64 j (-.f64 (.f64 c a) (.f64 y i))))
	11.7b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (-.f64 (.f64 c (.f64 b z)) (.f64 i (.f64 t b)))) (-.f64 (.f64 c (.f64 a j)) (.f64 i (*.f64 y j))))
✓	11.2b	(+.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)) (pow.f64 (.f64 y (.f64 i j)) 1)))
	20.9b	(+.f64 (-.f64 (-.f64 (.f64 y (.f64 z x)) (cbrt.f64 (pow.f64 (.f64 a (.f64 x t)) 3))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (-.f64 (.f64 c (.f64 a j)) (.f64 i (*.f64 y j))))
	36.9b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (/.f64 (.f64 j (-.f64 (pow.f64 (.f64 c a) 3) (pow.f64 (.f64 y i) 3))) (+.f64 (.f64 (.f64 c a) (.f64 c a)) (+.f64 (.f64 (.f64 y i) (.f64 y i)) (.f64 (.f64 c a) (.f64 y i))))))
	12.0b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 (.f64 (cbrt.f64 b) (cbrt.f64 b)) (.f64 (cbrt.f64 b) (-.f64 (.f64 c z) (.f64 t i))))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
	11.9b	(+.f64 (-.f64 (-.f64 (.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y)) (.f64 (cbrt.f64 y) (.f64 z x))) (.f64 a (.f64 t x))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (-.f64 (.f64 c (.f64 a j)) (.f64 i (*.f64 y j))))

Compiler

Compiled 5999 to 1197 computations (80% saved)

regimes4.1s (29.8%)

Accuracy

Total 2.6b remaining (92.9%)

Threshold costs 0b (0%)

Counts

177 → 3

Compiler

Compiled 78396 to 45758 computations (41.6% saved)

bsearch12.0ms (0.1%)

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

simplify41.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

209×	`distribute-rgt-neg-in_binary64`
195×	`cancel-sign-sub-inv_binary64`
142×	`neg-sub0_binary64`
142×	`neg-mul-1_binary64`
139×	`distribute-lft-neg-in_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	55	248
1	127	246
2	193	246
3	270	246
4	343	246
5	385	246
6	435	246
7	506	246
8	568	246
9	661	246
10	743	246
11	827	246
12	918	246
13	979	246
14	1012	246
15	1028	246
16	1032	246
17	1028	246

end334.0ms (2.4%)

Compiler: Compiled 1258 to 601 computations (52.2% saved)

Details

analyze2.8s (20.6%)

sample4.3s (31%)

simplify319.0ms (2.3%)

prune4.0ms (0%)

localize20.0ms (0.1%)

series72.0ms (0.5%)

rewrite23.0ms (0.2%)

simplify133.0ms (1%)

prune324.0ms (2.3%)

localize23.0ms (0.2%)

series17.0ms (0.1%)

rewrite9.0ms (0.1%)

simplify71.0ms (0.5%)

prune333.0ms (2.4%)

localize20.0ms (0.1%)

series14.0ms (0.1%)

rewrite5.0ms (0%)

simplify78.0ms (0.6%)

prune338.0ms (2.4%)

localize20.0ms (0.1%)

series21.0ms (0.2%)

rewrite9.0ms (0.1%)

simplify71.0ms (0.5%)

prune282.0ms (2%)

regimes4.1s (29.8%)

bsearch12.0ms (0.1%)

simplify41.0ms (0.3%)

end334.0ms (2.4%)

Profiling