Details

analyze542.0ms (7.7%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
25%	74.9%	0.1%	5
25%	68.7%	6.3%	6
43.7%	46.8%	9.5%	7
43.7%	42.1%	14.1%	8
46.8%	36.7%	16.5%	9
46.8%	34%	19.2%	10
48.4%	31%	20.6%	11
48.4%	29.6%	22%	12
49.2%	28%	22.8%	13
49.2%	27.3%	23.5%	14

Compiler

Compiled 8 to 7 computations (12.5% saved)

sample64.0ms (0.9%)

Algorithm

1×

intervals

Results

19.0ms	71×	body	1024	valid
12.0ms	58×	body	1024	invalid
7.0ms	137×	body	128	valid
4.0ms	32×	body	512	invalid
4.0ms	29×	body	512	valid
2.0ms	23×	body	256	invalid
2.0ms	19×	body	256	valid
2.0ms	26×	body	128	invalid

Compiler

Compiled 15 to 15 computations (0% saved)

simplify260.0ms (3.7%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (155.0ms)

Iter	Nodes	Cost
0	4950	11
1	4950	11

prune3.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.1b

Counts

2 → 1

Compiler

Compiled 14 to 12 computations (14.3% saved)

localize11.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.1b	(/.f64 (sin.f64 y) y)

rewrite10.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

9×	`add-sqr-sqrt_binary64_9307` `*-un-lft-identity_binary64_9285` `times-frac_binary64_9291` `add-cube-cbrt_binary64_9320`
3×	`add-cbrt-cube_binary64_9321` `associate-/l_binary64_9230` `add-exp-log_binary64_9323` `associate-/r_binary64_9229`
1×	`clear-num_binary64_9284` `div-exp_binary64_9336` `cbrt-undiv_binary64_9319` `pow1_binary64_9346` `frac-2neg_binary64_9296` `add-log-exp_binary64_9324` `div-inv_binary64_9282`

Counts

1 → 27

Calls

1 calls:

7.0ms

(/.f64 (sin.f64 y) y)

series31.0ms (0.4%)

Counts

1 → 3

Calls

1 calls:

31.0ms

(/.f64 (sin.f64 y) y)

simplify91.0ms (1.3%)

Algorithm

1×	egg-herbie

Counts

30 → 30

Iterations

Useful iterations: 0 (81.0ms)

Iter	Nodes	Cost
0	4881	356
1	4881	356

prune30.0ms (0.4%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	23	7	30
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	23	8	31

Error

0.0b

Counts

31 → 8

Compiler

Compiled 461 to 172 computations (62.7% saved)

localize14.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.1b	(/.f64 y (sin.f64 y))
0.1b	(/.f64 1 (/.f64 y (sin.f64 y)))

rewrite28.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

84×	`times-frac_binary64_9291`
52×	`add-sqr-sqrt_binary64_9307` `*-un-lft-identity_binary64_9285` `add-cube-cbrt_binary64_9320`
16×	`associate-/r*_binary64_9229`
15×	`add-exp-log_binary64_9323`
9×	`add-cbrt-cube_binary64_9321`
8×	`div-exp_binary64_9336`
6×	`associate-/l*_binary64_9230` `div-inv_binary64_9282`
4×	`cbrt-undiv_binary64_9319`
3×	`pow1_binary64_9346`
2×	`clear-num_binary64_9284` `rec-exp_binary64_9335` `frac-2neg_binary64_9296` `add-log-exp_binary64_9324` `1-exp_binary64_9329`
1×	`inv-pow_binary64_9370` `pow-flip_binary64_9359` `associate-/r/_binary64_9231`

Counts

2 → 103

Calls

2 calls:

15.0ms	(/.f64 1 (/.f64 y (sin.f64 y)))
5.0ms	(/.f64 y (sin.f64 y))

series73.0ms (1%)

Counts

2 → 6

Calls

2 calls:

50.0ms	(/.f64 y (sin.f64 y))
23.0ms	(/.f64 1 (/.f64 y (sin.f64 y)))

simplify219.0ms (3.1%)

Algorithm

1×	egg-herbie

Counts

109 → 109

Iterations

Useful iterations: 0 (179.0ms)

Iter	Nodes	Cost
0	4795	1610
1	4795	1610

prune112.0ms (1.6%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	107	2	109
Fresh	2	4	6
Picked	0	1	1
Done	0	1	1
Total	109	8	117

Error

0.0b

Counts

117 → 8

Compiler

Compiled 1712 to 582 computations (66% saved)

localize22.0ms (0.3%)

Local error

Found 2 expressions with local error:

0.1b	(/.f64 1 (sin.f64 y))
0.2b	(/.f64 (/.f64 1 y) (/.f64 1 (sin.f64 y)))

rewrite56.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

430×	`times-frac_binary64_9291`
206×	`add-sqr-sqrt_binary64_9307` `*-un-lft-identity_binary64_9285` `add-cube-cbrt_binary64_9320`
46×	`add-exp-log_binary64_9323`
34×	`div-exp_binary64_9336`
30×	`div-inv_binary64_9282`
16×	`add-cbrt-cube_binary64_9321` `associate-/l_binary64_9230` `associate-/r_binary64_9229`
9×	`rec-exp_binary64_9335` `cbrt-undiv_binary64_9319` `1-exp_binary64_9329`
3×	`pow1_binary64_9346`
2×	`clear-num_binary64_9284` `frac-2neg_binary64_9296` `add-log-exp_binary64_9324`
1×	`associate-/l/_binary64_9232` `inv-pow_binary64_9370` `pow-flip_binary64_9359` `associate-/r/_binary64_9231`

Counts

2 → 258

Calls

2 calls:

19.0ms	(/.f64 (/.f64 1 y) (/.f64 1 (sin.f64 y)))
4.0ms	(/.f64 1 (sin.f64 y))

series63.0ms (0.9%)

Counts

2 → 6

Calls

2 calls:

34.0ms	(/.f64 1 (sin.f64 y))
29.0ms	(/.f64 (/.f64 1 y) (/.f64 1 (sin.f64 y)))

simplify188.0ms (2.7%)

Algorithm

1×	egg-herbie

Counts

264 → 264

Iterations

Useful iterations: 0 (81.0ms)

Iter	Nodes	Cost
0	4818	5484
1	4818	5484

prune347.0ms (4.9%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	262	2	264
Fresh	2	3	5
Picked	0	1	1
Done	0	2	2
Total	264	8	272

Error

Counts

272 → 8

Compiler

Compiled 4859 to 2198 computations (54.8% saved)

localize24.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.4b	(cbrt.f64 (/.f64 1 (sin.f64 y)))
0.4b	(cbrt.f64 (/.f64 1 (sin.f64 y)))
0.4b	(cbrt.f64 (/.f64 1 (sin.f64 y)))
0.5b	(*.f64 (cbrt.f64 (/.f64 1 (sin.f64 y))) (cbrt.f64 (/.f64 1 (sin.f64 y))))

rewrite90.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Rules

119×	`cbrt-prod_binary64_9316`
97×	`add-sqr-sqrt_binary64_9307`
79×	`times-frac_binary64_9291`
67×	`*-un-lft-identity_binary64_9285`
57×	`add-cube-cbrt_binary64_9320`
18×	`swap-sqr_binary64_9252`
16×	`unswap-sqr_binary64_9253` `associate-l_binary64_9226` `associate-r_binary64_9225`
11×	`pow1_binary64_9346`
9×	`pow1/3_binary64_9367` `div-inv_binary64_9282`
7×	`cbrt-div_binary64_9317`
6×	`add-exp-log_binary64_9323`
4×	`add-cbrt-cube_binary64_9321` `add-log-exp_binary64_9324`
2×	`pow-prod-down_binary64_9356` `pow-prod-up_binary64_9355` `pow-sqr_binary64_9258`
1×	`cbrt-unprod_binary64_9318` `associate-l/_binary64_9228` `frac-times_binary64_9295` `prod-exp_binary64_9334` `pow-plus_binary64_9348` `associate-r/_binary64_9227` `*-commutative_binary64_9216` `pow2_binary64_9366`

Counts

4 → 153

Calls

4 calls:

32.0ms	(*.f64 (cbrt.f64 (/.f64 1 (sin.f64 y))) (cbrt.f64 (/.f64 1 (sin.f64 y))))
6.0ms	(cbrt.f64 (/.f64 1 (sin.f64 y)))
6.0ms	(cbrt.f64 (/.f64 1 (sin.f64 y)))
6.0ms	(cbrt.f64 (/.f64 1 (sin.f64 y)))

series574.0ms (8.1%)

Counts

4 → 12

Calls

4 calls:

184.0ms	(*.f64 (cbrt.f64 (/.f64 1 (sin.f64 y))) (cbrt.f64 (/.f64 1 (sin.f64 y))))
148.0ms	(cbrt.f64 (/.f64 1 (sin.f64 y)))
140.0ms	(cbrt.f64 (/.f64 1 (sin.f64 y)))
101.0ms	(cbrt.f64 (/.f64 1 (sin.f64 y)))

simplify127.0ms (1.8%)

Algorithm

1×	egg-herbie

Counts

165 → 165

Iterations

Useful iterations: 0 (71.0ms)

Iter	Nodes	Cost
0	5418	3258

prune378.0ms (5.4%)

Pruning

8 alts after pruning (4 fresh and 4 done)

	Pruned	Kept	Total
New	165	0	165
Fresh	0	4	4
Picked	0	1	1
Done	0	3	3
Total	165	8	173

Error

Counts

173 → 8

Compiler

Compiled 5384 to 3553 computations (34% saved)

regimes329.0ms (4.7%)

Accuracy

Total 0.1b remaining (82.8%)

Threshold costs 0.1b (82.8%)

Compiler

Compiled 2030 to 1494 computations (26.4% saved)

bsearch0.0ms (0%)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	11
1	8	11

end0.0ms (0%)

sample3.4s (47.7%)

Algorithm

1×

intervals

Results

654.0ms	1983×	body	1024	valid
628.0ms	2076×	body	1024	invalid
361.0ms	4493×	body	128	valid
223.0ms	1008×	body	512	valid
222.0ms	1043×	body	512	invalid
77.0ms	514×	body	256	valid
72.0ms	487×	body	256	invalid
61.0ms	665×	body	128	invalid
2.0ms	2×	body	2048	valid

Compiler

Compiled 422 to 313 computations (25.8% saved)

Details

analyze542.0ms (7.7%)

sample64.0ms (0.9%)

simplify260.0ms (3.7%)

prune3.0ms (0%)

localize11.0ms (0.1%)

rewrite10.0ms (0.1%)

series31.0ms (0.4%)

simplify91.0ms (1.3%)

prune30.0ms (0.4%)

localize14.0ms (0.2%)

rewrite28.0ms (0.4%)

series73.0ms (1%)

simplify219.0ms (3.1%)

prune112.0ms (1.6%)

localize22.0ms (0.3%)

rewrite56.0ms (0.8%)

series63.0ms (0.9%)

simplify188.0ms (2.7%)

prune347.0ms (4.9%)

localize24.0ms (0.3%)

rewrite90.0ms (1.3%)

series574.0ms (8.1%)

simplify127.0ms (1.8%)

prune378.0ms (5.4%)

regimes329.0ms (4.7%)

bsearch0.0ms (0%)

simplify4.0ms (0.1%)

end0.0ms (0%)

sample3.4s (47.7%)

Profiling