Details

analyze636.0ms (3.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
25%	74.9%	0.1%	3
25%	74.9%	0.1%	4
31.2%	68.7%	0.1%	5
31.2%	59.3%	9.5%	6
34.3%	54.6%	11%	7
34.3%	49.2%	16.5%	8
35.9%	46.4%	17.7%	9
35.9%	42.1%	22%	10
36.7%	40.6%	22.7%	11
36.7%	39.1%	24.2%	12
37.1%	38.3%	24.7%	13
37.1%	36.7%	26.2%	14

Compiler

Compiled 9 to 8 computations (11.1% saved)

sample368.0ms (1.8%)

Algorithm

1×

intervals

Results

293.0ms	167×	body	8192	exit
28.0ms	88×	body	1024	nan
14.0ms	256×	body	128	valid
8.0ms	45×	body	512	nan
3.0ms	29×	body	256	nan
1.0ms	15×	body	128	nan
0.0ms	6×	body	128	invalid
0.0ms	3×	body	128	overflowed

Compiler

Compiled 17 to 17 computations (0% saved)

simplify194.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (98.0ms)

Iter	Nodes	Cost
0	4896	11
1	4896	11

prune7.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	1	0	1
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Error

0.2b

Counts

2 → 1

Compiler

Compiled 15 to 12 computations (20% saved)

localize6.0ms (0%)

Local error

Found 4 expressions with local error:

0.2b	(pow.f64 l (exp.f64 w))
0.0b	(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 l (exp.f64 w)))
0.0b	(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 l (exp.f64 w)))
0.2b	(pow.f64 l (exp.f64 w))

rewrite13.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`add-sqr-sqrt_binary64_759`
7×	`add-cube-cbrt_binary64_772` `unpow-prod-down_binary64_816` `-un-lft-identity_binary64_737` `associate-r*_binary64_677`
5×	`add-exp-log_binary64_775`
4×	`add-cbrt-cube_binary64_773`
3×	`unswap-sqr_binary64_705` `prod-exp_binary64_786` `pow1_binary64_798` `pow-unpow_binary64_814` `associate-l_binary64_678` `sqr-pow_binary64_709`
2×	`add-log-exp_binary64_776` `pow-exp_binary64_805` `associate-*l/_binary64_680` `pow-to-exp_binary64_806`
1×	`cbrt-unprod_binary64_770` `neg-sub0_binary64_732` `pow-pow_binary64_809` `exp-diff_binary64_785` `*-commutative_binary64_668` `exp-neg_binary64_784`

Counts

2 → 44

Calls

4 calls:

8.0ms	(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 l (exp.f64 w)))
2.0ms	(pow.f64 l (exp.f64 w))
0.0ms	(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 l (exp.f64 w)))
0.0ms	(pow.f64 l (exp.f64 w))

series362.0ms (1.8%)

Counts

2 → 18

Calls

2 calls:

212.0ms	(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 l (exp.f64 w)))
150.0ms	(pow.f64 l (exp.f64 w))

Compiler

Compiled 582 to 406 computations (30.2% saved)

simplify99.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

62 → 62

Iterations

Useful iterations: 0 (84.0ms)

Iter	Nodes	Cost
0	4971	996
1	4971	996

prune89.0ms (0.4%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	56	6	62
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	57	6	63

Error

0.1b

Counts

63 → 6

Compiler

Compiled 1031 to 333 computations (67.7% saved)

localize11.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.0b	(cbrt.f64 (exp.f64 w))
0.0b	(cbrt.f64 (exp.f64 w))
0.0b	(*.f64 (cbrt.f64 (exp.f64 w)) (cbrt.f64 (exp.f64 w)))
0.0b	(.f64 (exp.f64 (neg.f64 w)) (pow.f64 (pow.f64 l (.f64 (cbrt.f64 (exp.f64 w)) (cbrt.f64 (exp.f64 w)))) (cbrt.f64 (exp.f64 w))))
0.0b	(cbrt.f64 (exp.f64 w))
0.0b	(cbrt.f64 (exp.f64 w))
0.2b	(pow.f64 l (*.f64 (cbrt.f64 (exp.f64 w)) (cbrt.f64 (exp.f64 w))))
0.2b	(pow.f64 (pow.f64 l (*.f64 (cbrt.f64 (exp.f64 w)) (cbrt.f64 (exp.f64 w)))) (cbrt.f64 (exp.f64 w)))

rewrite15.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`unpow-prod-down_binary64_816`
11×	`add-cube-cbrt_binary64_772` `add-sqr-sqrt_binary64_759` `*-un-lft-identity_binary64_737`
9×	`cbrt-prod_binary64_768`
7×	`add-exp-log_binary64_775` `pow-unpow_binary64_814`
5×	`pow-exp_binary64_805` `pow1_binary64_798`
4×	`add-cbrt-cube_binary64_773` `add-log-exp_binary64_776`
3×	`pow-to-exp_binary64_806` `sqr-pow_binary64_709`
2×	`pow1/3_binary64_819` `pow-pow_binary64_809`

Counts

4 → 63

Calls

8 calls:

4.0ms	(pow.f64 (pow.f64 l (*.f64 (cbrt.f64 (exp.f64 w)) (cbrt.f64 (exp.f64 w)))) (cbrt.f64 (exp.f64 w)))
2.0ms	(pow.f64 l (*.f64 (cbrt.f64 (exp.f64 w)) (cbrt.f64 (exp.f64 w))))
2.0ms	(cbrt.f64 (exp.f64 w))
2.0ms	(cbrt.f64 (exp.f64 w))
0.0ms	(.f64 (exp.f64 (neg.f64 w)) (pow.f64 (pow.f64 l (.f64 (cbrt.f64 (exp.f64 w)) (cbrt.f64 (exp.f64 w)))) (cbrt.f64 (exp.f64 w))))

series1.2s (5.8%)

Counts

4 → 28

Calls

4 calls:

731.0ms	(pow.f64 (pow.f64 l (*.f64 (cbrt.f64 (exp.f64 w)) (cbrt.f64 (exp.f64 w)))) (cbrt.f64 (exp.f64 w)))
331.0ms	(pow.f64 l (*.f64 (cbrt.f64 (exp.f64 w)) (cbrt.f64 (exp.f64 w))))
65.0ms	(cbrt.f64 (exp.f64 w))
63.0ms	(cbrt.f64 (exp.f64 w))

Compiler

Compiled 1346 to 889 computations (34% saved)

simplify85.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

91 → 91

Iterations

Useful iterations: 0 (63.0ms)

Iter	Nodes	Cost
0	4974	1555
1	4974	1555

prune103.0ms (0.5%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	90	1	91
Fresh	1	4	5
Picked	0	1	1
Done	0	0	0
Total	91	6	97

Error

0.1b

Counts

97 → 6

Compiler

Compiled 2069 to 766 computations (63% saved)

localize17.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.0b	(cbrt.f64 (pow.f64 (exp.f64 w) 2/3))
0.0b	(.f64 (exp.f64 (neg.f64 w)) (pow.f64 (pow.f64 l (.f64 (cbrt.f64 (exp.f64 w)) (cbrt.f64 (exp.f64 w)))) (*.f64 (cbrt.f64 (pow.f64 (exp.f64 w) 2/3)) (cbrt.f64 (cbrt.f64 (exp.f64 w))))))
0.0b	(*.f64 (cbrt.f64 (exp.f64 w)) (cbrt.f64 (exp.f64 w)))
0.0b	(*.f64 (cbrt.f64 (pow.f64 (exp.f64 w) 2/3)) (cbrt.f64 (cbrt.f64 (exp.f64 w))))
0.0b	(cbrt.f64 (cbrt.f64 (exp.f64 w)))
0.0b	(pow.f64 (exp.f64 w) 2/3)
0.2b	(pow.f64 l (*.f64 (cbrt.f64 (exp.f64 w)) (cbrt.f64 (exp.f64 w))))
0.2b	(pow.f64 (pow.f64 l (.f64 (cbrt.f64 (exp.f64 w)) (cbrt.f64 (exp.f64 w)))) (.f64 (cbrt.f64 (pow.f64 (exp.f64 w) 2/3)) (cbrt.f64 (cbrt.f64 (exp.f64 w)))))

rewrite17.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`unpow-prod-down_binary64_816`
12×	`add-cube-cbrt_binary64_772` `add-sqr-sqrt_binary64_759` `*-un-lft-identity_binary64_737`
9×	`cbrt-prod_binary64_768`
7×	`add-exp-log_binary64_775`
6×	`pow-exp_binary64_805` `pow1_binary64_798` `pow-pow_binary64_809`
5×	`pow-unpow_binary64_814`
4×	`add-cbrt-cube_binary64_773` `add-log-exp_binary64_776` `pow-to-exp_binary64_806` `sqr-pow_binary64_709`
3×	`exp-prod_binary64_789`
1×	`pow1/3_binary64_819`

Counts

4 → 70

Calls

8 calls:

4.0ms	(pow.f64 (pow.f64 l (.f64 (cbrt.f64 (exp.f64 w)) (cbrt.f64 (exp.f64 w)))) (.f64 (cbrt.f64 (pow.f64 (exp.f64 w) 2/3)) (cbrt.f64 (cbrt.f64 (exp.f64 w)))))
3.0ms	(pow.f64 (exp.f64 w) 2/3)
2.0ms	(pow.f64 l (*.f64 (cbrt.f64 (exp.f64 w)) (cbrt.f64 (exp.f64 w))))
2.0ms	(cbrt.f64 (cbrt.f64 (exp.f64 w)))
0.0ms	(*.f64 (cbrt.f64 (pow.f64 (exp.f64 w) 2/3)) (cbrt.f64 (cbrt.f64 (exp.f64 w))))

series1.2s (5.9%)

Counts

4 → 28

Calls

4 calls:

736.0ms	(pow.f64 (pow.f64 l (.f64 (cbrt.f64 (exp.f64 w)) (cbrt.f64 (exp.f64 w)))) (.f64 (cbrt.f64 (pow.f64 (exp.f64 w) 2/3)) (cbrt.f64 (cbrt.f64 (exp.f64 w)))))
325.0ms	(pow.f64 l (*.f64 (cbrt.f64 (exp.f64 w)) (cbrt.f64 (exp.f64 w))))
71.0ms	(cbrt.f64 (cbrt.f64 (exp.f64 w)))
66.0ms	(pow.f64 (exp.f64 w) 2/3)

Compiler

Compiled 1548 to 1023 computations (33.9% saved)

simplify102.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

98 → 98

Iterations

Useful iterations: 0 (78.0ms)

Iter	Nodes	Cost
0	4942	1604
1	4942	1604

prune125.0ms (0.6%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	96	2	98
Fresh	1	3	4
Picked	1	0	1
Done	0	1	1
Total	98	6	104

Error

0.1b

Counts

104 → 6

Compiler

Compiled 2723 to 1071 computations (60.7% saved)

localize20.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.0b	(cbrt.f64 (cbrt.f64 (exp.f64 w)))
0.0b	(cbrt.f64 (exp.f64 w))
0.0b	(cbrt.f64 (exp.f64 w))
0.0b	(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 (pow.f64 (pow.f64 l (pow.f64 (exp.f64 w) 2/3)) (pow.f64 (cbrt.f64 (exp.f64 w)) 2/3)) (cbrt.f64 (cbrt.f64 (exp.f64 w)))))
0.0b	(pow.f64 (exp.f64 w) 2/3)
0.2b	(pow.f64 (pow.f64 (pow.f64 l (pow.f64 (exp.f64 w) 2/3)) (pow.f64 (cbrt.f64 (exp.f64 w)) 2/3)) (cbrt.f64 (cbrt.f64 (exp.f64 w))))
0.2b	(pow.f64 l (pow.f64 (exp.f64 w) 2/3))
0.2b	(pow.f64 (pow.f64 l (pow.f64 (exp.f64 w) 2/3)) (pow.f64 (cbrt.f64 (exp.f64 w)) 2/3))

rewrite29.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

46×	`unpow-prod-down_binary64_816`
29×	`pow-unpow_binary64_814`
21×	`add-cube-cbrt_binary64_772` `add-sqr-sqrt_binary64_759` `*-un-lft-identity_binary64_737`
15×	`pow-exp_binary64_805`
12×	`cbrt-prod_binary64_768`
10×	`add-exp-log_binary64_775`
9×	`sqr-pow_binary64_709`
7×	`pow-pow_binary64_809` `pow-to-exp_binary64_806`
6×	`pow1_binary64_798`
4×	`add-cbrt-cube_binary64_773` `add-log-exp_binary64_776`
3×	`exp-prod_binary64_789`

Counts

4 → 106

Calls

8 calls:

6.0ms	(pow.f64 (pow.f64 (pow.f64 l (pow.f64 (exp.f64 w) 2/3)) (pow.f64 (cbrt.f64 (exp.f64 w)) 2/3)) (cbrt.f64 (cbrt.f64 (exp.f64 w))))
6.0ms	(pow.f64 (pow.f64 l (pow.f64 (exp.f64 w) 2/3)) (pow.f64 (cbrt.f64 (exp.f64 w)) 2/3))
3.0ms	(pow.f64 (exp.f64 w) 2/3)
3.0ms	(pow.f64 l (pow.f64 (exp.f64 w) 2/3))
0.0ms	(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 (pow.f64 (pow.f64 l (pow.f64 (exp.f64 w) 2/3)) (pow.f64 (cbrt.f64 (exp.f64 w)) 2/3)) (cbrt.f64 (cbrt.f64 (exp.f64 w)))))

series2.7s (13%)

Counts

4 → 32

Calls

4 calls:

1.5s	(pow.f64 (pow.f64 (pow.f64 l (pow.f64 (exp.f64 w) 2/3)) (pow.f64 (cbrt.f64 (exp.f64 w)) 2/3)) (cbrt.f64 (cbrt.f64 (exp.f64 w))))
846.0ms	(pow.f64 (pow.f64 l (pow.f64 (exp.f64 w) 2/3)) (pow.f64 (cbrt.f64 (exp.f64 w)) 2/3))
277.0ms	(pow.f64 l (pow.f64 (exp.f64 w) 2/3))
72.0ms	(pow.f64 (exp.f64 w) 2/3)

Compiler

Compiled 2691 to 1518 computations (43.6% saved)

simplify81.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

138 → 138

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	5132	3862

prune210.0ms (1%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	136	2	138
Fresh	1	3	4
Picked	1	0	1
Done	0	1	1
Total	138	6	144

Error

0.1b

Counts

144 → 6

Compiler

Compiled 4189 to 1853 computations (55.8% saved)

simplify19.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	279	960
1	279	960

regimes166.0ms (0.8%)

Accuracy

Total 0.2b remaining (73.1%)

Threshold costs 0.2b (73.1%)

Compiler

Compiled 1745 to 1198 computations (31.3% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	16	13
1	16	13

end0.0ms (0%)

sample12.6s (61.7%)

Algorithm

1×

intervals

Results

8.3s	4706×	body	8192	exit
987.0ms	3108×	body	1024	nan
457.0ms	8000×	body	128	valid
285.0ms	1642×	body	512	nan
80.0ms	792×	body	256	nan
14.0ms	319×	body	128	nan
9.0ms	141×	body	128	invalid
8.0ms	119×	body	128	overflowed
1.0ms	2×	body	2048	nan

Compiler

Compiled 1734 to 1186 computations (31.6% saved)

Pareto

0.8988822622732991

Details

analyze636.0ms (3.1%)

sample368.0ms (1.8%)

simplify194.0ms (0.9%)

prune7.0ms (0%)

localize6.0ms (0%)

rewrite13.0ms (0.1%)

series362.0ms (1.8%)

simplify99.0ms (0.5%)

prune89.0ms (0.4%)

localize11.0ms (0.1%)

rewrite15.0ms (0.1%)

series1.2s (5.8%)

simplify85.0ms (0.4%)

prune103.0ms (0.5%)

localize17.0ms (0.1%)

rewrite17.0ms (0.1%)

series1.2s (5.9%)

simplify102.0ms (0.5%)

prune125.0ms (0.6%)

localize20.0ms (0.1%)

rewrite29.0ms (0.1%)

series2.7s (13%)

simplify81.0ms (0.4%)

prune210.0ms (1%)

simplify19.0ms (0.1%)

regimes166.0ms (0.8%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample12.6s (61.7%)

Profiling