Details

analyze819.0ms (8.2%)

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)

sample106.0ms (1.1%)

Algorithm

1×

intervals

Results

33.0ms	448×	body	128	nan
20.0ms	256×	body	128	valid
17.0ms	211×	body	128	invalid

Compiler

Compiled 37 to 41 computations (-10.8% saved)

simplify150.0ms (1.5%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (55.0ms)

Iter	Nodes	Cost
0	5001	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

Error

0.2b

Counts

2 → 2

Compiler

Compiled 50 to 47 computations (6% saved)

localize15.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(*.f64 (-.f64 t 1) (log.f64 a))
0.3b	(*.f64 y (log.f64 z))
0.9b	(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)

rewrite41.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

26×	`add-sqr-sqrt_binary64_11012`
21×	`*-un-lft-identity_binary64_10990`
16×	`add-cube-cbrt_binary64_11025`
13×	`add-cbrt-cube_binary64_11026`
12×	`log-prod_binary64_11076` `add-exp-log_binary64_11028`
10×	`pow1_binary64_11051` `add-log-exp_binary64_11029` `associate-l_binary64_10931`
8×	`associate-r_binary64_10930`
6×	`distribute-rgt-in_binary64_10940` `distribute-lft-in_binary64_10939`
5×	`exp-sum_binary64_11036` `exp-prod_binary64_11042`
3×	`prod-exp_binary64_11039` `times-frac_binary64_10996` `associate-/r*_binary64_10934` `difference-of-squares_binary64_10959` `cbrt-unprod_binary64_11023` `rem-exp-log_binary64_11030` `cancel-sign-sub-inv_binary64_10956`
2×	`log-pow_binary64_11079` `distribute-lft-out--_binary64_10942` `diff-log_binary64_11082` `unswap-sqr_binary64_10958` `div-exp_binary64_11041` `-commutative_binary64_10921` `cbrt-undiv_binary64_11024` `associate-l/_binary64_10933` `pow-prod-down_binary64_11061` `exp-diff_binary64_11038`
1×	`flip3--_binary64_10994` `associate--l+_binary64_10927` `sum-log_binary64_11081` `associate-/l/_binary64_10937` `flip--_binary64_10965` `associate-r/_binary64_10932` `clear-num_binary64_10989` `difference-of-sqr-1_binary64_10960` `associate-/l_binary64_10935` `sub-neg_binary64_10983` `frac-2neg_binary64_11001` `div-inv_binary64_10987`

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

series444.0ms (4.5%)

Counts

4 → 12

Calls

4 calls:

239.0ms	(/.f64 (.f64 x (exp.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)
141.0ms	(exp.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (.f64 (-.f64 t 1) (log.f64 a))) b))
36.0ms	(*.f64 (-.f64 t 1) (log.f64 a))
28.0ms	(*.f64 y (log.f64 z))

simplify69.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

111 → 111

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	5018	1831

prune128.0ms (1.3%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	106	5	111
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	107	6	113

Error

0.0b

Counts

113 → 6

Compiler

Compiled 2623 to 1297 computations (50.6% saved)

localize17.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(*.f64 (-.f64 t 1) (log.f64 a))
0.3b	(*.f64 y (log.f64 z))
1.0b	(pow.f64 E.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (.f64 (-.f64 t 1) (log.f64 a))) b))
1.6b	(/.f64 (.f64 x (pow.f64 E.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)

rewrite41.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

27×	`add-sqr-sqrt_binary64_11012`
22×	`*-un-lft-identity_binary64_10990`
21×	`add-exp-log_binary64_11028`
17×	`add-cube-cbrt_binary64_11025`
13×	`add-cbrt-cube_binary64_11026`
12×	`log-prod_binary64_11076`
11×	`pow1_binary64_11051`
10×	`associate-l_binary64_10931`
8×	`associate-r_binary64_10930`
6×	`prod-exp_binary64_11039` `distribute-rgt-in_binary64_10940` `distribute-lft-in_binary64_10939`
5×	`div-exp_binary64_11041` `unpow-prod-up_binary64_11068` `pow-unpow_binary64_11067`
4×	`add-log-exp_binary64_11029` `pow-exp_binary64_11058`
3×	`times-frac_binary64_10996` `associate-/r*_binary64_10934` `difference-of-squares_binary64_10959` `cbrt-unprod_binary64_11023` `unpow-prod-down_binary64_11069` `cancel-sign-sub-inv_binary64_10956`
2×	`log-pow_binary64_11079` `distribute-lft-out--_binary64_10942` `pow-sub_binary64_11066` `unswap-sqr_binary64_10958` `e-exp-1_binary64_11035` `pow-to-exp_binary64_11059` `-commutative_binary64_10921` `cbrt-undiv_binary64_11024` `associate-l/_binary64_10933` `pow-prod-down_binary64_11061`
1×	`flip3--_binary64_10994` `associate--l+_binary64_10927` `sqr-pow_binary64_10962` `associate-/l/_binary64_10937` `flip--_binary64_10965` `associate-r/_binary64_10932` `clear-num_binary64_10989` `difference-of-sqr-1_binary64_10960` `associate-/l_binary64_10935` `sub-neg_binary64_10983` `frac-2neg_binary64_11001` `div-inv_binary64_10987` `pow-pow_binary64_11062`

Counts

4 → 107

Calls

4 calls:

11.0ms	(*.f64 (-.f64 t 1) (log.f64 a))
9.0ms	(/.f64 (.f64 x (pow.f64 E.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)
7.0ms	(pow.f64 E.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (.f64 (-.f64 t 1) (log.f64 a))) b))
5.0ms	(*.f64 y (log.f64 z))

series459.0ms (4.6%)

Counts

4 → 12

Calls

4 calls:

252.0ms	(/.f64 (.f64 x (pow.f64 E.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)
144.0ms	(pow.f64 E.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (.f64 (-.f64 t 1) (log.f64 a))) b))
35.0ms	(*.f64 (-.f64 t 1) (log.f64 a))
27.0ms	(*.f64 y (log.f64 z))

simplify73.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

119 → 119

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	4954	2422
1	4954	2422

prune129.0ms (1.3%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	117	2	119
Fresh	1	4	5
Picked	1	0	1
Done	0	0	0
Total	119	6	125

Error

0.0b

Counts

125 → 6

Compiler

Compiled 3064 to 1462 computations (52.3% saved)

localize23.0ms (0.2%)

Local error

Found 4 expressions with local error:

1.0b	(pow.f64 E.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (.f64 (-.f64 t 1) (log.f64 a))) b))
1.6b	(/.f64 (.f64 x (pow.f64 E.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)
1.6b	(/.f64 (.f64 x (pow.f64 E.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)
1.6b	(/.f64 (.f64 x (pow.f64 E.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)

rewrite55.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

41×	`add-exp-log_binary64_11028`
19×	`add-cbrt-cube_binary64_11026`
15×	`div-exp_binary64_11041` `*-un-lft-identity_binary64_10990` `add-sqr-sqrt_binary64_11012`
13×	`add-cube-cbrt_binary64_11025`
12×	`prod-exp_binary64_11039`
9×	`times-frac_binary64_10996` `associate-/r*_binary64_10934`
8×	`pow-exp_binary64_11058`
6×	`cbrt-undiv_binary64_11024`
5×	`pow1_binary64_11051` `unpow-prod-up_binary64_11068` `pow-unpow_binary64_11067`
4×	`pow-sub_binary64_11066` `add-log-exp_binary64_11029` `e-exp-1_binary64_11035` `pow-to-exp_binary64_11059`
3×	`associate-/l/_binary64_10937` `associate-r/_binary64_10932` `clear-num_binary64_10989` `associate-/l_binary64_10935` `cbrt-unprod_binary64_11023` `frac-2neg_binary64_11001` `div-inv_binary64_10987` `unpow-prod-down_binary64_11069` `cancel-sign-sub-inv_binary64_10956`
1×	`associate--l+_binary64_10927` `sqr-pow_binary64_10962` `distribute-lft-out--_binary64_10942` `sub-neg_binary64_10983` `difference-of-squares_binary64_10959` `pow-pow_binary64_11062`

Counts

4 → 101

Calls

4 calls:

9.0ms	(/.f64 (.f64 x (pow.f64 E.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)
9.0ms	(/.f64 (.f64 x (pow.f64 E.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)
9.0ms	(/.f64 (.f64 x (pow.f64 E.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)
7.0ms	(pow.f64 E.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (.f64 (-.f64 t 1) (log.f64 a))) b))

series887.0ms (8.9%)

Counts

4 → 12

Calls

4 calls:

252.0ms	(/.f64 (.f64 x (pow.f64 E.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)
245.0ms	(/.f64 (.f64 x (pow.f64 E.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)
238.0ms	(/.f64 (.f64 x (pow.f64 E.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)
152.0ms	(pow.f64 E.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (.f64 (-.f64 t 1) (log.f64 a))) b))

simplify84.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

113 → 113

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	4993	3150
1	4993	3150

prune293.0ms (2.9%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	112	1	113
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	112	7	119

Error

0.0b

Counts

119 → 7

Compiler

Compiled 7603 to 3519 computations (53.7% saved)

localize36.0ms (0.4%)

Local error

Found 4 expressions with local error:

1.3b	(/.f64 x (.f64 (/.f64 y (pow.f64 a (-.f64 t 1))) (exp.f64 (-.f64 b (.f64 y (log.f64 z))))))
1.6b	(/.f64 (.f64 x (pow.f64 E.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)
1.6b	(/.f64 (.f64 x (pow.f64 E.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)
3.1b	(.f64 (/.f64 y (pow.f64 a (-.f64 t 1))) (exp.f64 (-.f64 b (.f64 y (log.f64 z)))))

rewrite80.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

46×	`add-exp-log_binary64_11028`
45×	`times-frac_binary64_10996`
42×	`add-sqr-sqrt_binary64_11012`
38×	`associate-l_binary64_10931`
32×	`add-cube-cbrt_binary64_11025` `*-un-lft-identity_binary64_10990`
28×	`add-cbrt-cube_binary64_11026`
21×	`div-exp_binary64_11041`
16×	`prod-exp_binary64_11039`
12×	`unpow-prod-up_binary64_11068`
10×	`unpow-prod-down_binary64_11069` `cancel-sign-sub-inv_binary64_10956`
9×	`cbrt-undiv_binary64_11024`
7×	`associate-/r*_binary64_10934`
6×	`pow1_binary64_11051` `cbrt-unprod_binary64_11023` `pow-exp_binary64_11058`
5×	`associate-r_binary64_10930` `associate-/l*_binary64_10935`
4×	`sqr-pow_binary64_10962` `associate-*r/_binary64_10932` `add-log-exp_binary64_11029` `unswap-sqr_binary64_10958` `sub-neg_binary64_10983` `associate-/r/_binary64_10936` `pow-to-exp_binary64_11059` `div-inv_binary64_10987` `exp-diff_binary64_11038`
3×	`pow-sub_binary64_11066` `clear-num_binary64_10989` `frac-2neg_binary64_11001`
2×	`associate-/l/_binary64_10937` `frac-times_binary64_11000` `exp-sum_binary64_11036` `e-exp-1_binary64_11035` `associate-*l/_binary64_10933`
1×	`*-commutative_binary64_10921` `pow-prod-down_binary64_11061`

Counts

4 → 143

Calls

4 calls:

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

series954.0ms (9.6%)

Counts

4 → 12

Calls

4 calls:

258.0ms	(/.f64 x (.f64 (/.f64 y (pow.f64 a (-.f64 t 1))) (exp.f64 (-.f64 b (.f64 y (log.f64 z))))))
238.0ms	(/.f64 (.f64 x (pow.f64 E.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)
237.0ms	(/.f64 (.f64 x (pow.f64 E.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)
221.0ms	(.f64 (/.f64 y (pow.f64 a (-.f64 t 1))) (exp.f64 (-.f64 b (.f64 y (log.f64 z)))))

simplify90.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

155 → 155

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	4934	4071
1	4934	4071

prune370.0ms (3.7%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	153	2	155
Fresh	0	5	5
Picked	1	0	1
Done	0	1	1
Total	154	8	162

Error

0.0b

Counts

162 → 8

Compiler

Compiled 10122 to 4565 computations (54.9% saved)

regimes646.0ms (6.5%)

Accuracy

Total 2.3b remaining (97.2%)

Threshold costs 0b (0%)

Compiler

Compiled 9282 to 6809 computations (26.6% saved)

bsearch2.0ms (0%)

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

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	62	82
1	62	82

end0.0ms (0%)

sample3.9s (39.5%)

Algorithm

1×

intervals

Results

967.0ms	14048×	body	128	nan
655.0ms	8000×	body	128	valid
573.0ms	7004×	body	128	invalid

Compiler

Compiled 960 to 699 computations (27.2% saved)

Details

analyze819.0ms (8.2%)

sample106.0ms (1.1%)

simplify150.0ms (1.5%)

prune5.0ms (0%)

localize15.0ms (0.2%)

rewrite41.0ms (0.4%)

series444.0ms (4.5%)

simplify69.0ms (0.7%)

prune128.0ms (1.3%)

localize17.0ms (0.2%)

rewrite41.0ms (0.4%)

series459.0ms (4.6%)

simplify73.0ms (0.7%)

prune129.0ms (1.3%)

localize23.0ms (0.2%)

rewrite55.0ms (0.6%)

series887.0ms (8.9%)

simplify84.0ms (0.8%)

prune293.0ms (2.9%)

localize36.0ms (0.4%)

rewrite80.0ms (0.8%)

series954.0ms (9.6%)

simplify90.0ms (0.9%)

prune370.0ms (3.7%)

regimes646.0ms (6.5%)

bsearch2.0ms (0%)

simplify3.0ms (0%)

end0.0ms (0%)

sample3.9s (39.5%)

Profiling