Details

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

sample3.9s (29.6%)

Results

2.2s	11065×	body	128	invalid
1.6s	8256×	body	128	valid

Compiler

Compiled 116 to 71 computations (38.8% saved)

simplify324.0ms (2.4%)

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

Counts

3 → 1

Alt Table

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

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.4b	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))
✓	4.7b	(.f64 j (-.f64 (.f64 c a) (*.f64 y i)))
✓	4.7b	(.f64 b (-.f64 (.f64 c z) (*.f64 t i)))

series70.0ms (0.5%)

Counts

4 → 220

Calls

4 calls:

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

rewrite21.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 j (-.f64 (.f64 c a) (*.f64 y i)))
5.0ms	(.f64 b (-.f64 (.f64 c z) (*.f64 t i)))
5.0ms	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))
3.0ms	(-.f64 (.f64 y z) (.f64 t a))

simplify124.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 → 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

prune320.0ms (2.4%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	176	13	189
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	177	13	190

Error

1.1b

Counts

190 → 13

Alt Table

Status	Error	Program
	35.6b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 (.f64 b (sqrt.f64 (-.f64 (.f64 c z) (.f64 t i)))) (sqrt.f64 (-.f64 (.f64 c z) (.f64 t i))))) (.f64 j (-.f64 (.f64 c a) (.f64 y i))))
	12.9b	(+.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))))
	36.6b	(+.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))))
	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))))
	11.5b	(+.f64 (-.f64 (.f64 x (.f64 (.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))))
	11.2b	(+.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))))
	26.2b	(+.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)))
	27.1b	(+.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))))
▶	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 i (.f64 y j))))
	29.7b	(+.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))))
	16.1b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 -1 (.f64 y (*.f64 i j))))
	11.2b	(+.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))))
	16.8b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 -1 (.f64 i (*.f64 y j))))

Compiler

Compiled 7913 to 1544 computations (80.5% saved)

localize22.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series16.0ms (0.1%)

Counts

2 → 16

Calls

2 calls:

8.0ms	(.f64 i (.f64 y 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:

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

prune288.0ms (2.2%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	158	4	162
Fresh	1	11	12
Picked	1	0	1
Done	0	0	0
Total	160	15	175

Error

0.5b

Counts

175 → 15

Alt Table

Status	Error	Program
	36.6b	(+.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))))
	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))))
	11.5b	(+.f64 (-.f64 (.f64 x (.f64 (.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))))
	11.2b	(+.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))))
	26.2b	(+.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.2b	(+.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.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 i (*.f64 y j))))
	16.8b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 -1 (.f64 i (*.f64 y 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 c (.f64 a j)) (.f64 (.f64 (cbrt.f64 i) (cbrt.f64 i)) (.f64 (cbrt.f64 i) (.f64 y j)))))
	35.6b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 (.f64 b (sqrt.f64 (-.f64 (.f64 c z) (.f64 t i)))) (sqrt.f64 (-.f64 (.f64 c z) (.f64 t i))))) (.f64 j (-.f64 (.f64 c a) (.f64 y i))))
	37.1b	(+.f64 (-.f64 (.f64 (sqrt.f64 (.f64 (-.f64 (.f64 z y) (.f64 t a)) x)) (sqrt.f64 (.f64 (-.f64 (.f64 z y) (.f64 t a)) x))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (-.f64 (.f64 c (.f64 a j)) (.f64 i (.f64 y j))))
	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 (.f64 c (.f64 a j)) (.f64 i (*.f64 y j))))
	27.1b	(+.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))))
	29.7b	(+.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))))
	16.1b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 -1 (.f64 y (*.f64 i j))))

Compiler

Compiled 7395 to 1567 computations (78.8% saved)

localize25.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series25.0ms (0.2%)

Counts

1 → 36

Calls

1 calls:

24.0ms

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

rewrite12.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

22×	`add-exp-log_binary64`
22×	`pow1_binary64`
15×	`cbrt-unprod_binary64`
15×	`prod-exp_binary64`
15×	`pow-prod-down_binary64`

Counts

1 → 30

Calls

1 calls:

8.0ms

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

simplify79.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

548×	`associate-/r/_binary64`
467×	`unswap-sqr_binary64`
391×	`associate-*r/_binary64`
388×	`sqr-pow_binary64`
357×	`*-commutative_binary64`

Counts

66 → 35

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	59	621
1	140	516
2	527	516
3	872	516
4	1253	514
5	2157	514
6	3134	514
7	4496	514
8	4946	514

prune254.0ms (1.9%)

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	167	0	167
Fresh	0	14	14
Picked	0	1	1
Done	0	0	0
Total	167	15	182

Error

0.5b

Counts

182 → 15

Alt Table

Status	Error	Program
	36.6b	(+.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))))
	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))))
	11.5b	(+.f64 (-.f64 (.f64 x (.f64 (.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))))
▶	11.2b	(+.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))))
	26.2b	(+.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.2b	(+.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.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 i (*.f64 y j))))
	16.8b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 -1 (.f64 i (*.f64 y 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 c (.f64 a j)) (.f64 (.f64 (cbrt.f64 i) (cbrt.f64 i)) (.f64 (cbrt.f64 i) (.f64 y j)))))
	35.6b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 (.f64 b (sqrt.f64 (-.f64 (.f64 c z) (.f64 t i)))) (sqrt.f64 (-.f64 (.f64 c z) (.f64 t i))))) (.f64 j (-.f64 (.f64 c a) (.f64 y i))))
	37.1b	(+.f64 (-.f64 (.f64 (sqrt.f64 (.f64 (-.f64 (.f64 z y) (.f64 t a)) x)) (sqrt.f64 (.f64 (-.f64 (.f64 z y) (.f64 t a)) x))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (-.f64 (.f64 c (.f64 a j)) (.f64 i (.f64 y j))))
	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 (.f64 c (.f64 a j)) (.f64 i (*.f64 y j))))
	27.1b	(+.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))))
	29.7b	(+.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))))
	16.1b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 -1 (.f64 y (*.f64 i j))))

Compiler

Compiled 8698 to 1571 computations (81.9% saved)

localize24.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series27.0ms (0.2%)

Counts

2 → 84

Calls

2 calls:

18.0ms	(.f64 (fma.f64 y z (neg.f64 (.f64 a t))) x)
8.0ms	(fma.f64 (neg.f64 a) t (*.f64 a t))

rewrite6.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 → 30

Calls

2 calls:

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

simplify74.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

902×	`fma-def_binary64`
441×	`neg-sub0_binary64`
430×	`neg-mul-1_binary64`
317×	`*-commutative_binary64`
314×	`unsub-neg_binary64`

Counts

114 → 58

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	62	1384
1	112	1153
2	328	1097
3	1077	1097
4	1850	1097
5	3863	1097
6	5081	1097

prune300.0ms (2.3%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	163	1	164
Fresh	1	12	13
Picked	1	0	1
Done	0	1	1
Total	165	14	179

Error

0.5b

Counts

179 → 14

Alt Table

Status	Error	Program
	37.1b	(+.f64 (-.f64 (.f64 (sqrt.f64 (.f64 (-.f64 (.f64 z y) (.f64 t a)) x)) (sqrt.f64 (.f64 (-.f64 (.f64 z y) (.f64 t a)) x))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (-.f64 (.f64 c (.f64 a j)) (.f64 i (.f64 y j))))
	16.8b	(+.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 -1 (.f64 i (.f64 y j))))
	36.6b	(+.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))))
	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))))
	11.5b	(+.f64 (-.f64 (.f64 x (.f64 (.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))))
	11.2b	(+.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.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 i (*.f64 y j))))
	35.6b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 (.f64 b (sqrt.f64 (-.f64 (.f64 c z) (.f64 t i)))) (sqrt.f64 (-.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 (.f64 c (.f64 a j)) (.f64 i (*.f64 y j))))
	27.1b	(+.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))))
	29.7b	(+.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))))
	16.1b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 t i)))) (.f64 -1 (.f64 y (*.f64 i j))))
	26.2b	(+.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.1b	(+.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 (.f64 (cbrt.f64 i) (cbrt.f64 i)) (.f64 (cbrt.f64 i) (.f64 y j)))))

Compiler

Compiled 8044 to 1191 computations (85.2% saved)

regimes4.0s (30.1%)

Accuracy

Total 4.7b remaining (84.5%)

Threshold costs 0b (0%)

Counts

149 → 3

Compiler

Compiled 65496 to 37878 computations (42.2% saved)

bsearch9.0ms (0.1%)

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

simplify43.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

226×	`distribute-rgt-neg-in_binary64`
221×	`cancel-sign-sub-inv_binary64`
149×	`neg-sub0_binary64`
149×	`neg-mul-1_binary64`
148×	`distribute-lft-neg-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	60	252
1	132	252
2	185	252
3	258	252
4	331	252
5	378	252
6	431	252
7	497	252
8	554	252
9	645	252
10	741	252
11	849	252
12	961	252
13	1043	252
14	1087	252
15	1108	252
16	1114	252
17	1110	252

end235.0ms (1.8%)

Compiler: Compiled 991 to 474 computations (52.2% saved)

Details

analyze2.9s (22.2%)

sample3.9s (29.6%)

simplify324.0ms (2.4%)

prune4.0ms (0%)

localize18.0ms (0.1%)

series70.0ms (0.5%)

rewrite21.0ms (0.2%)

simplify124.0ms (0.9%)

prune320.0ms (2.4%)

localize22.0ms (0.2%)

series16.0ms (0.1%)

rewrite10.0ms (0.1%)

simplify71.0ms (0.5%)

prune288.0ms (2.2%)

localize25.0ms (0.2%)

series25.0ms (0.2%)

rewrite12.0ms (0.1%)

simplify79.0ms (0.6%)

prune254.0ms (1.9%)

localize24.0ms (0.2%)

series27.0ms (0.2%)

rewrite6.0ms (0%)

simplify74.0ms (0.6%)

prune300.0ms (2.3%)

regimes4.0s (30.1%)

bsearch9.0ms (0.1%)

simplify43.0ms (0.3%)

end235.0ms (1.8%)

Profiling