Details

analyze1.9s (22.2%)

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
0%	99.7%	0.3%	12
1.2%	98.5%	0.3%	13
1.8%	97.9%	0.3%	14

Compiler

Compiled 18 to 18 computations (0% saved)

sample49.0ms (0.6%)

Algorithm

1×

intervals

Results

14.0ms	256×	body	128	valid
7.0ms	121×	body	128	invalid

Compiler

Compiled 35 to 42 computations (-20% saved)

simplify179.0ms (2.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (71.0ms)

Iter	Nodes	Cost
0	937	25
1	937	25

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: 0.0b

Counts

2 → 1

Compiler

Compiled 34 to 34 computations (0% saved)

localize16.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 (*.f64 z t) 16)
0.0b	(+.f64 (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) c)
0.0b	(-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4))
0.0b	(+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))

rewrite60.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

20×	`add-log-exp_binary64_7960`
17×	`*-un-lft-identity_binary64_7921`
14×	`cancel-sign-sub-inv_binary64_7887`
12×	`add-sqr-sqrt_binary64_7943`
10×	`add-cube-cbrt_binary64_7956`
9×	`add-cbrt-cube_binary64_7957` `associate-+l+_binary64_7854` `times-frac_binary64_7927` `add-exp-log_binary64_7959`
6×	`sum-log_binary64_8012`
4×	`diff-log_binary64_8013` `pow1_binary64_7982`
3×	`flip3-+_binary64_7924` `associate-/r*_binary64_7865` `flip-+_binary64_7895` `div-inv_binary64_7918`
2×	`distribute-lft-out--_binary64_7873` `+-commutative_binary64_7851` `associate--l+_binary64_7858` `distribute-lft-out_binary64_7872` `sub-neg_binary64_7914` `div-exp_binary64_7972` `cbrt-undiv_binary64_7955` `frac-sub_binary64_7930`
1×	`flip3--_binary64_7925` `clear-num_binary64_7920` `prod-exp_binary64_7970` `frac-2neg_binary64_7932` `cbrt-unprod_binary64_7954` `difference-of-squares_binary64_7890` `associate-+l-_binary64_7856` `associate-/l*_binary64_7866` `flip--_binary64_7896`

Counts

4 → 81

Calls

4 calls:

16.0ms	(-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4))
15.0ms	(+.f64 (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) c)
12.0ms	(+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))
9.0ms	(/.f64 (*.f64 z t) 16)

series358.0ms (4.3%)

Counts

4 → 12

Calls

4 calls:

184.0ms	(+.f64 (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) c)
115.0ms	(-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4))
42.0ms	(+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))
17.0ms	(/.f64 (*.f64 z t) 16)

simplify67.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

93 → 93

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	4975	1890
1	4975	1890

prune101.0ms (1.2%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	90	3	93
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	90	4	94

Merged error: 0.0b

Counts

94 → 4

Compiler

Compiled 2197 to 1054 computations (52% saved)

localize23.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.6b	(.f64 (cbrt.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))) (cbrt.f64 (+.f64 (.f64 x y) (/.f64 (*.f64 z t) 16))))
1.5b	(cbrt.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)))
1.5b	(cbrt.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)))
1.5b	(cbrt.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)))

rewrite66.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

25×	`cbrt-prod_binary64_7952`
23×	`add-sqr-sqrt_binary64_7943`
18×	`cbrt-div_binary64_7953`
15×	`add-cube-cbrt_binary64_7956` `*-un-lft-identity_binary64_7921`
11×	`pow1_binary64_7982`
9×	`pow1/3_binary64_8003` `flip3-+_binary64_7924` `flip-+_binary64_7895`
6×	`associate-r_binary64_7861` `associate-l_binary64_7862` `add-exp-log_binary64_7959` `swap-sqr_binary64_7888`
4×	`add-log-exp_binary64_7960` `frac-times_binary64_7931` `add-cbrt-cube_binary64_7957` `unswap-sqr_binary64_7889`
2×	`associate-r/_binary64_7863` `associate-l/_binary64_7864` `pow-prod-up_binary64_7991` `pow-sqr_binary64_7894` `pow-prod-down_binary64_7992`
1×	`pow2_binary64_8002` `prod-exp_binary64_7970` `cbrt-unprod_binary64_7954` `pow-plus_binary64_7984` `*-commutative_binary64_7852`

Counts

4 → 87

Calls

4 calls:

28.0ms	(.f64 (cbrt.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))) (cbrt.f64 (+.f64 (.f64 x y) (/.f64 (*.f64 z t) 16))))
5.0ms	(cbrt.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)))
5.0ms	(cbrt.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)))
5.0ms	(cbrt.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)))

series656.0ms (7.8%)

Counts

4 → 12

Calls

4 calls:

207.0ms	(.f64 (cbrt.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))) (cbrt.f64 (+.f64 (.f64 x y) (/.f64 (*.f64 z t) 16))))
155.0ms	(cbrt.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)))
149.0ms	(cbrt.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)))
145.0ms	(cbrt.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)))

simplify91.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	4959	2613
1	4959	2613

prune217.0ms (2.6%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	98	1	99
Fresh	1	1	2
Picked	0	1	1
Done	0	1	1
Total	99	4	103

Merged error: 0.0b

Counts

103 → 4

Compiler

Compiled 4757 to 2352 computations (50.6% saved)

localize20.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))
0.2b	(.f64 (sqrt.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))) (sqrt.f64 (+.f64 (.f64 x y) (/.f64 (*.f64 z t) 16))))
1.1b	(sqrt.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)))
1.1b	(sqrt.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)))

rewrite64.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

30×	`add-sqr-sqrt_binary64_7943`
24×	`sqrt-prod_binary64_7937`
21×	`pow1_binary64_7982`
16×	`sqrt-div_binary64_7938`
14×	`add-cube-cbrt_binary64_7956` `*-un-lft-identity_binary64_7921`
10×	`sqrt-pow1_binary64_7939` `pow1/2_binary64_8001`
9×	`flip3-+_binary64_7924` `flip-+_binary64_7895`
8×	`swap-sqr_binary64_7888`
6×	`associate-r_binary64_7861` `add-log-exp_binary64_7960` `add-cbrt-cube_binary64_7957` `associate-l_binary64_7862` `add-exp-log_binary64_7959`
5×	`pow-prod-up_binary64_7991`
4×	`frac-times_binary64_7931` `unswap-sqr_binary64_7889` `rem-sqrt-square_binary64_7934`
3×	`pow-sqr_binary64_7894` `pow-prod-down_binary64_7992`
2×	`associate-r/_binary64_7863` `associate-l/_binary64_7864`
1×	`+-commutative_binary64_7851` `sqrt-unprod_binary64_7941` `pow2_binary64_8002` `prod-exp_binary64_7970` `cbrt-unprod_binary64_7954` `pow-plus_binary64_7984` `*-commutative_binary64_7852` `sqr-abs_binary64_7936` `sum-log_binary64_8012` `rem-square-sqrt_binary64_7933`

Counts

4 → 99

Calls

4 calls:

20.0ms	(.f64 (sqrt.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))) (sqrt.f64 (+.f64 (.f64 x y) (/.f64 (*.f64 z t) 16))))
10.0ms	(+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))
6.0ms	(sqrt.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)))
5.0ms	(sqrt.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)))

series276.0ms (3.3%)

Counts

4 → 12

Calls

4 calls:

84.0ms	(sqrt.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)))
81.0ms	(sqrt.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)))
60.0ms	(+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))
51.0ms	(.f64 (sqrt.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))) (sqrt.f64 (+.f64 (.f64 x y) (/.f64 (*.f64 z t) 16))))

simplify112.0ms (1.3%)

Algorithm

1×	egg-herbie

Counts

111 → 111

Iterations

Useful iterations: 0 (86.0ms)

Iter	Nodes	Cost
0	4956	2337
1	4956	2337

prune163.0ms (1.9%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	111	0	111
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	111	4	115

Merged error: 0.0b

Counts

115 → 4

Compiler

Compiled 3719 to 1752 computations (52.9% saved)

localize43.0ms (0.5%)

Local error

Found 4 expressions with local error:

19.6b	(/.f64 (.f64 (cbrt.f64 (+.f64 (pow.f64 (.f64 x y) 3) (pow.f64 (/.f64 (.f64 z t) 16) 3))) (cbrt.f64 (-.f64 (pow.f64 (.f64 x y) 2) (/.f64 (pow.f64 (.f64 z t) 2) 256)))) (.f64 (cbrt.f64 (+.f64 (pow.f64 (.f64 x y) 2) (.f64 (/.f64 (.f64 z t) 16) (-.f64 (/.f64 (.f64 z t) 16) (.f64 x y))))) (cbrt.f64 (-.f64 (.f64 x y) (/.f64 (*.f64 z t) 16)))))
24.0b	(cbrt.f64 (+.f64 (pow.f64 (.f64 x y) 2) (.f64 (/.f64 (.f64 z t) 16) (-.f64 (/.f64 (.f64 z t) 16) (*.f64 x y)))))
24.0b	(cbrt.f64 (-.f64 (pow.f64 (.f64 x y) 2) (/.f64 (pow.f64 (.f64 z t) 2) 256)))
36.9b	(cbrt.f64 (+.f64 (pow.f64 (.f64 x y) 3) (pow.f64 (/.f64 (.f64 z t) 16) 3)))

rewrite114.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Rules

30×	`cbrt-div_binary64_7953`
26×	`add-sqr-sqrt_binary64_7943`
24×	`cbrt-prod_binary64_7952`
16×	`add-exp-log_binary64_7959`
12×	`difference-of-squares_binary64_7890`
11×	`*-un-lft-identity_binary64_7921`
10×	`times-frac_binary64_7927`
8×	`frac-times_binary64_7931` `add-cbrt-cube_binary64_7957` `associate-/r/_binary64_7867` `associate-/l/_binary64_7868` `flip3-+_binary64_7924` `flip-+_binary64_7895`
7×	`flip3--_binary64_7925` `add-cube-cbrt_binary64_7956` `unpow2_binary64_7986` `flip--_binary64_7896` `sqr-pow_binary64_7893`
4×	`add-log-exp_binary64_7960` `prod-exp_binary64_7970` `associate-r/_binary64_7863` `associate-l/_binary64_7864` `cbrt-unprod_binary64_7954` `div-exp_binary64_7972` `pow1_binary64_7982` `cbrt-undiv_binary64_7955`
3×	`pow1/3_binary64_8003`
1×	`sum-cubes_binary64_7922` `distribute-lft-out--_binary64_7873` `clear-num_binary64_7920` `distribute-lft-out_binary64_7872` `frac-2neg_binary64_7932` `associate-/l_binary64_7866` `associate-/r_binary64_7865` `div-inv_binary64_7918`

Counts

4 → 91

Calls

4 calls:

49.0ms	(/.f64 (.f64 (cbrt.f64 (+.f64 (pow.f64 (.f64 x y) 3) (pow.f64 (/.f64 (.f64 z t) 16) 3))) (cbrt.f64 (-.f64 (pow.f64 (.f64 x y) 2) (/.f64 (pow.f64 (.f64 z t) 2) 256)))) (.f64 (cbrt.f64 (+.f64 (pow.f64 (.f64 x y) 2) (.f64 (/.f64 (.f64 z t) 16) (-.f64 (/.f64 (.f64 z t) 16) (.f64 x y))))) (cbrt.f64 (-.f64 (.f64 x y) (/.f64 (*.f64 z t) 16)))))
19.0ms	(cbrt.f64 (-.f64 (pow.f64 (.f64 x y) 2) (/.f64 (pow.f64 (.f64 z t) 2) 256)))
14.0ms	(cbrt.f64 (+.f64 (pow.f64 (.f64 x y) 3) (pow.f64 (/.f64 (.f64 z t) 16) 3)))
6.0ms	(cbrt.f64 (+.f64 (pow.f64 (.f64 x y) 2) (.f64 (/.f64 (.f64 z t) 16) (-.f64 (/.f64 (.f64 z t) 16) (*.f64 x y)))))

series996.0ms (11.8%)

Counts

4 → 12

Calls

4 calls:

441.0ms	(/.f64 (.f64 (cbrt.f64 (+.f64 (pow.f64 (.f64 x y) 3) (pow.f64 (/.f64 (.f64 z t) 16) 3))) (cbrt.f64 (-.f64 (pow.f64 (.f64 x y) 2) (/.f64 (pow.f64 (.f64 z t) 2) 256)))) (.f64 (cbrt.f64 (+.f64 (pow.f64 (.f64 x y) 2) (.f64 (/.f64 (.f64 z t) 16) (-.f64 (/.f64 (.f64 z t) 16) (.f64 x y))))) (cbrt.f64 (-.f64 (.f64 x y) (/.f64 (*.f64 z t) 16)))))
269.0ms	(cbrt.f64 (+.f64 (pow.f64 (.f64 x y) 2) (.f64 (/.f64 (.f64 z t) 16) (-.f64 (/.f64 (.f64 z t) 16) (*.f64 x y)))))
147.0ms	(cbrt.f64 (-.f64 (pow.f64 (.f64 x y) 2) (/.f64 (pow.f64 (.f64 z t) 2) 256)))
138.0ms	(cbrt.f64 (+.f64 (pow.f64 (.f64 x y) 3) (pow.f64 (/.f64 (.f64 z t) 16) 3)))

simplify115.0ms (1.4%)

Algorithm

1×	egg-herbie

Counts

103 → 103

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	4976	6007
1	4976	6007

prune497.0ms (5.9%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	103	0	103
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	103	4	107

Merged error: 0.0b

Counts

107 → 4

Compiler

Compiled 10026 to 5252 computations (47.6% saved)

regimes479.0ms (5.7%)

Compiler: Compiled 4979 to 4341 computations (12.8% saved)

bsearch0.0ms (0%)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	56	25
1	56	25

end0.0ms (0%)

sample1.8s (21.2%)

Algorithm

1×

intervals

Results

569.0ms	8000×	body	128	valid
255.0ms	3900×	body	128	invalid

Compiler

Compiled 358 to 313 computations (12.6% saved)

Details

analyze1.9s (22.2%)

sample49.0ms (0.6%)

simplify179.0ms (2.1%)

prune3.0ms (0%)

localize16.0ms (0.2%)

rewrite60.0ms (0.7%)

series358.0ms (4.3%)

simplify67.0ms (0.8%)

prune101.0ms (1.2%)

localize23.0ms (0.3%)

rewrite66.0ms (0.8%)

series656.0ms (7.8%)

simplify91.0ms (1.1%)

prune217.0ms (2.6%)

localize20.0ms (0.2%)

rewrite64.0ms (0.8%)

series276.0ms (3.3%)

simplify112.0ms (1.3%)

prune163.0ms (1.9%)

localize43.0ms (0.5%)

rewrite114.0ms (1.4%)

series996.0ms (11.8%)

simplify115.0ms (1.4%)

prune497.0ms (5.9%)

regimes479.0ms (5.7%)

bsearch0.0ms (0%)

simplify4.0ms (0%)

end0.0ms (0%)

sample1.8s (21.2%)

Profiling