Details

analyze2.6s (18.6%)

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)

sample93.0ms (0.7%)

Algorithm

1×

intervals

Results

31.0ms	336×	body	128	invalid
27.0ms	256×	body	128	valid

Compiler

Compiled 86 to 56 computations (34.9% saved)

simplify322.0ms (2.3%)

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

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	1	1	2
Fresh	1	0	1
Picked	0	0	0
Done	0	0	0
Total	2	1	3

Error

11.6b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	11.6b	(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 137 to 74 computations (46% saved)

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series184.0ms (1.3%)

Counts

4 → 312

Calls

4 calls:

98.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)))))
56.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)))
9.0ms	(-.f64 (.f64 t c) (.f64 y i))

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

simplify268.0ms (1.9%)

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 → 191

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	241	9330
1	583	8944
2	1731	8621
3	3393	8366
4	4447	8366
5	5109	8366

prune189.0ms (1.4%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	181	10	191
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	182	10	192

Error

0.0b

Counts

192 → 10

Alt Table

Status	Error	Program
	38.1b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 (sqrt.f64 j) (.f64 (sqrt.f64 j) (-.f64 (.f64 t c) (.f64 y i))))))
	21.5b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (-.f64 (.f64 y (.f64 z x)) (+.f64 (.f64 y (.f64 i j)) (.f64 a (.f64 t x)))))
	30.5b	(+.f64 (.f64 z (-.f64 (.f64 y x) (.f64 c b))) (.f64 t (-.f64 (.f64 c j) (.f64 x a))))
	25.7b	(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 t c) (.f64 t c)) (.f64 (.f64 y i) (.f64 y i)))) (+.f64 (.f64 t c) (*.f64 y i)))))
	13.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 a (.f64 t x)) (.f64 c (.f64 z b)))))
	40.9b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (cbrt.f64 (pow.f64 (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 c t) (*.f64 y i)))) 3)))
	34.8b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 (sqrt.f64 (.f64 j (-.f64 (.f64 t c) (.f64 y i)))) (sqrt.f64 (.f64 j (-.f64 (.f64 t c) (*.f64 y i)))))))
▶	11.9b	(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))))))
	24.2b	(fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 c t) (*.f64 y i))))
	28.4b	(+.f64 (.f64 t (-.f64 (.f64 c j) (.f64 x a))) (.f64 i (-.f64 (.f64 a b) (.f64 j y))))

Compiler

Compiled 6410 to 1130 computations (82.4% saved)

localize23.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	2.4b	(.f64 (.f64 (cbrt.f64 j) (cbrt.f64 j)) (.f64 (cbrt.f64 j) (-.f64 (.f64 t c) (*.f64 y i))))
✓	2.4b	(.f64 (cbrt.f64 j) (-.f64 (.f64 t c) (*.f64 y i)))
✓	3.2b	(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)))))
✓	4.9b	(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))))))

series605.0ms (4.4%)

Counts

4 → 324

Calls

4 calls:

332.0ms	(.f64 (cbrt.f64 j) (-.f64 (.f64 t c) (*.f64 y i)))
171.0ms	(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))))))
67.0ms	(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)))))
34.0ms	(.f64 (.f64 (cbrt.f64 j) (cbrt.f64 j)) (.f64 (cbrt.f64 j) (-.f64 (.f64 t c) (*.f64 y i))))

rewrite24.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`add-exp-log_binary64`
18×	`pow1_binary64`
15×	`distribute-lft-in_binary64`
15×	`distribute-rgt-in_binary64`
11×	`add-sqr-sqrt_binary64`

Counts

4 → 90

Calls

4 calls:

11.0ms	(.f64 (.f64 (cbrt.f64 j) (cbrt.f64 j)) (.f64 (cbrt.f64 j) (-.f64 (.f64 t c) (*.f64 y i))))
6.0ms	(.f64 (cbrt.f64 j) (-.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 (.f64 (cbrt.f64 j) (cbrt.f64 j)) (.f64 (cbrt.f64 j) (-.f64 (.f64 t c) (*.f64 y i))))))
0.0ms	(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)))))

simplify252.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

565×	`distribute-rgt-in_binary64`
555×	`fma-neg_binary64`
395×	`cancel-sign-sub-inv_binary64`
347×	`exp-prod_binary64`
335×	`associate-l_binary64`

Counts

414 → 235

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	295	10467
1	707	9938
2	2372	9899
3	4691	9899
4	5072	9899

prune190.0ms (1.4%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	233	2	235
Fresh	2	7	9
Picked	0	1	1
Done	0	0	0
Total	235	10	245

Error

0.0b

Counts

245 → 10

Alt Table

Status	Error	Program
	38.1b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 (sqrt.f64 j) (.f64 (sqrt.f64 j) (-.f64 (.f64 t c) (.f64 y i))))))
	30.5b	(+.f64 (.f64 z (-.f64 (.f64 y x) (.f64 c b))) (.f64 t (-.f64 (.f64 c j) (.f64 x a))))
	25.7b	(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 t c) (.f64 t c)) (.f64 (.f64 y i) (.f64 y i)))) (+.f64 (.f64 t c) (*.f64 y i)))))
▶	13.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 a (.f64 t x)) (.f64 c (.f64 z b)))))
	40.9b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (cbrt.f64 (pow.f64 (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 c t) (*.f64 y i)))) 3)))
	34.8b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 (sqrt.f64 (.f64 j (-.f64 (.f64 t c) (.f64 y i)))) (sqrt.f64 (.f64 j (-.f64 (.f64 t c) (*.f64 y i)))))))
	28.4b	(fma.f64 i (.f64 a b) (-.f64 (.f64 t (-.f64 (.f64 c j) (.f64 x a))) (.f64 i (.f64 j y))))
	13.7b	(fma.f64 i (.f64 a b) (-.f64 (fma.f64 c (.f64 t j) (.f64 y (-.f64 (.f64 z x) (.f64 j i)))) (fma.f64 c (.f64 z b) (.f64 a (.f64 t x)))))
✓	11.9b	(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))))))
	24.2b	(fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 c t) (*.f64 y i))))

Compiler

Compiled 8704 to 1380 computations (84.1% saved)

localize23.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	5.2b	(.f64 a (.f64 t x))
✓	5.2b	(.f64 c (.f64 z b))
✓	5.9b	(.f64 i (.f64 y j))
✓	7.1b	(.f64 y (.f64 z x))

series36.0ms (0.3%)

Counts

4 → 32

Calls

4 calls:

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

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

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

simplify116.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

623×	`*-commutative_binary64`
530×	`associate-/l/_binary64`
498×	`sqr-pow_binary64`
482×	`unswap-sqr_binary64`
280×	`associate-l_binary64`

Counts

112 → 107

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	141	1100
1	336	920
2	1118	920
3	1574	920
4	1993	920
5	2743	920
6	3625	920
7	4856	920
8	4980	920

prune141.0ms (1%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	104	3	107
Fresh	2	6	8
Picked	1	0	1
Done	0	1	1
Total	107	10	117

Error

0.0b

Counts

117 → 10

Alt Table

Status	Error	Program
	38.1b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 (sqrt.f64 j) (.f64 (sqrt.f64 j) (-.f64 (.f64 t c) (.f64 y i))))))
	30.5b	(+.f64 (.f64 z (-.f64 (.f64 y x) (.f64 c b))) (.f64 t (-.f64 (.f64 c j) (.f64 x a))))
	34.8b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 (sqrt.f64 (.f64 j (-.f64 (.f64 t c) (.f64 y i)))) (sqrt.f64 (.f64 j (-.f64 (.f64 t c) (*.f64 y i)))))))
	28.4b	(fma.f64 i (.f64 a b) (-.f64 (.f64 t (-.f64 (.f64 c j) (.f64 x a))) (.f64 i (.f64 j y))))
	13.4b	(-.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)))))
	24.2b	(fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 c t) (*.f64 y i))))
✓	11.9b	(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.7b	(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 t c) (.f64 t c)) (.f64 (.f64 y i) (.f64 y i)))) (+.f64 (.f64 t c) (*.f64 y i)))))
	20.0b	(-.f64 (+.f64 (.f64 a (.f64 i b)) (+.f64 (.f64 c (.f64 t j)) (cbrt.f64 (pow.f64 (.f64 y (.f64 z x)) 3)))) (+.f64 (.f64 i (.f64 y j)) (+.f64 (.f64 a (.f64 t x)) (.f64 c (.f64 z b)))))
▶	11.8b	(-.f64 (+.f64 (.f64 a (.f64 i b)) (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x)))) (+.f64 (pow.f64 (.f64 y (.f64 i j)) 1) (+.f64 (.f64 a (.f64 t x)) (.f64 c (.f64 z b)))))

Compiler

Compiled 5078 to 1046 computations (79.4% saved)

localize24.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	4.7b	(.f64 c (.f64 t j))
	5.2b	(.f64 a (.f64 t x))
	5.2b	(.f64 c (.f64 z b))
	7.1b	(.f64 y (.f64 z x))

series12.0ms (0.1%)

Counts

1 → 0

Calls

1 calls:

12.0ms

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

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

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

prune112.0ms (0.8%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	97	0	97
Fresh	0	8	8
Picked	0	1	1
Done	0	1	1
Total	97	10	107

Error

0.0b

Counts

107 → 10

Alt Table

Status	Error	Program
	38.1b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 (sqrt.f64 j) (.f64 (sqrt.f64 j) (-.f64 (.f64 t c) (.f64 y i))))))
	30.5b	(+.f64 (.f64 z (-.f64 (.f64 y x) (.f64 c b))) (.f64 t (-.f64 (.f64 c j) (.f64 x a))))
	34.8b	(fma.f64 b (-.f64 (.f64 a i) (.f64 z c)) (fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 (sqrt.f64 (.f64 j (-.f64 (.f64 t c) (.f64 y i)))) (sqrt.f64 (.f64 j (-.f64 (.f64 t c) (*.f64 y i)))))))
	28.4b	(fma.f64 i (.f64 a b) (-.f64 (.f64 t (-.f64 (.f64 c j) (.f64 x a))) (.f64 i (.f64 j y))))
	13.4b	(-.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)))))
	24.2b	(fma.f64 x (-.f64 (.f64 y z) (.f64 t a)) (.f64 j (-.f64 (.f64 c t) (*.f64 y i))))
✓	11.9b	(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.7b	(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 t c) (.f64 t c)) (.f64 (.f64 y i) (.f64 y i)))) (+.f64 (.f64 t c) (*.f64 y i)))))
	20.0b	(-.f64 (+.f64 (.f64 a (.f64 i b)) (+.f64 (.f64 c (.f64 t j)) (cbrt.f64 (pow.f64 (.f64 y (.f64 z x)) 3)))) (+.f64 (.f64 i (.f64 y j)) (+.f64 (.f64 a (.f64 t x)) (.f64 c (.f64 z b)))))
✓	11.8b	(-.f64 (+.f64 (.f64 a (.f64 i b)) (+.f64 (.f64 c (.f64 t j)) (.f64 y (.f64 z x)))) (+.f64 (pow.f64 (.f64 y (.f64 i j)) 1) (+.f64 (.f64 a (.f64 t x)) (.f64 c (.f64 z b)))))

Compiler

Compiled 4511 to 1042 computations (76.9% saved)

regimes5.3s (38.9%)

Accuracy

Total 3.5b remaining (93.3%)

Threshold costs 0b (0%)

Counts

192 → 3

Compiler

Compiled 67546 to 41118 computations (39.1% saved)

bsearch10.0ms (0.1%)

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

simplify47.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

232×	`distribute-rgt-neg-in_binary64`
200×	`cancel-sign-sub-inv_binary64`
154×	`distribute-lft-neg-in_binary64`
146×	`neg-sub0_binary64`
146×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	67	239
1	128	239
2	178	239
3	234	239
4	301	239
5	344	239
6	394	239
7	470	239
8	522	239
9	582	239
10	657	239
11	778	239
12	893	239
13	1002	239
14	1068	239
15	1103	239
16	1119	239
17	1123	239
18	1119	239

end1.0ms (0%)

Compiler: Compiled 170 to 59 computations (65.3% saved)

sample3.0s (22.1%)

Algorithm

1×

intervals

Results

1.0s	11016×	body	128	invalid
741.0ms	8000×	body	128	valid

Compiler

Compiled 637 to 326 computations (48.8% saved)

Details

analyze2.6s (18.6%)

sample93.0ms (0.7%)

simplify322.0ms (2.3%)

prune4.0ms (0%)

localize18.0ms (0.1%)

series184.0ms (1.3%)

rewrite11.0ms (0.1%)

simplify268.0ms (1.9%)

prune189.0ms (1.4%)

localize23.0ms (0.2%)

series605.0ms (4.4%)

rewrite24.0ms (0.2%)

simplify252.0ms (1.8%)

prune190.0ms (1.4%)

localize23.0ms (0.2%)

series36.0ms (0.3%)

rewrite18.0ms (0.1%)

simplify116.0ms (0.8%)

prune141.0ms (1%)

localize24.0ms (0.2%)

series12.0ms (0.1%)

rewrite5.0ms (0%)

simplify68.0ms (0.5%)

prune112.0ms (0.8%)

regimes5.3s (38.9%)

bsearch10.0ms (0.1%)

simplify47.0ms (0.3%)

end1.0ms (0%)

sample3.0s (22.1%)

Profiling