Details

analyze681.0ms (5.7%)

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)

sample260.0ms (2.2%)

Algorithm

1×

intervals

Results

137.0ms	49×	body	8192	exit
55.0ms	128×	body	1024	valid
20.0ms	63×	body	1024	nan
14.0ms	55×	body	512	valid
7.0ms	5×	body	2048	valid
6.0ms	39×	body	256	valid
5.0ms	24×	body	512	nan
3.0ms	29×	body	128	valid
1.0ms	13×	body	128	nan
1.0ms	7×	body	256	nan

Compiler

Compiled 21 to 18 computations (14.3% saved)

simplify241.0ms (2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (81.0ms)

Iter	Nodes	Cost
0	4667	15
1	4667	15

prune3.0ms (0%)

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: 60.2b

Counts

2 → 1

Compiler

Compiled 18 to 12 computations (33.3% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(sqrt.f64 (cos.f64 x))
0.3b	(/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))
5.2b	(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_782`
12×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795`
9×	`times-frac_binary64_766`
5×	`add-cbrt-cube_binary64_796`
4×	`add-exp-log_binary64_798` `pow1_binary64_821`
3×	`sqrt-prod_binary64_776` `associate-/r_binary64_704` `add-log-exp_binary64_799` `associate-/l_binary64_705`
1×	`rem-sqrt-square_binary64_773` `frac-2neg_binary64_771` `cbrt-undiv_binary64_794` `sqrt-pow1_binary64_778` `div-inv_binary64_757` `pow1/2_binary64_840` `div-exp_binary64_811` `clear-num_binary64_759`

Counts

3 → 47

Calls

3 calls:

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

series106.0ms (0.9%)

Counts

3 → 9

Calls

3 calls:

64.0ms	(/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))
28.0ms	(sqrt.f64 (cos.f64 x))
14.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

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

prune52.0ms (0.4%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	53	3	56
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	54	3	57

Merged error: 60.2b

Counts

57 → 3

Compiler

Compiled 857 to 187 computations (78.2% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(sqrt.f64 (cos.f64 x))
0.1b	(log.f64 (exp.f64 (sqrt.f64 (cos.f64 x))))
0.3b	(/.f64 (fmod.f64 (exp.f64 x) (log.f64 (exp.f64 (sqrt.f64 (cos.f64 x))))) (exp.f64 x))
5.2b	(fmod.f64 (exp.f64 x) (log.f64 (exp.f64 (sqrt.f64 (cos.f64 x)))))

rewrite14.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

17×	`add-sqr-sqrt_binary64_782`
16×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795`
9×	`times-frac_binary64_766`
7×	`log-pow_binary64_849`
6×	`sqrt-prod_binary64_776` `exp-prod_binary64_812` `add-cbrt-cube_binary64_796` `pow1_binary64_821`
5×	`add-exp-log_binary64_798`
4×	`add-log-exp_binary64_799`
3×	`associate-/r_binary64_704` `associate-/l_binary64_705` `log-prod_binary64_846`
1×	`rem-sqrt-square_binary64_773` `frac-2neg_binary64_771` `cbrt-undiv_binary64_794` `sqrt-pow1_binary64_778` `div-inv_binary64_757` `rem-log-exp_binary64_801` `pow1/2_binary64_840` `div-exp_binary64_811` `clear-num_binary64_759`

Counts

4 → 65

Calls

4 calls:

4.0ms	(/.f64 (fmod.f64 (exp.f64 x) (log.f64 (exp.f64 (sqrt.f64 (cos.f64 x))))) (exp.f64 x))
3.0ms	(log.f64 (exp.f64 (sqrt.f64 (cos.f64 x))))
2.0ms	(sqrt.f64 (cos.f64 x))
1.0ms	(fmod.f64 (exp.f64 x) (log.f64 (exp.f64 (sqrt.f64 (cos.f64 x)))))

series239.0ms (2%)

Counts

4 → 12

Calls

4 calls:

139.0ms	(log.f64 (exp.f64 (sqrt.f64 (cos.f64 x))))
62.0ms	(/.f64 (fmod.f64 (exp.f64 x) (log.f64 (exp.f64 (sqrt.f64 (cos.f64 x))))) (exp.f64 x))
26.0ms	(sqrt.f64 (cos.f64 x))
12.0ms	(fmod.f64 (exp.f64 x) (log.f64 (exp.f64 (sqrt.f64 (cos.f64 x)))))

simplify103.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

77 → 77

Iterations

Useful iterations: 0 (87.0ms)

Iter	Nodes	Cost
0	4799	1140
1	4799	1140

prune58.0ms (0.5%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	76	1	77
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	76	4	80

Merged error: 40.9b

Counts

80 → 4

Compiler

Compiled 1206 to 287 computations (76.2% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b	(log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (cos.f64 x)))))
1.3b	(cbrt.f64 (exp.f64 (sqrt.f64 (cos.f64 x))))
1.3b	(cbrt.f64 (exp.f64 (sqrt.f64 (cos.f64 x))))
46.4b	(fmod.f64 (exp.f64 x) (+.f64 (*.f64 (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (cos.f64 x))))) 2) (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (cos.f64 x)))))))

rewrite13.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

9×	`cbrt-prod_binary64_791`
8×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795` `add-sqr-sqrt_binary64_782`
6×	`log-prod_binary64_846`
5×	`add-exp-log_binary64_798` `pow1_binary64_821`
4×	`add-log-exp_binary64_799` `add-cbrt-cube_binary64_796`
3×	`pow1/3_binary64_842`
2×	`log-pow_binary64_849`
1×	`rem-log-exp_binary64_801`

Counts

4 → 45

Calls

4 calls:

3.0ms	(cbrt.f64 (exp.f64 (sqrt.f64 (cos.f64 x))))
3.0ms	(cbrt.f64 (exp.f64 (sqrt.f64 (cos.f64 x))))
3.0ms	(log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (cos.f64 x)))))
1.0ms	(fmod.f64 (exp.f64 x) (+.f64 (*.f64 (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (cos.f64 x))))) 2) (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (cos.f64 x)))))))

series842.0ms (7.1%)

Counts

4 → 12

Calls

4 calls:

336.0ms	(log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (cos.f64 x)))))
249.0ms	(cbrt.f64 (exp.f64 (sqrt.f64 (cos.f64 x))))
237.0ms	(cbrt.f64 (exp.f64 (sqrt.f64 (cos.f64 x))))
19.0ms	(fmod.f64 (exp.f64 x) (+.f64 (*.f64 (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (cos.f64 x))))) 2) (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (cos.f64 x)))))))

simplify89.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

57 → 57

Iterations

Useful iterations: 0 (76.0ms)

Iter	Nodes	Cost
0	5955	759

prune62.0ms (0.5%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	57	0	57
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	57	4	61

Merged error: 40.9b

Counts

61 → 4

Compiler

Compiled 1362 to 452 computations (66.8% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(exp.f64 (-.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))) x))
1.3b	(-.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))) x)
3.0b	(log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))
5.2b	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

rewrite18.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`*-un-lft-identity_binary64_760`
14×	`add-sqr-sqrt_binary64_782`
10×	`add-cube-cbrt_binary64_795`
9×	`log-prod_binary64_846`
7×	`add-log-exp_binary64_799` `exp-sum_binary64_806` `pow1_binary64_821`
6×	`exp-prod_binary64_812` `cancel-sign-sub-inv_binary64_726` `associate--l+_binary64_697`
5×	`add-exp-log_binary64_798`
4×	`add-cbrt-cube_binary64_796` `distribute-lft-out--_binary64_712`
3×	`log-pow_binary64_849`
2×	`diff-log_binary64_852` `rem-exp-log_binary64_800` `difference-of-squares_binary64_729` `sub-neg_binary64_753`
1×	`exp-diff_binary64_808` `rem-log-exp_binary64_801` `flip--_binary64_735` `flip3--_binary64_764`

Counts

4 → 62

Calls

4 calls:

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

series367.0ms (3.1%)

Counts

4 → 12

Calls

4 calls:

179.0ms	(-.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))) x)
139.0ms	(log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))
37.0ms	(exp.f64 (-.f64 (log.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))) x))
10.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

simplify72.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

74 → 74

Iterations

Useful iterations: 0 (55.0ms)

Iter	Nodes	Cost
0	5005	1206

prune46.0ms (0.4%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	74	0	74
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	74	4	78

Merged error: 40.9b

Counts

78 → 4

Compiler

Compiled 1094 to 192 computations (82.4% saved)

regimes41.0ms (0.3%)

Compiler: Compiled 316 to 198 computations (37.3% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	18	34
1	18	34

end0.0ms (0%)

sample8.4s (71%)

Algorithm

1×

intervals

Results

4.3s	1581×	body	8192	exit
1.7s	4013×	body	1024	valid
544.0ms	1634×	body	1024	nan
500.0ms	1926×	body	512	valid
192.0ms	1060×	body	256	valid
156.0ms	755×	body	512	nan
105.0ms	150×	body	2048	valid
82.0ms	851×	body	128	valid
54.0ms	385×	body	256	nan
33.0ms	393×	body	128	nan
1.0ms	1×	body	2048	nan

Compiler

Compiled 178 to 114 computations (36% saved)

Details

analyze681.0ms (5.7%)

sample260.0ms (2.2%)

simplify241.0ms (2%)

prune3.0ms (0%)

localize8.0ms (0.1%)

rewrite10.0ms (0.1%)

series106.0ms (0.9%)

simplify72.0ms (0.6%)

prune52.0ms (0.4%)

localize11.0ms (0.1%)

rewrite14.0ms (0.1%)

series239.0ms (2%)

simplify103.0ms (0.9%)

prune58.0ms (0.5%)

localize16.0ms (0.1%)

rewrite13.0ms (0.1%)

series842.0ms (7.1%)

simplify89.0ms (0.8%)

prune62.0ms (0.5%)

localize10.0ms (0.1%)

rewrite18.0ms (0.2%)

series367.0ms (3.1%)

simplify72.0ms (0.6%)

prune46.0ms (0.4%)

regimes41.0ms (0.3%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample8.4s (71%)

Profiling