Details

analyze1.5s (4.7%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.7%	0.3%	0
0%	99.7%	0.3%	1
0%	99.7%	0.3%	2
0%	99.7%	0.3%	3
0%	99.7%	0.3%	4
0%	99.7%	0.3%	5
6.2%	90.4%	3.4%	6
6.2%	90.4%	3.4%	7
6.2%	88.8%	5%	8
7.8%	77.9%	14.3%	9
7.8%	56.5%	35.7%	10
7.8%	56.5%	35.7%	11
8.1%	41.5%	50.3%	12
8.3%	41.4%	50.3%	13
8.4%	40.2%	51.4%	14

Compiler

Compiled 19 to 18 computations (5.3% saved)

sample194.0ms (0.6%)

Algorithm

1×

intervals

Results

58.0ms	478×	body	128	nan
35.0ms	256×	body	128	valid
34.0ms	257×	body	128	invalid

Compiler

Compiled 37 to 41 computations (-10.8% saved)

simplify227.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (87.0ms)

Iter	Nodes	Cost
0	5001	24

prune11.0ms (0%)

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

Error

0.1b

Counts

2 → 2

Compiler

Compiled 50 to 47 computations (6% saved)

localize33.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.1b	(*.f64 (-.f64 t 1) (log.f64 a))
0.0b	(.f64 x (exp.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b)))
0.0b	(+.f64 (.f64 y (log.f64 z)) (.f64 (-.f64 t 1) (log.f64 a)))
0.0b	(-.f64 (+.f64 (.f64 y (log.f64 z)) (.f64 (-.f64 t 1) (log.f64 a))) b)
0.1b	(*.f64 (-.f64 t 1) (log.f64 a))
0.3b	(*.f64 y (log.f64 z))
0.7b	(/.f64 (.f64 x (exp.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)
0.9b	(exp.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (.f64 (-.f64 t 1) (log.f64 a))) b))

rewrite84.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

26×	`add-sqr-sqrt_binary64_9084`
21×	`*-un-lft-identity_binary64_9062`
16×	`add-cube-cbrt_binary64_9097`
13×	`add-cbrt-cube_binary64_9098`
12×	`add-exp-log_binary64_9100` `log-prod_binary64_9148`
10×	`pow1_binary64_9123` `associate-l_binary64_9003` `add-log-exp_binary64_9101`
8×	`associate-r_binary64_9002`
6×	`distribute-lft-in_binary64_9011` `distribute-rgt-in_binary64_9012`
5×	`exp-prod_binary64_9114` `exp-sum_binary64_9108`
3×	`cancel-sign-sub-inv_binary64_9028` `rem-exp-log_binary64_9102` `times-frac_binary64_9068` `associate-/r*_binary64_9006` `difference-of-squares_binary64_9031` `cbrt-unprod_binary64_9095` `prod-exp_binary64_9111`
2×	`log-pow_binary64_9151` `unswap-sqr_binary64_9030` `associate-l/_binary64_9005` `distribute-lft-out--_binary64_9014` `div-exp_binary64_9113` `cbrt-undiv_binary64_9096` `exp-diff_binary64_9110` `pow-prod-down_binary64_9133` `-commutative_binary64_8993` `diff-log_binary64_9154`
1×	`frac-2neg_binary64_9073` `flip--_binary64_9037` `clear-num_binary64_9061` `associate-/l_binary64_9007` `flip3--_binary64_9066` `associate--l+_binary64_8999` `associate-/l/_binary64_9009` `difference-of-sqr-1_binary64_9032` `sub-neg_binary64_9055` `sum-log_binary64_9153` `associate-r/_binary64_9004` `div-inv_binary64_9059`

Counts

4 → 99

Calls

8 calls:

22.0ms	(/.f64 (.f64 x (exp.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)
20.0ms	(*.f64 (-.f64 t 1) (log.f64 a))
15.0ms	(exp.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (.f64 (-.f64 t 1) (log.f64 a))) b))
9.0ms	(*.f64 y (log.f64 z))
0.0ms	(-.f64 (+.f64 (.f64 y (log.f64 z)) (.f64 (-.f64 t 1) (log.f64 a))) b)

series2.8s (9.1%)

Counts

4 → 58

Calls

4 calls:

1.5s	(/.f64 (.f64 x (exp.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)
823.0ms	(exp.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (.f64 (-.f64 t 1) (log.f64 a))) b))
282.0ms	(*.f64 (-.f64 t 1) (log.f64 a))
187.0ms	(*.f64 y (log.f64 z))

Compiler

Compiled 2458 to 1873 computations (23.8% saved)

simplify144.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

157 → 157

Iterations

Useful iterations: 0 (82.0ms)

Iter	Nodes	Cost
0	5003	2818

prune346.0ms (1.1%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	153	4	157
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	154	5	159

Error

0.0b

Counts

159 → 5

Compiler

Compiled 3415 to 1607 computations (52.9% saved)

localize26.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.7b	(/.f64 (.f64 x (.f64 (*.f64 (pow.f64 z y) (pow.f64 a (-.f64 t 1))) (exp.f64 (neg.f64 b)))) y)
0.5b	(.f64 (.f64 (pow.f64 z y) (pow.f64 a (-.f64 t 1))) (exp.f64 (neg.f64 b)))
0.2b	(pow.f64 a (-.f64 t 1))
0.0b	(.f64 x (.f64 (*.f64 (pow.f64 z y) (pow.f64 a (-.f64 t 1))) (exp.f64 (neg.f64 b))))
0.2b	(pow.f64 a (-.f64 t 1))
0.5b	(.f64 (.f64 (pow.f64 z y) (pow.f64 a (-.f64 t 1))) (exp.f64 (neg.f64 b)))
0.7b	(/.f64 (.f64 x (.f64 (*.f64 (pow.f64 z y) (pow.f64 a (-.f64 t 1))) (exp.f64 (neg.f64 b)))) y)
0.9b	(*.f64 (pow.f64 z y) (pow.f64 a (-.f64 t 1)))

rewrite87.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

68×	`add-exp-log_binary64_9100`
58×	`prod-exp_binary64_9111`
31×	`add-sqr-sqrt_binary64_9084`
25×	`add-cbrt-cube_binary64_9098`
19×	`pow-to-exp_binary64_9131` `pow-exp_binary64_9130`
18×	`*-un-lft-identity_binary64_9062`
17×	`associate-*r/_binary64_9004`
15×	`add-cube-cbrt_binary64_9097` `unpow-prod-down_binary64_9141`
14×	`associate-r_binary64_9002`
12×	`div-exp_binary64_9113`
10×	`cbrt-unprod_binary64_9095`
9×	`sqr-pow_binary64_9034` `unswap-sqr_binary64_9030`
8×	`pow-sub_binary64_9138` `unpow-prod-up_binary64_9140` `associate-l_binary64_9003`
7×	`pow-unpow_binary64_9139` `pow1_binary64_9123`
6×	`cancel-sign-sub-inv_binary64_9028` `exp-neg_binary64_9109` `associate-/l/_binary64_9009`
4×	`cbrt-undiv_binary64_9096` `neg-sub0_binary64_9057` `exp-diff_binary64_9110` `frac-times_binary64_9072` `add-log-exp_binary64_9101`
3×	`times-frac_binary64_9068` `associate-/r*_binary64_9006`
2×	`associate-l/_binary64_9005` `un-div-inv_binary64_9060` `sub-neg_binary64_9055` `difference-of-squares_binary64_9031` `-commutative_binary64_8993`
1×	`frac-2neg_binary64_9073` `clear-num_binary64_9061` `pow-pow_binary64_9134` `associate-/l*_binary64_9007` `distribute-lft-out--_binary64_9014` `difference-of-sqr-1_binary64_9032` `pow-prod-down_binary64_9133` `div-inv_binary64_9059`

Counts

4 → 142

Calls

8 calls:

32.0ms	(/.f64 (.f64 x (.f64 (*.f64 (pow.f64 z y) (pow.f64 a (-.f64 t 1))) (exp.f64 (neg.f64 b)))) y)
16.0ms	(*.f64 (pow.f64 z y) (pow.f64 a (-.f64 t 1)))
13.0ms	(.f64 (.f64 (pow.f64 z y) (pow.f64 a (-.f64 t 1))) (exp.f64 (neg.f64 b)))
5.0ms	(pow.f64 a (-.f64 t 1))
0.0ms	(.f64 x (.f64 (*.f64 (pow.f64 z y) (pow.f64 a (-.f64 t 1))) (exp.f64 (neg.f64 b))))

series4.3s (13.7%)

Counts

4 → 70

Calls

4 calls:

2.1s	(/.f64 (.f64 x (.f64 (*.f64 (pow.f64 z y) (pow.f64 a (-.f64 t 1))) (exp.f64 (neg.f64 b)))) y)
1.3s	(.f64 (.f64 (pow.f64 z y) (pow.f64 a (-.f64 t 1))) (exp.f64 (neg.f64 b)))
719.0ms	(*.f64 (pow.f64 z y) (pow.f64 a (-.f64 t 1)))
182.0ms	(pow.f64 a (-.f64 t 1))

Compiler

Compiled 2942 to 2530 computations (14% saved)

simplify145.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

212 → 212

Iterations

Useful iterations: 0 (71.0ms)

Iter	Nodes	Cost
0	5211	4428

prune315.0ms (1%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	212	0	212
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	212	5	217

Error

0.0b

Counts

217 → 5

Compiler

Compiled 4619 to 2087 computations (54.8% saved)

localize25.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.9b	(*.f64 (pow.f64 z y) (pow.f64 a t))
0.5b	(.f64 (/.f64 y (.f64 (pow.f64 z y) (pow.f64 a t))) (*.f64 a (exp.f64 b)))
0.0b	(*.f64 a (exp.f64 b))
0.0b	(/.f64 y (*.f64 (pow.f64 z y) (pow.f64 a t)))
0.0b	(*.f64 a (exp.f64 b))
0.5b	(.f64 (/.f64 y (.f64 (pow.f64 z y) (pow.f64 a t))) (*.f64 a (exp.f64 b)))
0.9b	(*.f64 (pow.f64 z y) (pow.f64 a t))
1.3b	(/.f64 x (.f64 (/.f64 y (.f64 (pow.f64 z y) (pow.f64 a t))) (*.f64 a (exp.f64 b))))

rewrite409.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Rules

181×	`add-exp-log_binary64_9100`
112×	`prod-exp_binary64_9111`
63×	`div-exp_binary64_9113`
58×	`add-cbrt-cube_binary64_9098`
30×	`pow-to-exp_binary64_9131` `pow-exp_binary64_9130`
28×	`add-sqr-sqrt_binary64_9084`
24×	`cbrt-unprod_binary64_9095`
17×	`associate-l_binary64_9003`
15×	`cbrt-undiv_binary64_9096`
14×	`add-cube-cbrt_binary64_9097` `*-un-lft-identity_binary64_9062`
12×	`unpow-prod-down_binary64_9141`
11×	`pow1_binary64_9123` `associate-r_binary64_9002`
10×	`unswap-sqr_binary64_9030`
8×	`sqr-pow_binary64_9034`
6×	`times-frac_binary64_9068`
4×	`pow-prod-down_binary64_9133` `add-log-exp_binary64_9101`
3×	`associate-/l_binary64_9007` `-commutative_binary64_8993`
2×	`associate-*l/_binary64_9005` `div-inv_binary64_9059`
1×	`associate-/r/_binary64_9008` `frac-2neg_binary64_9073` `clear-num_binary64_9061` `associate-/r*_binary64_9006`

Counts

4 → 154

Calls

8 calls:

23.0ms	(/.f64 x (.f64 (/.f64 y (.f64 (pow.f64 z y) (pow.f64 a t))) (*.f64 a (exp.f64 b))))
20.0ms	(.f64 (/.f64 y (.f64 (pow.f64 z y) (pow.f64 a t))) (*.f64 a (exp.f64 b)))
12.0ms	(*.f64 (pow.f64 z y) (pow.f64 a t))
8.0ms	(*.f64 a (exp.f64 b))
0.0ms	(/.f64 y (*.f64 (pow.f64 z y) (pow.f64 a t)))

series4.4s (14%)

Counts

4 → 74

Calls

4 calls:

2.0s	(/.f64 x (.f64 (/.f64 y (.f64 (pow.f64 z y) (pow.f64 a t))) (*.f64 a (exp.f64 b))))
1.6s	(.f64 (/.f64 y (.f64 (pow.f64 z y) (pow.f64 a t))) (*.f64 a (exp.f64 b)))
695.0ms	(*.f64 (pow.f64 z y) (pow.f64 a t))
85.0ms	(*.f64 a (exp.f64 b))

Compiler

Compiled 2859 to 2246 computations (21.4% saved)

simplify137.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

228 → 228

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	5020	5384

prune315.0ms (1%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	227	1	228
Fresh	1	1	2
Picked	0	1	1
Done	0	2	2
Total	228	5	233

Error

Counts

233 → 5

Compiler

Compiled 4994 to 967 computations (80.6% saved)

localize28.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.2b	(/.f64 1 (.f64 (/.f64 y (.f64 (.f64 (pow.f64 z y) (pow.f64 a t)) x)) (.f64 a (exp.f64 b))))
0.0b	(*.f64 a (exp.f64 b))
0.0b	(.f64 (.f64 (pow.f64 z y) (pow.f64 a t)) x)
0.0b	(/.f64 y (.f64 (.f64 (pow.f64 z y) (pow.f64 a t)) x))
0.0b	(*.f64 a (exp.f64 b))
0.2b	(/.f64 1 (.f64 (/.f64 y (.f64 (.f64 (pow.f64 z y) (pow.f64 a t)) x)) (.f64 a (exp.f64 b))))
0.9b	(*.f64 (pow.f64 z y) (pow.f64 a t))
2.3b	(.f64 (/.f64 y (.f64 (.f64 (pow.f64 z y) (pow.f64 a t)) x)) (.f64 a (exp.f64 b)))

rewrite110.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

429×	`add-exp-log_binary64_9100`
306×	`prod-exp_binary64_9111`
138×	`div-exp_binary64_9113`
82×	`add-cbrt-cube_binary64_9098`
54×	`pow-to-exp_binary64_9131` `pow-exp_binary64_9130`
38×	`cbrt-unprod_binary64_9095`
28×	`add-sqr-sqrt_binary64_9084`
25×	`rec-exp_binary64_9112` `1-exp_binary64_9106`
21×	`cbrt-undiv_binary64_9096`
17×	`pow1_binary64_9123` `associate-l_binary64_9003`
14×	`add-cube-cbrt_binary64_9097` `*-un-lft-identity_binary64_9062`
12×	`unpow-prod-down_binary64_9141`
11×	`associate-r_binary64_9002`
10×	`unswap-sqr_binary64_9030`
8×	`sqr-pow_binary64_9034`
7×	`pow-prod-down_binary64_9133`
6×	`times-frac_binary64_9068`
4×	`add-log-exp_binary64_9101`
3×	`associate-/l_binary64_9007` `pow-flip_binary64_9136` `-commutative_binary64_8993`
2×	`associate-*l/_binary64_9005` `div-inv_binary64_9059`
1×	`associate-/r/_binary64_9008` `inv-pow_binary64_9147` `frac-2neg_binary64_9073` `clear-num_binary64_9061` `associate-/r*_binary64_9006`

Counts

4 → 216

Calls

8 calls:

25.0ms	(.f64 (/.f64 y (.f64 (.f64 (pow.f64 z y) (pow.f64 a t)) x)) (.f64 a (exp.f64 b)))
19.0ms	(*.f64 (pow.f64 z y) (pow.f64 a t))
17.0ms	(/.f64 1 (.f64 (/.f64 y (.f64 (.f64 (pow.f64 z y) (pow.f64 a t)) x)) (.f64 a (exp.f64 b))))
5.0ms	(*.f64 a (exp.f64 b))
0.0ms	(/.f64 y (.f64 (.f64 (pow.f64 z y) (pow.f64 a t)) x))

series4.7s (15%)

Counts

4 → 77

Calls

4 calls:

2.1s	(.f64 (/.f64 y (.f64 (.f64 (pow.f64 z y) (pow.f64 a t)) x)) (.f64 a (exp.f64 b)))
1.8s	(/.f64 1 (.f64 (/.f64 y (.f64 (.f64 (pow.f64 z y) (pow.f64 a t)) x)) (.f64 a (exp.f64 b))))
618.0ms	(*.f64 (pow.f64 z y) (pow.f64 a t))
89.0ms	(*.f64 a (exp.f64 b))

Compiler

Compiled 3169 to 2508 computations (20.9% saved)

simplify164.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

293 → 293

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	5036	7088

prune374.0ms (1.2%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	293	0	293
Fresh	0	1	1
Picked	0	1	1
Done	0	3	3
Total	293	5	298

Error

Counts

298 → 5

Compiler

Compiled 6418 to 1125 computations (82.5% saved)

simplify13.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	207	864
1	207	864

regimes1.1s (3.6%)

Accuracy

Total 1.8b remaining (99.4%)

Threshold costs 0b (0%)

Compiler

Compiled 6355 to 6000 computations (5.6% saved)

bsearch0.0ms (0%)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	44	28
1	44	28

end0.0ms (0%)

sample9.3s (29.8%)

Algorithm

1×

intervals

Results

1.7s	14149×	body	128	nan
1.1s	8000×	body	128	valid
1.0s	7249×	body	128	invalid

Compiler

Compiled 1793 to 1655 computations (7.7% saved)

Pareto

0.42388697522767815

Details

analyze1.5s (4.7%)

sample194.0ms (0.6%)

simplify227.0ms (0.7%)

prune11.0ms (0%)

localize33.0ms (0.1%)

rewrite84.0ms (0.3%)

series2.8s (9.1%)

simplify144.0ms (0.5%)

prune346.0ms (1.1%)

localize26.0ms (0.1%)

rewrite87.0ms (0.3%)

series4.3s (13.7%)

simplify145.0ms (0.5%)

prune315.0ms (1%)

localize25.0ms (0.1%)

rewrite409.0ms (1.3%)

series4.4s (14%)

simplify137.0ms (0.4%)

prune315.0ms (1%)

localize28.0ms (0.1%)

rewrite110.0ms (0.4%)

series4.7s (15%)

simplify164.0ms (0.5%)

prune374.0ms (1.2%)

simplify13.0ms (0%)

regimes1.1s (3.6%)

bsearch0.0ms (0%)

simplify4.0ms (0%)

end0.0ms (0%)

sample9.3s (29.8%)

Profiling