Details

analyze229.0ms (4%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4918	40
1	4918	40
0	1	1
1	1	1

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
25%	75%	0%	3
50%	50%	0%	4
93.7%	6.2%	0%	5
96.8%	3.1%	0%	6
98.4%	1.6%	0%	7
99.2%	0.8%	0%	8
99.6%	0.4%	0%	9
99.8%	0.2%	0%	10
99.9%	0.1%	0%	11
99.9%	0%	0%	12
99.9%	0%	0%	13
99.9%	0%	0%	14

Compiler

Compiled 36 to 29 computations (19.4% saved)

sample27.0ms (0.5%)

Algorithm

1×

intervals

Results

18.0ms

256×

body

128

valid

Compiler

Compiled 71 to 58 computations (18.3% saved)

simplify136.0ms (2.4%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (131.0ms)

Iter	Nodes	Cost
0	4918	40
1	4918	40

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

0.0b

Counts

2 → 1

Compiler

Compiled 54 to 44 computations (18.5% saved)

localize11.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.1b	(/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t))))
0.1b	(/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t))))
0.1b	(*.f64 t (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))
0.1b	(*.f64 t (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))

rewrite444.0ms (7.8%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

146×	`*-un-lft-identity_binary64_419`
74×	`times-frac_binary64_425`
70×	`distribute-lft-out_binary64_370`
58×	`add-sqr-sqrt_binary64_441`
48×	`add-cube-cbrt_binary64_454` `associate-r_binary64_359`
18×	`add-exp-log_binary64_457` `add-cbrt-cube_binary64_455` `div-inv_binary64_416`
12×	`associate-/r*_binary64_363`
8×	`pow1_binary64_480` `associate-/r/_binary64_365`
6×	`associate-l_binary64_360` `associate-/l*_binary64_364`
4×	`div-exp_binary64_470` `prod-exp_binary64_468` `add-log-exp_binary64_458` `cbrt-unprod_binary64_452` `cbrt-undiv_binary64_453` `unswap-sqr_binary64_387` `flip3-+_binary64_422` `flip-+_binary64_393`
2×	`pow-prod-down_binary64_490` `associate-r/_binary64_361` `-commutative_binary64_350` `frac-2neg_binary64_430` `clear-num_binary64_418`

Counts

4 → 168

Calls

4 calls:

17.0ms	(*.f64 t (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))
17.0ms	(*.f64 t (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))
10.0ms	(/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t))))
10.0ms	(/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t))))

Compiler

Compiled 6194 to 4925 computations (20.5% saved)

series213.0ms (3.8%)

Error

0.0b

Counts

4 → 40

Calls

4 calls:

44.0ms	(*.f64 t (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))
40.0ms	(/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t))))
40.0ms	(/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t))))
37.0ms	(*.f64 t (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))

Compiler

Compiled 2600 to 2161 computations (16.9% saved)

simplify119.0ms (2.1%)

Algorithm

1×	egg-herbie

Counts

208 → 208

Iterations

Useful iterations: 0 (82.0ms)

Iter	Nodes	Cost
0	4889	3414
1	4889	3414

prune424.0ms (7.5%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	207	1	208
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	208	1	209

Error

0.0b

Counts

209 → 1

Compiler

Compiled 6833 to 5365 computations (21.5% saved)

localize16.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.1b	(/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t))))
0.1b	(*.f64 t (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))
0.1b	(*.f64 t (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))
0.9b	(log.f64 (exp.f64 (*.f64 t (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))))

rewrite383.0ms (6.8%)

Algorithm

1×	rewrite-expression-head

Error

Rules

108×	`*-un-lft-identity_binary64_419`
56×	`times-frac_binary64_425`
50×	`distribute-lft-out_binary64_370`
48×	`add-sqr-sqrt_binary64_441` `associate-r_binary64_359`
38×	`add-cube-cbrt_binary64_454`
16×	`add-exp-log_binary64_457` `add-cbrt-cube_binary64_455`
13×	`div-inv_binary64_416`
9×	`pow1_binary64_480`
6×	`associate-l_binary64_360` `associate-/r/_binary64_365` `associate-/r*_binary64_363`
5×	`add-log-exp_binary64_458`
4×	`prod-exp_binary64_468` `cbrt-unprod_binary64_452` `unswap-sqr_binary64_387`
3×	`log-pow_binary64_508` `log-prod_binary64_505` `div-exp_binary64_470` `cbrt-undiv_binary64_453` `flip3-+_binary64_422` `flip-+_binary64_393` `associate-/l*_binary64_364`
2×	`pow-prod-down_binary64_490` `associate-r/_binary64_361` `-commutative_binary64_350`
1×	`exp-to-pow_binary64_481` `exp-prod_binary64_471` `rem-log-exp_binary64_460` `frac-2neg_binary64_430` `clear-num_binary64_418`

Counts

4 → 141

Calls

4 calls:

17.0ms	(*.f64 t (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))
16.0ms	(*.f64 t (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))
11.0ms	(/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t))))
2.0ms	(log.f64 (exp.f64 (*.f64 t (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))))

Compiler

Compiled 5503 to 4418 computations (19.7% saved)

series256.0ms (4.5%)

Error

0.0b

Counts

4 → 40

Calls

4 calls:

67.0ms	(log.f64 (exp.f64 (*.f64 t (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))))
47.0ms	(*.f64 t (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))
45.0ms	(*.f64 t (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))
41.0ms	(/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t))))

Compiler

Compiled 2664 to 2261 computations (15.1% saved)

simplify102.0ms (1.8%)

Algorithm

1×	egg-herbie

Counts

181 → 181

Iterations

Useful iterations: 0 (70.0ms)

Iter	Nodes	Cost
0	4895	2903
1	4895	2903

prune573.0ms (10.1%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	180	1	181
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	180	2	182

Error

Counts

182 → 2

Compiler

Compiled 6212 to 4935 computations (20.6% saved)

localize22.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.2b	(pow.f64 (exp.f64 t) (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))
0.2b	(pow.f64 (exp.f64 t) (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))
0.9b	(log.f64 (cbrt.f64 (pow.f64 (exp.f64 t) (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))))
0.9b	(log.f64 (cbrt.f64 (pow.f64 (exp.f64 t) (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))))

rewrite460.0ms (8.1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

76×	`*-un-lft-identity_binary64_419`
48×	`pow-unpow_binary64_496`
36×	`times-frac_binary64_425`
34×	`add-cube-cbrt_binary64_454` `add-sqr-sqrt_binary64_441`
30×	`distribute-lft-out_binary64_370`
20×	`log-prod_binary64_505`
14×	`cbrt-prod_binary64_450`
12×	`unpow-prod-down_binary64_498`
8×	`pow1_binary64_480` `div-inv_binary64_416` `pow-pow_binary64_491`
6×	`add-exp-log_binary64_457` `exp-prod_binary64_471`
4×	`log-pow_binary64_508` `sqr-pow_binary64_391` `add-log-exp_binary64_458` `add-cbrt-cube_binary64_455` `associate-/r/_binary64_365`
2×	`pow1/3_binary64_501` `rem-log-exp_binary64_460` `flip3-+_binary64_422` `flip-+_binary64_393` `pow-to-exp_binary64_488` `pow-exp_binary64_487`

Counts

4 → 122

Calls

4 calls:

14.0ms	(pow.f64 (exp.f64 t) (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))
14.0ms	(pow.f64 (exp.f64 t) (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))
4.0ms	(log.f64 (cbrt.f64 (pow.f64 (exp.f64 t) (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))))
4.0ms	(log.f64 (cbrt.f64 (pow.f64 (exp.f64 t) (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))))

Compiler

Compiled 7130 to 5499 computations (22.9% saved)

series288.0ms (5.1%)

Error

Counts

4 → 24

Calls

4 calls:

89.0ms	(log.f64 (cbrt.f64 (pow.f64 (exp.f64 t) (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))))
82.0ms	(log.f64 (cbrt.f64 (pow.f64 (exp.f64 t) (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))))
36.0ms	(pow.f64 (exp.f64 t) (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))
33.0ms	(pow.f64 (exp.f64 t) (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))

Compiler

Compiled 2456 to 1996 computations (18.7% saved)

simplify117.0ms (2.1%)

Algorithm

1×	egg-herbie

Counts

146 → 146

Iterations

Useful iterations: 0 (86.0ms)

Iter	Nodes	Cost
0	4890	3076
1	4890	3076

prune524.0ms (9.3%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	146	0	146
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	146	2	148

Error

Counts

148 → 2

Compiler

Compiled 7780 to 5997 computations (22.9% saved)

regimes136.0ms (2.4%)

Accuracy

Total 0.0b remaining (40.9%)

Threshold costs 0.0b (40.9%)

Compiler

Compiled 1868 to 1538 computations (17.7% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	21	44
1	21	44

end0.0ms (0%)

sample1.2s (20.7%)

Algorithm

1×

intervals

Results

598.0ms

8000×

body

128

valid

Compiler

Compiled 503 to 415 computations (17.5% saved)

Details

analyze229.0ms (4%)

sample27.0ms (0.5%)

simplify136.0ms (2.4%)

prune7.0ms (0.1%)

localize11.0ms (0.2%)

rewrite444.0ms (7.8%)

series213.0ms (3.8%)

simplify119.0ms (2.1%)

prune424.0ms (7.5%)

localize16.0ms (0.3%)

rewrite383.0ms (6.8%)

series256.0ms (4.5%)

simplify102.0ms (1.8%)

prune573.0ms (10.1%)

localize22.0ms (0.4%)

rewrite460.0ms (8.1%)

series288.0ms (5.1%)

simplify117.0ms (2.1%)

prune524.0ms (9.3%)

regimes136.0ms (2.4%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample1.2s (20.7%)

Profiling