Details

analyze2.6s (18.8%)

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)

sample162.0ms (1.2%)

Algorithm

1×

intervals

Results

31.0ms	330×	body	128	invalid
23.0ms	256×	body	128	valid

Compiler

Compiled 86 to 56 computations (34.9% saved)

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

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)

localize22.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(-.f64 (.f64 t c) (.f64 y i))
✓	4.1b	(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)))))
✓	4.6b	(fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (*.f64 y i))))
✓	4.9b	(.f64 j (-.f64 (.f64 t c) (*.f64 y i)))

series179.0ms (1.3%)

Counts

4 → 312

Calls

4 calls:

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)))))
58.0ms	(fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (*.f64 y i))))
20.0ms	(.f64 j (-.f64 (.f64 t c) (*.f64 y i)))
8.0ms	(-.f64 (.f64 t c) (.f64 y i))

rewrite13.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-log-exp_binary64`

Counts

4 → 64

Calls

4 calls:

7.0ms	(.f64 j (-.f64 (.f64 t c) (*.f64 y i)))
3.0ms	(-.f64 (.f64 t c) (.f64 y i))
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))))

simplify230.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

395×	`sub-neg_binary64`
365×	`exp-prod_binary64`
338×	`cancel-sign-sub-inv_binary64`
333×	`exp-sum_binary64`
316×	`fma-neg_binary64`

Counts

376 → 195

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	241	9345
1	584	8944
2	1732	8621
3	3392	8366
4	4446	8366
5	5109	8366

prune231.0ms (1.7%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	183	12	195
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	185	12	197

Error

0.1b

Counts

197 → 12

Alt Table

Status	Error	Program
▶	11.5b	(-.f64 (+.f64 (.f64 i (.f64 a b)) (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 y (.f64 i j)) (+.f64 (.f64 c (.f64 z b)) (.f64 a (.f64 t x)))))
	25.1b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (.f64 t (-.f64 (.f64 j c) (*.f64 x a))))
	29.0b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (cbrt.f64 (pow.f64 (.f64 j (-.f64 (.f64 c t) (*.f64 i y))) 3))))
	28.7b	(+.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 c (-.f64 (.f64 j t) (.f64 z b))))
	46.9b	(.f64 (-.f64 (.f64 y x) (*.f64 c b)) z)
	33.2b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (expm1.f64 (log1p.f64 (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (*.f64 y i)))))))
	12.3b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (-.f64 (.f64 c (.f64 t j)) (.f64 i (.f64 y j)))))
	27.3b	(-.f64 (+.f64 (.f64 a (.f64 i b)) (.f64 y (.f64 z x))) (+.f64 (.f64 a (.f64 t x)) (.f64 c (.f64 z b))))
	12.8b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 (.f64 (cbrt.f64 j) (cbrt.f64 j)) (.f64 (cbrt.f64 j) (-.f64 (.f64 t c) (*.f64 y i))))))
	25.1b	(-.f64 (+.f64 (.f64 a (.f64 i b)) (.f64 c (.f64 t j))) (+.f64 (.f64 a (.f64 t x)) (.f64 c (.f64 z b))))
	13.3b	(.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)))))))
	12.5b	(+.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)))))

Compiler

Compiled 6788 to 1219 computations (82% saved)

localize22.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	4.6b	(.f64 y (.f64 i j))
✓	5.0b	(.f64 c (.f64 t j))
✓	6.4b	(.f64 y (.f64 z x))
✓	6.7b	(.f64 a (.f64 t x))

series34.0ms (0.3%)

Counts

4 → 16

Calls

4 calls:

10.0ms	(.f64 y (.f64 z x))
8.0ms	(.f64 a (.f64 t x))
8.0ms	(.f64 c (.f64 t j))
8.0ms	(.f64 y (.f64 i j))

rewrite28.0ms (0.2%)

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:

13.0ms	(.f64 a (.f64 t x))
4.0ms	(.f64 c (.f64 t j))
4.0ms	(.f64 y (.f64 i j))
4.0ms	(.f64 y (.f64 z x))

simplify84.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

611×	`*-commutative_binary64`
513×	`associate-/l/_binary64`
488×	`sqr-pow_binary64`
480×	`unswap-sqr_binary64`
276×	`associate-l_binary64`

Counts

96 → 105

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	133	988
1	326	808
2	1094	808
3	1537	808
4	1946	808
5	2681	808
6	3554	808
7	4973	808
8	5063	808

prune133.0ms (1%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	102	3	105
Fresh	1	10	11
Picked	1	0	1
Done	0	0	0
Total	104	13	117

Error

0.1b

Counts

117 → 13

Alt Table

Status	Error	Program
	38.0b	(-.f64 (+.f64 (.f64 i (.f64 a b)) (+.f64 (.f64 c (.f64 t j)) (.f64 (sqrt.f64 y) (.f64 (sqrt.f64 y) (.f64 z x))))) (+.f64 (.f64 y (.f64 i j)) (+.f64 (.f64 c (.f64 z b)) (.f64 a (*.f64 t x)))))
	12.8b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 (.f64 (cbrt.f64 j) (cbrt.f64 j)) (.f64 (cbrt.f64 j) (-.f64 (.f64 t c) (*.f64 y i))))))
▶	10.5b	(-.f64 (+.f64 (.f64 i (.f64 a b)) (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 y (.f64 i j)) (+.f64 (.f64 c (.f64 z b)) (.f64 (.f64 a t) x))))
	25.1b	(-.f64 (+.f64 (.f64 a (.f64 i b)) (.f64 c (.f64 t j))) (+.f64 (.f64 a (.f64 t x)) (.f64 c (.f64 z b))))
	11.7b	(-.f64 (+.f64 (.f64 i (.f64 a b)) (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 y (.f64 i j)) (+.f64 (.f64 c (.f64 z b)) (.f64 (.f64 (cbrt.f64 a) (cbrt.f64 a)) (.f64 (cbrt.f64 a) (.f64 t x))))))
	25.1b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (.f64 t (-.f64 (.f64 j c) (*.f64 x a))))
	29.0b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (cbrt.f64 (pow.f64 (.f64 j (-.f64 (.f64 c t) (*.f64 i y))) 3))))
	46.9b	(.f64 (-.f64 (.f64 y x) (*.f64 c b)) z)
	33.2b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (expm1.f64 (log1p.f64 (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (*.f64 y i)))))))
	12.3b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (-.f64 (.f64 c (.f64 t j)) (.f64 i (.f64 y j)))))
	27.3b	(-.f64 (+.f64 (.f64 a (.f64 i b)) (.f64 y (.f64 z x))) (+.f64 (.f64 a (.f64 t x)) (.f64 c (.f64 z b))))
	13.3b	(.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)))))))
	12.5b	(+.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)))))

Compiler

Compiled 5286 to 1174 computations (77.8% saved)

localize23.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	4.2b	(.f64 i (.f64 a b))
	4.6b	(.f64 y (.f64 i j))
	5.0b	(.f64 c (.f64 t j))
	6.4b	(.f64 y (.f64 z x))

series11.0ms (0.1%)

Counts

1 → 16

Calls

1 calls:

11.0ms

(*.f64 i (*.f64 a b))

rewrite5.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 a b))

simplify78.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

621×	`log-div_binary64`
557×	`associate-/l*_binary64`
486×	`associate-l_binary64`
378×	`*-commutative_binary64`
369×	`cube-div_binary64`

Counts

36 → 30

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	40	331
1	91	286
2	305	286
3	862	286
4	1072	286
5	1298	286
6	1596	286
7	2151	286
8	3255	286
9	4791	286
10	5075	286

prune274.0ms (2%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	111	4	115
Fresh	1	11	12
Picked	1	0	1
Done	0	0	0
Total	113	15	128

Error

0.0b

Counts

128 → 15

Alt Table

Status	Error	Program
	46.9b	(.f64 (-.f64 (.f64 y x) (*.f64 c b)) z)
	10.7b	(-.f64 (+.f64 (.f64 (.f64 (cbrt.f64 (.f64 i (.f64 a b))) (cbrt.f64 (.f64 i (.f64 a b)))) (cbrt.f64 (.f64 i (.f64 a b)))) (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 y (.f64 i j)) (+.f64 (.f64 c (.f64 z b)) (.f64 (.f64 a t) x))))
	12.3b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (-.f64 (.f64 c (.f64 t j)) (.f64 i (.f64 y j)))))
	10.3b	(-.f64 (+.f64 (.f64 i (.f64 a b)) (+.f64 (.f64 c (.f64 t j)) (.f64 (.f64 y z) x))) (+.f64 (.f64 y (.f64 i j)) (+.f64 (.f64 c (.f64 z b)) (.f64 (.f64 a t) x))))
▶	10.2b	(-.f64 (+.f64 (.f64 (.f64 i a) b) (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 y (.f64 i j)) (+.f64 (.f64 c (.f64 z b)) (.f64 (.f64 a t) x))))
	10.7b	(-.f64 (+.f64 (.f64 (.f64 (cbrt.f64 i) (cbrt.f64 i)) (.f64 (cbrt.f64 i) (.f64 a b))) (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 y (.f64 i j)) (+.f64 (.f64 c (.f64 z b)) (.f64 (.f64 a t) x))))
	38.0b	(-.f64 (+.f64 (.f64 i (.f64 a b)) (+.f64 (.f64 c (.f64 t j)) (.f64 (sqrt.f64 y) (.f64 (sqrt.f64 y) (.f64 z x))))) (+.f64 (.f64 y (.f64 i j)) (+.f64 (.f64 c (.f64 z b)) (.f64 a (*.f64 t x)))))
	12.8b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 (.f64 (cbrt.f64 j) (cbrt.f64 j)) (.f64 (cbrt.f64 j) (-.f64 (.f64 t c) (*.f64 y i))))))
	11.7b	(-.f64 (+.f64 (.f64 i (.f64 a b)) (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 y (.f64 i j)) (+.f64 (.f64 c (.f64 z b)) (.f64 (.f64 (cbrt.f64 a) (cbrt.f64 a)) (.f64 (cbrt.f64 a) (.f64 t x))))))
	25.1b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (.f64 t (-.f64 (.f64 j c) (*.f64 x a))))
	29.0b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (cbrt.f64 (pow.f64 (.f64 j (-.f64 (.f64 c t) (*.f64 i y))) 3))))
	33.2b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (expm1.f64 (log1p.f64 (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (*.f64 y i)))))))
	27.3b	(-.f64 (+.f64 (.f64 a (.f64 i b)) (.f64 y (.f64 z x))) (+.f64 (.f64 a (.f64 t x)) (.f64 c (.f64 z b))))
	13.3b	(.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)))))))
	12.5b	(+.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)))))

Compiler

Compiled 5915 to 1326 computations (77.6% saved)

localize23.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	4.0b	(.f64 c (.f64 z b))
	4.6b	(.f64 y (.f64 i j))
	5.0b	(.f64 c (.f64 t j))
	6.4b	(.f64 y (.f64 z x))

series8.0ms (0.1%)

Counts

1 → 16

Calls

1 calls:

8.0ms

(*.f64 c (*.f64 z 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 c (*.f64 z b))

simplify75.0ms (0.6%)

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

prune250.0ms (1.8%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	111	3	114
Fresh	2	12	14
Picked	1	0	1
Done	0	0	0
Total	114	15	129

Error

0.0b

Counts

129 → 15

Alt Table

Status	Error	Program
	46.9b	(.f64 (-.f64 (.f64 y x) (*.f64 c b)) z)
	10.7b	(-.f64 (+.f64 (.f64 (.f64 (cbrt.f64 (.f64 i (.f64 a b))) (cbrt.f64 (.f64 i (.f64 a b)))) (cbrt.f64 (.f64 i (.f64 a b)))) (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 y (.f64 i j)) (+.f64 (.f64 c (.f64 z b)) (.f64 (.f64 a t) x))))
	20.0b	(-.f64 (+.f64 (.f64 (.f64 i a) b) (+.f64 (cbrt.f64 (pow.f64 (.f64 c (.f64 j t)) 3)) (.f64 y (.f64 z x)))) (+.f64 (.f64 y (.f64 i j)) (+.f64 (.f64 c (.f64 z b)) (.f64 (.f64 a t) x))))
	10.7b	(-.f64 (+.f64 (.f64 (.f64 (cbrt.f64 i) (cbrt.f64 i)) (.f64 (cbrt.f64 i) (.f64 a b))) (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 y (.f64 i j)) (+.f64 (.f64 c (.f64 z b)) (.f64 (.f64 a t) x))))
	38.0b	(-.f64 (+.f64 (.f64 i (.f64 a b)) (+.f64 (.f64 c (.f64 t j)) (.f64 (sqrt.f64 y) (.f64 (sqrt.f64 y) (.f64 z x))))) (+.f64 (.f64 y (.f64 i j)) (+.f64 (.f64 c (.f64 z b)) (.f64 a (*.f64 t x)))))
	12.8b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 (.f64 (cbrt.f64 j) (cbrt.f64 j)) (.f64 (cbrt.f64 j) (-.f64 (.f64 t c) (*.f64 y i))))))
	11.7b	(-.f64 (+.f64 (.f64 i (.f64 a b)) (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 y (.f64 i j)) (+.f64 (.f64 c (.f64 z b)) (.f64 (.f64 (cbrt.f64 a) (cbrt.f64 a)) (.f64 (cbrt.f64 a) (.f64 t x))))))
	25.1b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (.f64 t (-.f64 (.f64 j c) (*.f64 x a))))
	10.3b	(-.f64 (+.f64 (.f64 (.f64 i a) b) (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x)))) (+.f64 (.f64 y (.f64 i j)) (+.f64 (.f64 (.f64 (cbrt.f64 c) (cbrt.f64 c)) (.f64 (cbrt.f64 c) (.f64 z b))) (.f64 (.f64 a t) x))))
	12.5b	(+.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)))))
	33.2b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (expm1.f64 (log1p.f64 (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 t c) (*.f64 y i)))))))
	12.3b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (-.f64 (.f64 c (.f64 t j)) (.f64 i (.f64 y j)))))
	10.0b	(-.f64 (+.f64 (.f64 (.f64 i a) b) (+.f64 (.f64 c (.f64 t j)) (.f64 (.f64 y z) x))) (+.f64 (.f64 y (.f64 i j)) (+.f64 (.f64 c (.f64 z b)) (.f64 (.f64 a t) x))))
	27.3b	(-.f64 (+.f64 (.f64 a (.f64 i b)) (.f64 y (.f64 z x))) (+.f64 (.f64 a (.f64 t x)) (.f64 c (.f64 z b))))
	13.3b	(.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)))))))

Compiler

Compiled 5231 to 997 computations (80.9% saved)

regimes5.3s (39.2%)

Accuracy

Total 3.0b remaining (89.1%)

Threshold costs 0b (0%)

Counts

168 → 3

Compiler

Compiled 70476 to 39658 computations (43.7% saved)

bsearch10.0ms (0.1%)

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

simplify42.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

221×	`distribute-rgt-neg-in_binary64`
194×	`cancel-sign-sub-inv_binary64`
147×	`distribute-lft-neg-in_binary64`
141×	`neg-sub0_binary64`
141×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	70	241
1	125	241
2	178	241
3	233	241
4	302	241
5	347	241
6	400	241
7	481	241
8	548	241
9	606	241
10	672	241
11	773	241
12	873	241
13	972	241
14	1031	241
15	1064	241
16	1080	241
17	1084	241
18	1080	241

end1.0ms (0%)

Compiler: Compiled 171 to 57 computations (66.7% saved)

sample3.4s (25.2%)

Algorithm

1×

intervals

Results

1.1s	11026×	body	128	invalid
920.0ms	8000×	body	128	valid

Compiler

Compiled 898 to 454 computations (49.4% saved)

Details

analyze2.6s (18.8%)

sample162.0ms (1.2%)

simplify327.0ms (2.4%)

prune4.0ms (0%)

localize22.0ms (0.2%)

series179.0ms (1.3%)

rewrite13.0ms (0.1%)

simplify230.0ms (1.7%)

prune231.0ms (1.7%)

localize22.0ms (0.2%)

series34.0ms (0.3%)

rewrite28.0ms (0.2%)

simplify84.0ms (0.6%)

prune133.0ms (1%)

localize23.0ms (0.2%)

series11.0ms (0.1%)

rewrite5.0ms (0%)

simplify78.0ms (0.6%)

prune274.0ms (2%)

localize23.0ms (0.2%)

series8.0ms (0.1%)

rewrite4.0ms (0%)

simplify75.0ms (0.6%)

prune250.0ms (1.8%)

regimes5.3s (39.2%)

bsearch10.0ms (0.1%)

simplify42.0ms (0.3%)

end1.0ms (0%)

sample3.4s (25.2%)

Profiling