Details

analyze2.5s (16.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)

sample206.0ms (1.3%)

Algorithm

1×

intervals

Results

32.0ms	340×	body	128	invalid
22.0ms	256×	body	128	valid

Compiler

Compiled 86 to 56 computations (34.9% saved)

simplify324.0ms (2.1%)

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

13.5b

Counts

3 → 2

Alt Table

Status	Error	Program
	13.5b	(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)))))
▶	13.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))))

Status

Error

Program

13.5b

(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)))))

▶

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

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series74.0ms (0.5%)

Counts

4 → 220

Calls

4 calls:

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

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

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

simplify134.0ms (0.9%)

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

prune364.0ms (2.3%)

Pruning

19 alts after pruning (19 fresh and 0 done)

	Pruned	Kept	Total
New	168	19	187
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	170	19	189

Error

1.6b

Counts

189 → 19

Alt Table

Status	Error	Program
	37.3b	(+.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))))
	13.5b	(+.f64 (-.f64 (+.f64 (.f64 (fma.f64 y z (neg.f64 (.f64 a t))) x) (.f64 (fma.f64 (neg.f64 a) t (.f64 a t)) x)) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 j (-.f64 (.f64 c a) (.f64 y i))))
	13.8b	(+.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))))
	13.8b	(+.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a)))) (cbrt.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))))) (cbrt.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))))
	26.2b	(+.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))))
	13.7b	(+.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))))
	40.6b	(+.f64 (-.f64 (cbrt.f64 (.f64 (.f64 (.f64 x x) x) (.f64 (.f64 (-.f64 (.f64 y z) (.f64 t a)) (-.f64 (.f64 y z) (.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))))
	13.7b	(+.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))))
	37.8b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 (.f64 j (sqrt.f64 (-.f64 (.f64 c a) (.f64 y i)))) (sqrt.f64 (-.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))))
	13.8b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 (.f64 j (.f64 (cbrt.f64 (-.f64 (.f64 c a) (.f64 y i))) (cbrt.f64 (-.f64 (.f64 c a) (.f64 y i))))) (cbrt.f64 (-.f64 (.f64 c a) (*.f64 y i)))))
	35.8b	(+.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))))
	13.8b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 (.f64 (cbrt.f64 j) (cbrt.f64 j)) (.f64 (cbrt.f64 j) (-.f64 (.f64 c a) (*.f64 y i)))))
	13.5b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (+.f64 (.f64 (fma.f64 c z (neg.f64 (.f64 i t))) b) (.f64 (fma.f64 (neg.f64 i) t (.f64 i t)) b))) (.f64 j (-.f64 (.f64 c a) (.f64 y i))))
	12.5b	(+.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))))
	13.7b	(+.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))))
	31.3b	(+.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))))
▶	10.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 y (.f64 i j))))
	41.3b	(+.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))))))

Compiler

Compiled 8678 to 1890 computations (78.2% saved)

localize26.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series26.0ms (0.2%)

Counts

2 → 16

Calls

2 calls:

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

rewrite10.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))
4.0ms	(.f64 y (.f64 i j))

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

prune386.0ms (2.5%)

Pruning

20 alts after pruning (20 fresh and 0 done)

	Pruned	Kept	Total
New	154	6	160
Fresh	4	14	18
Picked	1	0	1
Done	0	0	0
Total	159	20	179

Error

0.8b

Counts

179 → 20

Alt Table

Status	Error	Program
	37.3b	(+.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))))
	10.5b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (+.f64 (.f64 b (fma.f64 c z (neg.f64 (.f64 i t)))) (.f64 b (fma.f64 (neg.f64 i) t (.f64 i t))))) (-.f64 (.f64 c (.f64 a j)) (.f64 y (*.f64 i j))))
	13.8b	(+.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))))
	13.7b	(+.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))))
	37.8b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 (.f64 j (sqrt.f64 (-.f64 (.f64 c a) (.f64 y i)))) (sqrt.f64 (-.f64 (.f64 c a) (.f64 y i)))))
	11.5b	(+.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.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))))
	10.7b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (-.f64 (.f64 (.f64 (cbrt.f64 (.f64 c (.f64 a j))) (cbrt.f64 (.f64 c (.f64 a j)))) (cbrt.f64 (.f64 c (.f64 a j)))) (.f64 y (.f64 i j))))
	13.8b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 (.f64 j (.f64 (cbrt.f64 (-.f64 (.f64 c a) (.f64 y i))) (cbrt.f64 (-.f64 (.f64 c a) (.f64 y i))))) (cbrt.f64 (-.f64 (.f64 c a) (*.f64 y i)))))
	35.8b	(+.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))))
	13.8b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 (.f64 (cbrt.f64 j) (cbrt.f64 j)) (.f64 (cbrt.f64 j) (-.f64 (.f64 c a) (*.f64 y i)))))
▶	9.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))))
	38.0b	(+.f64 (-.f64 (.f64 (.f64 x (sqrt.f64 (-.f64 (.f64 y z) (.f64 a t)))) (sqrt.f64 (-.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 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))))
	26.2b	(+.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.5b	(+.f64 (-.f64 (+.f64 (.f64 x (fma.f64 y z (neg.f64 (.f64 a t)))) (.f64 x (fma.f64 (neg.f64 a) t (.f64 a t)))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (-.f64 (.f64 c (.f64 a j)) (.f64 y (*.f64 i j))))
	13.7b	(+.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))))
	13.7b	(+.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))))
	31.3b	(+.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))))
	41.3b	(+.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))))))

Compiler

Compiled 8011 to 1865 computations (76.7% saved)

localize25.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series11.0ms (0.1%)

Counts

1 → 16

Calls

1 calls:

11.0ms

(*.f64 c (*.f64 b z))

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

3.0ms

(*.f64 c (*.f64 b z))

simplify73.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

558×	`log-div_binary64`
492×	`associate-/l*_binary64`
444×	`associate-l_binary64`
401×	`*-commutative_binary64`
337×	`unswap-sqr_binary64`

Counts

36 → 29

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	40	331
1	89	286
2	291	286
3	831	286
4	1045	286
5	1261	286
6	1541	286
7	2061	286
8	3021	286
9	4753	286
10	5001	286

prune329.0ms (2.1%)

Pruning

20 alts after pruning (20 fresh and 0 done)

	Pruned	Kept	Total
New	133	4	137
Fresh	3	16	19
Picked	1	0	1
Done	0	0	0
Total	137	20	157

Error

0.0b

Counts

157 → 20

Alt Table

Status	Error	Program
	37.3b	(+.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))))
	10.5b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (+.f64 (.f64 b (fma.f64 c z (neg.f64 (.f64 i t)))) (.f64 b (fma.f64 (neg.f64 i) t (.f64 i t))))) (-.f64 (.f64 c (.f64 a j)) (.f64 y (*.f64 i j))))
	13.8b	(+.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))))
	13.7b	(+.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))))
	37.8b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 (.f64 j (sqrt.f64 (-.f64 (.f64 c a) (.f64 y i)))) (sqrt.f64 (-.f64 (.f64 c a) (.f64 y i)))))
	10.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 y (.f64 i j))))
	10.7b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (-.f64 (.f64 (.f64 (cbrt.f64 (.f64 c (.f64 a j))) (cbrt.f64 (.f64 c (.f64 a j)))) (cbrt.f64 (.f64 c (.f64 a j)))) (.f64 y (.f64 i j))))
	13.8b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 (.f64 j (.f64 (cbrt.f64 (-.f64 (.f64 c a) (.f64 y i))) (cbrt.f64 (-.f64 (.f64 c a) (.f64 y i))))) (cbrt.f64 (-.f64 (.f64 c a) (*.f64 y i)))))
	10.5b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (-.f64 (.f64 (.f64 c b) z) (.f64 i (.f64 t b)))) (-.f64 (.f64 c (.f64 a j)) (.f64 y (*.f64 i j))))
	35.8b	(+.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))))
	13.8b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 (.f64 (cbrt.f64 j) (cbrt.f64 j)) (.f64 (cbrt.f64 j) (-.f64 (.f64 c a) (*.f64 y i)))))
▶	9.1b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (-.f64 (.f64 (.f64 (cbrt.f64 c) (cbrt.f64 c)) (.f64 (cbrt.f64 c) (.f64 b z))) (.f64 i (.f64 t b)))) (-.f64 (.f64 c (.f64 a j)) (.f64 y (*.f64 i j))))
	38.0b	(+.f64 (-.f64 (.f64 (.f64 x (sqrt.f64 (-.f64 (.f64 y z) (.f64 a t)))) (sqrt.f64 (-.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))))
	10.1b	(+.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))))
	26.2b	(+.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.5b	(+.f64 (-.f64 (+.f64 (.f64 x (fma.f64 y z (neg.f64 (.f64 a t)))) (.f64 x (fma.f64 (neg.f64 a) t (.f64 a t)))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (-.f64 (.f64 c (.f64 a j)) (.f64 y (*.f64 i j))))
	13.7b	(+.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))))
	13.7b	(+.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))))
	31.3b	(+.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))))
	41.3b	(+.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))))))

Compiler

Compiled 7370 to 1785 computations (75.8% saved)

localize30.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series11.0ms (0.1%)

Counts

1 → 0

Calls

1 calls:

10.0ms

(*.f64 i (*.f64 t b))

rewrite4.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 i (*.f64 t b))

simplify79.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

580×	`log-div_binary64`
514×	`associate-/l*_binary64`
411×	`*-commutative_binary64`
409×	`associate-l_binary64`
339×	`cube-div_binary64`

Counts

20 → 20

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	38	219
1	87	174
2	275	174
3	770	174
4	976	174
5	1185	174
6	1422	174
7	1902	174
8	3020	174
9	4714	174
10	4982	174

prune317.0ms (2%)

Pruning

20 alts after pruning (20 fresh and 0 done)

	Pruned	Kept	Total
New	126	2	128
Fresh	1	18	19
Picked	1	0	1
Done	0	0	0
Total	128	20	148

Error

0.0b

Counts

148 → 20

Alt Table

Status	Error	Program
	13.8b	(+.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))))
	28.5b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (-.f64 (.f64 (.f64 (cbrt.f64 c) (cbrt.f64 c)) (.f64 (cbrt.f64 c) (.f64 b z))) (.f64 (sqrt.f64 (.f64 i (.f64 t b))) (sqrt.f64 (.f64 i (.f64 t b)))))) (-.f64 (.f64 c (.f64 a j)) (.f64 y (.f64 i j))))
	37.3b	(+.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))))
	13.7b	(+.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))))
	37.8b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 (.f64 j (sqrt.f64 (-.f64 (.f64 c a) (.f64 y i)))) (sqrt.f64 (-.f64 (.f64 c a) (.f64 y i)))))
	10.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 y (.f64 i j))))
	10.7b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (-.f64 (.f64 (.f64 (cbrt.f64 (.f64 c (.f64 a j))) (cbrt.f64 (.f64 c (.f64 a j)))) (cbrt.f64 (.f64 c (.f64 a j)))) (.f64 y (.f64 i j))))
	13.8b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 (.f64 j (.f64 (cbrt.f64 (-.f64 (.f64 c a) (.f64 y i))) (cbrt.f64 (-.f64 (.f64 c a) (.f64 y i))))) (cbrt.f64 (-.f64 (.f64 c a) (*.f64 y i)))))
	10.5b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (-.f64 (.f64 (.f64 c b) z) (.f64 i (.f64 t b)))) (-.f64 (.f64 c (.f64 a j)) (.f64 y (*.f64 i j))))
	35.8b	(+.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))))
	13.8b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 (.f64 (cbrt.f64 j) (cbrt.f64 j)) (.f64 (cbrt.f64 j) (-.f64 (.f64 c a) (*.f64 y i)))))
	38.0b	(+.f64 (-.f64 (.f64 (.f64 x (sqrt.f64 (-.f64 (.f64 y z) (.f64 a t)))) (sqrt.f64 (-.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))))
	9.2b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (-.f64 (.f64 (.f64 (cbrt.f64 c) (cbrt.f64 c)) (.f64 (cbrt.f64 c) (.f64 b z))) (.f64 (.f64 (cbrt.f64 i) (cbrt.f64 i)) (.f64 (cbrt.f64 i) (.f64 t b))))) (-.f64 (.f64 c (.f64 a j)) (.f64 y (*.f64 i j))))
	10.1b	(+.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))))
	26.2b	(+.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.5b	(+.f64 (-.f64 (+.f64 (.f64 x (fma.f64 y z (neg.f64 (.f64 a t)))) (.f64 x (fma.f64 (neg.f64 a) t (.f64 a t)))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (-.f64 (.f64 c (.f64 a j)) (.f64 y (*.f64 i j))))
	13.7b	(+.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))))
	13.7b	(+.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))))
	31.3b	(+.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))))
	41.3b	(+.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))))))

Compiler

Compiled 6925 to 1206 computations (82.6% saved)

regimes6.7s (42.7%)

Accuracy

Total 4.0b remaining (96.2%)

Threshold costs 0b (0%)

Counts

219 → 3

Compiler

Compiled 103046 to 58898 computations (42.8% saved)

bsearch15.0ms (0.1%)

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

simplify46.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

222×	`distribute-rgt-neg-in_binary64`
221×	`cancel-sign-sub-inv_binary64`
150×	`distribute-lft-neg-in_binary64`
150×	`neg-sub0_binary64`
150×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	61	255
1	136	255
2	194	255
3	263	255
4	334	255
5	379	255
6	436	255
7	502	255
8	564	255
9	660	255
10	763	255
11	881	255
12	985	255
13	1060	255
14	1099	255
15	1112	255
16	1114	255
17	1110	255

end1.0ms (0%)

Compiler: Compiled 180 to 57 computations (68.3% saved)

sample3.8s (24.4%)

Algorithm

1×

intervals

Results

1.1s	11003×	body	128	invalid
779.0ms	8000×	body	128	valid

Compiler

Compiled 1265 to 637 computations (49.6% saved)

Details

analyze2.5s (16.2%)

sample206.0ms (1.3%)

simplify324.0ms (2.1%)

prune4.0ms (0%)

localize18.0ms (0.1%)

series74.0ms (0.5%)

rewrite22.0ms (0.1%)

simplify134.0ms (0.9%)

prune364.0ms (2.3%)

localize26.0ms (0.2%)

series26.0ms (0.2%)

rewrite10.0ms (0.1%)

simplify80.0ms (0.5%)

prune386.0ms (2.5%)

localize25.0ms (0.2%)

series11.0ms (0.1%)

rewrite4.0ms (0%)

simplify73.0ms (0.5%)

prune329.0ms (2.1%)

localize30.0ms (0.2%)

series11.0ms (0.1%)

rewrite4.0ms (0%)

simplify79.0ms (0.5%)

prune317.0ms (2%)

regimes6.7s (42.7%)

bsearch15.0ms (0.1%)

simplify46.0ms (0.3%)

end1.0ms (0%)

sample3.8s (24.4%)

Profiling