Details

analyze2.7s (17.9%)

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

Results

2.3s	11685×	body	128	invalid
1.6s	8256×	body	128	valid

Compiler

Compiled 116 to 71 computations (38.8% saved)

simplify319.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

802×	`unsub-neg_binary64`
656×	`sub-neg_binary64`
486×	`fma-neg_binary64`
419×	`distribute-neg-in_binary64`
395×	`+-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	2982	39
6	3420	39
7	3898	39
8	4056	39
9	3986	39
10	4031	39
11	4027	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

12.5b

Counts

3 → 2

Alt Table

Status	Error	Program
	12.5b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (*.f64 y i)))))
▶	12.5b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))

Status

Error

Program

12.5b

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

▶

12.5b

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

Compiler

Compiled 213 to 120 computations (43.7% saved)

localize21.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series69.0ms (0.5%)

Counts

4 → 205

Calls

4 calls:

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

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

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

simplify125.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

453×	`fma-def_binary64`
383×	`distribute-rgt-in_binary64`
375×	`distribute-lft-in_binary64`
297×	`associate-l_binary64`
279×	`fma-neg_binary64`

Counts

305 → 178

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	233	4185
1	505	3977
2	1706	3935
3	4199	3935
4	4955	3935

prune258.0ms (1.7%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	165	13	178
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	167	13	180

Error

1.6b

Counts

180 → 13

Alt Table

Status	Error	Program
	12.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 i a)))) (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))
▶	12.4b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (-.f64 (.f64 c (.f64 b z)) (.f64 i (.f64 a b)))) (.f64 j (-.f64 (.f64 c t) (.f64 i y))))
	37.6b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (/.f64 (-.f64 (pow.f64 (.f64 c z) 3) (pow.f64 (.f64 i a) 3)) (+.f64 (.f64 (.f64 c z) (.f64 c z)) (+.f64 (.f64 (.f64 i a) (.f64 i a)) (.f64 (.f64 c z) (.f64 i a))))))) (.f64 j (-.f64 (.f64 c t) (.f64 i y))))
	38.9b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (/.f64 (.f64 j (-.f64 (pow.f64 (.f64 c t) 3) (pow.f64 (.f64 i y) 3))) (+.f64 (.f64 (.f64 c t) (.f64 c t)) (+.f64 (.f64 (.f64 i y) (.f64 i y)) (.f64 (.f64 c t) (.f64 i y))))))
	14.5b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (-.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 i j))))
	34.3b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 (sqrt.f64 (.f64 j (-.f64 (.f64 c t) (.f64 i y)))) (sqrt.f64 (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))))
	14.5b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (-.f64 (.f64 c (.f64 t j)) (.f64 i (.f64 y j))))
	12.8b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 (.f64 b (.f64 (cbrt.f64 (-.f64 (.f64 c z) (.f64 i a))) (cbrt.f64 (-.f64 (.f64 c z) (.f64 i a))))) (cbrt.f64 (-.f64 (.f64 c z) (.f64 i a))))) (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))
	27.0b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (/.f64 (.f64 b (.f64 (-.f64 (.f64 c z) (.f64 a i)) (fma.f64 c z (.f64 a i)))) (+.f64 (.f64 c z) (.f64 i a)))) (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))
	13.1b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (-.f64 (.f64 c (.f64 z b)) (.f64 a (.f64 i b)))) (.f64 j (-.f64 (.f64 c t) (.f64 i y))))
	28.2b	(+.f64 (-.f64 (/.f64 (.f64 x (.f64 (-.f64 (.f64 z y) (.f64 a t)) (fma.f64 z y (.f64 a t)))) (+.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))
	13.4b	(+.f64 (-.f64 (-.f64 (.f64 y (.f64 z x)) (.f64 a (.f64 t x))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 j (-.f64 (.f64 c t) (.f64 i y))))
	12.8b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 (.f64 j (.f64 (cbrt.f64 (-.f64 (.f64 c t) (.f64 i y))) (cbrt.f64 (-.f64 (.f64 c t) (.f64 i y))))) (cbrt.f64 (-.f64 (.f64 c t) (*.f64 i y)))))

Compiler

Compiled 7641 to 1545 computations (79.8% saved)

localize21.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series17.0ms (0.1%)

Counts

2 → 32

Calls

2 calls:

8.0ms	(.f64 c (.f64 b z))
8.0ms	(.f64 i (.f64 a b))

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

6.0ms	(.f64 i (.f64 a b))
4.0ms	(.f64 c (.f64 b z))

simplify76.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

508×	`unswap-sqr_binary64`
434×	`associate-/l/_binary64`
421×	`*-commutative_binary64`
372×	`log-div_binary64`
351×	`times-frac_binary64`

Counts

72 → 60

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	75	662
1	174	572
2	587	572
3	822	572
4	1044	572
5	1384	572
6	1860	572
7	2769	572
8	4239	572
9	4968	572

prune247.0ms (1.6%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	149	3	152
Fresh	1	11	12
Picked	1	0	1
Done	0	0	0
Total	151	14	165

Error

0.0b

Counts

165 → 14

Alt Table

Status	Error	Program
	12.9b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (-.f64 (.f64 c (.f64 b z)) (.f64 i (.f64 a b)))) (-.f64 (.f64 c (.f64 t j)) (.f64 i (*.f64 y j))))
	34.3b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 (sqrt.f64 (.f64 j (-.f64 (.f64 c t) (.f64 i y)))) (sqrt.f64 (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))))
	13.9b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (-.f64 (.f64 c (.f64 b z)) (.f64 i (.f64 a b)))) (-.f64 (.f64 c (.f64 t j)) (.f64 y (*.f64 i j))))
	12.8b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 (.f64 b (.f64 (cbrt.f64 (-.f64 (.f64 c z) (.f64 i a))) (cbrt.f64 (-.f64 (.f64 c z) (.f64 i a))))) (cbrt.f64 (-.f64 (.f64 c z) (.f64 i a))))) (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))
▶	12.8b	(+.f64 (-.f64 (-.f64 (.f64 y (.f64 z x)) (.f64 a (.f64 t x))) (-.f64 (.f64 c (.f64 b z)) (.f64 i (.f64 a b)))) (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))
	12.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 i a)))) (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))
	37.6b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (/.f64 (-.f64 (pow.f64 (.f64 c z) 3) (pow.f64 (.f64 i a) 3)) (+.f64 (.f64 (.f64 c z) (.f64 c z)) (+.f64 (.f64 (.f64 i a) (.f64 i a)) (.f64 (.f64 c z) (.f64 i a))))))) (.f64 j (-.f64 (.f64 c t) (.f64 i y))))
	38.9b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (/.f64 (.f64 j (-.f64 (pow.f64 (.f64 c t) 3) (pow.f64 (.f64 i y) 3))) (+.f64 (.f64 (.f64 c t) (.f64 c t)) (+.f64 (.f64 (.f64 i y) (.f64 i y)) (.f64 (.f64 c t) (.f64 i y))))))
	14.5b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (-.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 i j))))
	27.0b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (/.f64 (.f64 b (.f64 (-.f64 (.f64 c z) (.f64 a i)) (fma.f64 c z (.f64 a i)))) (+.f64 (.f64 c z) (.f64 i a)))) (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))
	13.1b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (-.f64 (.f64 c (.f64 z b)) (.f64 a (.f64 i b)))) (.f64 j (-.f64 (.f64 c t) (.f64 i y))))
	28.2b	(+.f64 (-.f64 (/.f64 (.f64 x (.f64 (-.f64 (.f64 z y) (.f64 a t)) (fma.f64 z y (.f64 a t)))) (+.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))
	13.4b	(+.f64 (-.f64 (-.f64 (.f64 y (.f64 z x)) (.f64 a (.f64 t x))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 j (-.f64 (.f64 c t) (.f64 i y))))
	12.8b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 (.f64 j (.f64 (cbrt.f64 (-.f64 (.f64 c t) (.f64 i y))) (cbrt.f64 (-.f64 (.f64 c t) (.f64 i y))))) (cbrt.f64 (-.f64 (.f64 c t) (*.f64 i y)))))

Compiler

Compiled 7009 to 1523 computations (78.3% saved)

localize22.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	5.1b	(.f64 a (.f64 t x))
✓	5.2b	(.f64 y (.f64 z x))
	5.8b	(.f64 i (.f64 a b))
	6.2b	(.f64 c (.f64 b z))

series17.0ms (0.1%)

Counts

2 → 0

Calls

2 calls:

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

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

prune187.0ms (1.3%)

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	107	1	108
Fresh	0	13	13
Picked	0	1	1
Done	0	0	0
Total	107	15	122

Error

0.0b

Counts

122 → 15

Alt Table

Status	Error	Program
	12.9b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (-.f64 (.f64 c (.f64 b z)) (.f64 i (.f64 a b)))) (-.f64 (.f64 c (.f64 t j)) (.f64 i (*.f64 y j))))
	34.3b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 (sqrt.f64 (.f64 j (-.f64 (.f64 c t) (.f64 i y)))) (sqrt.f64 (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))))
	13.9b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (-.f64 (.f64 c (.f64 b z)) (.f64 i (.f64 a b)))) (-.f64 (.f64 c (.f64 t j)) (.f64 y (*.f64 i j))))
▶	12.8b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 (.f64 b (.f64 (cbrt.f64 (-.f64 (.f64 c z) (.f64 i a))) (cbrt.f64 (-.f64 (.f64 c z) (.f64 i a))))) (cbrt.f64 (-.f64 (.f64 c z) (.f64 i a))))) (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))
✓	12.8b	(+.f64 (-.f64 (-.f64 (.f64 y (.f64 z x)) (.f64 a (.f64 t x))) (-.f64 (.f64 c (.f64 b z)) (.f64 i (.f64 a b)))) (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))
	12.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 i a)))) (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))
	31.9b	(+.f64 (-.f64 (-.f64 (.f64 y (.f64 z x)) (.f64 (sqrt.f64 (.f64 a (.f64 t x))) (sqrt.f64 (.f64 a (.f64 t x))))) (-.f64 (.f64 c (.f64 b z)) (.f64 i (.f64 a b)))) (.f64 j (-.f64 (.f64 c t) (.f64 i y))))
	28.2b	(+.f64 (-.f64 (/.f64 (.f64 x (.f64 (-.f64 (.f64 z y) (.f64 a t)) (fma.f64 z y (.f64 a t)))) (+.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))
	37.6b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (/.f64 (-.f64 (pow.f64 (.f64 c z) 3) (pow.f64 (.f64 i a) 3)) (+.f64 (.f64 (.f64 c z) (.f64 c z)) (+.f64 (.f64 (.f64 i a) (.f64 i a)) (.f64 (.f64 c z) (.f64 i a))))))) (.f64 j (-.f64 (.f64 c t) (.f64 i y))))
	38.9b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (/.f64 (.f64 j (-.f64 (pow.f64 (.f64 c t) 3) (pow.f64 (.f64 i y) 3))) (+.f64 (.f64 (.f64 c t) (.f64 c t)) (+.f64 (.f64 (.f64 i y) (.f64 i y)) (.f64 (.f64 c t) (.f64 i y))))))
	14.5b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (-.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 i j))))
	27.0b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (/.f64 (.f64 b (.f64 (-.f64 (.f64 c z) (.f64 a i)) (fma.f64 c z (.f64 a i)))) (+.f64 (.f64 c z) (.f64 i a)))) (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))
	13.1b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (-.f64 (.f64 c (.f64 z b)) (.f64 a (.f64 i b)))) (.f64 j (-.f64 (.f64 c t) (.f64 i y))))
	13.4b	(+.f64 (-.f64 (-.f64 (.f64 y (.f64 z x)) (.f64 a (.f64 t x))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 j (-.f64 (.f64 c t) (.f64 i y))))
	12.8b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 (.f64 j (.f64 (cbrt.f64 (-.f64 (.f64 c t) (.f64 i y))) (cbrt.f64 (-.f64 (.f64 c t) (.f64 i y))))) (cbrt.f64 (-.f64 (.f64 c t) (*.f64 i y)))))

Compiler

Compiled 5546 to 1408 computations (74.6% saved)

localize23.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	1.4b	(.f64 b (.f64 (cbrt.f64 (-.f64 (.f64 c z) (.f64 i a))) (cbrt.f64 (-.f64 (.f64 c z) (.f64 i a)))))
	4.5b	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))
	4.5b	(.f64 j (-.f64 (.f64 c t) (*.f64 i y)))
✓	7.4b	(cbrt.f64 (-.f64 (.f64 c z) (.f64 i a)))

series620.0ms (4.1%)

Counts

2 → 108

Calls

2 calls:

525.0ms	(.f64 b (.f64 (cbrt.f64 (-.f64 (.f64 c z) (.f64 i a))) (cbrt.f64 (-.f64 (.f64 c z) (.f64 i a)))))
94.0ms	(cbrt.f64 (-.f64 (.f64 c z) (.f64 i a)))

rewrite17.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`cbrt-div_binary64`
10×	`associate-*r/_binary64`
7×	`flip--_binary64`
7×	`flip3--_binary64`
7×	`add-exp-log_binary64`

Counts

2 → 44

Calls

2 calls:

10.0ms	(.f64 b (.f64 (cbrt.f64 (-.f64 (.f64 c z) (.f64 i a))) (cbrt.f64 (-.f64 (.f64 c z) (.f64 i a)))))
2.0ms	(cbrt.f64 (-.f64 (.f64 c z) (.f64 i a)))

simplify147.0ms (1%)

Algorithm

1×	egg-herbie

Rules

402×	`fma-def_binary64`
367×	`*-commutative_binary64`
353×	`associate-*r/_binary64`
281×	`associate-*l/_binary64`
198×	`associate-r_binary64`

Counts

152 → 243

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	807	9390
1	2561	8909
2	5084	8909

prune1.1s (7.3%)

Pruning

15 alts after pruning (13 fresh and 2 done)

	Pruned	Kept	Total
New	552	1	553
Fresh	1	12	13
Picked	0	1	1
Done	0	1	1
Total	553	15	568

Error

0.0b

Counts

568 → 15

Alt Table

Status	Error	Program
	12.9b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (-.f64 (.f64 c (.f64 b z)) (.f64 i (.f64 a b)))) (-.f64 (.f64 c (.f64 t j)) (.f64 i (*.f64 y j))))
	34.3b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 (sqrt.f64 (.f64 j (-.f64 (.f64 c t) (.f64 i y)))) (sqrt.f64 (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))))
	13.9b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (-.f64 (.f64 c (.f64 b z)) (.f64 i (.f64 a b)))) (-.f64 (.f64 c (.f64 t j)) (.f64 y (*.f64 i j))))
✓	12.8b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 (.f64 b (.f64 (cbrt.f64 (-.f64 (.f64 c z) (.f64 i a))) (cbrt.f64 (-.f64 (.f64 c z) (.f64 i a))))) (cbrt.f64 (-.f64 (.f64 c z) (.f64 i a))))) (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))
✓	12.8b	(+.f64 (-.f64 (-.f64 (.f64 y (.f64 z x)) (.f64 a (.f64 t x))) (-.f64 (.f64 c (.f64 b z)) (.f64 i (.f64 a b)))) (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))
	12.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 i a)))) (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))
	31.9b	(+.f64 (-.f64 (-.f64 (.f64 y (.f64 z x)) (.f64 (sqrt.f64 (.f64 a (.f64 t x))) (sqrt.f64 (.f64 a (.f64 t x))))) (-.f64 (.f64 c (.f64 b z)) (.f64 i (.f64 a b)))) (.f64 j (-.f64 (.f64 c t) (.f64 i y))))
	28.2b	(+.f64 (-.f64 (/.f64 (.f64 x (.f64 (-.f64 (.f64 z y) (.f64 a t)) (fma.f64 z y (.f64 a t)))) (+.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))
	13.4b	(+.f64 (-.f64 (-.f64 (.f64 y (.f64 z x)) (.f64 a (.f64 t x))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 j (-.f64 (.f64 c t) (.f64 i y))))
	23.9b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 (.f64 (cbrt.f64 (pow.f64 (-.f64 (.f64 c z) (.f64 a i)) 2)) b) (cbrt.f64 (-.f64 (.f64 c z) (.f64 i a))))) (.f64 j (-.f64 (.f64 c t) (.f64 i y))))
	38.9b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (/.f64 (.f64 j (-.f64 (pow.f64 (.f64 c t) 3) (pow.f64 (.f64 i y) 3))) (+.f64 (.f64 (.f64 c t) (.f64 c t)) (+.f64 (.f64 (.f64 i y) (.f64 i y)) (.f64 (.f64 c t) (.f64 i y))))))
	14.5b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (-.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 i j))))
	27.0b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (/.f64 (.f64 b (.f64 (-.f64 (.f64 c z) (.f64 a i)) (fma.f64 c z (.f64 a i)))) (+.f64 (.f64 c z) (.f64 i a)))) (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))
	13.1b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (-.f64 (.f64 c (.f64 z b)) (.f64 a (.f64 i b)))) (.f64 j (-.f64 (.f64 c t) (.f64 i y))))
	12.8b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 (.f64 j (.f64 (cbrt.f64 (-.f64 (.f64 c t) (.f64 i y))) (cbrt.f64 (-.f64 (.f64 c t) (.f64 i y))))) (cbrt.f64 (-.f64 (.f64 c t) (*.f64 i y)))))

Compiler

Compiled 43876 to 14467 computations (67% saved)

regimes4.6s (30.4%)

Accuracy

Total 5.4b remaining (86.4%)

Threshold costs 0b (0%)

Counts

98 → 3

Compiler

Compiled 43826 to 24798 computations (43.4% saved)

bsearch6.0ms (0%)

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

simplify39.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

191×	`distribute-rgt-neg-in_binary64`
167×	`cancel-sign-sub-inv_binary64`
126×	`distribute-lft-neg-in_binary64`
124×	`neg-sub0_binary64`
124×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	58	250
1	116	250
2	168	250
3	237	250
4	311	250
5	355	250
6	407	250
7	463	250
8	527	250
9	613	250
10	691	250
11	773	250
12	845	250
13	893	250
14	923	250
15	939	250
16	943	250
17	939	250

end252.0ms (1.7%)

Compiler: Compiled 1079 to 497 computations (53.9% saved)

Iter	Nodes	Cost
0	58	250
1	116	250
2	168	250
3	237	250
4	311	250
5	355	250
6	407	250
7	463	250
8	527	250
9	613	250
10	691	250
11	773	250
12	845	250
13	893	250
14	923	250
15	939	250
16	943	250
17	939	250

Iter	Nodes	Cost
0	58	250
1	116	250
2	168	250
3	237	250
4	311	250
5	355	250
6	407	250
7	463	250
8	527	250
9	613	250
10	691	250
11	773	250
12	845	250
13	893	250
14	923	250
15	939	250
16	943	250
17	939	250

Details

analyze2.7s (17.9%)

sample4.1s (27.1%)

simplify319.0ms (2.1%)

prune4.0ms (0%)

localize21.0ms (0.1%)

series69.0ms (0.5%)

rewrite21.0ms (0.1%)

simplify125.0ms (0.8%)

prune258.0ms (1.7%)

localize21.0ms (0.1%)

series17.0ms (0.1%)

rewrite11.0ms (0.1%)

simplify76.0ms (0.5%)

prune247.0ms (1.6%)

localize22.0ms (0.1%)

series17.0ms (0.1%)

rewrite9.0ms (0.1%)

simplify67.0ms (0.4%)

prune187.0ms (1.3%)

localize23.0ms (0.2%)

series620.0ms (4.1%)

rewrite17.0ms (0.1%)

simplify147.0ms (1%)

prune1.1s (7.3%)

regimes4.6s (30.4%)

bsearch6.0ms (0%)

simplify39.0ms (0.3%)

end252.0ms (1.7%)

Profiling

Iter	Nodes	Cost
0	58	250
1	116	250
2	168	250
3	237	250
4	311	250
5	355	250
6	407	250
7	463	250
8	527	250
9	613	250
10	691	250
11	773	250
12	845	250
13	893	250
14	923	250
15	939	250
16	943	250
17	939	250