Details

analyze410.0ms (10.5%)

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
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
25%	74.9%	0.1%	7
31.2%	68.6%	0.1%	8
42.1%	57.7%	0.1%	9
56.9%	42.9%	0.1%	10
59.5%	40.4%	0.1%	11
68.1%	31.8%	0.1%	12
75.1%	24.4%	0.5%	13
75.7%	23.3%	1%	14

Compiler

Compiled 9 to 8 computations (11.1% saved)

sample35.0ms (0.9%)

Algorithm

1×

intervals

Results

9.0ms	186×	body	80	valid
8.0ms	26×	body	1280	valid
4.0ms	21×	body	640	valid
2.0ms	16×	body	320	valid
1.0ms	17×	body	80	invalid
1.0ms	7×	body	160	valid
0.0ms	1×	body	640	invalid
0.0ms	2×	body	160	invalid
0.0ms	1×	body	320	invalid

Compiler

Compiled 17 to 18 computations (-5.9% saved)

simplify20.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (6.0ms)

Iter	Nodes	Cost
0	68	12
1	68	12

prune4.0ms (0.1%)

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

Merged error: 2.0b

Counts

2 → 1

Compiler

Compiled 16 to 14 computations (12.5% saved)

localize7.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.1b	(*.f64 x (/.f64 (sin.f64 y) y))
0.1b	(/.f64 (sin.f64 y) y)
2.0b	(/.f64 (*.f64 x (/.f64 (sin.f64 y) y)) z)

rewrite23.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

26×	`add-sqr-sqrt_binary64`
22×	`times-frac_binary64`
21×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
19×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
13×	`associate-r_binary64`
6×	`associate-/r*_binary64` `cbrt-undiv_binary64` `div-exp_binary64`
5×	`pow1_binary64`
4×	`cbrt-unprod_binary64` `prod-exp_binary64` `associate-/l*_binary64`
3×	`add-log-exp_binary64` `associate-l_binary64` `div-inv_binary64`
2×	`associate-*r/_binary64` `unswap-sqr_binary64` `clear-num_binary64` `frac-2neg_binary64`
1×	`pow-prod-down_binary64` `associate-/l/_binary64` `*-commutative_binary64`

Counts

3 → 83

Calls

3 calls:

8.0ms	(*.f64 x (/.f64 (sin.f64 y) y))
7.0ms	(/.f64 (*.f64 x (/.f64 (sin.f64 y) y)) z)
5.0ms	(/.f64 (sin.f64 y) y)

series31.0ms (0.8%)

Counts

3 → 9

Calls

3 calls:

16.0ms	(/.f64 (*.f64 x (/.f64 (sin.f64 y) y)) z)
10.0ms	(*.f64 x (/.f64 (sin.f64 y) y))
4.0ms	(/.f64 (sin.f64 y) y)

simplify87.0ms (2.2%)

Algorithm

1×	egg-herbie

Counts

92 → 92

Iterations

Useful iterations: 0 (63.0ms)

Iter	Nodes	Cost
0	4950	1158
1	4950	1158

prune70.0ms (1.8%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	84	8	92
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	85	8	93

Merged error: 0.0b

Counts

93 → 8

Compiler

Compiled 1278 to 364 computations (71.5% saved)

localize7.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.1b	(/.f64 z (/.f64 (sin.f64 y) y))
0.1b	(/.f64 (sin.f64 y) y)
1.9b	(/.f64 x (/.f64 z (/.f64 (sin.f64 y) y)))

rewrite43.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Rules

480×	`times-frac_binary64`
238×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
60×	`associate-/r*_binary64`
23×	`div-inv_binary64`
19×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
10×	`cbrt-undiv_binary64` `div-exp_binary64`
9×	`associate-/l*_binary64`
6×	`associate-/r/_binary64`
3×	`add-log-exp_binary64` `pow1_binary64` `clear-num_binary64` `frac-2neg_binary64`

Counts

3 → 293

Calls

3 calls:

12.0ms	(/.f64 x (/.f64 z (/.f64 (sin.f64 y) y)))
6.0ms	(/.f64 z (/.f64 (sin.f64 y) y))
4.0ms	(/.f64 (sin.f64 y) y)

series33.0ms (0.9%)

Counts

3 → 9

Calls

3 calls:

16.0ms	(/.f64 x (/.f64 z (/.f64 (sin.f64 y) y)))
13.0ms	(/.f64 z (/.f64 (sin.f64 y) y))
4.0ms	(/.f64 (sin.f64 y) y)

simplify149.0ms (3.8%)

Algorithm

1×	egg-herbie

Counts

302 → 302

Iterations

Useful iterations: 0 (78.0ms)

Iter	Nodes	Cost
0	5255	7392

prune139.0ms (3.6%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	299	3	302
Fresh	5	2	7
Picked	1	0	1
Done	0	0	0
Total	305	5	310

Merged error: 0b

Counts

310 → 5

Compiler

Compiled 5649 to 916 computations (83.8% saved)

localize8.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.1b	(.f64 x (.f64 (sin.f64 y) (/.f64 1 y)))
0.3b	(*.f64 (sin.f64 y) (/.f64 1 y))
2.0b	(/.f64 (.f64 x (.f64 (sin.f64 y) (/.f64 1 y))) z)

rewrite30.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

49×	`add-exp-log_binary64`
31×	`add-cbrt-cube_binary64`
22×	`prod-exp_binary64`
21×	`add-sqr-sqrt_binary64`
15×	`*-un-lft-identity_binary64`
14×	`associate-r_binary64` `add-cube-cbrt_binary64` `times-frac_binary64`
12×	`cbrt-unprod_binary64` `div-exp_binary64`
10×	`pow1_binary64`
7×	`cbrt-undiv_binary64` `associate-*r/_binary64`
6×	`associate-l_binary64`
4×	`pow-prod-down_binary64`
3×	`associate-/r*_binary64` `add-log-exp_binary64` `1-exp_binary64` `unswap-sqr_binary64` `rec-exp_binary64` `un-div-inv_binary64`
2×	`associate-/l/_binary64` `div-inv_binary64` `*-commutative_binary64`
1×	`clear-num_binary64` `frac-2neg_binary64` `associate-/l*_binary64`

Counts

3 → 89

Calls

3 calls:

10.0ms	(/.f64 (.f64 x (.f64 (sin.f64 y) (/.f64 1 y))) z)
8.0ms	(*.f64 (sin.f64 y) (/.f64 1 y))
8.0ms	(.f64 x (.f64 (sin.f64 y) (/.f64 1 y)))

series31.0ms (0.8%)

Counts

3 → 9

Calls

3 calls:

17.0ms	(/.f64 (.f64 x (.f64 (sin.f64 y) (/.f64 1 y))) z)
10.0ms	(.f64 x (.f64 (sin.f64 y) (/.f64 1 y)))
4.0ms	(*.f64 (sin.f64 y) (/.f64 1 y))

simplify102.0ms (2.6%)

Algorithm

1×	egg-herbie

Counts

98 → 98

Iterations

Useful iterations: 0 (81.0ms)

Iter	Nodes	Cost
0	5156	1103

prune49.0ms (1.3%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	98	0	98
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	98	5	103

Merged error: 0b

Counts

103 → 5

Compiler

Compiled 1223 to 403 computations (67% saved)

localize8.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.1b	(/.f64 (sin.f64 y) y)
0.2b	(/.f64 1 (/.f64 (sin.f64 y) y))
2.0b	(/.f64 (/.f64 x z) (/.f64 1 (/.f64 (sin.f64 y) y)))

rewrite110.0ms (2.8%)

Algorithm

1×	rewrite-expression-head

Rules

1985×	`times-frac_binary64`
858×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
108×	`div-inv_binary64`
61×	`add-exp-log_binary64`
60×	`associate-/r*_binary64`
43×	`div-exp_binary64`
31×	`add-cbrt-cube_binary64`
19×	`cbrt-undiv_binary64` `associate-/l*_binary64`
16×	`associate-/r/_binary64`
6×	`1-exp_binary64` `rec-exp_binary64`
4×	`pow1_binary64`
3×	`add-log-exp_binary64` `clear-num_binary64` `frac-2neg_binary64`
1×	`associate-/l/_binary64` `inv-pow_binary64` `pow-flip_binary64`

Counts

3 → 764

Calls

3 calls:

23.0ms	(/.f64 (/.f64 x z) (/.f64 1 (/.f64 (sin.f64 y) y)))
9.0ms	(/.f64 1 (/.f64 (sin.f64 y) y))
4.0ms	(/.f64 (sin.f64 y) y)

series27.0ms (0.7%)

Counts

3 → 9

Calls

3 calls:

16.0ms	(/.f64 (/.f64 x z) (/.f64 1 (/.f64 (sin.f64 y) y)))
6.0ms	(/.f64 1 (/.f64 (sin.f64 y) y))
5.0ms	(/.f64 (sin.f64 y) y)

simplify257.0ms (6.6%)

Algorithm

1×	egg-herbie

Counts

773 → 773

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	5053	25083

prune409.0ms (10.5%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	772	1	773
Fresh	1	2	3
Picked	0	1	1
Done	0	1	1
Total	773	5	778

Merged error: 0b

Counts

778 → 5

Compiler

Compiled 17287 to 3850 computations (77.7% saved)

regimes177.0ms (4.6%)

Compiler: Compiled 236 to 220 computations (6.8% saved)

bsearch28.0ms (0.7%)

Steps

Iters	Range		Point
9	4.191574664536772e+34	1.5003783569274908e+40	4.178727623558104e+37

Compiler

Compiled 1 to 3 computations (-200% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	22	36
1	22	36

end0.0ms (0%)

sample1.6s (40.9%)

Algorithm

1×

intervals

Results

315.0ms	1012×	body	1280	valid
263.0ms	5237×	body	80	valid
196.0ms	945×	body	640	valid
76.0ms	528×	body	320	valid
29.0ms	278×	body	160	valid
26.0ms	510×	body	80	invalid
10.0ms	51×	body	640	invalid
9.0ms	58×	body	320	invalid
4.0ms	34×	body	160	invalid
3.0ms	9×	body	1280	invalid

Compiler

Compiled 117 to 90 computations (23.1% saved)

Details

analyze410.0ms (10.5%)

sample35.0ms (0.9%)

simplify20.0ms (0.5%)

prune4.0ms (0.1%)

localize7.0ms (0.2%)

rewrite23.0ms (0.6%)

series31.0ms (0.8%)

simplify87.0ms (2.2%)

prune70.0ms (1.8%)

localize7.0ms (0.2%)

rewrite43.0ms (1.1%)

series33.0ms (0.9%)

simplify149.0ms (3.8%)

prune139.0ms (3.6%)

localize8.0ms (0.2%)

rewrite30.0ms (0.8%)

series31.0ms (0.8%)

simplify102.0ms (2.6%)

prune49.0ms (1.3%)

localize8.0ms (0.2%)

rewrite110.0ms (2.8%)

series27.0ms (0.7%)

simplify257.0ms (6.6%)

prune409.0ms (10.5%)

regimes177.0ms (4.6%)

bsearch28.0ms (0.7%)

simplify4.0ms (0.1%)

end0.0ms (0%)

sample1.6s (40.9%)

Profiling