Details

analyze859.0ms (5.8%)

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)

sample119.0ms (0.8%)

Algorithm

1×

intervals

Results

38.0ms	486×	body	128	nan
22.0ms	256×	body	128	valid
19.0ms	228×	body	128	invalid

Compiler

Compiled 37 to 41 computations (-10.8% saved)

simplify214.0ms (1.5%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	4972	24
1	4972	24

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

Merged error: 0.2b

Counts

2 → 2

Compiler

Compiled 50 to 47 computations (6% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite44.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

25×	`add-sqr-sqrt_binary64_10208`
20×	`*-un-lft-identity_binary64_10187`
15×	`add-cube-cbrt_binary64_10219`
13×	`add-cbrt-cube_binary64_10220`
12×	`log-prod_binary64_10270` `add-exp-log_binary64_10222`
10×	`associate-l_binary64_10130` `pow1_binary64_10245` `add-log-exp_binary64_10223`
8×	`associate-r_binary64_10129`
6×	`distribute-rgt-in_binary64_10139` `distribute-lft-in_binary64_10138`
5×	`exp-prod_binary64_10236`
3×	`associate-/r*_binary64_10133` `prod-exp_binary64_10233` `rem-exp-log_binary64_10224` `cbrt-unprod_binary64_10217` `difference-of-squares_binary64_10156` `times-frac_binary64_10193`
2×	`cbrt-undiv_binary64_10218` `exp-sum_binary64_10230` `pow-prod-down_binary64_10255` `log-pow_binary64_10273` `div-exp_binary64_10235` `-commutative_binary64_10120` `exp-diff_binary64_10232` `unswap-sqr_binary64_10155` `distribute-lft-out--_binary64_10141` `associate-l/_binary64_10132` `diff-log_binary64_10276`
1×	`frac-2neg_binary64_10198` `associate-r/_binary64_10131` `sub-neg_binary64_10180` `associate-/l/_binary64_10136` `flip--_binary64_10162` `sum-log_binary64_10275` `associate-/l_binary64_10134` `flip3--_binary64_10191` `associate--l+_binary64_10126` `difference-of-sqr-1_binary64_10157` `div-inv_binary64_10184` `clear-num_binary64_10186`

Counts

4 → 96

Calls

4 calls:

13.0ms	(/.f64 (.f64 x (exp.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)
9.0ms	(*.f64 (-.f64 t 1) (log.f64 a))
8.0ms	(exp.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (.f64 (-.f64 t 1) (log.f64 a))) b))
5.0ms	(*.f64 y (log.f64 z))

series791.0ms (5.4%)

Counts

4 → 12

Calls

4 calls:

418.0ms	(/.f64 (.f64 x (exp.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)
243.0ms	(exp.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (.f64 (-.f64 t 1) (log.f64 a))) b))
69.0ms	(*.f64 (-.f64 t 1) (log.f64 a))
61.0ms	(*.f64 y (log.f64 z))

simplify80.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

108 → 108

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	4983	1773
1	4983	1773

prune128.0ms (0.9%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	103	5	108
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	103	7	110

Merged error: 0.0b

Counts

110 → 7

Compiler

Compiled 2587 to 1306 computations (49.5% saved)

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b	(/.f64 (.f64 x (.f64 (.f64 (cbrt.f64 (.f64 (pow.f64 z y) (/.f64 (pow.f64 a (-.f64 t 1)) (exp.f64 b)))) (cbrt.f64 (.f64 (pow.f64 z y) (/.f64 (pow.f64 a (-.f64 t 1)) (exp.f64 b))))) (cbrt.f64 (.f64 (pow.f64 z y) (/.f64 (pow.f64 a (-.f64 t 1)) (exp.f64 b)))))) y)
1.0b	(*.f64 (pow.f64 z y) (/.f64 (pow.f64 a (-.f64 t 1)) (exp.f64 b)))
1.0b	(*.f64 (pow.f64 z y) (/.f64 (pow.f64 a (-.f64 t 1)) (exp.f64 b)))
1.0b	(*.f64 (pow.f64 z y) (/.f64 (pow.f64 a (-.f64 t 1)) (exp.f64 b)))

rewrite123.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

135×	`add-sqr-sqrt_binary64_10208`
102×	`times-frac_binary64_10193`
84×	`associate-r_binary64_10129`
69×	`add-exp-log_binary64_10222`
57×	`unpow-prod-down_binary64_10263` `add-cube-cbrt_binary64_10219` `*-un-lft-identity_binary64_10187`
42×	`prod-exp_binary64_10233`
36×	`unswap-sqr_binary64_10155`
33×	`sqr-pow_binary64_10159`
31×	`div-exp_binary64_10235`
29×	`add-cbrt-cube_binary64_10220`
25×	`associate-*r/_binary64_10131`
21×	`associate-l_binary64_10130` `pow-to-exp_binary64_10253` `pow-exp_binary64_10252`
12×	`cbrt-div_binary64_10216` `cbrt-unprod_binary64_10217`
9×	`sub-neg_binary64_10180` `unpow-prod-up_binary64_10262`
7×	`cbrt-undiv_binary64_10218` `associate-/l/_binary64_10136`
5×	`frac-times_binary64_10197` `associate-*l/_binary64_10132`
4×	`pow1_binary64_10245` `div-inv_binary64_10184` `add-log-exp_binary64_10223`
3×	`associate-/r_binary64_10133` `-commutative_binary64_10120`
1×	`frac-2neg_binary64_10198` `associate-/l*_binary64_10134` `clear-num_binary64_10186`

Counts

4 → 242

Calls

4 calls:

20.0ms	(*.f64 (pow.f64 z y) (/.f64 (pow.f64 a (-.f64 t 1)) (exp.f64 b)))
17.0ms	(/.f64 (.f64 x (.f64 (.f64 (cbrt.f64 (.f64 (pow.f64 z y) (/.f64 (pow.f64 a (-.f64 t 1)) (exp.f64 b)))) (cbrt.f64 (.f64 (pow.f64 z y) (/.f64 (pow.f64 a (-.f64 t 1)) (exp.f64 b))))) (cbrt.f64 (.f64 (pow.f64 z y) (/.f64 (pow.f64 a (-.f64 t 1)) (exp.f64 b)))))) y)
17.0ms	(*.f64 (pow.f64 z y) (/.f64 (pow.f64 a (-.f64 t 1)) (exp.f64 b)))
16.0ms	(*.f64 (pow.f64 z y) (/.f64 (pow.f64 a (-.f64 t 1)) (exp.f64 b)))

series1.8s (12.4%)

Counts

4 → 12

Calls

4 calls:

592.0ms	(/.f64 (.f64 x (.f64 (.f64 (cbrt.f64 (.f64 (pow.f64 z y) (/.f64 (pow.f64 a (-.f64 t 1)) (exp.f64 b)))) (cbrt.f64 (.f64 (pow.f64 z y) (/.f64 (pow.f64 a (-.f64 t 1)) (exp.f64 b))))) (cbrt.f64 (.f64 (pow.f64 z y) (/.f64 (pow.f64 a (-.f64 t 1)) (exp.f64 b)))))) y)
415.0ms	(*.f64 (pow.f64 z y) (/.f64 (pow.f64 a (-.f64 t 1)) (exp.f64 b)))
411.0ms	(*.f64 (pow.f64 z y) (/.f64 (pow.f64 a (-.f64 t 1)) (exp.f64 b)))
410.0ms	(*.f64 (pow.f64 z y) (/.f64 (pow.f64 a (-.f64 t 1)) (exp.f64 b)))

simplify120.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

254 → 254

Iterations

Useful iterations: 0 (64.0ms)

Iter	Nodes	Cost
0	5003	6169

prune642.0ms (4.4%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	251	3	254
Fresh	3	2	5
Picked	1	0	1
Done	0	1	1
Total	255	6	261

Merged error: 0.0b

Counts

261 → 6

Compiler

Compiled 12999 to 6433 computations (50.5% saved)

localize19.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b	(.f64 (.f64 x (.f64 (.f64 (cbrt.f64 (.f64 (pow.f64 z y) (/.f64 (pow.f64 a (-.f64 t 1)) (exp.f64 b)))) (cbrt.f64 (.f64 (pow.f64 z y) (/.f64 (pow.f64 a (-.f64 t 1)) (exp.f64 b))))) (cbrt.f64 (*.f64 (pow.f64 z y) (/.f64 (pow.f64 a (-.f64 t 1)) (exp.f64 b)))))) (/.f64 1 y))
1.0b	(*.f64 (pow.f64 z y) (/.f64 (pow.f64 a (-.f64 t 1)) (exp.f64 b)))
1.0b	(*.f64 (pow.f64 z y) (/.f64 (pow.f64 a (-.f64 t 1)) (exp.f64 b)))
1.0b	(*.f64 (pow.f64 z y) (/.f64 (pow.f64 a (-.f64 t 1)) (exp.f64 b)))

rewrite135.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

140×	`add-sqr-sqrt_binary64_10208`
115×	`add-exp-log_binary64_10222`
108×	`times-frac_binary64_10193`
97×	`associate-r_binary64_10129`
76×	`prod-exp_binary64_10233`
62×	`add-cube-cbrt_binary64_10219` `*-un-lft-identity_binary64_10187`
57×	`unpow-prod-down_binary64_10263`
48×	`associate-*r/_binary64_10131`
43×	`add-cbrt-cube_binary64_10220`
36×	`unswap-sqr_binary64_10155`
35×	`div-exp_binary64_10235`
33×	`sqr-pow_binary64_10159`
26×	`cbrt-unprod_binary64_10217`
24×	`cbrt-div_binary64_10216`
22×	`associate-l_binary64_10130`
21×	`pow-to-exp_binary64_10253` `pow-exp_binary64_10252`
18×	`pow1_binary64_10245`
17×	`frac-times_binary64_10197` `associate-*l/_binary64_10132`
10×	`pow-prod-down_binary64_10255`
9×	`sub-neg_binary64_10180` `unpow-prod-up_binary64_10262`
7×	`cbrt-undiv_binary64_10218`
4×	`rec-exp_binary64_10234` `*-commutative_binary64_10120` `1-exp_binary64_10228` `div-inv_binary64_10184` `add-log-exp_binary64_10223`
1×	`un-div-inv_binary64_10185`

Counts

4 → 276

Calls

4 calls:

22.0ms	(.f64 (.f64 x (.f64 (.f64 (cbrt.f64 (.f64 (pow.f64 z y) (/.f64 (pow.f64 a (-.f64 t 1)) (exp.f64 b)))) (cbrt.f64 (.f64 (pow.f64 z y) (/.f64 (pow.f64 a (-.f64 t 1)) (exp.f64 b))))) (cbrt.f64 (*.f64 (pow.f64 z y) (/.f64 (pow.f64 a (-.f64 t 1)) (exp.f64 b)))))) (/.f64 1 y))
20.0ms	(*.f64 (pow.f64 z y) (/.f64 (pow.f64 a (-.f64 t 1)) (exp.f64 b)))
17.0ms	(*.f64 (pow.f64 z y) (/.f64 (pow.f64 a (-.f64 t 1)) (exp.f64 b)))
16.0ms	(*.f64 (pow.f64 z y) (/.f64 (pow.f64 a (-.f64 t 1)) (exp.f64 b)))

series1.8s (12.4%)

Counts

4 → 12

Calls

4 calls:

590.0ms	(.f64 (.f64 x (.f64 (.f64 (cbrt.f64 (.f64 (pow.f64 z y) (/.f64 (pow.f64 a (-.f64 t 1)) (exp.f64 b)))) (cbrt.f64 (.f64 (pow.f64 z y) (/.f64 (pow.f64 a (-.f64 t 1)) (exp.f64 b))))) (cbrt.f64 (*.f64 (pow.f64 z y) (/.f64 (pow.f64 a (-.f64 t 1)) (exp.f64 b)))))) (/.f64 1 y))
418.0ms	(*.f64 (pow.f64 z y) (/.f64 (pow.f64 a (-.f64 t 1)) (exp.f64 b)))
407.0ms	(*.f64 (pow.f64 z y) (/.f64 (pow.f64 a (-.f64 t 1)) (exp.f64 b)))
403.0ms	(*.f64 (pow.f64 z y) (/.f64 (pow.f64 a (-.f64 t 1)) (exp.f64 b)))

simplify140.0ms (1%)

Algorithm

1×	egg-herbie

Counts

288 → 288

Iterations

Useful iterations: 0 (67.0ms)

Iter	Nodes	Cost
0	4923	7618
1	4923	7618

prune724.0ms (4.9%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	287	1	288
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	287	7	294

Merged error: 0.0b

Counts

294 → 7

Compiler

Compiled 14265 to 7280 computations (49% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(pow.f64 a (-.f64 t 1))
0.3b	(/.f64 (pow.f64 a (-.f64 t 1)) (exp.f64 b))
0.3b	(.f64 (.f64 (*.f64 (/.f64 (pow.f64 a (-.f64 t 1)) (exp.f64 b)) (pow.f64 z y)) x) (/.f64 1 y))
1.0b	(*.f64 (/.f64 (pow.f64 a (-.f64 t 1)) (exp.f64 b)) (pow.f64 z y))

rewrite82.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

222×	`add-exp-log_binary64_10222`
168×	`prod-exp_binary64_10233`
77×	`add-sqr-sqrt_binary64_10208`
76×	`div-exp_binary64_10235`
66×	`times-frac_binary64_10193`
50×	`*-un-lft-identity_binary64_10187`
47×	`add-cube-cbrt_binary64_10219`
43×	`add-cbrt-cube_binary64_10220`
37×	`pow-to-exp_binary64_10253` `pow-exp_binary64_10252`
34×	`unpow-prod-down_binary64_10263`
29×	`associate-l_binary64_10130`
20×	`associate-r_binary64_10129` `cbrt-unprod_binary64_10217`
16×	`sqr-pow_binary64_10159`
14×	`rec-exp_binary64_10234` `1-exp_binary64_10228`
12×	`unswap-sqr_binary64_10155`
10×	`pow1_binary64_10245`
8×	`cbrt-undiv_binary64_10218` `sub-neg_binary64_10180` `associate-/l*_binary64_10134` `unpow-prod-up_binary64_10262`
7×	`pow-unpow_binary64_10261`
6×	`associate-*l/_binary64_10132`
4×	`add-log-exp_binary64_10223`
3×	`pow-prod-down_binary64_10255` `associate-/r*_binary64_10133` `div-inv_binary64_10184`
2×	`pow-sub_binary64_10260` `*-commutative_binary64_10120` `difference-of-squares_binary64_10156`
1×	`frac-2neg_binary64_10198` `associate-*r/_binary64_10131` `un-div-inv_binary64_10185` `associate-/l/_binary64_10136` `frac-times_binary64_10197` `difference-of-sqr-1_binary64_10157` `distribute-lft-out--_binary64_10141` `pow-pow_binary64_10256` `clear-num_binary64_10186`

Counts

4 → 235

Calls

4 calls:

20.0ms	(*.f64 (/.f64 (pow.f64 a (-.f64 t 1)) (exp.f64 b)) (pow.f64 z y))
19.0ms	(.f64 (.f64 (*.f64 (/.f64 (pow.f64 a (-.f64 t 1)) (exp.f64 b)) (pow.f64 z y)) x) (/.f64 1 y))
7.0ms	(/.f64 (pow.f64 a (-.f64 t 1)) (exp.f64 b))
5.0ms	(pow.f64 a (-.f64 t 1))

series1.4s (9.7%)

Counts

4 → 12

Calls

4 calls:

787.0ms	(.f64 (.f64 (*.f64 (/.f64 (pow.f64 a (-.f64 t 1)) (exp.f64 b)) (pow.f64 z y)) x) (/.f64 1 y))
405.0ms	(*.f64 (/.f64 (pow.f64 a (-.f64 t 1)) (exp.f64 b)) (pow.f64 z y))
151.0ms	(/.f64 (pow.f64 a (-.f64 t 1)) (exp.f64 b))
88.0ms	(pow.f64 a (-.f64 t 1))

simplify100.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

247 → 247

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	5048	5506

prune291.0ms (2%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	246	1	247
Fresh	1	3	4
Picked	1	0	1
Done	1	1	2
Total	249	5	254

Merged error: 0.0b

Counts

254 → 5

Compiler

Compiled 5772 to 2977 computations (48.4% saved)

regimes688.0ms (4.7%)

Compiler: Compiled 8214 to 6605 computations (19.6% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	42	28
1	42	28

end0.0ms (0%)

sample4.3s (29.1%)

Algorithm

1×

intervals

Results

1.1s	14833×	body	128	nan
698.0ms	8000×	body	128	valid
624.0ms	7415×	body	128	invalid

Compiler

Compiled 838 to 667 computations (20.4% saved)

Details

analyze859.0ms (5.8%)

sample119.0ms (0.8%)

simplify214.0ms (1.5%)

prune5.0ms (0%)

localize16.0ms (0.1%)

rewrite44.0ms (0.3%)

series791.0ms (5.4%)

simplify80.0ms (0.5%)

prune128.0ms (0.9%)

localize18.0ms (0.1%)

rewrite123.0ms (0.8%)

series1.8s (12.4%)

simplify120.0ms (0.8%)

prune642.0ms (4.4%)

localize19.0ms (0.1%)

rewrite135.0ms (0.9%)

series1.8s (12.4%)

simplify140.0ms (1%)

prune724.0ms (4.9%)

localize14.0ms (0.1%)

rewrite82.0ms (0.6%)

series1.4s (9.7%)

simplify100.0ms (0.7%)

prune291.0ms (2%)

regimes688.0ms (4.7%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample4.3s (29.1%)

Profiling