Details

analyze3.1s (16.4%)

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
0%	99.7%	0.3%	6
0%	99.7%	0.3%	7
0%	99.7%	0.3%	8
0%	99.7%	0.3%	9
0%	99.7%	0.3%	10
0%	99.7%	0.3%	11
1.1%	98.6%	0.3%	12
1.9%	97.8%	0.3%	13
7%	92.7%	0.3%	14

Compiler

Compiled 22 to 17 computations (22.7% saved)

sample48.0ms (0.3%)

Algorithm

1×

intervals

Results

27.0ms	255×	body	128	valid
0.0ms	1×	body	256	valid

Compiler

Compiled 43 to 39 computations (9.3% saved)

simplify335.0ms (1.8%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (166.0ms)

Iter	Nodes	Cost
0	5141	31

prune5.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

Merged error: 26.5b

Counts

2 → 1

Compiler

Compiled 42 to 31 computations (26.2% saved)

localize28.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(*.f64 (+.f64 x y) z)
2.3b	(+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a))
2.3b	(-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b))
24.6b	(/.f64 (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b)) (+.f64 (+.f64 x t) y))

rewrite99.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

38×	`*-un-lft-identity_binary64_23948`
18×	`add-sqr-sqrt_binary64_23970`
16×	`add-cube-cbrt_binary64_23983`
15×	`times-frac_binary64_23954`
13×	`distribute-lft-out_binary64_23899`
11×	`add-log-exp_binary64_23987`
10×	`associate-*l/_binary64_23891`
8×	`add-exp-log_binary64_23986` `add-cbrt-cube_binary64_23984`
7×	`flip-+_binary64_23922` `flip3-+_binary64_23951`
6×	`pow1_binary64_24009`
5×	`associate-/r*_binary64_23892`
4×	`associate-l_binary64_23889` `frac-add_binary64_23956`
3×	`associate-/l_binary64_23893` `associate-r*_binary64_23888`
2×	`associate-/l/_binary64_23895` `associate-/r/_binary64_23894` `flip3--_binary64_23952` `flip--_binary64_23923` `sum-log_binary64_24039` `diff-log_binary64_24040`
1×	`div-exp_binary64_23999` `prod-exp_binary64_23997` `associate--l+_binary64_23885` `div-sub_binary64_23953` `cbrt-undiv_binary64_23982` `div-inv_binary64_23945` `sub-neg_binary64_23941` `cbrt-unprod_binary64_23981` `clear-num_binary64_23947` `*-commutative_binary64_23879` `cancel-sign-sub-inv_binary64_23914` `frac-2neg_binary64_23959` `+-commutative_binary64_23878` `unswap-sqr_binary64_23916` `pow-prod-down_binary64_24019`

Counts

4 → 90

Calls

4 calls:

29.0ms	(/.f64 (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b)) (+.f64 (+.f64 x t) y))
19.0ms	(-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b))
14.0ms	(+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a))
13.0ms	(*.f64 (+.f64 x y) z)

series1.2s (6.4%)

Counts

4 → 12

Calls

4 calls:

869.0ms	(/.f64 (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b)) (+.f64 (+.f64 x t) y))
188.0ms	(-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b))
116.0ms	(+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a))
29.0ms	(*.f64 (+.f64 x y) z)

simplify117.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

102 → 102

Iterations

Useful iterations: 0 (71.0ms)

Iter	Nodes	Cost
0	5632	3072

prune208.0ms (1.1%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	91	11	102
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	91	12	103

Merged error: 7.7b

Counts

103 → 12

Compiler

Compiled 3527 to 584 computations (83.4% saved)

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 1 (+.f64 x (+.f64 y t)))
2.3b	(+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a))
2.3b	(-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b))
24.7b	(.f64 (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (.f64 y b)) (/.f64 1 (+.f64 x (+.f64 y t))))

rewrite108.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

60×	`*-un-lft-identity_binary64_23948`
32×	`times-frac_binary64_23954`
31×	`add-sqr-sqrt_binary64_23970`
24×	`add-cube-cbrt_binary64_23983`
21×	`associate-r_binary64_23888` `distribute-lft-out_binary64_23899`
17×	`add-exp-log_binary64_23986`
11×	`add-cbrt-cube_binary64_23984` `add-log-exp_binary64_23987`
10×	`associate-*l/_binary64_23891`
7×	`flip-+_binary64_23922` `flip3-+_binary64_23951` `pow1_binary64_24009`
5×	`associate-/r*_binary64_23892`
4×	`div-exp_binary64_23999` `prod-exp_binary64_23997` `associate-/r/_binary64_23894` `frac-add_binary64_23956`
3×	`flip3--_binary64_23952` `associate-l_binary64_23889` `associate-/l*_binary64_23893` `flip--_binary64_23923` `unswap-sqr_binary64_23916`
2×	`cbrt-undiv_binary64_23982` `div-inv_binary64_23945` `cbrt-unprod_binary64_23981` `rec-exp_binary64_23998` `frac-times_binary64_23958` `1-exp_binary64_23992` `sum-log_binary64_24039` `diff-log_binary64_24040`
1×	`associate--l+_binary64_23885` `pow-flip_binary64_24022` `inv-pow_binary64_24033` `associate-r/_binary64_23890` `sub-neg_binary64_23941` `un-div-inv_binary64_23946` `clear-num_binary64_23947` `-commutative_binary64_23879` `cancel-sign-sub-inv_binary64_23914` `frac-2neg_binary64_23959` `+-commutative_binary64_23878` `pow-prod-down_binary64_24019`

Counts

4 → 118

Calls

4 calls:

43.0ms	(.f64 (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (.f64 y b)) (/.f64 1 (+.f64 x (+.f64 y t))))
20.0ms	(-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b))
16.0ms	(+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a))
14.0ms	(/.f64 1 (+.f64 x (+.f64 y t)))

series1.2s (6.7%)

Counts

4 → 12

Calls

4 calls:

875.0ms	(.f64 (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (.f64 y b)) (/.f64 1 (+.f64 x (+.f64 y t))))
217.0ms	(-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b))
115.0ms	(+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a))
43.0ms	(/.f64 1 (+.f64 x (+.f64 y t)))

simplify151.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

130 → 130

Iterations

Useful iterations: 0 (100.0ms)

Iter	Nodes	Cost
0	5003	3397

prune190.0ms (1%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	129	1	130
Fresh	1	9	10
Picked	0	1	1
Done	0	1	1
Total	130	12	142

Merged error: 7.7b

Counts

142 → 12

Compiler

Compiled 4324 to 861 computations (80.1% saved)

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

23.1b	(cbrt.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 y t) a)))
23.1b	(cbrt.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 y t) a)))
23.1b	(cbrt.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 y t) a)))
24.6b	(/.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 y t) a))) (cbrt.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 y t) a)))) (cbrt.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 y t) a)))) (*.f64 y b)) (+.f64 (+.f64 x t) y))

rewrite191.0ms (1%)

Algorithm

1×	rewrite-expression-head

Rules

37×	`*-un-lft-identity_binary64_23948`
24×	`associate-*l/_binary64_23891`
18×	`cbrt-div_binary64_23980`
17×	`add-sqr-sqrt_binary64_23970` `add-cube-cbrt_binary64_23983`
16×	`flip-+_binary64_23922` `flip3-+_binary64_23951`
15×	`times-frac_binary64_23954`
12×	`frac-add_binary64_23956` `distribute-lft-out_binary64_23899`
9×	`cbrt-prod_binary64_23979`
6×	`add-exp-log_binary64_23986` `add-cbrt-cube_binary64_23984`
5×	`associate-/r*_binary64_23892`
4×	`add-log-exp_binary64_23987` `pow1_binary64_24009`
3×	`associate-/l*_binary64_23893` `pow1/3_binary64_24030`
2×	`associate-/l/_binary64_23895` `associate-/r/_binary64_23894`
1×	`div-exp_binary64_23999` `flip3--_binary64_23952` `div-sub_binary64_23953` `cbrt-undiv_binary64_23982` `div-inv_binary64_23945` `clear-num_binary64_23947` `flip--_binary64_23923` `frac-2neg_binary64_23959`

Counts

4 → 91

Calls

4 calls:

128.0ms	(/.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 y t) a))) (cbrt.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 y t) a)))) (cbrt.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 y t) a)))) (*.f64 y b)) (+.f64 (+.f64 x t) y))
8.0ms	(cbrt.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 y t) a)))
7.0ms	(cbrt.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 y t) a)))
7.0ms	(cbrt.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 y t) a)))

series2.5s (13.4%)

Counts

4 → 12

Calls

4 calls:

840.0ms	(/.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 y t) a))) (cbrt.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 y t) a)))) (cbrt.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 y t) a)))) (*.f64 y b)) (+.f64 (+.f64 x t) y))
601.0ms	(cbrt.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 y t) a)))
562.0ms	(cbrt.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 y t) a)))
497.0ms	(cbrt.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 y t) a)))

simplify110.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

103 → 103

Iterations

Useful iterations: 0 (55.0ms)

Iter	Nodes	Cost
0	5846	4087

prune181.0ms (1%)

Pruning

12 alts after pruning (9 fresh and 3 done)

	Pruned	Kept	Total
New	103	0	103
Fresh	0	9	9
Picked	0	1	1
Done	0	2	2
Total	103	12	115

Merged error: 7.7b

Counts

115 → 12

Compiler

Compiled 5795 to 769 computations (86.7% saved)

localize23.0ms (0.1%)

Local error

Found 4 expressions with local error:

2.3b	(+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 y t) a))
2.3b	(-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 y t) a)) (*.f64 y b))
4.8b	(/.f64 (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 y t) a)) (*.f64 y b)) (cbrt.f64 (+.f64 x (+.f64 y t))))
20.0b	(.f64 (/.f64 1 (.f64 (cbrt.f64 (+.f64 x (+.f64 y t))) (cbrt.f64 (+.f64 x (+.f64 y t))))) (/.f64 (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 y t) a)) (*.f64 y b)) (cbrt.f64 (+.f64 x (+.f64 y t)))))

rewrite177.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

76×	`*-un-lft-identity_binary64_23948`
63×	`times-frac_binary64_23954`
59×	`add-sqr-sqrt_binary64_23970`
51×	`add-exp-log_binary64_23986`
38×	`cbrt-prod_binary64_23979` `add-cube-cbrt_binary64_23983`
30×	`associate-r_binary64_23888`
21×	`distribute-lft-out_binary64_23899`
20×	`prod-exp_binary64_23997`
19×	`add-cbrt-cube_binary64_23984`
16×	`div-exp_binary64_23999` `cbrt-div_binary64_23980`
15×	`associate-l_binary64_23889`
13×	`flip-+_binary64_23922` `flip3-+_binary64_23951`
12×	`associate-/r/_binary64_23894`
11×	`associate-*l/_binary64_23891` `add-log-exp_binary64_23987`
9×	`unswap-sqr_binary64_23916`
8×	`cbrt-undiv_binary64_23982` `cbrt-unprod_binary64_23981` `associate-/r*_binary64_23892`
6×	`pow1_binary64_24009`
5×	`frac-times_binary64_23958`
4×	`rec-exp_binary64_23998` `frac-add_binary64_23956` `1-exp_binary64_23992`
3×	`associate-r/_binary64_23890` `div-inv_binary64_23945` `associate-/l_binary64_23893`
2×	`associate-/l/_binary64_23895` `flip3--_binary64_23952` `flip--_binary64_23923` `sum-log_binary64_24039` `diff-log_binary64_24040`
1×	`associate--l+_binary64_23885` `div-sub_binary64_23953` `sub-neg_binary64_23941` `clear-num_binary64_23947` `*-commutative_binary64_23879` `cancel-sign-sub-inv_binary64_23914` `frac-2neg_binary64_23959` `+-commutative_binary64_23878` `pow-prod-down_binary64_24019`

Counts

4 → 167

Calls

4 calls:

76.0ms	(.f64 (/.f64 1 (.f64 (cbrt.f64 (+.f64 x (+.f64 y t))) (cbrt.f64 (+.f64 x (+.f64 y t))))) (/.f64 (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 y t) a)) (*.f64 y b)) (cbrt.f64 (+.f64 x (+.f64 y t)))))
17.0ms	(/.f64 (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 y t) a)) (*.f64 y b)) (cbrt.f64 (+.f64 x (+.f64 y t))))
16.0ms	(+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 y t) a))
12.0ms	(-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 y t) a)) (*.f64 y b))

series4.7s (25.3%)

Counts

4 → 12

Calls

4 calls:

2.8s	(/.f64 (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 y t) a)) (*.f64 y b)) (cbrt.f64 (+.f64 x (+.f64 y t))))
1.7s	(.f64 (/.f64 1 (.f64 (cbrt.f64 (+.f64 x (+.f64 y t))) (cbrt.f64 (+.f64 x (+.f64 y t))))) (/.f64 (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 y t) a)) (*.f64 y b)) (cbrt.f64 (+.f64 x (+.f64 y t)))))
169.0ms	(-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 y t) a)) (*.f64 y b))
71.0ms	(+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 y t) a))

simplify164.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

179 → 179

Iterations

Useful iterations: 0 (74.0ms)

Iter	Nodes	Cost
0	4959	8489
1	4959	8489

prune267.0ms (1.4%)

Pruning

12 alts after pruning (9 fresh and 3 done)

	Pruned	Kept	Total
New	177	2	179
Fresh	1	7	8
Picked	1	0	1
Done	0	3	3
Total	179	12	191

Merged error: 7.7b

Counts

191 → 12

Compiler

Compiled 8884 to 1003 computations (88.7% saved)

regimes1.3s (7.1%)

Compiler: Compiled 8937 to 4843 computations (45.8% saved)

bsearch3.0ms (0%)

Compiler: Compiled 21 to 16 computations (23.8% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	72	114
1	72	114

end0.0ms (0%)

sample2.2s (11.6%)

Algorithm

1×

intervals

Results

650.0ms	7996×	body	128	valid
0.0ms	2×	body	1024	valid
0.0ms	1×	body	512	valid
0.0ms	1×	body	256	valid

Compiler

Compiled 1449 to 753 computations (48% saved)

Details

analyze3.1s (16.4%)

sample48.0ms (0.3%)

simplify335.0ms (1.8%)

prune5.0ms (0%)

localize28.0ms (0.2%)

rewrite99.0ms (0.5%)

series1.2s (6.4%)

simplify117.0ms (0.6%)

prune208.0ms (1.1%)

localize18.0ms (0.1%)

rewrite108.0ms (0.6%)

series1.2s (6.7%)

simplify151.0ms (0.8%)

prune190.0ms (1%)

localize20.0ms (0.1%)

rewrite191.0ms (1%)

series2.5s (13.4%)

simplify110.0ms (0.6%)

prune181.0ms (1%)

localize23.0ms (0.1%)

rewrite177.0ms (0.9%)

series4.7s (25.3%)

simplify164.0ms (0.9%)

prune267.0ms (1.4%)

regimes1.3s (7.1%)

bsearch3.0ms (0%)

simplify4.0ms (0%)

end0.0ms (0%)

sample2.2s (11.6%)

Profiling