Details

analyze3.1s (16.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)

sample4.6s (25.2%)

Results

2.6s	11544×	body	128	invalid
1.9s	8256×	body	128	valid

Compiler

Compiled 116 to 71 computations (38.8% saved)

simplify334.0ms (1.8%)

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

2 alts after pruning (2 fresh and 0 done)

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

Error

11.5b

Counts

3 → 1

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 j (-.f64 (.f64 c a) (*.f64 y i))))

Compiler

Compiled 141 to 76 computations (46.1% saved)

localize23.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(-.f64 (.f64 y z) (.f64 t a))
✓	3.6b	(.f64 b (-.f64 (.f64 c z) (*.f64 t i)))
✓	5.4b	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))
✓	5.8b	(.f64 j (-.f64 (.f64 c a) (*.f64 y i)))

series70.0ms (0.4%)

Counts

4 → 220

Calls

4 calls:

21.0ms	(.f64 b (-.f64 (.f64 c z) (*.f64 t i)))
21.0ms	(.f64 j (-.f64 (.f64 c a) (*.f64 y i)))
19.0ms	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))
9.0ms	(-.f64 (.f64 y z) (.f64 t a))

rewrite26.0ms (0.1%)

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:

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

simplify127.0ms (0.7%)

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

Iterations

Useful iterations: 2 (0.0ms)

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

prune274.0ms (1.5%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	171	16	187
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	172	16	188

Error

1.8b

Counts

188 → 16

Alt Table

Status	Error	Program
	11.7b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 (.f64 b (.f64 (cbrt.f64 (-.f64 (.f64 c z) (.f64 t i))) (cbrt.f64 (-.f64 (.f64 c z) (.f64 t i))))) (cbrt.f64 (-.f64 (.f64 c z) (.f64 t i))))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
	27.9b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (cbrt.f64 (pow.f64 (.f64 j (-.f64 (.f64 c a) (*.f64 i y))) 3)))
	11.8b	(+.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))))
	28.7b	(+.f64 (-.f64 (/.f64 (.f64 x (.f64 (-.f64 (.f64 y z) (.f64 a t)) (fma.f64 a t (.f64 y z)))) (+.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))))
	27.4b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (/.f64 (.f64 b (.f64 (-.f64 (.f64 c z) (.f64 i t)) (fma.f64 c z (.f64 i t)))) (+.f64 (.f64 c z) (.f64 t i)))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
▶	11.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)) (.f64 y (.f64 i j))))
	12.5b	(+.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.2b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 (sqrt.f64 (.f64 j (-.f64 (.f64 c a) (.f64 y i)))) (sqrt.f64 (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))))
	11.8b	(+.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.8b	(+.f64 (-.f64 (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (cbrt.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))))
	41.1b	(+.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))))
	38.1b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (/.f64 (.f64 b (-.f64 (pow.f64 (.f64 c z) 3) (pow.f64 (.f64 t i) 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))))
	14.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))))
	34.4b	(+.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))))
	35.4b	(+.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 (sqrt.f64 j) (-.f64 (.f64 c a) (.f64 y i)))))
	27.7b	(+.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 i y)) (fma.f64 c a (.f64 i y)))) (+.f64 (.f64 c a) (*.f64 y i))))

Compiler

Compiled 8286 to 1728 computations (79.1% saved)

localize25.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	3.6b	(.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))
✓	6.1b	(.f64 c (.f64 a j))

series17.0ms (0.1%)

Counts

2 → 16

Calls

2 calls:

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

rewrite15.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:

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

simplify74.0ms (0.4%)

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

prune307.0ms (1.7%)

Pruning

19 alts after pruning (19 fresh and 0 done)

	Pruned	Kept	Total
New	155	5	160
Fresh	1	14	15
Picked	1	0	1
Done	0	0	0
Total	157	19	176

Error

0.3b

Counts

176 → 19

Alt Table

Status	Error	Program
	11.7b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 (.f64 b (.f64 (cbrt.f64 (-.f64 (.f64 c z) (.f64 t i))) (cbrt.f64 (-.f64 (.f64 c z) (.f64 t i))))) (cbrt.f64 (-.f64 (.f64 c z) (.f64 t i))))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
	27.9b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (cbrt.f64 (pow.f64 (.f64 j (-.f64 (.f64 c a) (*.f64 i y))) 3)))
	11.8b	(+.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))))
	28.7b	(+.f64 (-.f64 (/.f64 (.f64 x (.f64 (-.f64 (.f64 y z) (.f64 a t)) (fma.f64 a t (.f64 y z)))) (+.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))))
▶	10.3b	(+.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 y (*.f64 i j))))
	11.1b	(+.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 c) (cbrt.f64 c)) (.f64 (cbrt.f64 c) (.f64 a j))) (.f64 y (.f64 i j))))
	38.1b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (/.f64 (.f64 b (-.f64 (pow.f64 (.f64 c z) 3) (pow.f64 (.f64 t i) 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))))
	13.0b	(+.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 y (*.f64 i j))))
	12.5b	(+.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))))
	28.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)) (.f64 (sqrt.f64 (.f64 y (.f64 i j))) (sqrt.f64 (.f64 y (*.f64 i j))))))
	34.2b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 (sqrt.f64 (.f64 j (-.f64 (.f64 c a) (.f64 y i)))) (sqrt.f64 (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))))
	11.8b	(+.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.8b	(+.f64 (-.f64 (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (cbrt.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))))
	27.4b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (/.f64 (.f64 b (.f64 (-.f64 (.f64 c z) (.f64 i t)) (fma.f64 c z (.f64 i t)))) (+.f64 (.f64 c z) (.f64 t i)))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
	41.1b	(+.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))))
	34.4b	(+.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))))
	35.4b	(+.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 (sqrt.f64 j) (-.f64 (.f64 c a) (.f64 y i)))))
	27.7b	(+.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 i y)) (fma.f64 c a (.f64 i y)))) (+.f64 (.f64 c a) (*.f64 y i))))
	38.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)) (.f64 (sqrt.f64 y) (.f64 (sqrt.f64 y) (*.f64 i j)))))

Compiler

Compiled 7839 to 1805 computations (77% saved)

localize23.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	4.6b	(.f64 a (.f64 t x))
✓	5.1b	(.f64 y (.f64 z x))
	6.1b	(.f64 y (.f64 i j))
	6.1b	(.f64 c (.f64 a j))

series18.0ms (0.1%)

Counts

2 → 0

Calls

2 calls:

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

rewrite9.0ms (0%)

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))
4.0ms	(.f64 a (.f64 t x))

simplify66.0ms (0.4%)

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

prune203.0ms (1.1%)

Pruning

18 alts after pruning (18 fresh and 0 done)

	Pruned	Kept	Total
New	101	5	106
Fresh	5	13	18
Picked	1	0	1
Done	0	0	0
Total	107	18	125

Error

0.3b

Counts

125 → 18

Alt Table

Status	Error	Program
	11.8b	(+.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))))
	20.6b	(+.f64 (-.f64 (-.f64 (.f64 y (.f64 z x)) (.f64 a (.f64 t x))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (-.f64 (cbrt.f64 (pow.f64 (.f64 c (.f64 j a)) 3)) (.f64 y (*.f64 i j))))
	11.8b	(+.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))))
▶	10.4b	(+.f64 (-.f64 (-.f64 (.f64 y (.f64 z x)) (.f64 a (.f64 t x))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (-.f64 (.f64 (.f64 (cbrt.f64 c) (cbrt.f64 c)) (.f64 (.f64 j a) (cbrt.f64 c))) (.f64 y (*.f64 i j))))
	27.4b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (/.f64 (.f64 b (.f64 (-.f64 (.f64 c z) (.f64 i t)) (fma.f64 c z (.f64 i t)))) (+.f64 (.f64 c z) (.f64 t i)))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
	10.4b	(+.f64 (-.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (.f64 y (.f64 z x))) (cbrt.f64 (.f64 y (.f64 z x)))) (cbrt.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 y (*.f64 i j))))
	38.1b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (/.f64 (.f64 b (-.f64 (pow.f64 (.f64 c z) 3) (pow.f64 (.f64 t i) 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))))
	13.0b	(+.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 y (*.f64 i j))))
	12.5b	(+.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))))
	27.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 (sqrt.f64 (.f64 y (.f64 i j))) (sqrt.f64 (.f64 y (.f64 i j))))))
	34.2b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 (sqrt.f64 (.f64 j (-.f64 (.f64 c a) (.f64 y i)))) (sqrt.f64 (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))))
	11.7b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 (.f64 b (.f64 (cbrt.f64 (-.f64 (.f64 c z) (.f64 t i))) (cbrt.f64 (-.f64 (.f64 c z) (.f64 t i))))) (cbrt.f64 (-.f64 (.f64 c z) (.f64 t i))))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
	29.5b	(+.f64 (-.f64 (-.f64 (.f64 y (.f64 z x)) (.f64 (sqrt.f64 (.f64 a (.f64 t x))) (sqrt.f64 (.f64 a (.f64 t x))))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (-.f64 (.f64 c (.f64 a j)) (.f64 y (.f64 i j))))
	41.1b	(+.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))))
	34.4b	(+.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))))
	35.4b	(+.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 (sqrt.f64 j) (-.f64 (.f64 c a) (.f64 y i)))))
	27.7b	(+.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 i y)) (fma.f64 c a (.f64 i y)))) (+.f64 (.f64 c a) (*.f64 y i))))
	38.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)) (.f64 (sqrt.f64 y) (.f64 (sqrt.f64 y) (*.f64 i j)))))

Compiler

Compiled 5834 to 1536 computations (73.7% saved)

localize28.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	3.6b	(.f64 (.f64 j a) (cbrt.f64 c))
	4.6b	(.f64 a (.f64 t x))
	5.1b	(.f64 y (.f64 z x))
	6.1b	(.f64 y (.f64 i j))

series449.0ms (2.5%)

Counts

1 → 36

Calls

1 calls:

449.0ms

(*.f64 (*.f64 j a) (cbrt.f64 c))

rewrite6.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`associate-r_binary64`
6×	`add-exp-log_binary64`
6×	`pow1_binary64`
4×	`add-cbrt-cube_binary64`
3×	`cbrt-prod_binary64`

Counts

1 → 23

Calls

1 calls:

5.0ms

(*.f64 (*.f64 j a) (cbrt.f64 c))

simplify69.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

903×	`fma-def_binary64`
581×	`times-frac_binary64`
389×	`unswap-sqr_binary64`
388×	`associate-+l+_binary64`
343×	`*-commutative_binary64`

Counts

59 → 39

Iterations

Useful iterations: 6 (0.0ms)

Iter	Nodes	Cost
0	58	660
1	130	595
2	459	595
3	662	589
4	950	589
5	1661	589
6	3395	587
7	4962	587

prune226.0ms (1.2%)

Pruning

20 alts after pruning (19 fresh and 1 done)

	Pruned	Kept	Total
New	115	2	117
Fresh	0	17	17
Picked	0	1	1
Done	0	0	0
Total	115	20	135

Error

0.3b

Counts

135 → 20

Alt Table

Status	Error	Program
	11.8b	(+.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))))
	20.6b	(+.f64 (-.f64 (-.f64 (.f64 y (.f64 z x)) (.f64 a (.f64 t x))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (-.f64 (cbrt.f64 (pow.f64 (.f64 c (.f64 j a)) 3)) (.f64 y (*.f64 i j))))
	11.8b	(+.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))))
✓	10.4b	(+.f64 (-.f64 (-.f64 (.f64 y (.f64 z x)) (.f64 a (.f64 t x))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (-.f64 (.f64 (.f64 (cbrt.f64 c) (cbrt.f64 c)) (.f64 (.f64 j a) (cbrt.f64 c))) (.f64 y (*.f64 i j))))
	27.4b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (/.f64 (.f64 b (.f64 (-.f64 (.f64 c z) (.f64 i t)) (fma.f64 c z (.f64 i t)))) (+.f64 (.f64 c z) (.f64 t i)))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
	10.4b	(+.f64 (-.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (.f64 y (.f64 z x))) (cbrt.f64 (.f64 y (.f64 z x)))) (cbrt.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 y (*.f64 i j))))
	10.4b	(+.f64 (-.f64 (-.f64 (.f64 y (.f64 z x)) (.f64 a (.f64 t x))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (-.f64 (.f64 (.f64 (cbrt.f64 c) (cbrt.f64 c)) (.f64 (.f64 (.f64 j a) (cbrt.f64 (.f64 (cbrt.f64 c) (cbrt.f64 c)))) (cbrt.f64 (cbrt.f64 c)))) (.f64 y (*.f64 i j))))
	38.1b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (/.f64 (.f64 b (-.f64 (pow.f64 (.f64 c z) 3) (pow.f64 (.f64 t i) 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))))
	13.0b	(+.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 y (*.f64 i j))))
	12.5b	(+.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))))
	27.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 (sqrt.f64 (.f64 y (.f64 i j))) (sqrt.f64 (.f64 y (.f64 i j))))))
	34.2b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 (sqrt.f64 (.f64 j (-.f64 (.f64 c a) (.f64 y i)))) (sqrt.f64 (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))))
	11.7b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 (.f64 b (.f64 (cbrt.f64 (-.f64 (.f64 c z) (.f64 t i))) (cbrt.f64 (-.f64 (.f64 c z) (.f64 t i))))) (cbrt.f64 (-.f64 (.f64 c z) (.f64 t i))))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
	29.5b	(+.f64 (-.f64 (-.f64 (.f64 y (.f64 z x)) (.f64 (sqrt.f64 (.f64 a (.f64 t x))) (sqrt.f64 (.f64 a (.f64 t x))))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (-.f64 (.f64 c (.f64 a j)) (.f64 y (.f64 i j))))
	41.1b	(+.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))))
	22.0b	(+.f64 (-.f64 (-.f64 (.f64 y (.f64 z x)) (.f64 a (.f64 t x))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (-.f64 (.f64 (.f64 (cbrt.f64 c) (cbrt.f64 c)) (cbrt.f64 (.f64 c (pow.f64 (.f64 a j) 3)))) (.f64 y (*.f64 i j))))
	34.4b	(+.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))))
	35.4b	(+.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 (sqrt.f64 j) (-.f64 (.f64 c a) (.f64 y i)))))
	27.7b	(+.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 i y)) (fma.f64 c a (.f64 i y)))) (+.f64 (.f64 c a) (*.f64 y i))))
	38.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)) (.f64 (sqrt.f64 y) (.f64 (sqrt.f64 y) (*.f64 i j)))))

Compiler

Compiled 6266 to 1220 computations (80.5% saved)

regimes7.8s (42.7%)

Accuracy

Total 4.4b remaining (78.1%)

Threshold costs 0b (0%)

Counts

197 → 3

Compiler

Compiled 88136 to 51368 computations (41.7% saved)

bsearch14.0ms (0.1%)

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

simplify44.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

187×	`distribute-rgt-neg-in_binary64`
167×	`cancel-sign-sub-inv_binary64`
122×	`distribute-lft-neg-in_binary64`
122×	`neg-sub0_binary64`
122×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	54	205
1	119	205
2	163	205
3	202	205
4	247	205
5	273	205
6	304	205
7	356	205
8	384	205
9	434	205
10	507	205
11	627	205
12	733	205
13	807	205
14	834	205
15	851	205
16	867	205
17	892	205
18	919	205
19	925	205
20	921	205

end364.0ms (2%)

Compiler: Compiled 1299 to 648 computations (50.1% saved)

Iter	Nodes	Cost
0	54	205
1	119	205
2	163	205
3	202	205
4	247	205
5	273	205
6	304	205
7	356	205
8	384	205
9	434	205
10	507	205
11	627	205
12	733	205
13	807	205
14	834	205
15	851	205
16	867	205
17	892	205
18	919	205
19	925	205
20	921	205

Iter	Nodes	Cost
0	54	205
1	119	205
2	163	205
3	202	205
4	247	205
5	273	205
6	304	205
7	356	205
8	384	205
9	434	205
10	507	205
11	627	205
12	733	205
13	807	205
14	834	205
15	851	205
16	867	205
17	892	205
18	919	205
19	925	205
20	921	205

Details

analyze3.1s (16.7%)

sample4.6s (25.2%)

simplify334.0ms (1.8%)

prune4.0ms (0%)

localize23.0ms (0.1%)

series70.0ms (0.4%)

rewrite26.0ms (0.1%)

simplify127.0ms (0.7%)

prune274.0ms (1.5%)

localize25.0ms (0.1%)

series17.0ms (0.1%)

rewrite15.0ms (0.1%)

simplify74.0ms (0.4%)

prune307.0ms (1.7%)

localize23.0ms (0.1%)

series18.0ms (0.1%)

rewrite9.0ms (0%)

simplify66.0ms (0.4%)

prune203.0ms (1.1%)

localize28.0ms (0.2%)

series449.0ms (2.5%)

rewrite6.0ms (0%)

simplify69.0ms (0.4%)

prune226.0ms (1.2%)

regimes7.8s (42.7%)

bsearch14.0ms (0.1%)

simplify44.0ms (0.2%)

end364.0ms (2%)

Profiling

Iter	Nodes	Cost
0	54	205
1	119	205
2	163	205
3	202	205
4	247	205
5	273	205
6	304	205
7	356	205
8	384	205
9	434	205
10	507	205
11	627	205
12	733	205
13	807	205
14	834	205
15	851	205
16	867	205
17	892	205
18	919	205
19	925	205
20	921	205