Details

analyze2.9s (24.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)

sample4.1s (33.7%)

Results

2.3s	11277×	body	128	invalid
1.7s	8256×	body	128	valid

Compiler

Compiled 116 to 71 computations (38.8% saved)

simplify330.0ms (2.7%)

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.1b

Counts

3 → 2

Alt Table

Status	Error	Program
	11.1b	(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.1b	(+.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.1b

(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.1b

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

localize19.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(-.f64 (.f64 y z) (.f64 t a))
✓	3.5b	(.f64 j (-.f64 (.f64 c a) (*.f64 y i)))
✓	4.9b	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))
✓	5.1b	(.f64 b (-.f64 (.f64 c z) (*.f64 t i)))

series70.0ms (0.6%)

Counts

4 → 220

Calls

4 calls:

24.0ms	(.f64 j (-.f64 (.f64 c a) (*.f64 y i)))
20.0ms	(.f64 b (-.f64 (.f64 c z) (*.f64 t i)))
18.0ms	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))
8.0ms	(-.f64 (.f64 y z) (.f64 t a))

rewrite20.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)))
2.0ms	(-.f64 (.f64 y z) (.f64 t a))

simplify135.0ms (1.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 → 188

Iterations

Useful iterations: 2 (0.0ms)

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

prune249.0ms (2%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	175	13	188
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	177	13	190

Error

1.5b

Counts

190 → 13

Alt Table

Status	Error	Program
	11.3b	(+.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))))
	10.2b	(+.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))))
	29.2b	(+.f64 (-.f64 (.f64 x (cbrt.f64 (pow.f64 (-.f64 (.f64 z y) (.f64 t a)) 3))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
	25.0b	(+.f64 (-.f64 (/.f64 (.f64 x (.f64 (-.f64 (.f64 z y) (.f64 t a)) (fma.f64 z y (.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))))
	23.5b	(+.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))))
	34.3b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 (sqrt.f64 b) (.f64 (sqrt.f64 b) (-.f64 (.f64 c z) (.f64 t i))))) (.f64 j (-.f64 (.f64 c a) (.f64 y i))))
	23.6b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (cbrt.f64 (pow.f64 (.f64 b (-.f64 (.f64 c z) (.f64 i t))) 3))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
	40.6b	(+.f64 (-.f64 (.f64 (.f64 x (sqrt.f64 (-.f64 (.f64 y z) (.f64 t a)))) (sqrt.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))))
	41.2b	(+.f64 (-.f64 (.f64 x (exp.f64 (log.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))))
▶	9.7b	(+.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.6b	(+.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))))
	34.0b	(+.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.3b	(+.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))))

Compiler

Compiled 7922 to 1544 computations (80.5% saved)

localize19.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	3.5b	(.f64 j (-.f64 (.f64 c a) (*.f64 y i)))
✓	4.3b	(.f64 i (.f64 t b))
	4.9b	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))
✓	5.0b	(.f64 c (.f64 z b))

series17.0ms (0.1%)

Counts

2 → 16

Calls

2 calls:

9.0ms	(.f64 c (.f64 z b))
8.0ms	(.f64 i (.f64 t b))

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

3.0ms	(.f64 c (.f64 z b))
3.0ms	(.f64 i (.f64 t b))

simplify71.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

526×	`log-div_binary64`
504×	`unswap-sqr_binary64`
459×	`associate-/r*_binary64`
406×	`associate-/l/_binary64`
400×	`*-commutative_binary64`

Counts

56 → 57

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	73	550
1	170	460
2	557	460
3	790	460
4	1003	460
5	1325	460
6	1783	460
7	2669	460
8	4220	460
9	5055	460

prune272.0ms (2.2%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	152	8	160
Fresh	5	7	12
Picked	1	0	1
Done	0	0	0
Total	158	15	173

Error

0.8b

Counts

173 → 15

Alt Table

Status	Error	Program
	10.2b	(+.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))))
▶	9.1b	(+.f64 (-.f64 (-.f64 (.f64 y (.f64 z x)) (.f64 a (.f64 t x))) (-.f64 (.f64 c (.f64 z b)) (.f64 i (.f64 t b)))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
	23.6b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (cbrt.f64 (pow.f64 (.f64 b (-.f64 (.f64 c z) (.f64 i t))) 3))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
	10.4b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (-.f64 (.f64 c (.f64 z b)) (.f64 i (.f64 t b)))) (-.f64 (.f64 c (.f64 a j)) (.f64 y (*.f64 i j))))
	10.0b	(+.f64 (-.f64 (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (-.f64 (.f64 z y) (.f64 t a)) (cbrt.f64 x))) (-.f64 (.f64 c (.f64 z b)) (.f64 i (.f64 t b)))) (.f64 j (-.f64 (.f64 c a) (.f64 y i))))
	29.2b	(+.f64 (-.f64 (.f64 x (cbrt.f64 (pow.f64 (-.f64 (.f64 z y) (.f64 t a)) 3))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
	40.6b	(+.f64 (-.f64 (.f64 (.f64 x (sqrt.f64 (-.f64 (.f64 z y) (.f64 t a)))) (sqrt.f64 (-.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))))
	9.8b	(+.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 z b))) (.f64 i (.f64 t b)))) (.f64 j (-.f64 (.f64 c a) (.f64 y i))))
	23.5b	(+.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))))
	34.3b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 (sqrt.f64 b) (.f64 (sqrt.f64 b) (-.f64 (.f64 c z) (.f64 t i))))) (.f64 j (-.f64 (.f64 c a) (.f64 y i))))
	9.7b	(+.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 (.f64 c (.f64 z b)) (.f64 i (.f64 t b)))) (.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 z b)) (.f64 i (.f64 t b)))) (-.f64 (.f64 c (.f64 a j)) (.f64 i (*.f64 y j))))
	41.2b	(+.f64 (-.f64 (.f64 x (exp.f64 (log.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))))
	9.8b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (-.f64 (.f64 c (.f64 z b)) (.f64 (.f64 (cbrt.f64 (.f64 i (.f64 t b))) (cbrt.f64 (.f64 i (.f64 t b)))) (cbrt.f64 (.f64 i (.f64 t b)))))) (.f64 j (-.f64 (.f64 c a) (.f64 y i))))
	34.0b	(+.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)))))

Compiler

Compiled 7353 to 1587 computations (78.4% saved)

localize21.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	3.6b	(.f64 a (.f64 t x))
	4.3b	(.f64 i (.f64 t b))
	5.0b	(.f64 c (.f64 z b))
✓	5.8b	(.f64 y (.f64 z x))

series19.0ms (0.2%)

Counts

2 → 0

Calls

2 calls:

11.0ms	(.f64 a (.f64 t x))
8.0ms	(.f64 y (.f64 z x))

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

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

simplify74.0ms (0.6%)

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

prune201.0ms (1.7%)

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	104	1	105
Fresh	1	13	14
Picked	0	1	1
Done	0	0	0
Total	105	15	120

Error

0.8b

Counts

120 → 15

Alt Table

Status	Error	Program
	10.2b	(+.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))))
✓	9.1b	(+.f64 (-.f64 (-.f64 (.f64 y (.f64 z x)) (.f64 a (.f64 t x))) (-.f64 (.f64 c (.f64 z b)) (.f64 i (.f64 t b)))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
	23.6b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (cbrt.f64 (pow.f64 (.f64 b (-.f64 (.f64 c z) (.f64 i t))) 3))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
	10.4b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (-.f64 (.f64 c (.f64 z b)) (.f64 i (.f64 t b)))) (-.f64 (.f64 c (.f64 a j)) (.f64 y (*.f64 i j))))
	40.6b	(+.f64 (-.f64 (.f64 (.f64 x (sqrt.f64 (-.f64 (.f64 z y) (.f64 t a)))) (sqrt.f64 (-.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))))
	9.8b	(+.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 z b))) (.f64 i (.f64 t b)))) (.f64 j (-.f64 (.f64 c a) (.f64 y i))))
	23.5b	(+.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))))
	34.3b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 (sqrt.f64 b) (.f64 (sqrt.f64 b) (-.f64 (.f64 c z) (.f64 t i))))) (.f64 j (-.f64 (.f64 c a) (.f64 y i))))
▶	9.7b	(+.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 (.f64 c (.f64 z b)) (.f64 i (.f64 t b)))) (.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 z b)) (.f64 i (.f64 t b)))) (-.f64 (.f64 c (.f64 a j)) (.f64 i (*.f64 y j))))
	29.2b	(+.f64 (-.f64 (.f64 x (cbrt.f64 (pow.f64 (-.f64 (.f64 z y) (.f64 t a)) 3))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
	18.2b	(+.f64 (-.f64 (-.f64 (cbrt.f64 (pow.f64 (.f64 y (.f64 z x)) 3)) (.f64 a (.f64 t x))) (-.f64 (.f64 c (.f64 z b)) (.f64 i (.f64 t b)))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
	41.2b	(+.f64 (-.f64 (.f64 x (exp.f64 (log.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))))
	9.8b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (-.f64 (.f64 c (.f64 z b)) (.f64 (.f64 (cbrt.f64 (.f64 i (.f64 t b))) (cbrt.f64 (.f64 i (.f64 t b)))) (cbrt.f64 (.f64 i (.f64 t b)))))) (.f64 j (-.f64 (.f64 c a) (.f64 y i))))
	34.0b	(+.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)))))

Compiler

Compiled 5317 to 1380 computations (74% saved)

localize24.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	4.3b	(.f64 i (.f64 t b))
✓	4.9b	(.f64 x (fma.f64 y z (neg.f64 (.f64 a t))))
	5.0b	(.f64 c (.f64 z b))
✓	50.1b	(fma.f64 (neg.f64 a) t (*.f64 a t))

series28.0ms (0.2%)

Counts

2 → 84

Calls

2 calls:

20.0ms	(.f64 x (fma.f64 y z (neg.f64 (.f64 a t))))
7.0ms	(fma.f64 (neg.f64 a) t (*.f64 a t))

rewrite4.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`add-sqr-sqrt_binary64`
4×	`*-un-lft-identity_binary64`
4×	`add-cube-cbrt_binary64`
4×	`add-cbrt-cube_binary64`
4×	`add-exp-log_binary64`

Counts

2 → 32

Calls

2 calls:

3.0ms	(.f64 x (fma.f64 y z (neg.f64 (.f64 a t))))
0.0ms	(fma.f64 (neg.f64 a) t (*.f64 a t))

simplify76.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

837×	`fma-def_binary64`
413×	`neg-sub0_binary64`
404×	`neg-mul-1_binary64`
321×	`*-commutative_binary64`
282×	`distribute-lft-neg-out_binary64`

Counts

116 → 60

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	66	1266
1	119	1185
2	361	1129
3	1084	1129
4	1825	1129
5	3678	1129
6	4974	1129

prune225.0ms (1.8%)

Pruning

15 alts after pruning (13 fresh and 2 done)

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

Error

0.8b

Counts

132 → 15

Alt Table

Status	Error	Program
	10.2b	(+.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))))
✓	9.1b	(+.f64 (-.f64 (-.f64 (.f64 y (.f64 z x)) (.f64 a (.f64 t x))) (-.f64 (.f64 c (.f64 z b)) (.f64 i (.f64 t b)))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
	23.6b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (cbrt.f64 (pow.f64 (.f64 b (-.f64 (.f64 c z) (.f64 i t))) 3))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
	10.4b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (-.f64 (.f64 c (.f64 z b)) (.f64 i (.f64 t b)))) (-.f64 (.f64 c (.f64 a j)) (.f64 y (*.f64 i j))))
	40.6b	(+.f64 (-.f64 (.f64 (.f64 x (sqrt.f64 (-.f64 (.f64 z y) (.f64 t a)))) (sqrt.f64 (-.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))))
	9.8b	(+.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 z b))) (.f64 i (.f64 t b)))) (.f64 j (-.f64 (.f64 c a) (.f64 y i))))
	23.5b	(+.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))))
	34.3b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 (sqrt.f64 b) (.f64 (sqrt.f64 b) (-.f64 (.f64 c z) (.f64 t i))))) (.f64 j (-.f64 (.f64 c a) (.f64 y i))))
✓	9.7b	(+.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 (.f64 c (.f64 z b)) (.f64 i (.f64 t b)))) (.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 z b)) (.f64 i (.f64 t b)))) (-.f64 (.f64 c (.f64 a j)) (.f64 i (*.f64 y j))))
	29.2b	(+.f64 (-.f64 (.f64 x (cbrt.f64 (pow.f64 (-.f64 (.f64 z y) (.f64 t a)) 3))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
	18.2b	(+.f64 (-.f64 (-.f64 (cbrt.f64 (pow.f64 (.f64 y (.f64 z x)) 3)) (.f64 a (.f64 t x))) (-.f64 (.f64 c (.f64 z b)) (.f64 i (.f64 t b)))) (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
	41.2b	(+.f64 (-.f64 (.f64 x (exp.f64 (log.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))))
	9.8b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (-.f64 (.f64 c (.f64 z b)) (.f64 (.f64 (cbrt.f64 (.f64 i (.f64 t b))) (cbrt.f64 (.f64 i (.f64 t b)))) (cbrt.f64 (.f64 i (.f64 t b)))))) (.f64 j (-.f64 (.f64 c a) (.f64 y i))))
	34.0b	(+.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)))))

Compiler

Compiled 6051 to 1093 computations (81.9% saved)

regimes2.9s (24.1%)

Accuracy

Total 5.3b remaining (87.9%)

Threshold costs 0b (0%)

Counts

134 → 3

Compiler

Compiled 57506 to 33968 computations (40.9% saved)

bsearch11.0ms (0.1%)

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

simplify40.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

197×	`distribute-rgt-neg-in_binary64`
180×	`cancel-sign-sub-inv_binary64`
130×	`distribute-lft-neg-in_binary64`
130×	`neg-sub0_binary64`
130×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	55	237
1	118	237
2	177	237
3	248	237
4	321	237
5	366	237
6	418	237
7	484	237
8	541	237
9	624	237
10	704	237
11	783	237
12	864	237
13	919	237
14	947	237
15	958	237
16	960	237
17	956	237

end253.0ms (2.1%)

Compiler: Compiled 1014 to 489 computations (51.8% saved)

Iter	Nodes	Cost
0	55	237
1	118	237
2	177	237
3	248	237
4	321	237
5	366	237
6	418	237
7	484	237
8	541	237
9	624	237
10	704	237
11	783	237
12	864	237
13	919	237
14	947	237
15	958	237
16	960	237
17	956	237

Iter	Nodes	Cost
0	55	237
1	118	237
2	177	237
3	248	237
4	321	237
5	366	237
6	418	237
7	484	237
8	541	237
9	624	237
10	704	237
11	783	237
12	864	237
13	919	237
14	947	237
15	958	237
16	960	237
17	956	237

Details

analyze2.9s (24.2%)

sample4.1s (33.7%)

simplify330.0ms (2.7%)

prune4.0ms (0%)

localize19.0ms (0.2%)

series70.0ms (0.6%)

rewrite20.0ms (0.2%)

simplify135.0ms (1.1%)

prune249.0ms (2%)

localize19.0ms (0.2%)

series17.0ms (0.1%)

rewrite8.0ms (0.1%)

simplify71.0ms (0.6%)

prune272.0ms (2.2%)

localize21.0ms (0.2%)

series19.0ms (0.2%)

rewrite8.0ms (0.1%)

simplify74.0ms (0.6%)

prune201.0ms (1.7%)

localize24.0ms (0.2%)

series28.0ms (0.2%)

rewrite4.0ms (0%)

simplify76.0ms (0.6%)

prune225.0ms (1.8%)

regimes2.9s (24.1%)

bsearch11.0ms (0.1%)

simplify40.0ms (0.3%)

end253.0ms (2.1%)

Profiling

Iter	Nodes	Cost
0	55	237
1	118	237
2	177	237
3	248	237
4	321	237
5	366	237
6	418	237
7	484	237
8	541	237
9	624	237
10	704	237
11	783	237
12	864	237
13	919	237
14	947	237
15	958	237
16	960	237
17	956	237