Details

analyze988.0ms (9%)

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
0%	99.8%	0.2%	9
3.5%	96.2%	0.2%	10
9.8%	89.9%	0.2%	11
14.1%	85.7%	0.2%	12
22.6%	77.1%	0.2%	13
23.7%	76%	0.2%	14

Compiler

Compiled 14 to 12 computations (14.3% saved)

sample32.0ms (0.3%)

Algorithm

1×

intervals

Results

13.0ms	212×	body	128	valid
1.0ms	13×	body	512	valid
1.0ms	9×	body	1024	valid
1.0ms	16×	body	256	valid
1.0ms	6×	body	2048	valid
1.0ms	22×	body	128	invalid

Compiler

Compiled 27 to 28 computations (-3.7% saved)

simplify324.0ms (3%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (168.0ms)

Iter	Nodes	Cost
0	4813	19
1	4813	19

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

Counts

2 → 1

Compiler

Compiled 26 to 22 computations (15.4% saved)

localize13.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(*.f64 (-.f64 z t) y)
2.4b	(-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t)))
11.9b	(/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t))

rewrite35.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`*-un-lft-identity_binary64_16253`
17×	`add-sqr-sqrt_binary64_16274`
10×	`add-exp-log_binary64_16288` `add-cbrt-cube_binary64_16286`
8×	`add-log-exp_binary64_16289`
7×	`add-cube-cbrt_binary64_16285`
5×	`times-frac_binary64_16259` `distribute-lft-out--_binary64_16207` `associate-l_binary64_16196` `pow1_binary64_16311` `associate-/r*_binary64_16199`
4×	`difference-of-squares_binary64_16222` `flip--_binary64_16228` `flip3--_binary64_16257` `associate-*l/_binary64_16198`
3×	`associate-r_binary64_16195`
2×	`cbrt-unprod_binary64_16283` `frac-sub_binary64_16262` `diff-log_binary64_16342` `div-exp_binary64_16301` `associate-/l/_binary64_16202` `associate-/r/_binary64_16201` `prod-exp_binary64_16299` `cbrt-undiv_binary64_16284`
1×	`clear-num_binary64_16252` `pow-prod-down_binary64_16321` `distribute-lft-out_binary64_16206` `-commutative_binary64_16186` `unswap-sqr_binary64_16221` `associate--l+_binary64_16192` `div-inv_binary64_16250` `flip3-+_binary64_16256` `sum-log_binary64_16341` `associate-/l_binary64_16200` `sub-neg_binary64_16246` `flip-+_binary64_16227` `frac-2neg_binary64_16264`

Counts

3 → 69

Calls

3 calls:

12.0ms	(-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t)))
10.0ms	(/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t))
7.0ms	(*.f64 (-.f64 z t) y)

series564.0ms (5.1%)

Counts

3 → 9

Calls

3 calls:

359.0ms	(-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t)))
150.0ms	(/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t))
55.0ms	(*.f64 (-.f64 z t) y)

simplify35.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

78 → 78

Iterations

Useful iterations: 0 (20.0ms)

Iter	Nodes	Cost
0	4968	1273
1	4968	1273

prune89.0ms (0.8%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	68	10	78
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	69	10	79

Merged error: 3.9b

Counts

79 → 10

Compiler

Compiled 1613 to 422 computations (73.8% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 (-.f64 a t))
0.6b	(cbrt.f64 (-.f64 a t))
3.0b	(.f64 (/.f64 (-.f64 z t) (.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t)))) (/.f64 y (cbrt.f64 (-.f64 a t))))
7.0b	(-.f64 (+.f64 x y) (.f64 (/.f64 (-.f64 z t) (.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t)))) (/.f64 y (cbrt.f64 (-.f64 a t)))))

rewrite69.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

51×	`add-sqr-sqrt_binary64_16274`
36×	`times-frac_binary64_16259`
35×	`*-un-lft-identity_binary64_16253`
30×	`associate-r_binary64_16195`
27×	`cbrt-prod_binary64_16281`
25×	`add-exp-log_binary64_16288`
23×	`add-cube-cbrt_binary64_16285`
18×	`cbrt-div_binary64_16282` `add-cbrt-cube_binary64_16286`
17×	`associate-l_binary64_16196`
10×	`flip--_binary64_16228` `flip3--_binary64_16257` `associate-/r/_binary64_16201`
9×	`add-log-exp_binary64_16289`
8×	`cbrt-unprod_binary64_16283` `prod-exp_binary64_16299`
7×	`div-exp_binary64_16301` `frac-times_binary64_16263` `cbrt-undiv_binary64_16284`
6×	`unswap-sqr_binary64_16221` `frac-sub_binary64_16262` `difference-of-squares_binary64_16222` `distribute-lft-out--_binary64_16207` `pow1_binary64_16311`
5×	`associate-r/_binary64_16197` `associate-l/_binary64_16198`
3×	`flip3-+_binary64_16256` `flip-+_binary64_16227`
2×	`diff-log_binary64_16342` `div-inv_binary64_16250` `pow1/3_binary64_16332`
1×	`pow-prod-down_binary64_16321` `*-commutative_binary64_16186` `associate--l+_binary64_16192` `sum-log_binary64_16341` `sub-neg_binary64_16246`

Counts

4 → 126

Calls

4 calls:

37.0ms	(.f64 (/.f64 (-.f64 z t) (.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t)))) (/.f64 y (cbrt.f64 (-.f64 a t))))
7.0ms	(-.f64 (+.f64 x y) (.f64 (/.f64 (-.f64 z t) (.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t)))) (/.f64 y (cbrt.f64 (-.f64 a t)))))
3.0ms	(cbrt.f64 (-.f64 a t))
3.0ms	(cbrt.f64 (-.f64 a t))

series1.0s (9.6%)

Counts

4 → 12

Calls

4 calls:

361.0ms	(-.f64 (+.f64 x y) (.f64 (/.f64 (-.f64 z t) (.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t)))) (/.f64 y (cbrt.f64 (-.f64 a t)))))
254.0ms	(.f64 (/.f64 (-.f64 z t) (.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t)))) (/.f64 y (cbrt.f64 (-.f64 a t))))
224.0ms	(cbrt.f64 (-.f64 a t))
210.0ms	(cbrt.f64 (-.f64 a t))

simplify66.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

138 → 138

Iterations

Useful iterations: 0 (29.0ms)

Iter	Nodes	Cost
0	5723	3545

prune153.0ms (1.4%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	133	5	138
Fresh	2	7	9
Picked	1	0	1
Done	0	0	0
Total	136	12	148

Merged error: 3.9b

Counts

148 → 12

Compiler

Compiled 4401 to 887 computations (79.8% saved)

localize18.0ms (0.2%)

Local error

Found 4 expressions with local error:

1.0b	(cbrt.f64 (/.f64 (-.f64 z t) (*.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t)))))
1.4b	(.f64 (/.f64 y (cbrt.f64 (-.f64 a t))) (cbrt.f64 (/.f64 (-.f64 z t) (.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t))))))
1.5b	(.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 z t) (.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t))))) (cbrt.f64 (/.f64 (-.f64 z t) (.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t)))))) (.f64 (/.f64 y (cbrt.f64 (-.f64 a t))) (cbrt.f64 (/.f64 (-.f64 z t) (.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t)))))))
7.8b	(-.f64 (+.f64 x y) (.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 z t) (.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t))))) (cbrt.f64 (/.f64 (-.f64 z t) (.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t)))))) (.f64 (/.f64 y (cbrt.f64 (-.f64 a t))) (cbrt.f64 (/.f64 (-.f64 z t) (.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t))))))))

rewrite145.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Rules

101×	`cbrt-div_binary64_16282`
60×	`frac-times_binary64_16263`
58×	`add-sqr-sqrt_binary64_16274` `cbrt-prod_binary64_16281`
43×	`times-frac_binary64_16259`
38×	`associate-r/_binary64_16197` `associate-l/_binary64_16198`
34×	`*-un-lft-identity_binary64_16253`
31×	`associate-l_binary64_16196`
30×	`frac-sub_binary64_16262` `add-exp-log_binary64_16288`
24×	`add-cube-cbrt_binary64_16285`
21×	`associate-r_binary64_16195`
18×	`associate-/r/_binary64_16201` `pow1_binary64_16311`
15×	`cbrt-unprod_binary64_16283` `flip3-+_binary64_16256` `prod-exp_binary64_16299` `add-cbrt-cube_binary64_16286` `flip-+_binary64_16227`
14×	`flip--_binary64_16228` `flip3--_binary64_16257`
9×	`add-log-exp_binary64_16289` `pow-prod-down_binary64_16321` `unswap-sqr_binary64_16221`
5×	`difference-of-squares_binary64_16222` `distribute-lft-out--_binary64_16207`
3×	`div-exp_binary64_16301` `div-inv_binary64_16250` `cbrt-undiv_binary64_16284`
2×	`*-commutative_binary64_16186` `diff-log_binary64_16342`
1×	`associate--l+_binary64_16192` `sum-log_binary64_16341` `pow1/3_binary64_16332` `sub-neg_binary64_16246`

Counts

4 → 185

Calls

4 calls:

42.0ms	(.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 z t) (.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t))))) (cbrt.f64 (/.f64 (-.f64 z t) (.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t)))))) (.f64 (/.f64 y (cbrt.f64 (-.f64 a t))) (cbrt.f64 (/.f64 (-.f64 z t) (.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t)))))))
27.0ms	(.f64 (/.f64 y (cbrt.f64 (-.f64 a t))) (cbrt.f64 (/.f64 (-.f64 z t) (.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t))))))
14.0ms	(cbrt.f64 (/.f64 (-.f64 z t) (*.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t)))))
12.0ms	(-.f64 (+.f64 x y) (.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 z t) (.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t))))) (cbrt.f64 (/.f64 (-.f64 z t) (.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t)))))) (.f64 (/.f64 y (cbrt.f64 (-.f64 a t))) (cbrt.f64 (/.f64 (-.f64 z t) (.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t))))))))

series2.2s (19.7%)

Counts

4 → 12

Calls

4 calls:

784.0ms	(cbrt.f64 (/.f64 (-.f64 z t) (*.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t)))))
657.0ms	(.f64 (/.f64 y (cbrt.f64 (-.f64 a t))) (cbrt.f64 (/.f64 (-.f64 z t) (.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t))))))
416.0ms	(-.f64 (+.f64 x y) (.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 z t) (.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t))))) (cbrt.f64 (/.f64 (-.f64 z t) (.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t)))))) (.f64 (/.f64 y (cbrt.f64 (-.f64 a t))) (cbrt.f64 (/.f64 (-.f64 z t) (.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t))))))))
301.0ms	(.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 z t) (.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t))))) (cbrt.f64 (/.f64 (-.f64 z t) (.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t)))))) (.f64 (/.f64 y (cbrt.f64 (-.f64 a t))) (cbrt.f64 (/.f64 (-.f64 z t) (.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t)))))))

simplify141.0ms (1.3%)

Algorithm

1×	egg-herbie

Counts

197 → 197

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	5370	10516

prune286.0ms (2.6%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	194	3	197
Fresh	3	8	11
Picked	0	1	1
Done	0	0	0
Total	197	12	209

Merged error: 3.9b

Counts

209 → 12

Compiler

Compiled 12294 to 1279 computations (89.6% saved)

localize24.0ms (0.2%)

Local error

Found 4 expressions with local error:

4.0b	(cbrt.f64 (/.f64 y (cbrt.f64 (-.f64 a t))))
4.0b	(cbrt.f64 (/.f64 y (cbrt.f64 (-.f64 a t))))
4.0b	(cbrt.f64 (/.f64 y (cbrt.f64 (-.f64 a t))))
9.0b	(-.f64 (+.f64 x y) (.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 z t) (.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t))))) (cbrt.f64 (/.f64 (-.f64 z t) (.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t)))))) (.f64 (.f64 (cbrt.f64 (/.f64 y (cbrt.f64 (-.f64 a t)))) (cbrt.f64 (/.f64 y (cbrt.f64 (-.f64 a t))))) (.f64 (cbrt.f64 (/.f64 (-.f64 z t) (.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t))))) (cbrt.f64 (/.f64 y (cbrt.f64 (-.f64 a t))))))))

rewrite144.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Rules

393×	`cbrt-div_binary64_16282`
258×	`frac-times_binary64_16263`
150×	`associate-*r/_binary64_16197`
135×	`cbrt-prod_binary64_16281`
126×	`frac-sub_binary64_16262` `associate-*l/_binary64_16198`
72×	`times-frac_binary64_16259`
67×	`add-sqr-sqrt_binary64_16274` `*-un-lft-identity_binary64_16253`
63×	`flip3-+_binary64_16256` `flip-+_binary64_16227`
49×	`add-cube-cbrt_binary64_16285`
9×	`add-log-exp_binary64_16289` `difference-of-squares_binary64_16222` `distribute-lft-out--_binary64_16207`
6×	`associate-/r/_binary64_16201`
4×	`flip--_binary64_16228` `add-exp-log_binary64_16288` `flip3--_binary64_16257` `add-cbrt-cube_binary64_16286` `pow1_binary64_16311`
3×	`div-inv_binary64_16250` `pow1/3_binary64_16332`
2×	`diff-log_binary64_16342`
1×	`associate--l+_binary64_16192` `sum-log_binary64_16341` `sub-neg_binary64_16246`

Counts

4 → 256

Calls

4 calls:

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

series1.5s (14.1%)

Counts

4 → 12

Calls

4 calls:

463.0ms	(-.f64 (+.f64 x y) (.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 z t) (.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t))))) (cbrt.f64 (/.f64 (-.f64 z t) (.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t)))))) (.f64 (.f64 (cbrt.f64 (/.f64 y (cbrt.f64 (-.f64 a t)))) (cbrt.f64 (/.f64 y (cbrt.f64 (-.f64 a t))))) (.f64 (cbrt.f64 (/.f64 (-.f64 z t) (.f64 (cbrt.f64 (-.f64 a t)) (cbrt.f64 (-.f64 a t))))) (cbrt.f64 (/.f64 y (cbrt.f64 (-.f64 a t))))))))
366.0ms	(cbrt.f64 (/.f64 y (cbrt.f64 (-.f64 a t))))
359.0ms	(cbrt.f64 (/.f64 y (cbrt.f64 (-.f64 a t))))
358.0ms	(cbrt.f64 (/.f64 y (cbrt.f64 (-.f64 a t))))

simplify254.0ms (2.3%)

Algorithm

1×	egg-herbie

Counts

268 → 268

Iterations

Useful iterations: 0 (61.0ms)

Iter	Nodes	Cost
0	4964	25869
1	4964	25869

prune535.0ms (4.9%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	268	0	268
Fresh	0	10	10
Picked	0	1	1
Done	0	1	1
Total	268	12	280

Merged error: 3.9b

Counts

280 → 12

Compiler

Compiled 24878 to 1994 computations (92% saved)

regimes643.0ms (5.9%)

Compiler: Compiled 6654 to 3402 computations (48.9% saved)

bsearch78.0ms (0.7%)

Steps

Iters	Range		Point
10	4.619620448446023e-232	3.5554332035369405e-216	2.814499803096097e-220
8	-2.0767895004870516e-61	-1.456166010783368e-65	-2.8462562866286207e-64

Compiler

Compiled 1 to 5 computations (-400% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	149	201
1	149	201

end0.0ms (0%)

sample1.5s (14.1%)

Algorithm

1×

intervals

Results

285.0ms	6784×	body	128	valid
57.0ms	453×	body	512	valid
53.0ms	370×	body	1024	valid
30.0ms	745×	body	128	invalid
29.0ms	337×	body	256	valid
15.0ms	56×	body	2048	valid

Compiler

Compiled 1320 to 639 computations (51.6% saved)

Details

analyze988.0ms (9%)

sample32.0ms (0.3%)

simplify324.0ms (3%)

prune2.0ms (0%)

localize13.0ms (0.1%)

rewrite35.0ms (0.3%)

series564.0ms (5.1%)

simplify35.0ms (0.3%)

prune89.0ms (0.8%)

localize13.0ms (0.1%)

rewrite69.0ms (0.6%)

series1.0s (9.6%)

simplify66.0ms (0.6%)

prune153.0ms (1.4%)

localize18.0ms (0.2%)

rewrite145.0ms (1.3%)

series2.2s (19.7%)

simplify141.0ms (1.3%)

prune286.0ms (2.6%)

localize24.0ms (0.2%)

rewrite144.0ms (1.3%)

series1.5s (14.1%)

simplify254.0ms (2.3%)

prune535.0ms (4.9%)

regimes643.0ms (5.9%)

bsearch78.0ms (0.7%)

simplify5.0ms (0%)

end0.0ms (0%)

sample1.5s (14.1%)

Profiling