Details

analyze9.0ms (0.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
0%	50%	50%	3
25%	25%	50%	4
37.5%	12.5%	50%	5
43.7%	6.2%	50%	6
46.9%	3.1%	50%	7
48.4%	1.6%	50%	8
49.2%	0.8%	50%	9
49.6%	0.4%	50%	10
49.8%	0.2%	50%	11
49.9%	0.1%	50%	12
49.9%	0%	50%	13
49.9%	0%	50%	14

Compiler

Compiled 13 to 12 computations (7.7% saved)

sample118.0ms (1.8%)

Algorithm

1×

intervals

Results

62.0ms	116×	body	1024	valid
22.0ms	61×	body	512	valid
15.0ms	19×	body	2048	valid
7.0ms	42×	body	256	valid
2.0ms	18×	body	128	valid

Compiler

Compiled 25 to 24 computations (4% saved)

simplify361.0ms (5.6%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (269.0ms)

Iter	Nodes	Cost
0	4005	15
1	4005	15

prune4.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

58.9b

Counts

2 → 1

Compiler

Compiled 20 to 18 computations (10% saved)

localize6.0ms (0.1%)

Local error

Found 4 expressions with local error:

6.8b	(log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
0.0b	(/.f64 (+.f64 1 x) (-.f64 1 x))
0.0b	(/.f64 (+.f64 1 x) (-.f64 1 x))
6.8b	(log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))

rewrite31.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

78×	`*-un-lft-identity_binary64_2465`
52×	`add-sqr-sqrt_binary64_2487`
48×	`times-frac_binary64_2471`
30×	`log-prod_binary64_2551`
25×	`add-cube-cbrt_binary64_2500`
18×	`difference-of-squares_binary64_2434`
13×	`distribute-lft-out_binary64_2416`
9×	`distribute-lft-out--_binary64_2417`
7×	`add-exp-log_binary64_2503`
6×	`associate-/r*_binary64_2409`
4×	`add-cbrt-cube_binary64_2501` `associate-/r/_binary64_2411` `associate-/l*_binary64_2410`
3×	`pow1_binary64_2526`
2×	`add-log-exp_binary64_2504` `flip--_binary64_2440` `associate-/l/_binary64_2412` `div-exp_binary64_2516` `div-inv_binary64_2462` `flip3--_binary64_2469` `rem-log-exp_binary64_2506`
1×	`flip3-+_binary64_2468` `log-div_binary64_2552` `log-pow_binary64_2554` `flip-+_binary64_2439` `clear-num_binary64_2464` `cbrt-undiv_binary64_2499` `frac-2neg_binary64_2476`

Counts

2 → 91

Calls

4 calls:

14.0ms	(/.f64 (+.f64 1 x) (-.f64 1 x))
8.0ms	(log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
0.0ms	(/.f64 (+.f64 1 x) (-.f64 1 x))
0.0ms	(log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))

series75.0ms (1.2%)

Counts

2 → 14

Calls

2 calls:

43.0ms	(log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
32.0ms	(/.f64 (+.f64 1 x) (-.f64 1 x))

Compiler

Compiled 198 to 192 computations (3% saved)

simplify81.0ms (1.3%)

Algorithm

1×	egg-herbie

Counts

105 → 105

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	5617	1927

prune171.0ms (2.7%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	103	2	105
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	104	2	106

Error

0.0b

Counts

106 → 2

Compiler

Compiled 1788 to 1420 computations (20.6% saved)

localize11.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.1b	(*.f64 (pow.f64 x 3) 2/3)
0.1b	(*.f64 2/5 (pow.f64 x 5))
0.1b	(*.f64 2/5 (pow.f64 x 5))
0.1b	(*.f64 (pow.f64 x 3) 2/3)

rewrite21.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

21×	`add-sqr-sqrt_binary64_2487`
15×	`associate-l_binary64_2406`
12×	`add-exp-log_binary64_2503`
10×	`associate-r_binary64_2405`
9×	`*-un-lft-identity_binary64_2465` `add-cube-cbrt_binary64_2500`
8×	`unpow-prod-down_binary64_2544`
7×	`unswap-sqr_binary64_2433`
6×	`add-cbrt-cube_binary64_2501` `prod-exp_binary64_2514`
4×	`cube-prod_binary64_2493` `sqr-pow_binary64_2437`
2×	`add-log-exp_binary64_2504` `*-commutative_binary64_2396` `pow-exp_binary64_2533` `pow-to-exp_binary64_2534` `pow1_binary64_2526` `cbrt-unprod_binary64_2498`
1×	`unpow3_binary64_2531` `cube-mult_binary64_2495`

Counts

2 → 56

Calls

4 calls:

10.0ms	(*.f64 (pow.f64 x 3) 2/3)
6.0ms	(*.f64 2/5 (pow.f64 x 5))
0.0ms	(*.f64 2/5 (pow.f64 x 5))
0.0ms	(*.f64 (pow.f64 x 3) 2/3)

series99.0ms (1.5%)

Counts

2 → 6

Calls

2 calls:

54.0ms	(*.f64 (pow.f64 x 3) 2/3)
44.0ms	(*.f64 2/5 (pow.f64 x 5))

Compiler

Compiled 204 to 168 computations (17.6% saved)

simplify52.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

62 → 62

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	4968	592
1	4968	592

prune109.0ms (1.7%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Error

0.0b

Counts

64 → 2

Compiler

Compiled 1352 to 978 computations (27.7% saved)

localize23.0ms (0.4%)

Local error

Found 8 expressions with local error:

0.0b	(.f64 (.f64 (cbrt.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))) (cbrt.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))) (cbrt.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))))
0.0b	(/.f64 (+.f64 1 x) (-.f64 1 x))
0.0b	(/.f64 (+.f64 1 x) (-.f64 1 x))
0.0b	(/.f64 (+.f64 1 x) (-.f64 1 x))
0.1b	(cbrt.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))
6.8b	(log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
6.8b	(log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
6.8b	(log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))

rewrite62.0ms (1%)

Algorithm

1×	rewrite-expression-head

Rules

110×	`*-un-lft-identity_binary64_2465`
90×	`log-prod_binary64_2551`
74×	`add-sqr-sqrt_binary64_2487`
72×	`times-frac_binary64_2471`
38×	`add-cube-cbrt_binary64_2500`
24×	`difference-of-squares_binary64_2434`
18×	`distribute-lft-out_binary64_2416`
13×	`add-exp-log_binary64_2503`
12×	`distribute-lft-out--_binary64_2417`
8×	`pow1_binary64_2526`
6×	`associate-/r/_binary64_2411` `rem-log-exp_binary64_2506`
4×	`add-log-exp_binary64_2504` `log-pow_binary64_2554` `add-cbrt-cube_binary64_2501` `cbrt-prod_binary64_2496`
3×	`log-div_binary64_2552` `flip--_binary64_2440` `div-exp_binary64_2516` `div-inv_binary64_2462` `flip3--_binary64_2469`
1×	`pow1/3_binary64_2547`

Counts

4 → 135

Calls

8 calls:

14.0ms	(log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
14.0ms	(log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
8.0ms	(log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
1.0ms	(cbrt.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))
0.0ms	(/.f64 (+.f64 1 x) (-.f64 1 x))

series251.0ms (3.9%)

Counts

4 → 24

Calls

4 calls:

96.0ms	(cbrt.f64 (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))
56.0ms	(log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
55.0ms	(log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
43.0ms	(log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))

Compiler

Compiled 1100 to 944 computations (14.2% saved)

simplify168.0ms (2.6%)

Algorithm

1×	egg-herbie

Counts

159 → 159

Iterations

Useful iterations: 0 (121.0ms)

Iter	Nodes	Cost
0	4856	3208
1	4856	3208

prune424.0ms (6.6%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Error

0.0b

Counts

161 → 2

Compiler

Compiled 5964 to 4825 computations (19.1% saved)

simplify7.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	154	404
1	154	404

regimes116.0ms (1.8%)

Accuracy

Total 0.2b remaining (95.7%)

Threshold costs 0.2b (95.7%)

Compiler

Compiled 953 to 825 computations (13.4% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	20	25
1	20	25

end0.0ms (0%)

sample4.2s (65.8%)

Algorithm

1×

intervals

Results

1.8s	3970×	body	1024	valid
514.0ms	1998×	body	512	valid
256.0ms	393×	body	2048	valid
153.0ms	1050×	body	256	valid
44.0ms	589×	body	128	valid

Compiler

Compiled 772 to 664 computations (14% saved)

Pareto

-0.36694223094851286

Details

analyze9.0ms (0.1%)

sample118.0ms (1.8%)

simplify361.0ms (5.6%)

prune4.0ms (0.1%)

localize6.0ms (0.1%)

rewrite31.0ms (0.5%)

series75.0ms (1.2%)

simplify81.0ms (1.3%)

prune171.0ms (2.7%)

localize11.0ms (0.2%)

rewrite21.0ms (0.3%)

series99.0ms (1.5%)

simplify52.0ms (0.8%)

prune109.0ms (1.7%)

localize23.0ms (0.4%)

rewrite62.0ms (1%)

series251.0ms (3.9%)

simplify168.0ms (2.6%)

prune424.0ms (6.6%)

simplify7.0ms (0.1%)

regimes116.0ms (1.8%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample4.2s (65.8%)

Profiling