Details

analyze2.5s (18.3%)

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.7s (27.4%)

Results

2.1s	11197×	body	128	invalid
1.5s	8256×	body	128	valid

Compiler

Compiled 116 to 71 computations (38.8% saved)

simplify322.0ms (2.4%)

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

14.6b

Counts

3 → 2

Alt Table

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

▶

14.7b

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

14.7b

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

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.4b	(-.f64 (.f64 y z) (.f64 t a))
✓	3.6b	(fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (*.f64 y i))))
✓	5.8b	(.f64 j (-.f64 (.f64 t c) (*.f64 y i)))
✓	7.0b	(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)))))

series233.0ms (1.7%)

Counts

4 → 312

Calls

4 calls:

111.0ms	(fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (*.f64 y i))))
93.0ms	(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)))))
18.0ms	(.f64 j (-.f64 (.f64 t c) (*.f64 y i)))
9.0ms	(-.f64 (.f64 y z) (.f64 t a))

rewrite11.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

4 → 64

Calls

4 calls:

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

simplify320.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

416×	`sub-neg_binary64`
370×	`cancel-sign-sub-inv_binary64`
343×	`*-commutative_binary64`
340×	`fma-neg_binary64`
327×	`distribute-rgt-in_binary64`

Counts

376 → 184

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	259	9329
1	632	8941
2	1937	8618
3	3873	8372
4	5000	8372
5	4937	8372

prune201.0ms (1.5%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	176	8	184
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	178	8	186

Error

0.0b

Counts

186 → 8

Alt Table

Status	Error	Program
	15.4b	(.f64 (.f64 (cbrt.f64 (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)))))) (cbrt.f64 (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))))))) (cbrt.f64 (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)))))))
▶	11.1b	(-.f64 (+.f64 (.f64 a (.f64 i b)) (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 i (.f64 y j)) (+.f64 (.f64 a (.f64 t x)) (.f64 c (.f64 z b)))))
	14.7b	(+.f64 (.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)))))
	28.8b	(+.f64 (.f64 z (-.f64 (.f64 y x) (.f64 c b))) (.f64 j (-.f64 (.f64 c t) (.f64 y i))))
	28.9b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (/.f64 (.f64 j (.f64 (-.f64 (.f64 c t) (.f64 y i)) (fma.f64 c t (.f64 y i)))) (+.f64 (.f64 t c) (*.f64 y i)))))
	13.9b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (-.f64 (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x))) (+.f64 (.f64 y (.f64 i j)) (.f64 a (.f64 t x)))))
	30.0b	(+.f64 (.f64 z (-.f64 (.f64 y x) (.f64 c b))) (.f64 t (-.f64 (.f64 c j) (.f64 x a))))
	27.1b	(+.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 i (-.f64 (.f64 a b) (.f64 j y))))

Compiler

Compiled 6124 to 1014 computations (83.4% saved)

localize25.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	5.2b	(.f64 y (.f64 z x))
✓	5.5b	(.f64 a (.f64 i b))
✓	6.7b	(.f64 a (.f64 t x))
✓	6.8b	(.f64 i (.f64 y j))

series33.0ms (0.2%)

Counts

4 → 32

Calls

4 calls:

9.0ms	(.f64 a (.f64 t x))
8.0ms	(.f64 i (.f64 y j))
8.0ms	(.f64 a (.f64 i b))
8.0ms	(.f64 y (.f64 z x))

rewrite20.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`add-cbrt-cube_binary64`
24×	`add-exp-log_binary64`
24×	`pow1_binary64`
12×	`associate-l_binary64`
12×	`cbrt-unprod_binary64`

Counts

4 → 80

Calls

4 calls:

7.0ms	(.f64 a (.f64 t x))
4.0ms	(.f64 i (.f64 y j))
3.0ms	(.f64 a (.f64 i b))
3.0ms	(.f64 y (.f64 z x))

simplify91.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

626×	`*-commutative_binary64`
534×	`associate-/l/_binary64`
500×	`sqr-pow_binary64`
484×	`unswap-sqr_binary64`
280×	`associate-r_binary64`

Counts

112 → 106

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	135	1100
1	330	920
2	1122	920
3	1570	920
4	1990	920
5	2739	920
6	3627	920
7	4876	920
8	5007	920

prune145.0ms (1.1%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	100	6	106
Fresh	0	7	7
Picked	1	0	1
Done	0	0	0
Total	101	13	114

Error

0.0b

Counts

114 → 13

Alt Table

Status	Error	Program
	11.2b	(-.f64 (+.f64 (.f64 a (.f64 i b)) (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 (.f64 (cbrt.f64 i) (cbrt.f64 i)) (.f64 (cbrt.f64 i) (.f64 y j))) (+.f64 (.f64 a (.f64 t x)) (.f64 c (.f64 z b)))))
	28.9b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (/.f64 (.f64 j (.f64 (-.f64 (.f64 c t) (.f64 y i)) (fma.f64 c t (.f64 y i)))) (+.f64 (.f64 t c) (*.f64 y i)))))
	28.8b	(-.f64 (+.f64 (.f64 a (.f64 i b)) (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 i (.f64 y j)) (+.f64 (.f64 (sqrt.f64 (.f64 a (.f64 t x))) (sqrt.f64 (.f64 a (.f64 t x)))) (.f64 c (*.f64 z b)))))
	15.4b	(.f64 (.f64 (cbrt.f64 (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)))))) (cbrt.f64 (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))))))) (cbrt.f64 (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)))))))
▶	11.2b	(-.f64 (+.f64 (.f64 a (.f64 i b)) (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 i (.f64 y j)) (+.f64 (.f64 (.f64 (cbrt.f64 (.f64 a (.f64 t x))) (cbrt.f64 (.f64 a (.f64 t x)))) (cbrt.f64 (.f64 a (.f64 t x)))) (.f64 c (.f64 z b)))))
	11.2b	(-.f64 (+.f64 (.f64 a (.f64 i b)) (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 (.f64 (cbrt.f64 (.f64 i (.f64 y j))) (cbrt.f64 (.f64 i (.f64 y j)))) (cbrt.f64 (.f64 i (.f64 y j)))) (+.f64 (.f64 a (.f64 t x)) (.f64 c (.f64 z b)))))
	14.7b	(+.f64 (.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)))))
	28.8b	(+.f64 (.f64 z (-.f64 (.f64 y x) (.f64 c b))) (.f64 j (-.f64 (.f64 c t) (.f64 y i))))
	19.4b	(-.f64 (+.f64 (.f64 a (.f64 i b)) (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 i (.f64 y j)) (+.f64 (expm1.f64 (log1p.f64 (.f64 a (.f64 t x)))) (.f64 c (.f64 z b)))))
	13.9b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (-.f64 (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x))) (+.f64 (.f64 y (.f64 i j)) (.f64 a (.f64 t x)))))
	11.2b	(-.f64 (+.f64 (.f64 (.f64 (cbrt.f64 a) (cbrt.f64 a)) (.f64 (cbrt.f64 a) (.f64 i b))) (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 i (.f64 y j)) (+.f64 (.f64 a (.f64 t x)) (.f64 c (.f64 z b)))))
	30.0b	(+.f64 (.f64 z (-.f64 (.f64 y x) (.f64 c b))) (.f64 t (-.f64 (.f64 c j) (.f64 x a))))
	27.1b	(+.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 i (-.f64 (.f64 a b) (.f64 j y))))

Compiler

Compiled 5489 to 1207 computations (78% saved)

localize26.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	5.5b	(.f64 a (.f64 i b))
	6.7b	(.f64 a (.f64 t x))
	6.8b	(.f64 i (.f64 y j))
✓	16.7b	(cbrt.f64 (.f64 a (.f64 t x)))

series659.0ms (4.8%)

Counts

1 → 36

Calls

1 calls:

659.0ms

(cbrt.f64 (*.f64 a (*.f64 t x)))

rewrite3.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

1×	`*-un-lft-identity_binary64`
1×	`add-sqr-sqrt_binary64`
1×	`cbrt-prod_binary64`
1×	`add-cube-cbrt_binary64`
1×	`add-cbrt-cube_binary64`

Counts

1 → 11

Calls

1 calls:

2.0ms

(cbrt.f64 (*.f64 a (*.f64 t x)))

simplify68.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

722×	`fma-def_binary64`
496×	`exp-sum_binary64`
426×	`fma-neg_binary64`
407×	`exp-prod_binary64`
272×	`exp-diff_binary64`

Counts

47 → 22

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	72	789
1	149	789
2	239	705
3	700	537
4	1671	537
5	4042	537
6	4953	537

prune231.0ms (1.7%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	184	0	184
Fresh	0	12	12
Picked	0	1	1
Done	0	0	0
Total	184	13	197

Error

0.0b

Counts

197 → 13

Alt Table

Status	Error	Program
	11.2b	(-.f64 (+.f64 (.f64 a (.f64 i b)) (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 (.f64 (cbrt.f64 i) (cbrt.f64 i)) (.f64 (cbrt.f64 i) (.f64 y j))) (+.f64 (.f64 a (.f64 t x)) (.f64 c (.f64 z b)))))
	28.9b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (/.f64 (.f64 j (.f64 (-.f64 (.f64 c t) (.f64 y i)) (fma.f64 c t (.f64 y i)))) (+.f64 (.f64 t c) (*.f64 y i)))))
	28.8b	(-.f64 (+.f64 (.f64 a (.f64 i b)) (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 i (.f64 y j)) (+.f64 (.f64 (sqrt.f64 (.f64 a (.f64 t x))) (sqrt.f64 (.f64 a (.f64 t x)))) (.f64 c (*.f64 z b)))))
	15.4b	(.f64 (.f64 (cbrt.f64 (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)))))) (cbrt.f64 (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))))))) (cbrt.f64 (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)))))))
✓	11.2b	(-.f64 (+.f64 (.f64 a (.f64 i b)) (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 i (.f64 y j)) (+.f64 (.f64 (.f64 (cbrt.f64 (.f64 a (.f64 t x))) (cbrt.f64 (.f64 a (.f64 t x)))) (cbrt.f64 (.f64 a (.f64 t x)))) (.f64 c (.f64 z b)))))
	11.2b	(-.f64 (+.f64 (.f64 a (.f64 i b)) (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 (.f64 (cbrt.f64 (.f64 i (.f64 y j))) (cbrt.f64 (.f64 i (.f64 y j)))) (cbrt.f64 (.f64 i (.f64 y j)))) (+.f64 (.f64 a (.f64 t x)) (.f64 c (.f64 z b)))))
	14.7b	(+.f64 (.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)))))
	28.8b	(+.f64 (.f64 z (-.f64 (.f64 y x) (.f64 c b))) (.f64 j (-.f64 (.f64 c t) (.f64 y i))))
	19.4b	(-.f64 (+.f64 (.f64 a (.f64 i b)) (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 i (.f64 y j)) (+.f64 (expm1.f64 (log1p.f64 (.f64 a (.f64 t x)))) (.f64 c (.f64 z b)))))
	13.9b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (-.f64 (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x))) (+.f64 (.f64 y (.f64 i j)) (.f64 a (.f64 t x)))))
▶	11.2b	(-.f64 (+.f64 (.f64 (.f64 (cbrt.f64 a) (cbrt.f64 a)) (.f64 (cbrt.f64 a) (.f64 i b))) (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 i (.f64 y j)) (+.f64 (.f64 a (.f64 t x)) (.f64 c (.f64 z b)))))
	30.0b	(+.f64 (.f64 z (-.f64 (.f64 y x) (.f64 c b))) (.f64 t (-.f64 (.f64 c j) (.f64 x a))))
	27.1b	(+.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 i (-.f64 (.f64 a b) (.f64 j y))))

Compiler

Compiled 11342 to 1799 computations (84.1% saved)

localize25.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	3.8b	(.f64 c (.f64 t j))
	5.2b	(.f64 y (.f64 z x))
	6.7b	(.f64 a (.f64 t x))
	6.8b	(.f64 i (.f64 y j))

series8.0ms (0.1%)

Counts

1 → 0

Calls

1 calls:

8.0ms

(*.f64 c (*.f64 t j))

rewrite6.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 c (*.f64 t j))

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

prune131.0ms (1%)

Pruning

13 alts after pruning (11 fresh and 2 done)

	Pruned	Kept	Total
New	98	0	98
Fresh	0	11	11
Picked	0	1	1
Done	0	1	1
Total	98	13	111

Error

0.0b

Counts

111 → 13

Alt Table

Status	Error	Program
	11.2b	(-.f64 (+.f64 (.f64 a (.f64 i b)) (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 (.f64 (cbrt.f64 i) (cbrt.f64 i)) (.f64 (cbrt.f64 i) (.f64 y j))) (+.f64 (.f64 a (.f64 t x)) (.f64 c (.f64 z b)))))
	28.9b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (/.f64 (.f64 j (.f64 (-.f64 (.f64 c t) (.f64 y i)) (fma.f64 c t (.f64 y i)))) (+.f64 (.f64 t c) (*.f64 y i)))))
	28.8b	(-.f64 (+.f64 (.f64 a (.f64 i b)) (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 i (.f64 y j)) (+.f64 (.f64 (sqrt.f64 (.f64 a (.f64 t x))) (sqrt.f64 (.f64 a (.f64 t x)))) (.f64 c (*.f64 z b)))))
	15.4b	(.f64 (.f64 (cbrt.f64 (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)))))) (cbrt.f64 (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))))))) (cbrt.f64 (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)))))))
✓	11.2b	(-.f64 (+.f64 (.f64 a (.f64 i b)) (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 i (.f64 y j)) (+.f64 (.f64 (.f64 (cbrt.f64 (.f64 a (.f64 t x))) (cbrt.f64 (.f64 a (.f64 t x)))) (cbrt.f64 (.f64 a (.f64 t x)))) (.f64 c (.f64 z b)))))
	11.2b	(-.f64 (+.f64 (.f64 a (.f64 i b)) (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 (.f64 (cbrt.f64 (.f64 i (.f64 y j))) (cbrt.f64 (.f64 i (.f64 y j)))) (cbrt.f64 (.f64 i (.f64 y j)))) (+.f64 (.f64 a (.f64 t x)) (.f64 c (.f64 z b)))))
	14.7b	(+.f64 (.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)))))
	28.8b	(+.f64 (.f64 z (-.f64 (.f64 y x) (.f64 c b))) (.f64 j (-.f64 (.f64 c t) (.f64 y i))))
	19.4b	(-.f64 (+.f64 (.f64 a (.f64 i b)) (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 i (.f64 y j)) (+.f64 (expm1.f64 (log1p.f64 (.f64 a (.f64 t x)))) (.f64 c (.f64 z b)))))
	13.9b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (-.f64 (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x))) (+.f64 (.f64 y (.f64 i j)) (.f64 a (.f64 t x)))))
✓	11.2b	(-.f64 (+.f64 (.f64 (.f64 (cbrt.f64 a) (cbrt.f64 a)) (.f64 (cbrt.f64 a) (.f64 i b))) (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 i (.f64 y j)) (+.f64 (.f64 a (.f64 t x)) (.f64 c (.f64 z b)))))
	30.0b	(+.f64 (.f64 z (-.f64 (.f64 y x) (.f64 c b))) (.f64 t (-.f64 (.f64 c j) (.f64 x a))))
	27.1b	(+.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 i (-.f64 (.f64 a b) (.f64 j y))))

Compiler

Compiled 5245 to 876 computations (83.3% saved)

regimes4.5s (32.8%)

Accuracy

Total 2.8b remaining (95.9%)

Threshold costs 0b (0%)

Counts

157 → 3

Compiler

Compiled 59876 to 35738 computations (40.3% saved)

bsearch9.0ms (0.1%)

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

simplify40.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

207×	`distribute-rgt-neg-in_binary64`
172×	`cancel-sign-sub-inv_binary64`
137×	`distribute-lft-neg-in_binary64`
135×	`neg-sub0_binary64`
135×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	66	239
1	122	239
2	169	239
3	215	239
4	273	239
5	312	239
6	364	239
7	441	239
8	495	239
9	547	239
10	618	239
11	718	239
12	813	239
13	907	239
14	961	239
15	992	239
16	1008	239
17	1012	239
18	1008	239

end223.0ms (1.6%)

Compiler: Compiled 966 to 428 computations (55.7% saved)

Details

analyze2.5s (18.3%)

sample3.7s (27.4%)

simplify322.0ms (2.4%)

prune4.0ms (0%)

localize17.0ms (0.1%)

series233.0ms (1.7%)

rewrite11.0ms (0.1%)

simplify320.0ms (2.4%)

prune201.0ms (1.5%)

localize25.0ms (0.2%)

series33.0ms (0.2%)

rewrite20.0ms (0.1%)

simplify91.0ms (0.7%)

prune145.0ms (1.1%)

localize26.0ms (0.2%)

series659.0ms (4.8%)

rewrite3.0ms (0%)

simplify68.0ms (0.5%)

prune231.0ms (1.7%)

localize25.0ms (0.2%)

series8.0ms (0.1%)

rewrite6.0ms (0%)

simplify73.0ms (0.5%)

prune131.0ms (1%)

regimes4.5s (32.8%)

bsearch9.0ms (0.1%)

simplify40.0ms (0.3%)

end223.0ms (1.6%)

Profiling