Details

analyze947.0ms (5.4%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5349	384
0	6	6
1	6	6

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 (0.7%)

Algorithm

1×

intervals

Results

36.0ms	488×	body	128	nan
20.0ms	259×	body	128	invalid
20.0ms	256×	body	128	valid

Compiler

Compiled 37 to 41 computations (-10.8% saved)

simplify61.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (55.0ms)

Iter	Nodes	Cost
0	5001	24

prune4.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.2b

Counts

2 → 2

Compiler

Compiled 50 to 47 computations (6% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite153.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

0.2b

Rules

26×	`add-sqr-sqrt_binary64_12717`
21×	`*-un-lft-identity_binary64_12695`
16×	`add-cube-cbrt_binary64_12730`
13×	`add-cbrt-cube_binary64_12731`
12×	`add-exp-log_binary64_12733` `log-prod_binary64_12781`
10×	`pow1_binary64_12756` `add-log-exp_binary64_12734` `associate-l_binary64_12636`
8×	`associate-r_binary64_12635`
6×	`distribute-rgt-in_binary64_12645` `distribute-lft-in_binary64_12644`
5×	`exp-prod_binary64_12747` `exp-sum_binary64_12741`
3×	`difference-of-squares_binary64_12664` `cancel-sign-sub-inv_binary64_12661` `rem-exp-log_binary64_12735` `prod-exp_binary64_12744` `cbrt-unprod_binary64_12728` `times-frac_binary64_12701` `associate-/r*_binary64_12639`
2×	`distribute-lft-out--_binary64_12647` `exp-diff_binary64_12743` `diff-log_binary64_12787` `div-exp_binary64_12746` `cbrt-undiv_binary64_12729` `pow-prod-down_binary64_12766` `unswap-sqr_binary64_12663` `log-pow_binary64_12784` `-commutative_binary64_12626` `associate-l/_binary64_12638`
1×	`sub-neg_binary64_12688` `associate--l+_binary64_12632` `sum-log_binary64_12786` `frac-2neg_binary64_12706` `clear-num_binary64_12694` `div-inv_binary64_12692` `associate-r/_binary64_12637` `associate-/l/_binary64_12642` `associate-/l_binary64_12640` `flip3--_binary64_12699` `flip--_binary64_12670` `difference-of-sqr-1_binary64_12665`

Counts

4 → 99

Calls

4 calls:

12.0ms	(/.f64 (.f64 x (exp.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)
8.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))

Compiler

Compiled 2549 to 1233 computations (51.6% saved)

series1.8s (10.3%)

Error

0.2b

Counts

4 → 62

Calls

4 calls:

971.0ms	(/.f64 (.f64 x (exp.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)
522.0ms	(exp.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (.f64 (-.f64 t 1) (log.f64 a))) b))
150.0ms	(*.f64 (-.f64 t 1) (log.f64 a))
121.0ms	(*.f64 y (log.f64 z))

Compiler

Compiled 4352 to 2394 computations (45% saved)

simplify89.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

161 → 161

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	5066	3067

prune181.0ms (1%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	156	5	161
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	157	6	163

Error

0.0b

Counts

163 → 6

Compiler

Compiled 3610 to 1655 computations (54.2% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b	(/.f64 (pow.f64 a (+.f64 t -1)) (exp.f64 b))
0.3b	(pow.f64 a (+.f64 t -1))
0.3b	(pow.f64 a (+.f64 t -1))
0.8b	(/.f64 (.f64 x (.f64 (sqrt.f64 (.f64 (/.f64 (pow.f64 a (+.f64 t -1)) (exp.f64 b)) (pow.f64 z y))) (sqrt.f64 (.f64 (/.f64 (pow.f64 a (+.f64 t -1)) (exp.f64 b)) (pow.f64 z y))))) y)

rewrite249.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

31×	`*-un-lft-identity_binary64_12695`
29×	`add-sqr-sqrt_binary64_12717`
27×	`add-cube-cbrt_binary64_12730` `times-frac_binary64_12701`
18×	`unpow-prod-down_binary64_12774`
17×	`add-exp-log_binary64_12733`
15×	`add-cbrt-cube_binary64_12731`
10×	`pow-unpow_binary64_12772`
9×	`associate-/l*_binary64_12640`
6×	`pow1_binary64_12756` `div-exp_binary64_12746` `associate-/r*_binary64_12639` `unpow-prod-up_binary64_12773` `sqr-pow_binary64_12667`
5×	`associate-*l/_binary64_12638`
4×	`add-log-exp_binary64_12734` `cbrt-undiv_binary64_12729` `sqrt-div_binary64_12712` `associate-*r/_binary64_12637`
3×	`prod-exp_binary64_12744` `cbrt-unprod_binary64_12728` `associate-/l/_binary64_12642` `pow-to-exp_binary64_12764` `pow-exp_binary64_12763`
2×	`frac-2neg_binary64_12706` `clear-num_binary64_12694` `div-inv_binary64_12692` `difference-of-sqr--1_binary64_12666` `distribute-lft-out_binary64_12646` `pow-pow_binary64_12767`
1×	`frac-times_binary64_12705`

Counts

4 → 115

Calls

4 calls:

23.0ms	(/.f64 (.f64 x (.f64 (sqrt.f64 (.f64 (/.f64 (pow.f64 a (+.f64 t -1)) (exp.f64 b)) (pow.f64 z y))) (sqrt.f64 (.f64 (/.f64 (pow.f64 a (+.f64 t -1)) (exp.f64 b)) (pow.f64 z y))))) y)
10.0ms	(/.f64 (pow.f64 a (+.f64 t -1)) (exp.f64 b))
5.0ms	(pow.f64 a (+.f64 t -1))
5.0ms	(pow.f64 a (+.f64 t -1))

Compiler

Compiled 4689 to 2370 computations (49.5% saved)

series1.7s (9.7%)

Error

0.0b

Counts

4 → 60

Calls

4 calls:

1.1s	(/.f64 (.f64 x (.f64 (sqrt.f64 (.f64 (/.f64 (pow.f64 a (+.f64 t -1)) (exp.f64 b)) (pow.f64 z y))) (sqrt.f64 (.f64 (/.f64 (pow.f64 a (+.f64 t -1)) (exp.f64 b)) (pow.f64 z y))))) y)
269.0ms	(/.f64 (pow.f64 a (+.f64 t -1)) (exp.f64 b))
116.0ms	(pow.f64 a (+.f64 t -1))
113.0ms	(pow.f64 a (+.f64 t -1))

Compiler

Compiled 5110 to 3309 computations (35.2% saved)

simplify93.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

175 → 175

Iterations

Useful iterations: 0 (55.0ms)

Iter	Nodes	Cost
0	5094	3868

prune253.0ms (1.4%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	173	2	175
Fresh	0	4	4
Picked	1	0	1
Done	0	1	1
Total	174	7	181

Error

0.0b

Counts

181 → 7

Compiler

Compiled 6084 to 2979 computations (51% saved)

localize23.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b	(pow.f64 a (+.f64 t -1))
0.3b	(pow.f64 a (+.f64 t -1))
0.3b	(.f64 (sqrt.f64 (.f64 (pow.f64 a (+.f64 t -1)) (pow.f64 z y))) (sqrt.f64 (*.f64 (/.f64 (pow.f64 a (+.f64 t -1)) (exp.f64 b)) (pow.f64 z y))))
1.1b	(/.f64 (.f64 x (.f64 (sqrt.f64 (.f64 (pow.f64 a (+.f64 t -1)) (pow.f64 z y))) (sqrt.f64 (.f64 (/.f64 (pow.f64 a (+.f64 t -1)) (exp.f64 b)) (pow.f64 z y))))) (*.f64 y (sqrt.f64 (exp.f64 b))))

rewrite213.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

29×	`add-exp-log_binary64_12733`
27×	`add-cbrt-cube_binary64_12731`
14×	`add-sqr-sqrt_binary64_12717` `*-un-lft-identity_binary64_12695`
10×	`pow1_binary64_12756` `prod-exp_binary64_12744` `add-cube-cbrt_binary64_12730` `cbrt-unprod_binary64_12728` `pow-unpow_binary64_12772`
6×	`div-exp_binary64_12746` `cbrt-undiv_binary64_12729` `unpow-prod-down_binary64_12774`
4×	`add-log-exp_binary64_12734` `associate-l_binary64_12636` `associate-r_binary64_12635`
3×	`associate-*r/_binary64_12637` `pow-prod-down_binary64_12766`
2×	`associate-*l/_binary64_12638` `sqrt-div_binary64_12712` `pow1/2_binary64_12775` `sqrt-pow1_binary64_12713` `sqrt-prod_binary64_12711` `unpow-prod-up_binary64_12773` `difference-of-sqr--1_binary64_12666` `distribute-lft-out_binary64_12646` `pow-pow_binary64_12767` `pow-to-exp_binary64_12764` `pow-exp_binary64_12763` `sqr-pow_binary64_12667`
1×	`frac-2neg_binary64_12706` `times-frac_binary64_12701` `clear-num_binary64_12694` `div-inv_binary64_12692` `associate-/l/_binary64_12642` `associate-/l_binary64_12640` `associate-/r_binary64_12639` `sqrt-unprod_binary64_12715` `unswap-sqr_binary64_12663` `*-commutative_binary64_12626`

Counts

4 → 90

Calls

4 calls:

25.0ms	(/.f64 (.f64 x (.f64 (sqrt.f64 (.f64 (pow.f64 a (+.f64 t -1)) (pow.f64 z y))) (sqrt.f64 (.f64 (/.f64 (pow.f64 a (+.f64 t -1)) (exp.f64 b)) (pow.f64 z y))))) (*.f64 y (sqrt.f64 (exp.f64 b))))
16.0ms	(.f64 (sqrt.f64 (.f64 (pow.f64 a (+.f64 t -1)) (pow.f64 z y))) (sqrt.f64 (*.f64 (/.f64 (pow.f64 a (+.f64 t -1)) (exp.f64 b)) (pow.f64 z y))))
5.0ms	(pow.f64 a (+.f64 t -1))
4.0ms	(pow.f64 a (+.f64 t -1))

Compiler

Compiled 4040 to 1910 computations (52.7% saved)

series2.3s (13.1%)

Error

0.0b

Counts

4 → 69

Calls

4 calls:

1.1s	(/.f64 (.f64 x (.f64 (sqrt.f64 (.f64 (pow.f64 a (+.f64 t -1)) (pow.f64 z y))) (sqrt.f64 (.f64 (/.f64 (pow.f64 a (+.f64 t -1)) (exp.f64 b)) (pow.f64 z y))))) (*.f64 y (sqrt.f64 (exp.f64 b))))
833.0ms	(.f64 (sqrt.f64 (.f64 (pow.f64 a (+.f64 t -1)) (pow.f64 z y))) (sqrt.f64 (*.f64 (/.f64 (pow.f64 a (+.f64 t -1)) (exp.f64 b)) (pow.f64 z y))))
124.0ms	(pow.f64 a (+.f64 t -1))
123.0ms	(pow.f64 a (+.f64 t -1))

Compiler

Compiled 5880 to 3828 computations (34.9% saved)

simplify106.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

159 → 159

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	4963	4941
1	4963	4941

prune235.0ms (1.3%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	159	0	159
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	159	7	166

Error

0.0b

Counts

166 → 7

Compiler

Compiled 5702 to 2621 computations (54% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

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)))
1.2b	(/.f64 x (.f64 (/.f64 y (.f64 (pow.f64 z y) (pow.f64 a t))) (*.f64 a (exp.f64 b))))

rewrite169.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

192×	`add-exp-log_binary64_12733`
112×	`prod-exp_binary64_12744`
73×	`div-exp_binary64_12746`
61×	`add-cbrt-cube_binary64_12731`
30×	`pow-to-exp_binary64_12764` `pow-exp_binary64_12763`
24×	`cbrt-unprod_binary64_12728`
17×	`cbrt-undiv_binary64_12729`
14×	`add-sqr-sqrt_binary64_12717`
12×	`add-cube-cbrt_binary64_12730` `*-un-lft-identity_binary64_12695`
11×	`pow1_binary64_12756`
10×	`associate-l_binary64_12636`
9×	`times-frac_binary64_12701`
6×	`associate-/l*_binary64_12640`
4×	`add-log-exp_binary64_12734` `pow-prod-down_binary64_12766` `associate-r_binary64_12635`
3×	`div-inv_binary64_12692`
2×	`frac-2neg_binary64_12706` `clear-num_binary64_12694` `associate-l/_binary64_12638` `associate-/r_binary64_12639` `*-commutative_binary64_12626`
1×	`associate-/r/_binary64_12641` `unswap-sqr_binary64_12663`

Counts

4 → 142

Calls

4 calls:

14.0ms	(/.f64 x (.f64 (/.f64 y (.f64 (pow.f64 z y) (pow.f64 a t))) (*.f64 a (exp.f64 b))))
13.0ms	(.f64 (/.f64 y (.f64 (pow.f64 z y) (pow.f64 a t))) (*.f64 a (exp.f64 b)))
6.0ms	(/.f64 y (*.f64 (pow.f64 z y) (pow.f64 a t)))
5.0ms	(*.f64 a (exp.f64 b))

Compiler

Compiled 3458 to 434 computations (87.4% saved)

series2.9s (16.4%)

Error

0.0b

Counts

4 → 78

Calls

4 calls:

1.2s	(/.f64 x (.f64 (/.f64 y (.f64 (pow.f64 z y) (pow.f64 a t))) (*.f64 a (exp.f64 b))))
947.0ms	(.f64 (/.f64 y (.f64 (pow.f64 z y) (pow.f64 a t))) (*.f64 a (exp.f64 b)))
627.0ms	(/.f64 y (*.f64 (pow.f64 z y) (pow.f64 a t)))
49.0ms	(*.f64 a (exp.f64 b))

Compiler

Compiled 5232 to 2881 computations (44.9% saved)

simplify73.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

220 → 220

Iterations

Useful iterations: 0 (22.0ms)

Iter	Nodes	Cost
0	5316	5592

prune177.0ms (1%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	218	2	220
Fresh	3	1	4
Picked	1	0	1
Done	0	2	2
Total	222	5	227

Error

Counts

227 → 5

Compiler

Compiled 4852 to 861 computations (82.3% saved)

regimes930.0ms (5.3%)

Accuracy

Total 2.3b remaining (99.5%)

Threshold costs 0b (0%)

Compiler

Compiled 9896 to 8693 computations (12.2% saved)

bsearch2.0ms (0%)

Compiler: Compiled 6 to 10 computations (-66.7% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	70	162
1	70	162

end0.0ms (0%)

sample4.7s (26.8%)

Algorithm

1×

intervals

Results

1.1s	14493×	body	128	nan
654.0ms	8000×	body	128	valid
591.0ms	7341×	body	128	invalid

Compiler

Compiled 1064 to 891 computations (16.3% saved)

Details

analyze947.0ms (5.4%)

sample124.0ms (0.7%)

simplify61.0ms (0.3%)

prune4.0ms (0%)

localize15.0ms (0.1%)

rewrite153.0ms (0.9%)

series1.8s (10.3%)

simplify89.0ms (0.5%)

prune181.0ms (1%)

localize16.0ms (0.1%)

rewrite249.0ms (1.4%)

series1.7s (9.7%)

simplify93.0ms (0.5%)

prune253.0ms (1.4%)

localize23.0ms (0.1%)

rewrite213.0ms (1.2%)

series2.3s (13.1%)

simplify106.0ms (0.6%)

prune235.0ms (1.3%)

localize13.0ms (0.1%)

rewrite169.0ms (1%)

series2.9s (16.4%)

simplify73.0ms (0.4%)

prune177.0ms (1%)

regimes930.0ms (5.3%)

bsearch2.0ms (0%)

simplify4.0ms (0%)

end0.0ms (0%)

sample4.7s (26.8%)

Profiling