Details

analyze889.0ms (7.4%)

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)

sample124.0ms (1%)

Algorithm

1×

intervals

Results

39.0ms	490×	body	128	nan
23.0ms	256×	body	128	valid
22.0ms	251×	body	128	invalid

Compiler

Compiled 37 to 41 computations (-10.8% saved)

simplify212.0ms (1.8%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (52.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.2b	(*.f64 (-.f64 t 1) (log.f64 a))
0.2b	(*.f64 y (log.f64 z))
1.1b	(exp.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (.f64 (-.f64 t 1) (log.f64 a))) b))
1.6b	(/.f64 (.f64 x (exp.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)

rewrite43.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

25×	`add-sqr-sqrt_binary64_12567`
20×	`*-un-lft-identity_binary64_12546`
15×	`add-cube-cbrt_binary64_12578`
13×	`add-cbrt-cube_binary64_12579`
12×	`log-prod_binary64_12629` `add-exp-log_binary64_12581`
10×	`pow1_binary64_12604` `associate-l_binary64_12489` `add-log-exp_binary64_12582`
8×	`associate-r_binary64_12488`
6×	`distribute-rgt-in_binary64_12498` `distribute-lft-in_binary64_12497`
5×	`exp-prod_binary64_12595`
3×	`times-frac_binary64_12552` `prod-exp_binary64_12592` `rem-exp-log_binary64_12583` `difference-of-squares_binary64_12515` `associate-/r*_binary64_12492` `cbrt-unprod_binary64_12576`
2×	`exp-sum_binary64_12589` `diff-log_binary64_12635` `cbrt-undiv_binary64_12577` `associate-l/_binary64_12491` `distribute-lft-out--_binary64_12500` `unswap-sqr_binary64_12514` `exp-diff_binary64_12591` `pow-prod-down_binary64_12614` `div-exp_binary64_12594` `log-pow_binary64_12632` `-commutative_binary64_12479`
1×	`associate-/l/_binary64_12495` `difference-of-sqr-1_binary64_12516` `flip--_binary64_12521` `associate-/l_binary64_12493` `sub-neg_binary64_12539` `associate--l+_binary64_12485` `associate-r/_binary64_12490` `sum-log_binary64_12634` `div-inv_binary64_12543` `clear-num_binary64_12545` `flip3--_binary64_12550` `frac-2neg_binary64_12557`

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))

series786.0ms (6.6%)

Counts

4 → 12

Calls

4 calls:

429.0ms	(/.f64 (.f64 x (exp.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)
241.0ms	(exp.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (.f64 (-.f64 t 1) (log.f64 a))) b))
67.0ms	(*.f64 (-.f64 t 1) (log.f64 a))
49.0ms	(*.f64 y (log.f64 z))

simplify81.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

108 → 108

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	4983	1773
1	4983	1773

prune127.0ms (1.1%)

Pruning

6 alts after pruning (5 fresh and 1 done)

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

Merged error: 0.0b

Counts

110 → 6

Compiler

Compiled 2546 to 1253 computations (50.8% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite81.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

106×	`add-sqr-sqrt_binary64_12567`
97×	`add-exp-log_binary64_12581`
96×	`times-frac_binary64_12552`
68×	`div-exp_binary64_12594`
57×	`*-un-lft-identity_binary64_12546`
54×	`add-cube-cbrt_binary64_12578`
41×	`unpow-prod-down_binary64_12622`
36×	`add-cbrt-cube_binary64_12579`
32×	`prod-exp_binary64_12592`
29×	`associate-r_binary64_12488`
25×	`associate-l_binary64_12489`
19×	`sqr-pow_binary64_12518`
18×	`pow-exp_binary64_12611` `pow-to-exp_binary64_12612`
16×	`unswap-sqr_binary64_12514`
14×	`cbrt-undiv_binary64_12577`
9×	`associate-/r*_binary64_12492`
8×	`unpow-prod-up_binary64_12621` `sub-neg_binary64_12539` `cbrt-unprod_binary64_12576`
7×	`pow1_binary64_12604` `pow-unpow_binary64_12620`
6×	`associate-/l*_binary64_12493`
5×	`associate-/r/_binary64_12494`
4×	`div-inv_binary64_12543` `add-log-exp_binary64_12582`
3×	`pow-sub_binary64_12619`
2×	`associate-l/_binary64_12491` `associate-r/_binary64_12490` `difference-of-squares_binary64_12515` `clear-num_binary64_12545` `frac-times_binary64_12556` `frac-2neg_binary64_12557`
1×	`difference-of-sqr-1_binary64_12516` `distribute-lft-out--_binary64_12500` `pow-prod-down_binary64_12614` `pow-pow_binary64_12615` `*-commutative_binary64_12479`

Counts

4 → 217

Calls

4 calls:

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

series1.3s (11%)

Counts

4 → 12

Calls

4 calls:

546.0ms	(/.f64 x (*.f64 (/.f64 y (pow.f64 z y)) (/.f64 (exp.f64 b) (pow.f64 a (-.f64 t 1)))))
494.0ms	(*.f64 (/.f64 y (pow.f64 z y)) (/.f64 (exp.f64 b) (pow.f64 a (-.f64 t 1))))
183.0ms	(/.f64 (exp.f64 b) (pow.f64 a (-.f64 t 1)))
91.0ms	(pow.f64 a (-.f64 t 1))

simplify100.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

229 → 229

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	5028	5439

prune240.0ms (2%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	227	2	229
Fresh	2	2	4
Picked	0	1	1
Done	0	1	1
Total	229	6	235

Merged error: 0b

Counts

235 → 6

Compiler

Compiled 5447 to 2273 computations (58.3% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 (pow.f64 z y) y)
0.1b	(pow.f64 a (-.f64 t 1))
0.3b	(/.f64 (exp.f64 b) (pow.f64 a (-.f64 t 1)))
3.4b	(*.f64 (/.f64 (pow.f64 z y) y) (/.f64 x (/.f64 (exp.f64 b) (pow.f64 a (-.f64 t 1)))))

rewrite312.0ms (2.6%)

Algorithm

1×	rewrite-expression-head

Rules

268×	`times-frac_binary64_12552`
206×	`add-sqr-sqrt_binary64_12567`
131×	`*-un-lft-identity_binary64_12546`
128×	`add-cube-cbrt_binary64_12578`
92×	`associate-r_binary64_12488`
74×	`add-exp-log_binary64_12581`
72×	`unpow-prod-down_binary64_12622`
49×	`div-exp_binary64_12594`
30×	`sqr-pow_binary64_12518`
29×	`add-cbrt-cube_binary64_12579`
25×	`associate-l_binary64_12489`
20×	`prod-exp_binary64_12592` `unswap-sqr_binary64_12514`
14×	`unpow-prod-up_binary64_12621` `sub-neg_binary64_12539`
12×	`pow-exp_binary64_12611` `pow-to-exp_binary64_12612`
11×	`cbrt-undiv_binary64_12577` `associate-/r*_binary64_12492`
10×	`associate-/l*_binary64_12493`
7×	`div-inv_binary64_12543` `pow1_binary64_12604` `pow-unpow_binary64_12620`
6×	`cbrt-unprod_binary64_12576`
5×	`associate-/r/_binary64_12494` `pow-sub_binary64_12619`
4×	`add-log-exp_binary64_12582`
2×	`difference-of-squares_binary64_12515` `clear-num_binary64_12545` `frac-2neg_binary64_12557`
1×	`difference-of-sqr-1_binary64_12516` `associate-l/_binary64_12491` `distribute-lft-out--_binary64_12500` `pow-prod-down_binary64_12614` `associate-r/_binary64_12490` `pow-pow_binary64_12615` `*-commutative_binary64_12479` `frac-times_binary64_12556`

Counts

4 → 293

Calls

4 calls:

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

series970.0ms (8.1%)

Counts

4 → 12

Calls

4 calls:

616.0ms	(*.f64 (/.f64 (pow.f64 z y) y) (/.f64 x (/.f64 (exp.f64 b) (pow.f64 a (-.f64 t 1)))))
177.0ms	(/.f64 (exp.f64 b) (pow.f64 a (-.f64 t 1)))
90.0ms	(pow.f64 a (-.f64 t 1))
87.0ms	(/.f64 (pow.f64 z y) y)

simplify90.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

305 → 305

Iterations

Useful iterations: 0 (23.0ms)

Iter	Nodes	Cost
0	5030	7774

prune336.0ms (2.8%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	305	0	305
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	305	6	311

Merged error: 0b

Counts

311 → 6

Compiler

Compiled 8082 to 3270 computations (59.5% saved)

localize19.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 x)
0.6b	(cbrt.f64 x)
0.6b	(cbrt.f64 x)
3.8b	(.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (/.f64 y (pow.f64 z y))) (/.f64 (cbrt.f64 x) (/.f64 (exp.f64 b) (pow.f64 a (-.f64 t 1)))))

rewrite205.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Rules

497×	`times-frac_binary64_12552`
339×	`add-sqr-sqrt_binary64_12567`
201×	`add-exp-log_binary64_12581`
179×	`associate-r_binary64_12488`
171×	`*-un-lft-identity_binary64_12546` `add-cube-cbrt_binary64_12578`
133×	`div-exp_binary64_12594`
116×	`cbrt-prod_binary64_12574`
82×	`unpow-prod-down_binary64_12622`
65×	`prod-exp_binary64_12592`
51×	`add-cbrt-cube_binary64_12579`
45×	`unswap-sqr_binary64_12514`
40×	`sqr-pow_binary64_12518`
33×	`cbrt-undiv_binary64_12577`
30×	`associate-l_binary64_12489`
21×	`cbrt-unprod_binary64_12576`
19×	`pow-exp_binary64_12611` `pow-to-exp_binary64_12612`
18×	`unpow-prod-up_binary64_12621` `sub-neg_binary64_12539`
9×	`div-inv_binary64_12543`
8×	`associate-/r/_binary64_12494`
6×	`pow1_binary64_12604` `pow-sub_binary64_12619`
4×	`add-log-exp_binary64_12582`
3×	`pow1/3_binary64_12625`
1×	`associate-l/_binary64_12491` `pow-prod-down_binary64_12614` `associate-r/_binary64_12490` `*-commutative_binary64_12479` `frac-times_binary64_12556`

Counts

4 → 359

Calls

4 calls:

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

series1.1s (9%)

Counts

4 → 12

Calls

4 calls:

638.0ms	(.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (/.f64 y (pow.f64 z y))) (/.f64 (cbrt.f64 x) (/.f64 (exp.f64 b) (pow.f64 a (-.f64 t 1)))))
147.0ms	(cbrt.f64 x)
146.0ms	(cbrt.f64 x)
141.0ms	(cbrt.f64 x)

simplify135.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

371 → 371

Iterations

Useful iterations: 0 (27.0ms)

Iter	Nodes	Cost
0	5491	13626

prune546.0ms (4.6%)

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	371	0	371
Fresh	0	2	2
Picked	0	1	1
Done	0	3	3
Total	371	6	377

Merged error: 0b

Counts

377 → 6

Compiler

Compiled 12561 to 5147 computations (59% saved)

regimes210.0ms (1.8%)

Compiler: Compiled 1328 to 1248 computations (6% saved)

bsearch183.0ms (1.5%)

Steps

Iters	Range		Point
6	-1.0816678088479962e-299	-1.1909049714696586e-300	-5.768675230014902e-300
7	-6.316019681855852e-43	-1.2418757857623978e-44	-1.2666299819425419e-44

Compiler

Compiled 1 to 6 computations (-500% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	63	78
1	63	78

end0.0ms (0%)

sample3.8s (32.1%)

Algorithm

1×

intervals

Results

1.1s	14754×	body	128	nan
742.0ms	8000×	body	128	valid
657.0ms	7240×	body	128	invalid

Compiler

Compiled 244 to 199 computations (18.4% saved)

Details

analyze889.0ms (7.4%)

sample124.0ms (1%)

simplify212.0ms (1.8%)

prune5.0ms (0%)

localize16.0ms (0.1%)

rewrite43.0ms (0.4%)

series786.0ms (6.6%)

simplify81.0ms (0.7%)

prune127.0ms (1.1%)

localize14.0ms (0.1%)

rewrite81.0ms (0.7%)

series1.3s (11%)

simplify100.0ms (0.8%)

prune240.0ms (2%)

localize14.0ms (0.1%)

rewrite312.0ms (2.6%)

series970.0ms (8.1%)

simplify90.0ms (0.8%)

prune336.0ms (2.8%)

localize19.0ms (0.2%)

rewrite205.0ms (1.7%)

series1.1s (9%)

simplify135.0ms (1.1%)

prune546.0ms (4.6%)

regimes210.0ms (1.8%)

bsearch183.0ms (1.5%)

simplify3.0ms (0%)

end0.0ms (0%)

sample3.8s (32.1%)

Profiling