Details

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

sample203.0ms (2.3%)

Algorithm

1×

intervals

Results

88.0ms	53×	body	8192	exit
52.0ms	140×	body	1024	valid
18.0ms	56×	body	1024	nan
12.0ms	50×	body	512	valid
5.0ms	13×	body	128	nan
4.0ms	31×	body	256	valid
4.0ms	23×	body	512	nan
3.0ms	5×	body	2048	valid
2.0ms	30×	body	128	valid
2.0ms	12×	body	256	nan

Compiler

Compiled 21 to 18 computations (14.3% saved)

simplify214.0ms (2.4%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (119.0ms)

Iter	Nodes	Cost
0	4785	15
1	4785	15

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

Error

59.5b

Counts

2 → 1

Compiler

Compiled 18 to 12 computations (33.3% saved)

localize12.0ms (0.1%)

Local error

Found 6 expressions with local error:

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

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

6 calls:

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

series86.0ms (1%)

Counts

3 → 15

Calls

3 calls:

50.0ms	(/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))
23.0ms	(sqrt.f64 (cos.f64 x))
13.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

Compiler

Compiled 280 to 178 computations (36.4% saved)

simplify73.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

62 → 62

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	5248	1052

prune61.0ms (0.7%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	59	3	62
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	60	3	63

Error

59.4b

Counts

63 → 3

Compiler

Compiled 937 to 224 computations (76.1% saved)

localize12.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.1b	(pow.f64 (sqrt.f64 (cos.f64 x)) 3)
0.1b	(cbrt.f64 (pow.f64 (sqrt.f64 (cos.f64 x)) 3))
0.0b	(sqrt.f64 (cos.f64 x))
0.0b	(/.f64 (fmod.f64 (exp.f64 x) (cbrt.f64 (pow.f64 (sqrt.f64 (cos.f64 x)) 3))) (exp.f64 x))
0.0b	(sqrt.f64 (cos.f64 x))
0.1b	(cbrt.f64 (pow.f64 (sqrt.f64 (cos.f64 x)) 3))
0.1b	(pow.f64 (sqrt.f64 (cos.f64 x)) 3)
4.6b	(fmod.f64 (exp.f64 x) (cbrt.f64 (pow.f64 (sqrt.f64 (cos.f64 x)) 3)))

rewrite14.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`cbrt-prod_binary64_791`
16×	`add-sqr-sqrt_binary64_782`
15×	`*-un-lft-identity_binary64_760` `sqrt-prod_binary64_776` `add-cube-cbrt_binary64_795`
12×	`cube-prod_binary64_788` `unpow-prod-down_binary64_839`
7×	`pow1_binary64_821`
5×	`add-exp-log_binary64_798` `add-cbrt-cube_binary64_796`
4×	`add-log-exp_binary64_799`
3×	`pow-unpow_binary64_837` `pow-pow_binary64_832`
2×	`cube-mult_binary64_790` `unpow3_binary64_826` `sqrt-pow1_binary64_778` `sqr-pow_binary64_732` `pow1/2_binary64_840`
1×	`pow1/3_binary64_842` `rem-cbrt-cube_binary64_784` `rem-sqrt-square_binary64_773` `pow-exp_binary64_828` `rem-cube-cbrt_binary64_783` `pow-to-exp_binary64_829` `sqrt-pow2_binary64_779`

Counts

4 → 79

Calls

8 calls:

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

series109.0ms (1.2%)

Counts

4 → 21

Calls

4 calls:

44.0ms	(pow.f64 (sqrt.f64 (cos.f64 x)) 3)
28.0ms	(sqrt.f64 (cos.f64 x))
23.0ms	(cbrt.f64 (pow.f64 (sqrt.f64 (cos.f64 x)) 3))
13.0ms	(fmod.f64 (exp.f64 x) (cbrt.f64 (pow.f64 (sqrt.f64 (cos.f64 x)) 3)))

Compiler

Compiled 394 to 298 computations (24.4% saved)

simplify79.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

100 → 100

Iterations

Useful iterations: 0 (62.0ms)

Iter	Nodes	Cost
0	4909	983
1	4909	983

prune82.0ms (0.9%)

Pruning

3 alts after pruning (2 fresh and 1 done)

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

Error

59.4b

Counts

103 → 3

Compiler

Compiled 1468 to 562 computations (61.7% saved)

localize10.0ms (0.1%)

Local error

Found 8 expressions with local error:

2.7b	(log.f64 (exp.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))
0.0b	(sqrt.f64 (cos.f64 x))
0.0b	(/.f64 (log.f64 (exp.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))) (exp.f64 x))
0.0b	(exp.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))
0.0b	(/.f64 (log.f64 (exp.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))) (exp.f64 x))
0.0b	(sqrt.f64 (cos.f64 x))
2.7b	(log.f64 (exp.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))
4.6b	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

rewrite16.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`add-sqr-sqrt_binary64_782`
23×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795`
21×	`times-frac_binary64_766`
20×	`log-pow_binary64_849`
15×	`exp-prod_binary64_812`
10×	`pow1_binary64_821`
7×	`associate-/l*_binary64_705`
6×	`add-cbrt-cube_binary64_796`
5×	`add-exp-log_binary64_798`
4×	`add-log-exp_binary64_799`
3×	`sqrt-prod_binary64_776` `associate-/r*_binary64_704` `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 → 78

Calls

8 calls:

6.0ms	(/.f64 (log.f64 (exp.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))) (exp.f64 x))
2.0ms	(log.f64 (exp.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))
1.0ms	(sqrt.f64 (cos.f64 x))
1.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))
0.0ms	(exp.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))

series261.0ms (3%)

Counts

4 → 18

Calls

4 calls:

124.0ms	(/.f64 (log.f64 (exp.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))) (exp.f64 x))
97.0ms	(log.f64 (exp.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))
22.0ms	(sqrt.f64 (cos.f64 x))
17.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

Compiler

Compiled 402 to 270 computations (32.8% saved)

simplify88.0ms (1%)

Algorithm

1×	egg-herbie

Counts

96 → 96

Iterations

Useful iterations: 0 (66.0ms)

Iter	Nodes	Cost
0	5420	1793

prune79.0ms (0.9%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	94	2	96
Fresh	0	1	1
Picked	1	0	1
Done	0	1	1
Total	95	4	99

Error

59.4b

Counts

99 → 4

Compiler

Compiled 1612 to 338 computations (79% saved)

localize14.0ms (0.2%)

Local error

Found 8 expressions with local error:

0.1b	(cbrt.f64 (pow.f64 (sqrt.f64 (cos.f64 x)) 3))
0.0b	(sqrt.f64 (cos.f64 x))
0.0b	(/.f64 (log.f64 (exp.f64 (fmod.f64 (exp.f64 x) (cbrt.f64 (pow.f64 (sqrt.f64 (cos.f64 x)) 3))))) (exp.f64 x))
0.0b	(exp.f64 (fmod.f64 (exp.f64 x) (cbrt.f64 (pow.f64 (sqrt.f64 (cos.f64 x)) 3))))
0.1b	(cbrt.f64 (pow.f64 (sqrt.f64 (cos.f64 x)) 3))
0.1b	(pow.f64 (sqrt.f64 (cos.f64 x)) 3)
2.7b	(log.f64 (exp.f64 (fmod.f64 (exp.f64 x) (cbrt.f64 (pow.f64 (sqrt.f64 (cos.f64 x)) 3)))))
4.6b	(fmod.f64 (exp.f64 x) (cbrt.f64 (pow.f64 (sqrt.f64 (cos.f64 x)) 3)))

rewrite17.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`cbrt-prod_binary64_791`
16×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795` `add-sqr-sqrt_binary64_782`
12×	`sqrt-prod_binary64_776` `cube-prod_binary64_788` `unpow-prod-down_binary64_839`
7×	`pow1_binary64_821`
5×	`add-exp-log_binary64_798` `add-cbrt-cube_binary64_796`
4×	`add-log-exp_binary64_799` `log-pow_binary64_849`
3×	`exp-prod_binary64_812` `pow-unpow_binary64_837` `pow-pow_binary64_832` `log-prod_binary64_846`
2×	`cube-mult_binary64_790` `unpow3_binary64_826` `sqr-pow_binary64_732`
1×	`pow1/3_binary64_842` `rem-cbrt-cube_binary64_784` `sqrt-pow1_binary64_778` `pow-exp_binary64_828` `rem-cube-cbrt_binary64_783` `pow-to-exp_binary64_829` `rem-log-exp_binary64_801` `pow1/2_binary64_840` `sqrt-pow2_binary64_779`

Counts

4 → 81

Calls

8 calls:

4.0ms	(cbrt.f64 (pow.f64 (sqrt.f64 (cos.f64 x)) 3))
4.0ms	(pow.f64 (sqrt.f64 (cos.f64 x)) 3)
2.0ms	(log.f64 (exp.f64 (fmod.f64 (exp.f64 x) (cbrt.f64 (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)))
0.0ms	(exp.f64 (fmod.f64 (exp.f64 x) (cbrt.f64 (pow.f64 (sqrt.f64 (cos.f64 x)) 3))))

series180.0ms (2%)

Counts

4 → 18

Calls

4 calls:

94.0ms	(log.f64 (exp.f64 (fmod.f64 (exp.f64 x) (cbrt.f64 (pow.f64 (sqrt.f64 (cos.f64 x)) 3)))))
48.0ms	(pow.f64 (sqrt.f64 (cos.f64 x)) 3)
23.0ms	(cbrt.f64 (pow.f64 (sqrt.f64 (cos.f64 x)) 3))
15.0ms	(fmod.f64 (exp.f64 x) (cbrt.f64 (pow.f64 (sqrt.f64 (cos.f64 x)) 3)))

Compiler

Compiled 380 to 292 computations (23.2% saved)

simplify84.0ms (1%)

Algorithm

1×	egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 0 (65.0ms)

Iter	Nodes	Cost
0	4961	1090
1	4961	1090

prune86.0ms (1%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	99	0	99
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	99	4	103

Error

59.4b

Counts

103 → 4

Compiler

Compiled 1600 to 605 computations (62.2% saved)

simplify8.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	86	312
1	86	312

regimes68.0ms (0.8%)

Accuracy

Total 1.4b remaining (5.6%)

Threshold costs 0b (0%)

Compiler

Compiled 398 to 286 computations (28.1% saved)

bsearch2.0ms (0%)

Compiler: Compiled 26 to 23 computations (11.5% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	21	25
1	21	25

end0.0ms (0%)

sample6.3s (71.4%)

Algorithm

1×

intervals

Results

2.7s	1581×	body	8192	exit
1.6s	4037×	body	1024	valid
442.0ms	1928×	body	512	valid
436.0ms	1606×	body	1024	nan
165.0ms	807×	body	512	nan
150.0ms	1008×	body	256	valid
92.0ms	169×	body	2048	valid
68.0ms	858×	body	128	valid
52.0ms	418×	body	256	nan
31.0ms	427×	body	128	nan

Compiler

Compiled 215 to 159 computations (26% saved)

Pareto

0.0

Details

analyze642.0ms (7.3%)

sample203.0ms (2.3%)

simplify214.0ms (2.4%)

prune5.0ms (0.1%)

localize12.0ms (0.1%)

rewrite9.0ms (0.1%)

series86.0ms (1%)

simplify73.0ms (0.8%)

prune61.0ms (0.7%)

localize12.0ms (0.1%)

rewrite14.0ms (0.2%)

series109.0ms (1.2%)

simplify79.0ms (0.9%)

prune82.0ms (0.9%)

localize10.0ms (0.1%)

rewrite16.0ms (0.2%)

series261.0ms (3%)

simplify88.0ms (1%)

prune79.0ms (0.9%)

localize14.0ms (0.2%)

rewrite17.0ms (0.2%)

series180.0ms (2%)

simplify84.0ms (1%)

prune86.0ms (1%)

simplify8.0ms (0.1%)

regimes68.0ms (0.8%)

bsearch2.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample6.3s (71.4%)

Profiling