Details

analyze660.0ms (6.1%)

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 11 to 9 computations (18.2% saved)

sample272.0ms (2.5%)

Algorithm

1×

intervals

Results

151.0ms	54×	body	8192	exit
61.0ms	135×	body	1024	valid
17.0ms	57×	body	1024	nan
15.0ms	62×	body	512	valid
5.0ms	28×	body	256	valid
5.0ms	22×	body	512	nan
3.0ms	5×	body	2048	valid
2.0ms	26×	body	128	valid
1.0ms	10×	body	256	nan
1.0ms	13×	body	128	nan

Compiler

Compiled 21 to 18 computations (14.3% saved)

simplify255.0ms (2.4%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (80.0ms)

Iter	Nodes	Cost
0	4667	15
1	4667	15

prune8.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 59.1b

Counts

2 → 1

Compiler

Compiled 37 to 26 computations (29.7% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(sqrt.f64 (cos.f64 x))
0.5b	(/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))
4.7b	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

rewrite10.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`add-sqr-sqrt_binary64_789`
12×	`*-un-lft-identity_binary64_767` `add-cube-cbrt_binary64_802`
9×	`times-frac_binary64_773`
5×	`add-cbrt-cube_binary64_803`
4×	`add-exp-log_binary64_805` `pow1_binary64_828`
3×	`associate-/r_binary64_711` `add-log-exp_binary64_806` `associate-/l_binary64_712` `sqrt-prod_binary64_783`
1×	`frac-2neg_binary64_778` `rem-sqrt-square_binary64_780` `cbrt-undiv_binary64_801` `pow1/2_binary64_847` `div-exp_binary64_818` `sqrt-pow1_binary64_785` `clear-num_binary64_766` `div-inv_binary64_764`

Counts

3 → 47

Calls

3 calls:

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

series97.0ms (0.9%)

Counts

3 → 9

Calls

3 calls:

59.0ms	(/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))
26.0ms	(sqrt.f64 (cos.f64 x))
12.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

simplify65.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

56 → 56

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	4787	953
1	4787	953

prune60.0ms (0.6%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	52	4	56
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	53	4	57

Merged error: 59.1b

Counts

57 → 4

Compiler

Compiled 1048 to 327 computations (68.8% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(exp.f64 (-.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))) x))
2.2b	(-.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))) x)
3.6b	(log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))
4.7b	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

rewrite20.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`*-un-lft-identity_binary64_767`
14×	`add-sqr-sqrt_binary64_789`
10×	`add-cube-cbrt_binary64_802`
9×	`log-prod_binary64_853`
7×	`pow1_binary64_828` `add-log-exp_binary64_806` `exp-sum_binary64_813`
6×	`exp-prod_binary64_819` `cancel-sign-sub-inv_binary64_733` `associate--l+_binary64_704`
5×	`add-exp-log_binary64_805`
4×	`distribute-lft-out--_binary64_719` `add-cbrt-cube_binary64_803`
3×	`log-pow_binary64_856`
2×	`sub-neg_binary64_760` `diff-log_binary64_859` `rem-exp-log_binary64_807` `difference-of-squares_binary64_736`
1×	`exp-diff_binary64_815` `rem-log-exp_binary64_808` `flip--_binary64_742` `flip3--_binary64_771`

Counts

4 → 62

Calls

4 calls:

8.0ms	(exp.f64 (-.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))) x))
5.0ms	(-.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))) x)
1.0ms	(log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))
1.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

series352.0ms (3.3%)

Counts

4 → 12

Calls

4 calls:

177.0ms	(-.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))) x)
128.0ms	(log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))
36.0ms	(exp.f64 (-.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))) x))
11.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

simplify70.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

74 → 74

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	5005	1206

prune58.0ms (0.5%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	73	1	74
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	73	5	78

Merged error: 59.1b

Counts

78 → 5

Compiler

Compiled 1230 to 272 computations (77.9% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(cbrt.f64 (pow.f64 (sqrt.f64 (cos.f64 x)) 3))
0.2b	(pow.f64 (sqrt.f64 (cos.f64 x)) 3)
0.5b	(/.f64 (fmod.f64 (exp.f64 x) (cbrt.f64 (pow.f64 (sqrt.f64 (cos.f64 x)) 3))) (exp.f64 x))
4.7b	(fmod.f64 (exp.f64 x) (cbrt.f64 (pow.f64 (sqrt.f64 (cos.f64 x)) 3)))

rewrite20.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

22×	`add-sqr-sqrt_binary64_789` `*-un-lft-identity_binary64_767` `add-cube-cbrt_binary64_802`
18×	`cbrt-prod_binary64_798`
12×	`cube-prod_binary64_795` `unpow-prod-down_binary64_846` `sqrt-prod_binary64_783`
9×	`times-frac_binary64_773`
7×	`add-cbrt-cube_binary64_803`
6×	`add-exp-log_binary64_805` `pow1_binary64_828`
4×	`add-log-exp_binary64_806`
3×	`associate-/r_binary64_711` `pow-unpow_binary64_844` `associate-/l_binary64_712` `pow-pow_binary64_839`
2×	`sqr-pow_binary64_739` `cube-mult_binary64_797` `unpow3_binary64_833`
1×	`frac-2neg_binary64_778` `pow-to-exp_binary64_836` `pow1/3_binary64_849` `cbrt-undiv_binary64_801` `pow-exp_binary64_835` `rem-cbrt-cube_binary64_791` `rem-cube-cbrt_binary64_790` `pow1/2_binary64_847` `div-exp_binary64_818` `sqrt-pow1_binary64_785` `clear-num_binary64_766` `div-inv_binary64_764` `sqrt-pow2_binary64_786`

Counts

4 → 93

Calls

4 calls:

4.0ms	(/.f64 (fmod.f64 (exp.f64 x) (cbrt.f64 (pow.f64 (sqrt.f64 (cos.f64 x)) 3))) (exp.f64 x))
4.0ms	(cbrt.f64 (pow.f64 (sqrt.f64 (cos.f64 x)) 3))
4.0ms	(pow.f64 (sqrt.f64 (cos.f64 x)) 3)
1.0ms	(fmod.f64 (exp.f64 x) (cbrt.f64 (pow.f64 (sqrt.f64 (cos.f64 x)) 3)))

series157.0ms (1.5%)

Counts

4 → 12

Calls

4 calls:

62.0ms	(/.f64 (fmod.f64 (exp.f64 x) (cbrt.f64 (pow.f64 (sqrt.f64 (cos.f64 x)) 3))) (exp.f64 x))
59.0ms	(pow.f64 (sqrt.f64 (cos.f64 x)) 3)
25.0ms	(cbrt.f64 (pow.f64 (sqrt.f64 (cos.f64 x)) 3))
11.0ms	(fmod.f64 (exp.f64 x) (cbrt.f64 (pow.f64 (sqrt.f64 (cos.f64 x)) 3)))

simplify82.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

105 → 105

Iterations

Useful iterations: 0 (62.0ms)

Iter	Nodes	Cost
0	4899	1449
1	4899	1449

prune79.0ms (0.7%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	105	0	105
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	105	5	110

Merged error: 59.1b

Counts

110 → 5

Compiler

Compiled 1628 to 488 computations (70% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

3.6b	(log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))
4.7b	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))
4.7b	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))
4.7b	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

rewrite7.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

5×	`add-exp-log_binary64_805` `pow1_binary64_828` `add-sqr-sqrt_binary64_789` `*-un-lft-identity_binary64_767` `add-cube-cbrt_binary64_802`
4×	`add-log-exp_binary64_806` `add-cbrt-cube_binary64_803`
3×	`log-prod_binary64_853`
1×	`log-pow_binary64_856` `rem-log-exp_binary64_808`

Counts

4 → 33

Calls

4 calls:

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

series156.0ms (1.4%)

Counts

4 → 12

Calls

4 calls:

130.0ms	(log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))
9.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))
8.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))
8.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

simplify83.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

45 → 45

Iterations

Useful iterations: 0 (71.0ms)

Iter	Nodes	Cost
0	4822	620
1	4822	620

prune59.0ms (0.5%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	44	1	45
Fresh	0	2	2
Picked	1	0	1
Done	0	2	2
Total	45	5	50

Merged error: 59.1b

Counts

50 → 5

Compiler

Compiled 1602 to 262 computations (83.6% saved)

regimes16.0ms (0.1%)

Compiler: Compiled 94 to 48 computations (48.9% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	19	17
1	19	17

end0.0ms (0%)

sample8.2s (75.7%)

Algorithm

1×

intervals

Results

4.4s	1624×	body	8192	exit
1.7s	4023×	body	1024	valid
510.0ms	1576×	body	1024	nan
498.0ms	1988×	body	512	valid
176.0ms	828×	body	512	nan
150.0ms	940×	body	256	valid
111.0ms	198×	body	2048	valid
74.0ms	851×	body	128	valid
57.0ms	413×	body	256	nan
33.0ms	399×	body	128	nan

Compiler

Compiled 113 to 64 computations (43.4% saved)

Details

analyze660.0ms (6.1%)

sample272.0ms (2.5%)

simplify255.0ms (2.4%)

prune8.0ms (0.1%)

localize8.0ms (0.1%)

rewrite10.0ms (0.1%)

series97.0ms (0.9%)

simplify65.0ms (0.6%)

prune60.0ms (0.6%)

localize9.0ms (0.1%)

rewrite20.0ms (0.2%)

series352.0ms (3.3%)

simplify70.0ms (0.6%)

prune58.0ms (0.5%)

localize10.0ms (0.1%)

rewrite20.0ms (0.2%)

series157.0ms (1.5%)

simplify82.0ms (0.8%)

prune79.0ms (0.7%)

localize16.0ms (0.1%)

rewrite7.0ms (0.1%)

series156.0ms (1.4%)

simplify83.0ms (0.8%)

prune59.0ms (0.5%)

regimes16.0ms (0.1%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample8.2s (75.7%)

Profiling