Details

analyze5.0ms (0.2%)

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)

sample26.0ms (1%)

Algorithm

1×

intervals

Results

20.0ms

256×

body

128

valid

Compiler

Compiled 71 to 58 computations (18.3% saved)

simplify223.0ms (8.3%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (128.0ms)

Iter	Nodes	Cost
0	4918	40
1	4918	40

prune4.0ms (0.2%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 0.0b

Counts

2 → 1

Compiler

Compiled 62 to 50 computations (19.4% saved)

localize9.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 (*.f64 2 t) (+.f64 1 t))
0.0b	(/.f64 (+.f64 1 (.f64 (/.f64 (.f64 2 t) (+.f64 1 t)) (/.f64 (.f64 2 t) (+.f64 1 t)))) (+.f64 2 (.f64 (/.f64 (.f64 2 t) (+.f64 1 t)) (/.f64 (.f64 2 t) (+.f64 1 t)))))
0.0b	(.f64 (/.f64 (.f64 2 t) (+.f64 1 t)) (/.f64 (*.f64 2 t) (+.f64 1 t)))
0.0b	(.f64 (/.f64 (.f64 2 t) (+.f64 1 t)) (/.f64 (*.f64 2 t) (+.f64 1 t)))

rewrite76.0ms (2.8%)

Algorithm

1×	rewrite-expression-head

Rules

83×	`add-exp-log_binary64_1139` `add-cbrt-cube_binary64_1137`
62×	`*-un-lft-identity_binary64_1101`
53×	`times-frac_binary64_1107`
34×	`add-sqr-sqrt_binary64_1123`
31×	`cbrt-unprod_binary64_1134` `prod-exp_binary64_1150`
30×	`add-cube-cbrt_binary64_1136`
27×	`div-exp_binary64_1152` `cbrt-undiv_binary64_1135`
24×	`swap-sqr_binary64_1068`
20×	`associate-/r/_binary64_1047` `associate-r_binary64_1041` `associate-l_binary64_1042`
18×	`pow1_binary64_1162`
14×	`distribute-lft-out_binary64_1052`
11×	`flip3-+_binary64_1104` `flip-+_binary64_1075`
10×	`div-inv_binary64_1098`
7×	`associate-/r*_binary64_1045`
4×	`add-log-exp_binary64_1140` `associate-/l*_binary64_1046`
2×	`pow-plus_binary64_1164` `-commutative_binary64_1032` `frac-times_binary64_1111` `pow-prod-up_binary64_1171` `frac-2neg_binary64_1112` `clear-num_binary64_1100` `associate-/l/_binary64_1048` `associate-r/_binary64_1043` `pow-sqr_binary64_1074` `pow-prod-down_binary64_1172` `unswap-sqr_binary64_1069` `associate-*l/_binary64_1044` `pow2_binary64_1182`

Counts

4 → 190

Calls

4 calls:

20.0ms	(.f64 (/.f64 (.f64 2 t) (+.f64 1 t)) (/.f64 (*.f64 2 t) (+.f64 1 t)))
16.0ms	(.f64 (/.f64 (.f64 2 t) (+.f64 1 t)) (/.f64 (*.f64 2 t) (+.f64 1 t)))
9.0ms	(/.f64 (+.f64 1 (.f64 (/.f64 (.f64 2 t) (+.f64 1 t)) (/.f64 (.f64 2 t) (+.f64 1 t)))) (+.f64 2 (.f64 (/.f64 (.f64 2 t) (+.f64 1 t)) (/.f64 (.f64 2 t) (+.f64 1 t)))))
6.0ms	(/.f64 (*.f64 2 t) (+.f64 1 t))

series80.0ms (3%)

Counts

4 → 12

Calls

4 calls:

34.0ms	(/.f64 (+.f64 1 (.f64 (/.f64 (.f64 2 t) (+.f64 1 t)) (/.f64 (.f64 2 t) (+.f64 1 t)))) (+.f64 2 (.f64 (/.f64 (.f64 2 t) (+.f64 1 t)) (/.f64 (.f64 2 t) (+.f64 1 t)))))
16.0ms	(.f64 (/.f64 (.f64 2 t) (+.f64 1 t)) (/.f64 (*.f64 2 t) (+.f64 1 t)))
15.0ms	(.f64 (/.f64 (.f64 2 t) (+.f64 1 t)) (/.f64 (*.f64 2 t) (+.f64 1 t)))
13.0ms	(/.f64 (*.f64 2 t) (+.f64 1 t))

simplify72.0ms (2.7%)

Algorithm

1×	egg-herbie

Counts

202 → 202

Iterations

Useful iterations: 0 (26.0ms)

Iter	Nodes	Cost
0	5121	4456

prune497.0ms (18.4%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	201	1	202
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	201	2	203

Merged error: 0.0b

Counts

203 → 2

Compiler

Compiled 7573 to 5963 computations (21.3% saved)

localize7.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

rewrite18.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`add-sqr-sqrt_binary64_1123`
12×	`associate-r_binary64_1041`
7×	`add-log-exp_binary64_1140` `add-exp-log_binary64_1139`
6×	`*-un-lft-identity_binary64_1101` `add-cube-cbrt_binary64_1136`
4×	`cube-prod_binary64_1129` `unpow-prod-down_binary64_1180` `add-cbrt-cube_binary64_1137` `unswap-sqr_binary64_1069`
3×	`prod-exp_binary64_1150` `associate-l_binary64_1042`
2×	`diff-log_binary64_1193` `pow1_binary64_1162` `sqr-pow_binary64_1073`
1×	`*-commutative_binary64_1032` `pow-exp_binary64_1169` `cube-mult_binary64_1131` `cbrt-unprod_binary64_1134` `sum-log_binary64_1192` `sub-neg_binary64_1094` `associate--l+_binary64_1038` `flip--_binary64_1076` `flip3--_binary64_1105` `unpow3_binary64_1167` `cancel-sign-sub-inv_binary64_1067` `pow-to-exp_binary64_1170`

Counts

2 → 45

Calls

2 calls:

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

series47.0ms (1.8%)

Counts

2 → 6

Calls

2 calls:

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

simplify69.0ms (2.6%)

Algorithm

1×	egg-herbie

Counts

51 → 51

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	5040	651

prune46.0ms (1.7%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	50	1	51
Fresh	0	0	0
Picked	1	0	1
Done	0	1	1
Total	51	2	53

Merged error: 0b

Counts

53 → 2

Compiler

Compiled 807 to 548 computations (32.1% saved)

localize10.0ms (0.4%)

Local error

Found 3 expressions with local error:

0.0b	(*.f64 2 (pow.f64 t 3))
0.2b	(log.f64 (exp.f64 (-.f64 (+.f64 (.f64 t t) 1/2) (.f64 2 (pow.f64 t 3)))))
5.8b	(-.f64 (+.f64 (.f64 t t) 1/2) (.f64 2 (pow.f64 t 3)))

rewrite24.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`add-sqr-sqrt_binary64_1123`
12×	`associate-r_binary64_1041`
9×	`*-un-lft-identity_binary64_1101` `add-cube-cbrt_binary64_1136`
8×	`add-log-exp_binary64_1140` `add-exp-log_binary64_1139`
6×	`log-prod_binary64_1187`
5×	`add-cbrt-cube_binary64_1137`
4×	`cube-prod_binary64_1129` `unpow-prod-down_binary64_1180` `pow1_binary64_1162` `log-pow_binary64_1190` `unswap-sqr_binary64_1069`
3×	`exp-sum_binary64_1147` `prod-exp_binary64_1150` `exp-prod_binary64_1153` `associate-l_binary64_1042`
2×	`diff-log_binary64_1193` `sub-neg_binary64_1094` `associate--l+_binary64_1038` `cancel-sign-sub-inv_binary64_1067` `sqr-pow_binary64_1073`
1×	`*-commutative_binary64_1032` `pow-exp_binary64_1169` `cube-mult_binary64_1131` `cbrt-unprod_binary64_1134` `sum-log_binary64_1192` `rem-log-exp_binary64_1142` `exp-diff_binary64_1149` `flip--_binary64_1076` `flip3--_binary64_1105` `unpow3_binary64_1167` `log-div_binary64_1188` `pow-to-exp_binary64_1170`

Counts

3 → 64

Calls

3 calls:

7.0ms	(-.f64 (+.f64 (.f64 t t) 1/2) (.f64 2 (pow.f64 t 3)))
7.0ms	(*.f64 2 (pow.f64 t 3))
6.0ms	(log.f64 (exp.f64 (-.f64 (+.f64 (.f64 t t) 1/2) (.f64 2 (pow.f64 t 3)))))

series140.0ms (5.2%)

Counts

3 → 9

Calls

3 calls:

96.0ms	(log.f64 (exp.f64 (-.f64 (+.f64 (.f64 t t) 1/2) (.f64 2 (pow.f64 t 3)))))
26.0ms	(*.f64 2 (pow.f64 t 3))
17.0ms	(-.f64 (+.f64 (.f64 t t) 1/2) (.f64 2 (pow.f64 t 3)))

simplify62.0ms (2.3%)

Algorithm

1×	egg-herbie

Counts

73 → 73

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	4977	1085
1	4977	1085

prune69.0ms (2.6%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	73	0	73
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	73	2	75

Merged error: 0b

Counts

75 → 2

Compiler

Compiled 1280 to 902 computations (29.5% saved)

regimes115.0ms (4.3%)

Compiler: Compiled 1424 to 1214 computations (14.7% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	52
1	16	52

end0.0ms (0%)

sample1.1s (40.5%)

Algorithm

1×

intervals

Results

627.0ms

8000×

body

128

valid

Compiler

Compiled 398 to 338 computations (15.1% saved)

Details

analyze5.0ms (0.2%)

sample26.0ms (1%)

simplify223.0ms (8.3%)

prune4.0ms (0.2%)

localize9.0ms (0.3%)

rewrite76.0ms (2.8%)

series80.0ms (3%)

simplify72.0ms (2.7%)

prune497.0ms (18.4%)

localize7.0ms (0.2%)

rewrite18.0ms (0.7%)

series47.0ms (1.8%)

simplify69.0ms (2.6%)

prune46.0ms (1.7%)

localize10.0ms (0.4%)

rewrite24.0ms (0.9%)

series140.0ms (5.2%)

simplify62.0ms (2.3%)

prune69.0ms (2.6%)

regimes115.0ms (4.3%)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

end0.0ms (0%)

sample1.1s (40.5%)

Profiling