Details

analyze538.0ms (5.5%)

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
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
6.2%	93.7%	0.1%	5
6.2%	90.5%	3.2%	6
21.9%	67.1%	11%	7
23.4%	64.8%	11.8%	8
32%	52.7%	15.3%	9
33.2%	51.3%	15.5%	10
37.7%	45.2%	17.2%	11
38.3%	44.4%	17.2%	12
40.6%	41.3%	18%	13
41%	41%	18%	14

Compiler

Compiled 13 to 12 computations (7.7% saved)

sample39.0ms (0.4%)

Algorithm

1×

intervals

Results

10.0ms	182×	body	128	valid
7.0ms	38×	body	1024	valid
5.0ms	30×	body	1024	nan
3.0ms	24×	body	512	valid
2.0ms	17×	body	512	nan
1.0ms	4×	body	2048	valid
1.0ms	8×	body	256	valid
1.0ms	9×	body	256	nan
1.0ms	14×	body	128	nan

Compiler

Compiled 25 to 25 computations (0% saved)

simplify433.0ms (4.4%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (337.0ms)

Iter	Nodes	Cost
0	5144	18

prune3.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: 19.4b

Counts

2 → 1

Compiler

Compiled 24 to 22 computations (8.3% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 1 (log.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))))
0.0b	(/.f64 (-.f64 x y) (-.f64 1 y))
1.4b	(-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))
5.2b	(log.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y))))

rewrite86.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

118×	`add-sqr-sqrt_binary64_8284`
107×	`*-un-lft-identity_binary64_8262`
66×	`times-frac_binary64_8268`
49×	`difference-of-squares_binary64_8231`
40×	`cancel-sign-sub-inv_binary64_8228`
32×	`add-cube-cbrt_binary64_8297`
29×	`distribute-lft-out--_binary64_8214`
16×	`log-prod_binary64_8348`
8×	`associate--r+_binary64_8198`
7×	`pow1_binary64_8323` `flip3--_binary64_8266` `add-exp-log_binary64_8300` `flip--_binary64_8237` `add-log-exp_binary64_8301`
6×	`associate-/r*_binary64_8206` `add-cbrt-cube_binary64_8298`
5×	`associate-/l*_binary64_8207`
4×	`log-div_binary64_8349` `associate-/r/_binary64_8208`
3×	`log-pow_binary64_8351` `associate--r-_binary64_8201`
2×	`div-sub_binary64_8267` `div-inv_binary64_8259` `diff-log_binary64_8354` `associate-/l/_binary64_8209` `sub-neg_binary64_8255`
1×	`rem-log-exp_binary64_8303` `frac-2neg_binary64_8273` `clear-num_binary64_8261` `cbrt-undiv_binary64_8296` `div-exp_binary64_8313`

Counts

4 → 159

Calls

4 calls:

26.0ms	(-.f64 1 (log.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))))
19.0ms	(-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))
17.0ms	(log.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y))))
9.0ms	(/.f64 (-.f64 x y) (-.f64 1 y))

series494.0ms (5%)

Counts

4 → 52

Calls

4 calls:

163.0ms	(-.f64 1 (log.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))))
147.0ms	(log.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y))))
105.0ms	(/.f64 (-.f64 x y) (-.f64 1 y))
78.0ms	(-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))

Compiler

Compiled 1538 to 1292 computations (16% saved)

simplify91.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

211 → 211

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	5066	4453

prune278.0ms (2.8%)

Pruning

21 alts after pruning (21 fresh and 0 done)

	Pruned	Kept	Total
New	190	21	211
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	191	21	212

Merged error: 15.7b

Counts

212 → 21

Compiler

Compiled 4487 to 2961 computations (34% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(cbrt.f64 (-.f64 1 y))
0.2b	(cbrt.f64 (-.f64 1 y))
5.2b	(log.f64 (-.f64 1 (/.f64 (/.f64 (-.f64 x y) (*.f64 (cbrt.f64 (-.f64 1 y)) (cbrt.f64 (-.f64 1 y)))) (cbrt.f64 (-.f64 1 y)))))
14.5b	(-.f64 1 (/.f64 (/.f64 (-.f64 x y) (*.f64 (cbrt.f64 (-.f64 1 y)) (cbrt.f64 (-.f64 1 y)))) (cbrt.f64 (-.f64 1 y))))

rewrite175.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Rules

222×	`times-frac_binary64_8268`
181×	`add-sqr-sqrt_binary64_8284`
159×	`cancel-sign-sub-inv_binary64_8228`
149×	`*-un-lft-identity_binary64_8262`
122×	`cbrt-prod_binary64_8293`
114×	`cbrt-div_binary64_8294`
74×	`associate-/r/_binary64_8208`
67×	`difference-of-squares_binary64_8231`
60×	`add-cube-cbrt_binary64_8297`
59×	`flip3--_binary64_8266` `flip--_binary64_8237`
36×	`frac-times_binary64_8272`
30×	`distribute-lft-out--_binary64_8214`
18×	`associate-r/_binary64_8204` `associate-l/_binary64_8205`
14×	`log-prod_binary64_8348`
10×	`div-inv_binary64_8259`
6×	`add-log-exp_binary64_8301`
5×	`pow1_binary64_8323` `add-exp-log_binary64_8300`
4×	`add-cbrt-cube_binary64_8298`
2×	`log-div_binary64_8349` `div-sub_binary64_8267` `pow1/3_binary64_8344`
1×	`rem-log-exp_binary64_8303` `diff-log_binary64_8354` `sub-neg_binary64_8255` `log-pow_binary64_8351` `associate--r-_binary64_8201`

Counts

4 → 239

Calls

4 calls:

68.0ms	(-.f64 1 (/.f64 (/.f64 (-.f64 x y) (*.f64 (cbrt.f64 (-.f64 1 y)) (cbrt.f64 (-.f64 1 y)))) (cbrt.f64 (-.f64 1 y))))
56.0ms	(log.f64 (-.f64 1 (/.f64 (/.f64 (-.f64 x y) (*.f64 (cbrt.f64 (-.f64 1 y)) (cbrt.f64 (-.f64 1 y)))) (cbrt.f64 (-.f64 1 y)))))
3.0ms	(cbrt.f64 (-.f64 1 y))
3.0ms	(cbrt.f64 (-.f64 1 y))

series350.0ms (3.6%)

Counts

4 → 40

Calls

4 calls:

159.0ms	(log.f64 (-.f64 1 (/.f64 (/.f64 (-.f64 x y) (*.f64 (cbrt.f64 (-.f64 1 y)) (cbrt.f64 (-.f64 1 y)))) (cbrt.f64 (-.f64 1 y)))))
91.0ms	(-.f64 1 (/.f64 (/.f64 (-.f64 x y) (*.f64 (cbrt.f64 (-.f64 1 y)) (cbrt.f64 (-.f64 1 y)))) (cbrt.f64 (-.f64 1 y))))
52.0ms	(cbrt.f64 (-.f64 1 y))
48.0ms	(cbrt.f64 (-.f64 1 y))

Compiler

Compiled 1373 to 1169 computations (14.9% saved)

simplify134.0ms (1.4%)

Algorithm

1×	egg-herbie

Counts

279 → 279

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	5994	11608

prune626.0ms (6.4%)

Pruning

24 alts after pruning (23 fresh and 1 done)

	Pruned	Kept	Total
New	275	4	279
Fresh	1	19	20
Picked	0	1	1
Done	0	0	0
Total	276	24	300

Merged error: 15.6b

Counts

300 → 24

Compiler

Compiled 9971 to 7075 computations (29% saved)

localize24.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(cbrt.f64 (-.f64 1 y))
5.2b	(log.f64 (+.f64 1 (.f64 (cbrt.f64 (+.f64 1 y)) (/.f64 (/.f64 (neg.f64 (-.f64 x y)) (.f64 (cbrt.f64 (-.f64 1 y)) (cbrt.f64 (-.f64 1 y)))) (cbrt.f64 (-.f64 1 (*.f64 y y)))))))
7.9b	(+.f64 1 (.f64 (cbrt.f64 (+.f64 1 y)) (/.f64 (/.f64 (neg.f64 (-.f64 x y)) (.f64 (cbrt.f64 (-.f64 1 y)) (cbrt.f64 (-.f64 1 y)))) (cbrt.f64 (-.f64 1 (*.f64 y y))))))
12.3b	(cbrt.f64 (-.f64 1 (*.f64 y y)))

rewrite20.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`cbrt-prod_binary64_8293` `add-sqr-sqrt_binary64_8284` `*-un-lft-identity_binary64_8262`
7×	`add-cube-cbrt_binary64_8297`
6×	`add-log-exp_binary64_8301`
5×	`pow1_binary64_8323` `add-exp-log_binary64_8300`
4×	`difference-of-squares_binary64_8231` `add-cbrt-cube_binary64_8298` `cbrt-div_binary64_8294`
3×	`log-prod_binary64_8348`
2×	`flip-+_binary64_8236` `distribute-frac-neg_binary64_8225` `flip3-+_binary64_8265` `log-div_binary64_8349` `flip3--_binary64_8266` `flip--_binary64_8237` `pow1/3_binary64_8344`
1×	`rem-log-exp_binary64_8303` `+-commutative_binary64_8192` `distribute-rgt-neg-out_binary64_8222` `distribute-lft-out--_binary64_8214` `unsub-neg_binary64_8256` `log-pow_binary64_8351` `sum-log_binary64_8353`

Counts

4 → 57

Calls

4 calls:

4.0ms	(+.f64 1 (.f64 (cbrt.f64 (+.f64 1 y)) (/.f64 (/.f64 (neg.f64 (-.f64 x y)) (.f64 (cbrt.f64 (-.f64 1 y)) (cbrt.f64 (-.f64 1 y)))) (cbrt.f64 (-.f64 1 (*.f64 y y))))))
3.0ms	(cbrt.f64 (-.f64 1 y))
3.0ms	(log.f64 (+.f64 1 (.f64 (cbrt.f64 (+.f64 1 y)) (/.f64 (/.f64 (neg.f64 (-.f64 x y)) (.f64 (cbrt.f64 (-.f64 1 y)) (cbrt.f64 (-.f64 1 y)))) (cbrt.f64 (-.f64 1 (*.f64 y y)))))))
3.0ms	(cbrt.f64 (-.f64 1 (*.f64 y y)))

series1.5s (15.7%)

Counts

4 → 40

Calls

4 calls:

972.0ms	(+.f64 1 (.f64 (cbrt.f64 (+.f64 1 y)) (/.f64 (/.f64 (neg.f64 (-.f64 x y)) (.f64 (cbrt.f64 (-.f64 1 y)) (cbrt.f64 (-.f64 1 y)))) (cbrt.f64 (-.f64 1 (*.f64 y y))))))
457.0ms	(log.f64 (+.f64 1 (.f64 (cbrt.f64 (+.f64 1 y)) (/.f64 (/.f64 (neg.f64 (-.f64 x y)) (.f64 (cbrt.f64 (-.f64 1 y)) (cbrt.f64 (-.f64 1 y)))) (cbrt.f64 (-.f64 1 (*.f64 y y)))))))
66.0ms	(cbrt.f64 (-.f64 1 (*.f64 y y)))
46.0ms	(cbrt.f64 (-.f64 1 y))

Compiler

Compiled 1990 to 1678 computations (15.7% saved)

simplify91.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

97 → 97

Iterations

Useful iterations: 0 (63.0ms)

Iter	Nodes	Cost
0	4919	3112
1	4919	3112

prune209.0ms (2.1%)

Pruning

24 alts after pruning (22 fresh and 2 done)

	Pruned	Kept	Total
New	96	1	97
Fresh	1	21	22
Picked	0	1	1
Done	0	1	1
Total	97	24	121

Merged error: 15.6b

Counts

121 → 24

Compiler

Compiled 4160 to 2940 computations (29.3% saved)

localize23.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.5b	(cbrt.f64 (-.f64 x y))
0.6b	(*.f64 (cbrt.f64 (-.f64 x y)) (cbrt.f64 (-.f64 x y)))
5.2b	(log.f64 (+.f64 1 (.f64 (/.f64 (/.f64 (cbrt.f64 (-.f64 x y)) (cbrt.f64 (-.f64 1 y))) (cbrt.f64 (cbrt.f64 (-.f64 1 y)))) (neg.f64 (/.f64 (/.f64 (.f64 (cbrt.f64 (-.f64 x y)) (cbrt.f64 (-.f64 x y))) (cbrt.f64 (-.f64 1 y))) (cbrt.f64 (*.f64 (cbrt.f64 (-.f64 1 y)) (cbrt.f64 (-.f64 1 y)))))))))
8.4b	(+.f64 1 (.f64 (/.f64 (/.f64 (cbrt.f64 (-.f64 x y)) (cbrt.f64 (-.f64 1 y))) (cbrt.f64 (cbrt.f64 (-.f64 1 y)))) (neg.f64 (/.f64 (/.f64 (.f64 (cbrt.f64 (-.f64 x y)) (cbrt.f64 (-.f64 x y))) (cbrt.f64 (-.f64 1 y))) (cbrt.f64 (*.f64 (cbrt.f64 (-.f64 1 y)) (cbrt.f64 (-.f64 1 y))))))))

rewrite44.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

33×	`cbrt-prod_binary64_8293`
32×	`add-sqr-sqrt_binary64_8284`
30×	`*-un-lft-identity_binary64_8262`
14×	`add-cube-cbrt_binary64_8297` `cbrt-div_binary64_8294`
12×	`pow1_binary64_8323`
10×	`swap-sqr_binary64_8229`
8×	`associate-l_binary64_8203` `associate-r_binary64_8202`
7×	`flip3--_binary64_8266` `distribute-lft-out--_binary64_8214` `add-exp-log_binary64_8300` `flip--_binary64_8237` `pow1/3_binary64_8344`
6×	`add-log-exp_binary64_8301`
5×	`difference-of-squares_binary64_8231`
4×	`unswap-sqr_binary64_8230` `frac-times_binary64_8272` `add-cbrt-cube_binary64_8298`
3×	`log-prod_binary64_8348`
2×	`flip-+_binary64_8236` `pow-sqr_binary64_8235` `flip3-+_binary64_8265` `associate-r/_binary64_8204` `log-div_binary64_8349` `pow-prod-up_binary64_8332` `pow-prod-down_binary64_8333` `associate-l/_binary64_8205`
1×	`rem-log-exp_binary64_8303` `prod-exp_binary64_8311` `+-commutative_binary64_8192` `pow2_binary64_8343` `distribute-rgt-neg-out_binary64_8222` `unsub-neg_binary64_8256` `cbrt-unprod_binary64_8295` `log-pow_binary64_8351` `sum-log_binary64_8353` `*-commutative_binary64_8193` `pow-plus_binary64_8325`

Counts

4 → 97

Calls

4 calls:

13.0ms	(*.f64 (cbrt.f64 (-.f64 x y)) (cbrt.f64 (-.f64 x y)))
4.0ms	(+.f64 1 (.f64 (/.f64 (/.f64 (cbrt.f64 (-.f64 x y)) (cbrt.f64 (-.f64 1 y))) (cbrt.f64 (cbrt.f64 (-.f64 1 y)))) (neg.f64 (/.f64 (/.f64 (.f64 (cbrt.f64 (-.f64 x y)) (cbrt.f64 (-.f64 x y))) (cbrt.f64 (-.f64 1 y))) (cbrt.f64 (*.f64 (cbrt.f64 (-.f64 1 y)) (cbrt.f64 (-.f64 1 y))))))))
4.0ms	(cbrt.f64 (-.f64 x y))
3.0ms	(log.f64 (+.f64 1 (.f64 (/.f64 (/.f64 (cbrt.f64 (-.f64 x y)) (cbrt.f64 (-.f64 1 y))) (cbrt.f64 (cbrt.f64 (-.f64 1 y)))) (neg.f64 (/.f64 (/.f64 (.f64 (cbrt.f64 (-.f64 x y)) (cbrt.f64 (-.f64 x y))) (cbrt.f64 (-.f64 1 y))) (cbrt.f64 (*.f64 (cbrt.f64 (-.f64 1 y)) (cbrt.f64 (-.f64 1 y)))))))))

series498.0ms (5.1%)

Counts

4 → 40

Calls

4 calls:

159.0ms	(log.f64 (+.f64 1 (.f64 (/.f64 (/.f64 (cbrt.f64 (-.f64 x y)) (cbrt.f64 (-.f64 1 y))) (cbrt.f64 (cbrt.f64 (-.f64 1 y)))) (neg.f64 (/.f64 (/.f64 (.f64 (cbrt.f64 (-.f64 x y)) (cbrt.f64 (-.f64 x y))) (cbrt.f64 (-.f64 1 y))) (cbrt.f64 (*.f64 (cbrt.f64 (-.f64 1 y)) (cbrt.f64 (-.f64 1 y)))))))))
132.0ms	(+.f64 1 (.f64 (/.f64 (/.f64 (cbrt.f64 (-.f64 x y)) (cbrt.f64 (-.f64 1 y))) (cbrt.f64 (cbrt.f64 (-.f64 1 y)))) (neg.f64 (/.f64 (/.f64 (.f64 (cbrt.f64 (-.f64 x y)) (cbrt.f64 (-.f64 x y))) (cbrt.f64 (-.f64 1 y))) (cbrt.f64 (*.f64 (cbrt.f64 (-.f64 1 y)) (cbrt.f64 (-.f64 1 y))))))))
128.0ms	(*.f64 (cbrt.f64 (-.f64 x y)) (cbrt.f64 (-.f64 x y)))
79.0ms	(cbrt.f64 (-.f64 x y))

Compiler

Compiled 2225 to 1864 computations (16.2% saved)

simplify83.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

137 → 137

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	4954	4055
1	4954	4055

prune343.0ms (3.5%)

Pruning

16 alts after pruning (14 fresh and 2 done)

	Pruned	Kept	Total
New	134	3	137
Fresh	10	11	21
Picked	1	0	1
Done	0	2	2
Total	145	16	161

Merged error: 12.5b

Counts

161 → 16

Compiler

Compiled 6723 to 4374 computations (34.9% saved)

regimes869.0ms (8.9%)

Compiler: Compiled 11195 to 8688 computations (22.4% saved)

bsearch65.0ms (0.7%)

Steps

Iters	Range		Point
8	2.8586295222486687e-06	0.006867217761374242	0.006781316404929303
8	-6.72603294869966e-122	-2.3047197683494783e-126	-6.305417564235616e-122

Compiler

Compiled 1 to 2 computations (-100% saved)

simplify9.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (7.0ms)

Iter	Nodes	Cost
0	334	97
1	334	97

end0.0ms (0%)

sample2.7s (27.6%)

Algorithm

1×

intervals

Results

313.0ms	5857×	body	128	valid
204.0ms	1043×	body	1024	valid
148.0ms	972×	body	1024	nan
87.0ms	640×	body	512	valid
79.0ms	701×	body	512	nan
35.0ms	389×	body	256	valid
29.0ms	373×	body	256	nan
20.0ms	71×	body	2048	valid
18.0ms	476×	body	128	nan
1.0ms	3×	body	2048	nan

Compiler

Compiled 1935 to 1498 computations (22.6% saved)

Details

analyze538.0ms (5.5%)

sample39.0ms (0.4%)

simplify433.0ms (4.4%)

prune3.0ms (0%)

localize9.0ms (0.1%)

rewrite86.0ms (0.9%)

series494.0ms (5%)

simplify91.0ms (0.9%)

prune278.0ms (2.8%)

localize13.0ms (0.1%)

rewrite175.0ms (1.8%)

series350.0ms (3.6%)

simplify134.0ms (1.4%)

prune626.0ms (6.4%)

localize24.0ms (0.2%)

rewrite20.0ms (0.2%)

series1.5s (15.7%)

simplify91.0ms (0.9%)

prune209.0ms (2.1%)

localize23.0ms (0.2%)

rewrite44.0ms (0.4%)

series498.0ms (5.1%)

simplify83.0ms (0.8%)

prune343.0ms (3.5%)

regimes869.0ms (8.9%)

bsearch65.0ms (0.7%)

simplify9.0ms (0.1%)

end0.0ms (0%)

sample2.7s (27.6%)

Profiling