Details

analyze1.0s (5.3%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
50%	50%	0%	3
50%	50%	0%	4
50%	50%	0%	5
50%	50%	0%	6
50%	50%	0%	7
50%	50%	0%	8
50%	50%	0%	9
50%	50%	0%	10
50%	50%	0%	11
50%	50%	0%	12
50%	50%	0%	13
50%	49.9%	0.1%	14

Compiler

Compiled 12 to 9 computations (25% saved)

sample10.3s (54.2%)

Results

4.5s	1564×	body	8192	exit
2.6s	4021×	body	1024	valid
999.0ms	1620×	body	1024	invalid
905.0ms	2094×	body	512	valid
458.0ms	1046×	body	256	valid
301.0ms	821×	body	512	invalid
167.0ms	177×	body	2048	valid
148.0ms	918×	body	128	valid
108.0ms	387×	body	256	invalid
66.0ms	388×	body	128	invalid

Compiler

Compiled 35 to 26 computations (25.7% saved)

simplify84.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

924×	`unswap-sqr_binary64`
493×	`fma-neg_binary64`
430×	`associate-/l*_binary64`
379×	`fma-def_binary64`
296×	`*-commutative_binary64`

Counts

1 → 2

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	9	17
1	16	17
2	25	15
3	36	15
4	59	15
5	103	15
6	204	15
7	435	15
8	703	15
9	1995	15
10	2934	15
11	3478	15
12	4158	15
13	4980	15
14	4913	15

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

59.2b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	59.2b	(/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))

Compiler

Compiled 40 to 21 computations (47.5% saved)

localize7.0ms (0%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.1b	(sqrt.f64 (cos.f64 x))
✓	0.5b	(/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))
✓	3.4b	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

series12.0ms (0.1%)

Counts

3 → 8

Calls

3 calls:

8.0ms	(/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))
2.0ms	(sqrt.f64 (cos.f64 x))
1.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

rewrite8.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`add-sqr-sqrt_binary64`
12×	`*-un-lft-identity_binary64`
12×	`add-cube-cbrt_binary64`
9×	`times-frac_binary64`
5×	`add-cbrt-cube_binary64`

Counts

3 → 53

Calls

3 calls:

3.0ms	(/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))
1.0ms	(sqrt.f64 (cos.f64 x))
0.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

simplify90.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

599×	`cancel-sign-sub-inv_binary64`
541×	`fma-def_binary64`
463×	`times-frac_binary64`
381×	`div-sub_binary64`
282×	`fma-neg_binary64`

Counts

61 → 73

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	104	1190
1	212	1105
2	477	1069
3	1265	1049
4	3482	1048
5	4641	1048
6	5116	1048

prune64.0ms (0.3%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	69	4	73
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	70	4	74

Error

59.2b

Counts

74 → 4

Alt Table

Status	Error	Program
▶	59.2b	(/.f64 (exp.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))) (exp.f64 x))
	59.2b	(/.f64 (log.f64 (exp.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))) (exp.f64 x))
	60.4b	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))
	59.2b	(/.f64 (fmod.f64 (exp.f64 x) (log.f64 (exp.f64 (sqrt.f64 (cos.f64 x))))) (exp.f64 x))

Compiler

Compiled 1295 to 367 computations (71.7% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(exp.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))
✓	0.5b	(/.f64 (exp.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))) (exp.f64 x))
✓	2.9b	(log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))
	3.4b	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

series267.0ms (1.4%)

Counts

3 → 24

Calls

3 calls:

258.0ms

(log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))

8.0ms

(/.f64 (exp.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))) (exp.f64 x))

2.0ms

(exp.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))

rewrite12.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`*-un-lft-identity_binary64`
21×	`add-sqr-sqrt_binary64`
21×	`add-cube-cbrt_binary64`
18×	`times-frac_binary64`
18×	`log-prod_binary64`

Counts

3 → 74

Calls

3 calls:

4.0ms

(/.f64 (exp.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))) (exp.f64 x))

1.0ms

(exp.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))

1.0ms

(log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))

simplify115.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

496×	`div-sub_binary64`
326×	`associate-l_binary64`
326×	`fma-def_binary64`
323×	`cancel-sign-sub-inv_binary64`
288×	`associate-/l*_binary64`

Counts

98 → 114

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	115	2070
1	188	1895
2	404	1861
3	1049	1811
4	3539	1810
5	4385	1810
6	5347	1810

prune101.0ms (0.5%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	122	2	124
Fresh	0	3	3
Picked	1	0	1
Done	0	0	0
Total	123	5	128

Error

59.2b

Counts

128 → 5

Alt Table

Status	Error	Program
	59.2b	(/.f64 (exp.f64 (log.f64 (log.f64 (exp.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))))) (exp.f64 x))
▶	59.2b	(/.f64 (pow.f64 (exp.f64 (*.f64 (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))) (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))))) (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))) (exp.f64 x))
	59.2b	(/.f64 (log.f64 (exp.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))) (exp.f64 x))
	60.4b	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))
	59.2b	(/.f64 (fmod.f64 (exp.f64 x) (log.f64 (exp.f64 (sqrt.f64 (cos.f64 x))))) (exp.f64 x))

Compiler

Compiled 2566 to 503 computations (80.4% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(pow.f64 (exp.f64 (*.f64 (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))) (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))))) (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))))
✓	0.5b	(/.f64 (pow.f64 (exp.f64 (*.f64 (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))) (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))))) (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))) (exp.f64 x))
	2.9b	(log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))
	3.4b	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

series2.7s (14.3%)

Counts

2 → 24

Calls

2 calls:

1.6s

(pow.f64 (exp.f64 (*.f64 (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))) (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))))) (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))))

1.1s

(/.f64 (pow.f64 (exp.f64 (*.f64 (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))) (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))))) (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))) (exp.f64 x))

rewrite15.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

21×	`*-un-lft-identity_binary64`
21×	`times-frac_binary64`
21×	`add-sqr-sqrt_binary64`
21×	`add-cube-cbrt_binary64`
15×	`unpow-prod-down_binary64`

Counts

2 → 72

Calls

2 calls:

4.0ms

(/.f64 (pow.f64 (exp.f64 (*.f64 (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))) (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))))) (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))) (exp.f64 x))

3.0ms

(pow.f64 (exp.f64 (*.f64 (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))) (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))))) (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))))

simplify165.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

903×	`fma-neg_binary64`
612×	`associate-/r/_binary64`
318×	`fma-def_binary64`
314×	`cancel-sign-sub-inv_binary64`
176×	`associate-/l*_binary64`

Counts

96 → 89

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	128	5535
1	239	5271
2	594	5237
3	1878	5219
4	4344	5219
5	5004	5219

prune216.0ms (1.1%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	165	2	167
Fresh	1	3	4
Picked	1	0	1
Done	0	0	0
Total	167	5	172

Error

59.2b

Counts

172 → 5

Alt Table

Status	Error	Program
	59.2b	(/.f64 (exp.f64 (log.f64 (log.f64 (exp.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))))) (exp.f64 x))
	59.2b	(/.f64 (pow.f64 (pow.f64 (exp.f64 (.f64 (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))) (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))))) (.f64 (cbrt.f64 (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))) (cbrt.f64 (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))))) (cbrt.f64 (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))))) (exp.f64 x))
▶	59.2b	(/.f64 (pow.f64 (exp.f64 (.f64 (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))) (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))))) (cbrt.f64 (.f64 (*.f64 (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))) (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))) (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))))) (exp.f64 x))
	59.2b	(/.f64 (log.f64 (exp.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))) (exp.f64 x))
	60.4b	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

Compiler

Compiled 7423 to 819 computations (89% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(pow.f64 (exp.f64 (.f64 (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))) (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))))) (cbrt.f64 (.f64 (*.f64 (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))) (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))) (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))))))
✓	0.5b	(/.f64 (pow.f64 (exp.f64 (.f64 (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))) (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))))) (cbrt.f64 (.f64 (*.f64 (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))) (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))) (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))))) (exp.f64 x))
	2.9b	(log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))
	3.4b	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

series2.8s (14.6%)

Counts

2 → 24

Calls

2 calls:

1.6s

(pow.f64 (exp.f64 (*.f64 (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))) (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))))) (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))) (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))) (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))))))

1.2s

(/.f64 (pow.f64 (exp.f64 (*.f64 (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))) (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))))) (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))) (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))) (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))))) (exp.f64 x))

rewrite18.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

21×	`times-frac_binary64`
20×	`*-un-lft-identity_binary64`
20×	`add-sqr-sqrt_binary64`
20×	`add-cube-cbrt_binary64`
15×	`unpow-prod-down_binary64`

Counts

2 → 69

Calls

2 calls:

4.0ms

(/.f64 (pow.f64 (exp.f64 (*.f64 (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))) (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))))) (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))) (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))) (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))))) (exp.f64 x))

2.0ms

(pow.f64 (exp.f64 (*.f64 (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))) (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))))) (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))) (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))) (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))))))

simplify204.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

912×	`fma-neg_binary64`
612×	`associate-/r/_binary64`
377×	`*-commutative_binary64`
318×	`fma-def_binary64`
314×	`cancel-sign-sub-inv_binary64`

Counts

93 → 124

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	127	5421
1	232	5157
2	582	5123
3	1850	5105
4	4069	5105
5	4978	5105
6	4944	5105

prune509.0ms (2.7%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	252	2	254
Fresh	1	3	4
Picked	1	0	1
Done	0	0	0
Total	254	5	259

Error

59.2b

Counts

259 → 5

Alt Table

Status	Error	Program
	59.2b	(/.f64 (exp.f64 (log.f64 (log.f64 (exp.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))))) (exp.f64 x))
	59.2b	(/.f64 (pow.f64 (pow.f64 (exp.f64 (.f64 (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))) (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))))) (.f64 (cbrt.f64 (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))) (cbrt.f64 (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))))) (cbrt.f64 (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))))) (exp.f64 x))
	59.2b	(/.f64 (pow.f64 (exp.f64 (.f64 (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))) (cbrt.f64 (.f64 (.f64 (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))) (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))) (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))))))) (cbrt.f64 (.f64 (*.f64 (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))) (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))) (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))))) (exp.f64 x))
	59.2b	(/.f64 (log.f64 (exp.f64 (pow.f64 (exp.f64 (*.f64 (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))) (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))))) (cbrt.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))))) (exp.f64 x))
	60.4b	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

Compiler

Compiled 15999 to 1199 computations (92.5% saved)

regimes181.0ms (1%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0.0b (0%)

Counts

94 → 1

Compiler

Compiled 7914 to 2482 computations (68.6% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

3×	`*-commutative_binary64`
2×	`+-commutative_binary64`
2×	`sub-neg_binary64`
1×	`neg-sub0_binary64`
1×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	85
1	18	85
2	23	85
3	25	85
4	26	85
5	26	85

end94.0ms (0.5%)

Compiler: Compiled 273 to 82 computations (70% saved)

Details

analyze1.0s (5.3%)

sample10.3s (54.2%)

simplify84.0ms (0.4%)

prune3.0ms (0%)

localize7.0ms (0%)

series12.0ms (0.1%)

rewrite8.0ms (0%)

simplify90.0ms (0.5%)

prune64.0ms (0.3%)

localize10.0ms (0.1%)

series267.0ms (1.4%)

rewrite12.0ms (0.1%)

simplify115.0ms (0.6%)

prune101.0ms (0.5%)

localize13.0ms (0.1%)

series2.7s (14.3%)

rewrite15.0ms (0.1%)

simplify165.0ms (0.9%)

prune216.0ms (1.1%)

localize14.0ms (0.1%)

series2.8s (14.6%)

rewrite18.0ms (0.1%)

simplify204.0ms (1.1%)

prune509.0ms (2.7%)

regimes181.0ms (1%)

simplify4.0ms (0%)

end94.0ms (0.5%)

Profiling