Details

analyze615.0ms (11.8%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
17.2%	82.7%	0.2%	9
22.6%	77.2%	0.2%	10
25.7%	74.1%	0.2%	11
28.3%	69.9%	1.9%	12
40.1%	55.3%	4.6%	13
44.4%	49.9%	5.8%	14

Compiler

Compiled 10 to 9 computations (10% saved)

sample21.0ms (0.4%)

Algorithm

1×

intervals

Results

8.0ms	256×	body	128	valid
2.0ms	69×	body	128	invalid

Compiler

Compiled 19 to 21 computations (-10.5% saved)

simplify242.0ms (4.7%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (61.0ms)

Iter	Nodes	Cost
0	704	13
1	704	13

prune2.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: 1.4b

Counts

2 → 1

Compiler

Compiled 18 to 16 computations (11.1% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 x (*.f64 (-.f64 y x) (/.f64 z t)))
5.0b	(*.f64 (-.f64 y x) (/.f64 z t))

rewrite19.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

17×	`add-sqr-sqrt_binary64_15925`
13×	`associate-r_binary64_15843`
12×	`*-un-lft-identity_binary64_15903`
10×	`add-cube-cbrt_binary64_15938` `times-frac_binary64_15909`
7×	`add-exp-log_binary64_15941` `add-cbrt-cube_binary64_15939`
5×	`associate-l_binary64_15844`
4×	`pow1_binary64_15964` `add-log-exp_binary64_15942`
2×	`cbrt-unprod_binary64_15936` `flip--_binary64_15878` `associate-*l/_binary64_15846` `prod-exp_binary64_15952` `unswap-sqr_binary64_15871` `flip3--_binary64_15907` `frac-times_binary64_15913`
1×	`div-exp_binary64_15954` `associate-r/_binary64_15845` `pow-prod-down_binary64_15974` `flip3-+_binary64_15906` `distribute-lft-out--_binary64_15855` `div-inv_binary64_15900` `difference-of-squares_binary64_15872` `cbrt-undiv_binary64_15937` `sum-log_binary64_15994` `-commutative_binary64_15834` `flip-+_binary64_15877` `+-commutative_binary64_15833`

Counts

2 → 49

Calls

2 calls:

11.0ms	(*.f64 (-.f64 y x) (/.f64 z t))
4.0ms	(+.f64 x (*.f64 (-.f64 y x) (/.f64 z t)))

series205.0ms (3.9%)

Counts

2 → 6

Calls

2 calls:

115.0ms	(*.f64 (-.f64 y x) (/.f64 z t))
89.0ms	(+.f64 x (*.f64 (-.f64 y x) (/.f64 z t)))

simplify63.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

55 → 55

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	5329	832

prune178.0ms (3.4%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	47	8	55
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	47	9	56

Merged error: 0.0b

Counts

56 → 9

Compiler

Compiled 3202 to 1700 computations (46.9% saved)

localize11.0ms (0.2%)

Local error

Found 4 expressions with local error:

5.0b	(*.f64 (-.f64 y x) (/.f64 z t))
6.9b	(cbrt.f64 (*.f64 (-.f64 y x) (/.f64 z t)))
6.9b	(cbrt.f64 (*.f64 (-.f64 y x) (/.f64 z t)))
6.9b	(cbrt.f64 (*.f64 (-.f64 y x) (/.f64 z t)))

rewrite42.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`add-sqr-sqrt_binary64_15925`
15×	`cbrt-div_binary64_15935`
14×	`*-un-lft-identity_binary64_15903`
13×	`associate-r_binary64_15843`
12×	`add-cube-cbrt_binary64_15938`
10×	`times-frac_binary64_15909`
9×	`add-exp-log_binary64_15941` `add-cbrt-cube_binary64_15939`
8×	`flip--_binary64_15878` `associate-*l/_binary64_15846` `flip3--_binary64_15907` `frac-times_binary64_15913`
6×	`pow1_binary64_15964`
5×	`associate-l_binary64_15844`
4×	`associate-*r/_binary64_15845` `add-log-exp_binary64_15942`
3×	`pow1/3_binary64_15985` `cbrt-prod_binary64_15934`
2×	`cbrt-unprod_binary64_15936` `prod-exp_binary64_15952` `unswap-sqr_binary64_15871`
1×	`div-exp_binary64_15954` `pow-prod-down_binary64_15974` `distribute-lft-out--_binary64_15855` `div-inv_binary64_15900` `difference-of-squares_binary64_15872` `cbrt-undiv_binary64_15937` `*-commutative_binary64_15834`

Counts

4 → 80

Calls

4 calls:

11.0ms	(*.f64 (-.f64 y x) (/.f64 z t))
7.0ms	(cbrt.f64 (*.f64 (-.f64 y x) (/.f64 z t)))
7.0ms	(cbrt.f64 (*.f64 (-.f64 y x) (/.f64 z t)))
7.0ms	(cbrt.f64 (*.f64 (-.f64 y x) (/.f64 z t)))

series1.2s (22.7%)

Counts

4 → 12

Calls

4 calls:

364.0ms	(cbrt.f64 (*.f64 (-.f64 y x) (/.f64 z t)))
361.0ms	(cbrt.f64 (*.f64 (-.f64 y x) (/.f64 z t)))
349.0ms	(cbrt.f64 (*.f64 (-.f64 y x) (/.f64 z t)))
103.0ms	(*.f64 (-.f64 y x) (/.f64 z t))

simplify64.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

92 → 92

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	5104	1593

prune111.0ms (2.1%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	92	0	92
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	92	9	101

Merged error: 0.0b

Counts

101 → 9

Compiler

Compiled 3478 to 738 computations (78.8% saved)

localize10.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 (-.f64 y x))
0.6b	(cbrt.f64 (-.f64 y x))
2.3b	(*.f64 (/.f64 z t) (cbrt.f64 (-.f64 y x)))
2.9b	(.f64 (.f64 (cbrt.f64 (-.f64 y x)) (cbrt.f64 (-.f64 y x))) (*.f64 (/.f64 z t) (cbrt.f64 (-.f64 y x))))

rewrite72.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Rules

116×	`cbrt-div_binary64_15935`
84×	`frac-times_binary64_15913`
58×	`flip--_binary64_15878` `flip3--_binary64_15907`
37×	`associate-*r/_binary64_15845`
31×	`add-sqr-sqrt_binary64_15925`
30×	`add-exp-log_binary64_15941` `associate-*l/_binary64_15846`
21×	`*-un-lft-identity_binary64_15903`
18×	`add-cbrt-cube_binary64_15939` `pow1_binary64_15964`
17×	`cbrt-prod_binary64_15934`
15×	`cbrt-unprod_binary64_15936` `add-cube-cbrt_binary64_15938` `prod-exp_binary64_15952`
14×	`associate-l_binary64_15844`
11×	`times-frac_binary64_15909`
9×	`pow-prod-down_binary64_15974` `associate-r_binary64_15843`
4×	`unswap-sqr_binary64_15871` `add-log-exp_binary64_15942`
3×	`div-exp_binary64_15954` `distribute-lft-out--_binary64_15855` `difference-of-squares_binary64_15872` `cbrt-undiv_binary64_15937`
2×	`pow1/3_binary64_15985` `*-commutative_binary64_15834`
1×	`div-inv_binary64_15900`

Counts

4 → 152

Calls

4 calls:

24.0ms	(.f64 (.f64 (cbrt.f64 (-.f64 y x)) (cbrt.f64 (-.f64 y x))) (*.f64 (/.f64 z t) (cbrt.f64 (-.f64 y x))))
12.0ms	(*.f64 (/.f64 z t) (cbrt.f64 (-.f64 y x)))
4.0ms	(cbrt.f64 (-.f64 y x))
4.0ms	(cbrt.f64 (-.f64 y x))

series768.0ms (14.8%)

Counts

4 → 12

Calls

4 calls:

222.0ms	(*.f64 (/.f64 z t) (cbrt.f64 (-.f64 y x)))
221.0ms	(cbrt.f64 (-.f64 y x))
215.0ms	(cbrt.f64 (-.f64 y x))
109.0ms	(.f64 (.f64 (cbrt.f64 (-.f64 y x)) (cbrt.f64 (-.f64 y x))) (*.f64 (/.f64 z t) (cbrt.f64 (-.f64 y x))))

simplify83.0ms (1.6%)

Algorithm

1×	egg-herbie

Counts

164 → 164

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	5014	4577

prune153.0ms (3%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	164	0	164
Fresh	0	6	6
Picked	0	1	1
Done	0	2	2
Total	164	9	173

Merged error: 0.0b

Counts

173 → 9

Compiler

Compiled 4898 to 1095 computations (77.6% saved)

localize8.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b	(*.f64 (-.f64 y x) z)
0.0b	(+.f64 x (/.f64 (*.f64 (-.f64 y x) z) t))
5.3b	(/.f64 (*.f64 (-.f64 y x) z) t)

rewrite25.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`add-sqr-sqrt_binary64_15925` `*-un-lft-identity_binary64_15903`
10×	`add-exp-log_binary64_15941` `add-cbrt-cube_binary64_15939`
7×	`add-cube-cbrt_binary64_15938`
5×	`associate-l_binary64_15844` `pow1_binary64_15964` `add-log-exp_binary64_15942`
4×	`associate-*l/_binary64_15846`
3×	`associate-/r_binary64_15847` `times-frac_binary64_15909` `associate-r*_binary64_15843`
2×	`div-exp_binary64_15954` `cbrt-unprod_binary64_15936` `associate-/l/_binary64_15850` `flip--_binary64_15878` `cbrt-undiv_binary64_15937` `prod-exp_binary64_15952` `flip3--_binary64_15907`
1×	`pow-prod-down_binary64_15974` `flip3-+_binary64_15906` `clear-num_binary64_15902` `distribute-lft-out--_binary64_15855` `div-inv_binary64_15900` `frac-2neg_binary64_15914` `difference-of-squares_binary64_15872` `associate-/l_binary64_15848` `sum-log_binary64_15994` `-commutative_binary64_15834` `distribute-lft-out_binary64_15854` `unswap-sqr_binary64_15871` `flip-+_binary64_15877` `+-commutative_binary64_15833`

Counts

3 → 57

Calls

3 calls:

8.0ms	(/.f64 (*.f64 (-.f64 y x) z) t)
7.0ms	(*.f64 (-.f64 y x) z)
6.0ms	(+.f64 x (/.f64 (*.f64 (-.f64 y x) z) t))

series239.0ms (4.6%)

Counts

3 → 9

Calls

3 calls:

103.0ms	(/.f64 (*.f64 (-.f64 y x) z) t)
78.0ms	(+.f64 x (/.f64 (*.f64 (-.f64 y x) z) t))
58.0ms	(*.f64 (-.f64 y x) z)

simplify64.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

66 → 66

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	4972	826
1	4972	826

prune74.0ms (1.4%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	63	3	66
Fresh	4	1	5
Picked	0	1	1
Done	1	2	3
Total	68	7	75

Merged error: 0b

Counts

75 → 7

Compiler

Compiled 1435 to 566 computations (60.6% saved)

regimes137.0ms (2.6%)

Compiler: Compiled 748 to 493 computations (34.1% saved)

bsearch48.0ms (0.9%)

Steps

Iters	Range		Point
10	1.8968645602064497e-208	1.6735924223518897e-193	9.598855295195375e-207
8	-1.5447388076005179e+69	-2.4752677924219278e+66	-2.996781646434753e+66

Compiler

Compiled 1 to 4 computations (-300% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	35	40
1	35	40

end0.0ms (0%)

sample746.0ms (14.4%)

Algorithm

1×

intervals

Results

254.0ms	8000×	body	128	valid
70.0ms	2020×	body	128	invalid

Compiler

Compiled 193 to 116 computations (39.9% saved)

Details

analyze615.0ms (11.8%)

sample21.0ms (0.4%)

simplify242.0ms (4.7%)

prune2.0ms (0%)

localize6.0ms (0.1%)

rewrite19.0ms (0.4%)

series205.0ms (3.9%)

simplify63.0ms (1.2%)

prune178.0ms (3.4%)

localize11.0ms (0.2%)

rewrite42.0ms (0.8%)

series1.2s (22.7%)

simplify64.0ms (1.2%)

prune111.0ms (2.1%)

localize10.0ms (0.2%)

rewrite72.0ms (1.4%)

series768.0ms (14.8%)

simplify83.0ms (1.6%)

prune153.0ms (3%)

localize8.0ms (0.2%)

rewrite25.0ms (0.5%)

series239.0ms (4.6%)

simplify64.0ms (1.2%)

prune74.0ms (1.4%)

regimes137.0ms (2.6%)

bsearch48.0ms (0.9%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample746.0ms (14.4%)

Profiling