Details

analyze3.0ms (0%)

Algorithm

1×

Search

True	Other	False	Iter
0%	0%	100%	0
0%	0%	100%	1

Compiler

Compiled 23 to 20 computations (13% saved)

sample133.0ms (1.1%)

Algorithm

1×

intervals

Results

101.0ms	256×	body	256	valid
12.0ms	256×	pre	128	true

Compiler

Compiled 42 to 38 computations (9.5% saved)

simplify745.0ms (6.4%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (473.0ms)

Iter	Nodes	Cost
0	4827	7
1	4827	7

prune8.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.3b

Counts

2 → 2

Compiler

Compiled 29 to 25 computations (13.8% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.3b

(*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))

0.3b

(*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)

rewrite21.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

9×	`add-exp-log_binary64_2503` `add-cbrt-cube_binary64_2501` `pow1_binary64_2526`
7×	`add-sqr-sqrt_binary64_2487`
6×	`associate-l_binary64_2406`
5×	`*-un-lft-identity_binary64_2465` `add-cube-cbrt_binary64_2500`
4×	`prod-exp_binary64_2514` `associate-r_binary64_2405` `pow-prod-down_binary64_2536` `cbrt-unprod_binary64_2498`
2×	`add-log-exp_binary64_2504` `*-commutative_binary64_2396`
1×	`unswap-sqr_binary64_2433`

Counts

2 → 36

Calls

2 calls:

10.0ms

(*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))

7.0ms

(*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)

series57.0ms (0.5%)

Counts

2 → 6

Calls

2 calls:

35.0ms

(*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))

21.0ms

(*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)

simplify170.0ms (1.5%)

Algorithm

1×	egg-herbie

Counts

42 → 42

Iterations

Useful iterations: 0 (141.0ms)

Iter	Nodes	Cost
0	4984	290
1	4984	290

prune183.0ms (1.6%)

Pruning

18 alts after pruning (17 fresh and 1 done)

	Pruned	Kept	Total
New	26	16	42
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	26	18	44

Merged error: 0.0b

Counts

44 → 18

Compiler

Compiled 512 to 369 computations (27.9% saved)

localize9.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.3b

(*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))

0.3b

(*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)

rewrite22.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

9×	`add-exp-log_binary64_2503` `add-cbrt-cube_binary64_2501` `pow1_binary64_2526`
7×	`add-sqr-sqrt_binary64_2487`
6×	`associate-l_binary64_2406`
5×	`*-un-lft-identity_binary64_2465` `add-cube-cbrt_binary64_2500`
4×	`prod-exp_binary64_2514` `associate-r_binary64_2405` `pow-prod-down_binary64_2536` `cbrt-unprod_binary64_2498`
2×	`add-log-exp_binary64_2504` `*-commutative_binary64_2396`
1×	`unswap-sqr_binary64_2433`

Counts

2 → 36

Calls

2 calls:

10.0ms

(*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))

8.0ms

(*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)

series57.0ms (0.5%)

Counts

2 → 6

Calls

2 calls:

37.0ms

(*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))

20.0ms

(*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)

simplify160.0ms (1.4%)

Algorithm

1×	egg-herbie

Counts

42 → 42

Iterations

Useful iterations: 0 (138.0ms)

Iter	Nodes	Cost
0	4984	290
1	4984	290

prune279.0ms (2.4%)

Pruning

34 alts after pruning (32 fresh and 2 done)

	Pruned	Kept	Total
New	26	16	42
Fresh	0	16	16
Picked	0	1	1
Done	0	1	1
Total	26	34	60

Merged error: 0.0b

Counts

60 → 34

Compiler

Compiled 786 to 608 computations (22.6% saved)

localize13.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.3b

(*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))

0.3b

(*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)

rewrite23.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

9×	`add-exp-log_binary64_2503` `add-cbrt-cube_binary64_2501` `pow1_binary64_2526`
7×	`add-sqr-sqrt_binary64_2487`
6×	`associate-l_binary64_2406`
5×	`*-un-lft-identity_binary64_2465` `add-cube-cbrt_binary64_2500`
4×	`prod-exp_binary64_2514` `associate-r_binary64_2405` `pow-prod-down_binary64_2536` `cbrt-unprod_binary64_2498`
2×	`add-log-exp_binary64_2504` `*-commutative_binary64_2396`
1×	`unswap-sqr_binary64_2433`

Counts

2 → 36

Calls

2 calls:

10.0ms

(*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))

8.0ms

(*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)

series75.0ms (0.6%)

Counts

2 → 6

Calls

2 calls:

54.0ms

(*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))

20.0ms

(*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)

simplify203.0ms (1.7%)

Algorithm

1×	egg-herbie

Counts

42 → 42

Iterations

Useful iterations: 0 (160.0ms)

Iter	Nodes	Cost
0	4984	290
1	4984	290

prune426.0ms (3.7%)

Pruning

48 alts after pruning (45 fresh and 3 done)

	Pruned	Kept	Total
New	27	15	42
Fresh	1	30	31
Picked	0	1	1
Done	0	2	2
Total	28	48	76

Merged error: 0.0b

Counts

76 → 48

Compiler

Compiled 1067 to 856 computations (19.8% saved)

localize27.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.3b

(*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))

0.3b

(*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)

rewrite55.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

9×	`add-exp-log_binary64_2503` `add-cbrt-cube_binary64_2501` `pow1_binary64_2526`
7×	`add-sqr-sqrt_binary64_2487`
6×	`associate-l_binary64_2406`
5×	`*-un-lft-identity_binary64_2465` `add-cube-cbrt_binary64_2500`
4×	`prod-exp_binary64_2514` `associate-r_binary64_2405` `pow-prod-down_binary64_2536` `cbrt-unprod_binary64_2498`
2×	`add-log-exp_binary64_2504` `*-commutative_binary64_2396`
1×	`unswap-sqr_binary64_2433`

Counts

2 → 36

Calls

2 calls:

21.0ms

(*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)

19.0ms

(*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))

series138.0ms (1.2%)

Counts

2 → 6

Calls

2 calls:

94.0ms

(*.f64 t (*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064))

44.0ms

(*.f64 t 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064)

simplify364.0ms (3.1%)

Algorithm

1×	egg-herbie

Counts

42 → 42

Iterations

Useful iterations: 0 (314.0ms)

Iter	Nodes	Cost
0	4984	290
1	4984	290

prune447.0ms (3.8%)

Pruning

60 alts after pruning (56 fresh and 4 done)

	Pruned	Kept	Total
New	27	15	42
Fresh	3	41	44
Picked	0	1	1
Done	0	3	3
Total	30	60	90

Merged error: 0.0b

Counts

90 → 60

Compiler

Compiled 580 to 475 computations (18.1% saved)

regimes1.8s (15.8%)

Compiler: Compiled 3346 to 2829 computations (15.5% saved)

bsearch370.0ms (3.2%)

simplify13.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	10	7
1	10	7

end0.0ms (0%)

sample5.8s (49.7%)

Algorithm

1×

intervals

Results

1.6s	8000×	body	256	valid
265.0ms	8000×	pre	128	true

Compiler

Compiled 1207 to 1014 computations (16% saved)

Pareto

0.35346922207037657

Details

analyze3.0ms (0%)

sample133.0ms (1.1%)

simplify745.0ms (6.4%)

prune8.0ms (0.1%)

localize6.0ms (0.1%)

rewrite21.0ms (0.2%)

series57.0ms (0.5%)

simplify170.0ms (1.5%)

prune183.0ms (1.6%)

localize9.0ms (0.1%)

rewrite22.0ms (0.2%)

series57.0ms (0.5%)

simplify160.0ms (1.4%)

prune279.0ms (2.4%)

localize13.0ms (0.1%)

rewrite23.0ms (0.2%)

series75.0ms (0.6%)

simplify203.0ms (1.7%)

prune426.0ms (3.7%)

localize27.0ms (0.2%)

rewrite55.0ms (0.5%)

series138.0ms (1.2%)

simplify364.0ms (3.1%)

prune447.0ms (3.8%)

regimes1.8s (15.8%)

bsearch370.0ms (3.2%)

simplify13.0ms (0.1%)

end0.0ms (0%)

sample5.8s (49.7%)

Profiling