Details

analyze567.0ms (12.9%)

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%	49.9%	0%	12
99.6%	0.3%	0%	13
99.9%	0%	0%	14

Compiler

Compiled 52 to 45 computations (13.5% saved)

sample40.0ms (0.9%)

Algorithm

1×

intervals

Results

32.0ms

256×

body

128

valid

Compiler

Compiled 103 to 90 computations (12.6% saved)

simplify211.0ms (4.8%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	5278	40

prune6.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: 0.0b

Counts

2 → 2

Compiler

Compiled 105 to 92 computations (12.4% saved)

localize16.0ms (0.4%)

Local error

Found 4 expressions with local error:

3.1b	(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
3.1b	(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
3.1b	(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
3.1b	(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))

rewrite130.0ms (3%)

Algorithm

1×	rewrite-expression-head

Rules

40×	`add-sqr-sqrt_binary64_772`
12×	`add-log-exp_binary64_787` `times-frac_binary64_757` `*-un-lft-identity_binary64_751` `difference-of-squares_binary64_720`
4×	`distribute-lft-out--_binary64_705` `add-cube-cbrt_binary64_783` `pow1_binary64_809` `flip--_binary64_726` `add-cbrt-cube_binary64_784` `diff-log_binary64_840` `add-exp-log_binary64_786` `sub-neg_binary64_744` `flip3--_binary64_755`

Counts

4 → 60

Calls

4 calls:

33.0ms	(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
29.0ms	(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
29.0ms	(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
29.0ms	(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))

series106.0ms (2.4%)

Counts

4 → 12

Calls

4 calls:

30.0ms	(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
27.0ms	(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
25.0ms	(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
24.0ms	(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))

simplify68.0ms (1.5%)

Algorithm

1×	egg-herbie

Counts

72 → 72

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	5215	1416

prune220.0ms (5%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Merged error: 0.0b

Counts

74 → 2

Compiler

Compiled 4011 to 3395 computations (15.4% saved)

localize10.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 4 (+.f64 1 t))
0.0b	(/.f64 (+.f64 (/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t)) 5) (+.f64 (/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t)) 6))
0.0b	(+.f64 (/.f64 4 (+.f64 1 t)) -8)
0.0b	(+.f64 (/.f64 4 (+.f64 1 t)) -8)

rewrite90.0ms (2%)

Algorithm

1×	rewrite-expression-head

Rules

55×	`*-un-lft-identity_binary64_751`
28×	`times-frac_binary64_757`
23×	`add-cube-cbrt_binary64_783` `add-sqr-sqrt_binary64_772`
16×	`distribute-lft-out_binary64_704`
8×	`associate-/r*_binary64_697` `add-log-exp_binary64_787` `add-cbrt-cube_binary64_784` `add-exp-log_binary64_786`
7×	`associate-/l*_binary64_698`
5×	`flip3-+_binary64_754` `flip-+_binary64_725`
4×	`pow1_binary64_809` `associate-/r/_binary64_699`
2×	`+-commutative_binary64_683` `associate-/l/_binary64_700` `div-inv_binary64_748` `cbrt-undiv_binary64_782` `sum-log_binary64_839` `frac-2neg_binary64_762` `clear-num_binary64_750` `div-exp_binary64_799`

Counts

4 → 97

Calls

4 calls:

49.0ms	(/.f64 (+.f64 (/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t)) 5) (+.f64 (/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t)) 6))
12.0ms	(+.f64 (/.f64 4 (+.f64 1 t)) -8)
12.0ms	(+.f64 (/.f64 4 (+.f64 1 t)) -8)
6.0ms	(/.f64 4 (+.f64 1 t))

series127.0ms (2.9%)

Counts

4 → 12

Calls

4 calls:

72.0ms	(/.f64 (+.f64 (/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t)) 5) (+.f64 (/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t)) 6))
19.0ms	(+.f64 (/.f64 4 (+.f64 1 t)) -8)
18.0ms	(+.f64 (/.f64 4 (+.f64 1 t)) -8)
17.0ms	(/.f64 4 (+.f64 1 t))

simplify56.0ms (1.3%)

Algorithm

1×	egg-herbie

Counts

109 → 109

Iterations

Useful iterations: 0 (28.0ms)

Iter	Nodes	Cost
0	4887	3210
1	4887	3210

prune230.0ms (5.2%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	107	2	109
Fresh	0	0	0
Picked	1	0	1
Done	0	1	1
Total	108	3	111

Merged error: 0b

Counts

111 → 3

Compiler

Compiled 4043 to 3451 computations (14.6% saved)

localize14.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 (+.f64 (/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t)) 6) (+.f64 (/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t)) 5))
0.0b	(+.f64 (/.f64 4 (+.f64 1 t)) -8)
0.0b	(+.f64 (/.f64 4 (+.f64 1 t)) -8)
0.0b	(/.f64 1 (/.f64 (+.f64 (/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t)) 6) (+.f64 (/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t)) 5)))

rewrite150.0ms (3.4%)

Algorithm

1×	rewrite-expression-head

Rules

161×	`*-un-lft-identity_binary64_751`
146×	`times-frac_binary64_757`
73×	`add-cube-cbrt_binary64_783` `add-sqr-sqrt_binary64_772`
44×	`distribute-lft-out_binary64_704`
26×	`associate-/r*_binary64_697`
17×	`add-exp-log_binary64_786`
11×	`add-cbrt-cube_binary64_784` `associate-/r/_binary64_699`
8×	`flip3-+_binary64_754` `add-log-exp_binary64_787` `flip-+_binary64_725` `div-exp_binary64_799`
7×	`associate-/l*_binary64_698`
6×	`div-inv_binary64_748`
5×	`pow1_binary64_809`
4×	`cbrt-undiv_binary64_782`
2×	`1-exp_binary64_792` `+-commutative_binary64_683` `associate-/l/_binary64_700` `rec-exp_binary64_798` `sum-log_binary64_839` `frac-2neg_binary64_762` `clear-num_binary64_750`
1×	`inv-pow_binary64_833` `pow-flip_binary64_822`

Counts

4 → 176

Calls

4 calls:

52.0ms	(/.f64 (+.f64 (/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t)) 6) (+.f64 (/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t)) 5))
50.0ms	(/.f64 1 (/.f64 (+.f64 (/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t)) 6) (+.f64 (/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t)) 5)))
12.0ms	(+.f64 (/.f64 4 (+.f64 1 t)) -8)
11.0ms	(+.f64 (/.f64 4 (+.f64 1 t)) -8)

series185.0ms (4.2%)

Counts

4 → 12

Calls

4 calls:

78.0ms	(/.f64 1 (/.f64 (+.f64 (/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t)) 6) (+.f64 (/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t)) 5)))
74.0ms	(/.f64 (+.f64 (/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t)) 6) (+.f64 (/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t)) 5))
17.0ms	(+.f64 (/.f64 4 (+.f64 1 t)) -8)
16.0ms	(+.f64 (/.f64 4 (+.f64 1 t)) -8)

simplify129.0ms (2.9%)

Algorithm

1×	egg-herbie

Counts

188 → 188

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	5021	9895

prune577.0ms (13.2%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	188	0	188
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	188	3	191

Merged error: 0b

Counts

191 → 3

Compiler

Compiled 8568 to 7409 computations (13.5% saved)

localize8.0ms (0.2%)

Local error

Found 1 expressions with local error:

7.5b	(-.f64 (+.f64 (.f64 t t) 1/2) (.f64 2 (pow.f64 t 3)))

rewrite9.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`add-log-exp_binary64_787`
2×	`diff-log_binary64_840`
1×	`add-cube-cbrt_binary64_783` `pow1_binary64_809` `associate--l+_binary64_690` `flip--_binary64_726` `add-cbrt-cube_binary64_784` `*-un-lft-identity_binary64_751` `sum-log_binary64_839` `add-exp-log_binary64_786` `sub-neg_binary64_744` `flip3--_binary64_755` `add-sqr-sqrt_binary64_772`

Counts

1 → 13

Calls

1 calls:

8.0ms

(-.f64 (+.f64 (*.f64 t t) 1/2) (*.f64 2 (pow.f64 t 3)))

series39.0ms (0.9%)

Counts

1 → 3

Calls

1 calls:

39.0ms

(-.f64 (+.f64 (*.f64 t t) 1/2) (*.f64 2 (pow.f64 t 3)))

simplify55.0ms (1.3%)

Algorithm

1×	egg-herbie

Counts

16 → 16

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	4996	345
1	4996	345

prune17.0ms (0.4%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	16	0	16
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	16	3	19

Merged error: 0b

Counts

19 → 3

Compiler

Compiled 278 to 189 computations (32% saved)

regimes72.0ms (1.7%)

Compiler: Compiled 645 to 561 computations (13% saved)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	40	76
1	40	76

end0.0ms (0%)

sample1.2s (28.5%)

Algorithm

1×

intervals

Results

977.0ms

8000×

body

128

valid

Compiler

Compiled 194 to 169 computations (12.9% saved)

Details

analyze567.0ms (12.9%)

sample40.0ms (0.9%)

simplify211.0ms (4.8%)

prune6.0ms (0.1%)

localize16.0ms (0.4%)

rewrite130.0ms (3%)

series106.0ms (2.4%)

simplify68.0ms (1.5%)

prune220.0ms (5%)

localize10.0ms (0.2%)

rewrite90.0ms (2%)

series127.0ms (2.9%)

simplify56.0ms (1.3%)

prune230.0ms (5.2%)

localize14.0ms (0.3%)

rewrite150.0ms (3.4%)

series185.0ms (4.2%)

simplify129.0ms (2.9%)

prune577.0ms (13.2%)

localize8.0ms (0.2%)

rewrite9.0ms (0.2%)

series39.0ms (0.9%)

simplify55.0ms (1.3%)

prune17.0ms (0.4%)

regimes72.0ms (1.7%)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample1.2s (28.5%)

Profiling