Details

analyze974.0ms (6.4%)

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

Results

4.8s	1627×	body	8192	exit
2.8s	4184×	body	1024	valid
918.0ms	1599×	body	1024	invalid
842.0ms	1980×	body	512	valid
322.0ms	876×	body	512	invalid
292.0ms	1000×	body	256	valid
251.0ms	435×	body	128	invalid
180.0ms	197×	body	2048	valid
152.0ms	895×	body	128	valid
106.0ms	416×	body	256	invalid

Compiler

Compiled 35 to 26 computations (25.7% saved)

simplify84.0ms (0.5%)

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.4b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	59.4b	(/.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.0b	(/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))
✓	0.0b	(sqrt.f64 (cos.f64 x))
✓	5.1b	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

series14.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))
3.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))
3.0ms	(sqrt.f64 (cos.f64 x))

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

simplify93.0ms (0.6%)

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

prune59.0ms (0.4%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	70	3	73
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	71	3	74

Error

59.4b

Counts

74 → 3

Alt Table

Status	Error	Program
	59.4b	(/.f64 (fmod.f64 (exp.f64 x) (expm1.f64 (log1p.f64 (sqrt.f64 (cos.f64 x))))) (exp.f64 x))
▶	59.4b	(log.f64 (exp.f64 (/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))))
	59.4b	(/.f64 (log.f64 (exp.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))) (exp.f64 x))

Compiler

Compiled 1281 to 357 computations (72.1% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.0b	(/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))
	0.0b	(sqrt.f64 (cos.f64 x))
✓	3.0b	(log.f64 (exp.f64 (/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))))
	5.1b	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

series9.0ms (0.1%)

Counts

1 → 12

Calls

1 calls:

9.0ms

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

rewrite6.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`log-pow_binary64`
13×	`exp-prod_binary64`
9×	`*-un-lft-identity_binary64`
9×	`times-frac_binary64`
9×	`add-sqr-sqrt_binary64`

Counts

1 → 27

Calls

1 calls:

3.0ms

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

simplify81.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

530×	`distribute-rgt-neg-in_binary64`
427×	`distribute-lft-neg-in_binary64`
303×	`associate-l_binary64`
293×	`cancel-sign-sub-inv_binary64`
275×	`fma-def_binary64`

Counts

39 → 54

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	85	846
1	138	797
2	287	761
3	676	743
4	2216	732
5	4567	732
6	5045	732

prune136.0ms (0.9%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	125	2	127
Fresh	1	1	2
Picked	1	0	1
Done	0	0	0
Total	127	3	130

Error

59.4b

Counts

130 → 3

Alt Table

Status	Error	Program
	59.4b	(/.f64 (fmod.f64 (exp.f64 x) (expm1.f64 (log1p.f64 (sqrt.f64 (cos.f64 x))))) (exp.f64 x))
▶	59.4b	(.f64 (.f64 (cbrt.f64 (log.f64 (exp.f64 (/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))))) (cbrt.f64 (log.f64 (exp.f64 (/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x)))))) (cbrt.f64 (log.f64 (exp.f64 (/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))))))
	59.4b	(.f64 (/.f64 (cbrt.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))) (exp.f64 x)) (log.f64 (exp.f64 (/.f64 (.f64 (cbrt.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))) (cbrt.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))) 1))))

Compiler

Compiled 2637 to 659 computations (75% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.0b	(sqrt.f64 (cos.f64 x))
✓	0.0b	(cbrt.f64 (log.f64 (exp.f64 (/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x)))))
	3.0b	(log.f64 (exp.f64 (/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))))
	5.1b	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

series350.0ms (2.3%)

Counts

1 → 12

Calls

1 calls:

350.0ms

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

rewrite6.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

17×	`cbrt-prod_binary64`
14×	`log-pow_binary64`
13×	`exp-prod_binary64`
9×	`*-un-lft-identity_binary64`
9×	`times-frac_binary64`

Counts

1 → 27

Calls

1 calls:

3.0ms

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

simplify72.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

942×	`fma-neg_binary64`
516×	`cancel-sign-sub-inv_binary64`
498×	`fma-def_binary64`
326×	`times-frac_binary64`
191×	`distribute-rgt-neg-in_binary64`

Counts

39 → 56

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	117	1131
1	173	1056
2	405	1010
3	1230	987
4	4349	984
5	5015	984

prune525.0ms (3.4%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	427	2	429
Fresh	1	1	2
Picked	1	0	1
Done	0	0	0
Total	429	3	432

Error

59.4b

Counts

432 → 3

Alt Table

Status	Error	Program
	59.4b	(.f64 (.f64 (cbrt.f64 (log.f64 (exp.f64 (/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))))) (cbrt.f64 (+.f64 (*.f64 2 (log.f64 (cbrt.f64 (exp.f64 (/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x)))))) (log.f64 (cbrt.f64 (exp.f64 (/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x)))))))) (cbrt.f64 (log.f64 (exp.f64 (/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))))))
▶	59.4b	(.f64 (.f64 (cbrt.f64 (log.f64 (exp.f64 (/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))))) (cbrt.f64 (log.f64 (exp.f64 (/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x)))))) (log.f64 (exp.f64 (cbrt.f64 (log.f64 (exp.f64 (/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))))))))
	59.4b	(.f64 (/.f64 (cbrt.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))) (exp.f64 x)) (log.f64 (exp.f64 (/.f64 (.f64 (cbrt.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))) (cbrt.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))) 1))))

Compiler

Compiled 20328 to 2399 computations (88.2% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.0b	(cbrt.f64 (log.f64 (exp.f64 (/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x)))))
✓	1.0b	(log.f64 (exp.f64 (cbrt.f64 (log.f64 (exp.f64 (/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x)))))))
	3.0b	(log.f64 (exp.f64 (/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))))
	5.1b	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

series319.0ms (2.1%)

Counts

1 → 12

Calls

1 calls:

319.0ms

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

rewrite11.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

35×	`log-pow_binary64`
33×	`exp-prod_binary64`
17×	`cbrt-prod_binary64`
11×	`*-un-lft-identity_binary64`
11×	`add-sqr-sqrt_binary64`

Counts

1 → 34

Calls

1 calls:

5.0ms

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

simplify84.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

721×	`distribute-rgt-neg-in_binary64`
516×	`cancel-sign-sub-inv_binary64`
504×	`unswap-sqr_binary64`
498×	`fma-def_binary64`
299×	`fma-neg_binary64`

Counts

46 → 70

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	118	1043
1	159	965
2	335	921
3	1003	898
4	3125	893
5	4814	893
6	5037	893

prune559.0ms (3.7%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	428	2	430
Fresh	1	1	2
Picked	1	0	1
Done	0	0	0
Total	430	3	433

Error

59.4b

Counts

433 → 3

Alt Table

Status	Error	Program
	59.4b	(.f64 (.f64 (cbrt.f64 (log.f64 (exp.f64 (/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))))) (cbrt.f64 (log.f64 (exp.f64 (/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x)))))) (+.f64 (log.f64 (sqrt.f64 (exp.f64 (cbrt.f64 (log.f64 (exp.f64 (/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x)))))))) (log.f64 (sqrt.f64 (exp.f64 (cbrt.f64 (log.f64 (exp.f64 (/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))))))))))
	59.4b	(.f64 (/.f64 (cbrt.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))) (exp.f64 x)) (log.f64 (exp.f64 (/.f64 (.f64 (cbrt.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))) (cbrt.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))) 1))))
	59.4b	(.f64 (.f64 (cbrt.f64 (log.f64 (exp.f64 (/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))))) (cbrt.f64 (+.f64 (*.f64 2 (log.f64 (cbrt.f64 (exp.f64 (/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x)))))) (log.f64 (cbrt.f64 (exp.f64 (/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x)))))))) (log.f64 (exp.f64 (cbrt.f64 (log.f64 (exp.f64 (/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))))))))

Compiler

Compiled 21506 to 2322 computations (89.2% saved)

regimes877.0ms (5.8%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0.0b (0%)

Counts

393 → 1

Compiler

Compiled 31698 to 12618 computations (60.2% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

2×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	75
1	16	75
2	16	75

end78.0ms (0.5%)

Compiler: Compiled 232 to 73 computations (68.5% saved)

Details

analyze974.0ms (6.4%)

sample10.8s (71.2%)

simplify84.0ms (0.5%)

prune3.0ms (0%)

localize7.0ms (0%)

series14.0ms (0.1%)

rewrite7.0ms (0%)

simplify93.0ms (0.6%)

prune59.0ms (0.4%)

localize10.0ms (0.1%)

series9.0ms (0.1%)

rewrite6.0ms (0%)

simplify81.0ms (0.5%)

prune136.0ms (0.9%)

localize13.0ms (0.1%)

series350.0ms (2.3%)

rewrite6.0ms (0%)

simplify72.0ms (0.5%)

prune525.0ms (3.4%)

localize14.0ms (0.1%)

series319.0ms (2.1%)

rewrite11.0ms (0.1%)

simplify84.0ms (0.5%)

prune559.0ms (3.7%)

regimes877.0ms (5.8%)

simplify3.0ms (0%)

end78.0ms (0.5%)

Profiling