Details

analyze10.0ms (0.3%)

Algorithm

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)

sample28.0ms (0.7%)

Algorithm

1×

intervals

Results

21.0ms

256×

body

128

valid

Compiler

Compiled 71 to 58 computations (18.3% saved)

simplify255.0ms (6.8%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (100.0ms)

Iter	Nodes	Cost
0	4937	40
1	4937	40

prune7.0ms (0.2%)

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

Merged error: 0.0b

Counts

2 → 1

Compiler

Compiled 54 to 44 computations (18.5% saved)

localize11.0ms (0.3%)

Local error

Found 4 expressions with local error:

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.3b	(/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t))))
0.3b	(/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t))))

rewrite83.0ms (2.2%)

Algorithm

1×	rewrite-expression-head

Rules

146×	`*-un-lft-identity_binary64_77`
74×	`times-frac_binary64_83`
70×	`distribute-lft-out_binary64_30`
58×	`add-sqr-sqrt_binary64_98`
48×	`add-cube-cbrt_binary64_109` `associate-r_binary64_19`
18×	`add-exp-log_binary64_112` `add-cbrt-cube_binary64_110` `div-inv_binary64_74`
12×	`associate-/r*_binary64_23`
8×	`pow1_binary64_135` `associate-/r/_binary64_25`
6×	`associate-l_binary64_20` `associate-/l*_binary64_24`
4×	`add-log-exp_binary64_113` `flip-+_binary64_51` `cbrt-unprod_binary64_107` `cbrt-undiv_binary64_108` `flip3-+_binary64_80` `div-exp_binary64_125` `unswap-sqr_binary64_45` `prod-exp_binary64_123`
2×	`pow-prod-down_binary64_145` `associate-r/_binary64_21` `-commutative_binary64_10` `clear-num_binary64_76` `frac-2neg_binary64_88`

Counts

4 → 168

Calls

4 calls:

18.0ms	(*.f64 t (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))
18.0ms	(*.f64 t (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))
12.0ms	(/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t))))
11.0ms	(/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t))))

series108.0ms (2.9%)

Counts

4 → 12

Calls

4 calls:

31.0ms	(*.f64 t (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))
31.0ms	(*.f64 t (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))
23.0ms	(/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t))))
23.0ms	(/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t))))

simplify77.0ms (2.1%)

Algorithm

1×	egg-herbie

Counts

180 → 180

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	4923	3140
1	4923	3140

prune406.0ms (10.8%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Merged error: 0.0b

Counts

181 → 2

Compiler

Compiled 6165 to 4861 computations (21.2% saved)

localize17.0ms (0.5%)

Local error

Found 4 expressions with local error:

0.3b	(/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t))))
0.3b	(/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t))))
1.4b	(log.f64 (pow.f64 (exp.f64 (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t))))) t))
2.9b	(pow.f64 (exp.f64 (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t))))) t)

rewrite72.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Rules

117×	`*-un-lft-identity_binary64_77`
55×	`distribute-lft-out_binary64_30`
54×	`times-frac_binary64_83`
40×	`add-cube-cbrt_binary64_109` `add-sqr-sqrt_binary64_98`
25×	`pow-pow_binary64_146`
24×	`exp-prod_binary64_126`
14×	`div-inv_binary64_74`
12×	`associate-/r*_binary64_23`
9×	`add-exp-log_binary64_112`
8×	`add-cbrt-cube_binary64_110`
7×	`log-prod_binary64_160`
6×	`associate-/l*_binary64_24` `associate-/r/_binary64_25` `unpow-prod-down_binary64_153`
5×	`pow1_binary64_135`
4×	`add-log-exp_binary64_113`
3×	`rem-log-exp_binary64_115` `flip-+_binary64_51` `flip3-+_binary64_80` `pow-unpow_binary64_151`
2×	`pow-to-exp_binary64_143` `cbrt-undiv_binary64_108` `sqr-pow_binary64_49` `pow-exp_binary64_142` `div-exp_binary64_125` `clear-num_binary64_76` `frac-2neg_binary64_88`
1×	`log-pow_binary64_163`

Counts

4 → 141

Calls

4 calls:

18.0ms	(pow.f64 (exp.f64 (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t))))) t)
13.0ms	(log.f64 (pow.f64 (exp.f64 (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t))))) t))
12.0ms	(/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t))))
11.0ms	(/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t))))

series203.0ms (5.4%)

Counts

4 → 12

Calls

4 calls:

88.0ms	(log.f64 (pow.f64 (exp.f64 (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t))))) t))
72.0ms	(pow.f64 (exp.f64 (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t))))) t)
22.0ms	(/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t))))
21.0ms	(/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t))))

simplify92.0ms (2.5%)

Algorithm

1×	egg-herbie

Counts

153 → 153

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	4937	2949
1	4937	2949

prune367.0ms (9.8%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	152	1	153
Fresh	0	0	0
Picked	1	0	1
Done	0	1	1
Total	153	2	155

Merged error: 0.0b

Counts

155 → 2

Compiler

Compiled 5564 to 4461 computations (19.8% saved)

localize22.0ms (0.6%)

Local error

Found 4 expressions with local error:

1.5b	(log.f64 (cbrt.f64 (pow.f64 (exp.f64 (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t))))) t)))
1.5b	(log.f64 (cbrt.f64 (pow.f64 (exp.f64 (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t))))) t)))
2.9b	(pow.f64 (exp.f64 (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t))))) t)
2.9b	(pow.f64 (exp.f64 (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t))))) t)

rewrite88.0ms (2.3%)

Algorithm

1×	rewrite-expression-head

Rules

76×	`*-un-lft-identity_binary64_77`
50×	`pow-pow_binary64_146`
48×	`exp-prod_binary64_126`
36×	`times-frac_binary64_83`
34×	`add-cube-cbrt_binary64_109` `add-sqr-sqrt_binary64_98`
30×	`distribute-lft-out_binary64_30`
20×	`log-prod_binary64_160`
14×	`cbrt-prod_binary64_105`
12×	`unpow-prod-down_binary64_153`
8×	`pow1_binary64_135` `div-inv_binary64_74`
6×	`add-exp-log_binary64_112` `pow-unpow_binary64_151`
4×	`add-cbrt-cube_binary64_110` `add-log-exp_binary64_113` `sqr-pow_binary64_49` `associate-/r/_binary64_25` `log-pow_binary64_163`
2×	`rem-log-exp_binary64_115` `pow-to-exp_binary64_143` `flip-+_binary64_51` `flip3-+_binary64_80` `pow-exp_binary64_142` `pow1/3_binary64_156`

Counts

4 → 122

Calls

4 calls:

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

series347.0ms (9.3%)

Counts

4 → 12

Calls

4 calls:

112.0ms	(log.f64 (cbrt.f64 (pow.f64 (exp.f64 (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t))))) t)))
110.0ms	(log.f64 (cbrt.f64 (pow.f64 (exp.f64 (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t))))) t)))
63.0ms	(pow.f64 (exp.f64 (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t))))) t)
61.0ms	(pow.f64 (exp.f64 (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t))))) t)

simplify69.0ms (1.8%)

Algorithm

1×	egg-herbie

Counts

134 → 134

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	5320	3150

prune554.0ms (14.8%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	134	0	134
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	134	2	136

Merged error: 0.0b

Counts

136 → 2

Compiler

Compiled 7428 to 6043 computations (18.6% saved)

regimes11.0ms (0.3%)

Compiler: Compiled 76 to 63 computations (17.1% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	40
1	19	40

end0.0ms (0%)

sample914.0ms (24.4%)

Algorithm

1×

intervals

Results

667.0ms

8000×

body

128

valid

Compiler

Compiled 137 to 113 computations (17.5% saved)

Details

analyze10.0ms (0.3%)

sample28.0ms (0.7%)

simplify255.0ms (6.8%)

prune7.0ms (0.2%)

localize11.0ms (0.3%)

rewrite83.0ms (2.2%)

series108.0ms (2.9%)

simplify77.0ms (2.1%)

prune406.0ms (10.8%)

localize17.0ms (0.5%)

rewrite72.0ms (1.9%)

series203.0ms (5.4%)

simplify92.0ms (2.5%)

prune367.0ms (9.8%)

localize22.0ms (0.6%)

rewrite88.0ms (2.3%)

series347.0ms (9.3%)

simplify69.0ms (1.8%)

prune554.0ms (14.8%)

regimes11.0ms (0.3%)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

end0.0ms (0%)

sample914.0ms (24.4%)

Profiling