Details

analyze1.6s (9.7%)

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%	74.8%	25.2%	5
0%	74.8%	25.2%	6
0%	74.8%	25.2%	7
0%	74.8%	25.2%	8
0%	74.8%	25.2%	9
0%	62.3%	37.7%	10
0%	56.1%	43.9%	11
0%	56.1%	43.9%	12
1.6%	54.5%	43.9%	13
2.4%	53.7%	43.9%	14

Compiler

Compiled 17 to 16 computations (5.9% saved)

sample50.0ms (0.3%)

Algorithm

1×

intervals

Results

21.0ms	256×	body	128	valid
4.0ms	48×	body	128	invalid
3.0ms	41×	body	128	nan

Compiler

Compiled 33 to 37 computations (-12.1% saved)

simplify918.0ms (5.6%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (792.0ms)

Iter	Nodes	Cost
0	3701	24
1	3701	24

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

Error

0.1b

Counts

2 → 1

Compiler

Compiled 32 to 30 computations (6.3% saved)

localize27.0ms (0.2%)

Local error

Found 8 expressions with local error:

0.3b	(*.f64 z (log.f64 t))
0.1b	(-.f64 (+.f64 (+.f64 x y) z) (*.f64 z (log.f64 t)))
0.0b	(*.f64 (-.f64 a 1/2) b)
0.0b	(+.f64 (-.f64 (+.f64 (+.f64 x y) z) (.f64 z (log.f64 t))) (.f64 (-.f64 a 1/2) b))
0.0b	(+.f64 (-.f64 (+.f64 (+.f64 x y) z) (.f64 z (log.f64 t))) (.f64 (-.f64 a 1/2) b))
0.0b	(*.f64 (-.f64 a 1/2) b)
0.1b	(-.f64 (+.f64 (+.f64 x y) z) (*.f64 z (log.f64 t)))
0.3b	(*.f64 z (log.f64 t))

rewrite74.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

27×	`add-log-exp_binary64_12431`
18×	`add-sqr-sqrt_binary64_12414`
14×	`*-un-lft-identity_binary64_12392`
12×	`log-prod_binary64_12478` `add-cube-cbrt_binary64_12427`
10×	`sum-log_binary64_12483`
9×	`pow1_binary64_12453`
8×	`associate-l_binary64_12333` `add-cbrt-cube_binary64_12428` `add-exp-log_binary64_12430`
7×	`associate-r_binary64_12332`
6×	`distribute-rgt-in_binary64_12342` `diff-log_binary64_12484` `flip3--_binary64_12396` `distribute-lft-in_binary64_12341` `flip--_binary64_12367` `associate--r+_binary64_12328` `associate-*l/_binary64_12335`
4×	`frac-add_binary64_12400`
3×	`associate-+l+_binary64_12325`
2×	`*-commutative_binary64_12323` `sub-neg_binary64_12385` `pow-prod-down_binary64_12463` `cbrt-unprod_binary64_12425` `prod-exp_binary64_12441` `cancel-sign-sub-inv_binary64_12358` `unswap-sqr_binary64_12360` `associate--l+_binary64_12329`
1×	`associate-+l-_binary64_12327` `distribute-lft-out--_binary64_12344` `difference-of-squares_binary64_12361` `+-commutative_binary64_12322` `log-pow_binary64_12481` `flip3-+_binary64_12395` `flip-+_binary64_12366`

Counts

4 → 90

Calls

8 calls:

22.0ms	(+.f64 (-.f64 (+.f64 (+.f64 x y) z) (.f64 z (log.f64 t))) (.f64 (-.f64 a 1/2) b))
17.0ms	(-.f64 (+.f64 (+.f64 x y) z) (*.f64 z (log.f64 t)))
12.0ms	(*.f64 (-.f64 a 1/2) b)
8.0ms	(*.f64 z (log.f64 t))
0.0ms	(+.f64 (-.f64 (+.f64 (+.f64 x y) z) (.f64 z (log.f64 t))) (.f64 (-.f64 a 1/2) b))

series2.1s (12.9%)

Counts

4 → 69

Calls

4 calls:

1.2s	(+.f64 (-.f64 (+.f64 (+.f64 x y) z) (.f64 z (log.f64 t))) (.f64 (-.f64 a 1/2) b))
607.0ms	(-.f64 (+.f64 (+.f64 x y) z) (*.f64 z (log.f64 t)))
216.0ms	(*.f64 z (log.f64 t))
123.0ms	(*.f64 (-.f64 a 1/2) b)

Compiler

Compiled 1718 to 1648 computations (4.1% saved)

simplify107.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

159 → 159

Iterations

Useful iterations: 0 (67.0ms)

Iter	Nodes	Cost
0	5219	2736

prune340.0ms (2.1%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	151	8	159
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	152	8	160

Error

0.0b

Counts

160 → 8

Compiler

Compiled 3293 to 1134 computations (65.6% saved)

localize38.0ms (0.2%)

Local error

Found 8 expressions with local error:

0.0b	(*.f64 (-.f64 a 1/2) b)
0.0b	(log.f64 (cbrt.f64 t))
0.0b	(log.f64 (cbrt.f64 t))
0.0b	(+.f64 (-.f64 (+.f64 (+.f64 x y) z) (+.f64 (.f64 z (.f64 2 (log.f64 (cbrt.f64 t)))) (.f64 z (log.f64 (cbrt.f64 t))))) (.f64 (-.f64 a 1/2) b))
0.3b	(*.f64 z (log.f64 (cbrt.f64 t)))
0.3b	(+.f64 (.f64 z (.f64 2 (log.f64 (cbrt.f64 t)))) (*.f64 z (log.f64 (cbrt.f64 t))))
0.5b	(cbrt.f64 t)
0.5b	(cbrt.f64 t)

rewrite62.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

48×	`log-prod_binary64_12478`
36×	`distribute-rgt-in_binary64_12342` `distribute-lft-in_binary64_12341`
30×	`cbrt-prod_binary64_12423`
26×	`add-sqr-sqrt_binary64_12414`
24×	`associate-+l+_binary64_12325` `add-cube-cbrt_binary64_12427` `*-un-lft-identity_binary64_12392`
12×	`associate-+r+_binary64_12324`
7×	`pow1_binary64_12453`
6×	`add-cbrt-cube_binary64_12428` `add-log-exp_binary64_12431` `add-exp-log_binary64_12430`
5×	`associate-r_binary64_12332`
3×	`associate-l_binary64_12333` `pow1/3_binary64_12474`
2×	`log-pow_binary64_12481`
1×	`*-commutative_binary64_12323` `pow-prod-down_binary64_12463` `cbrt-unprod_binary64_12425` `prod-exp_binary64_12441` `+-commutative_binary64_12322` `sum-log_binary64_12483` `distribute-lft-out_binary64_12343` `unswap-sqr_binary64_12360` `flip3-+_binary64_12395` `flip-+_binary64_12366`

Counts

4 → 102

Calls

8 calls:

21.0ms	(+.f64 (.f64 z (.f64 2 (log.f64 (cbrt.f64 t)))) (*.f64 z (log.f64 (cbrt.f64 t))))
11.0ms	(*.f64 z (log.f64 (cbrt.f64 t)))
2.0ms	(cbrt.f64 t)
2.0ms	(cbrt.f64 t)
0.0ms	(+.f64 (-.f64 (+.f64 (+.f64 x y) z) (+.f64 (.f64 z (.f64 2 (log.f64 (cbrt.f64 t)))) (.f64 z (log.f64 (cbrt.f64 t))))) (.f64 (-.f64 a 1/2) b))

series1.2s (7%)

Counts

4 → 18

Calls

4 calls:

475.0ms	(+.f64 (.f64 z (.f64 2 (log.f64 (cbrt.f64 t)))) (*.f64 z (log.f64 (cbrt.f64 t))))
400.0ms	(*.f64 z (log.f64 (cbrt.f64 t)))
141.0ms	(cbrt.f64 t)
135.0ms	(cbrt.f64 t)

Compiler

Compiled 912 to 828 computations (9.2% saved)

simplify146.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

120 → 120

Iterations

Useful iterations: 0 (118.0ms)

Iter	Nodes	Cost
0	5074	1320

prune257.0ms (1.6%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	117	3	120
Fresh	5	2	7
Picked	1	0	1
Done	0	0	0
Total	123	5	128

Error

0.0b

Counts

128 → 5

Compiler

Compiled 3483 to 1472 computations (57.7% saved)

localize41.0ms (0.2%)

Local error

Found 8 expressions with local error:

0.1b	(-.f64 (+.f64 (+.f64 x y) z) (+.f64 (.f64 z (.f64 (log.f64 t) 5/6)) (*.f64 (log.f64 (sqrt.f64 (cbrt.f64 t))) z)))
0.0b	(*.f64 (-.f64 a 1/2) b)
0.0b	(log.f64 (sqrt.f64 (cbrt.f64 t)))
0.0b	(+.f64 (-.f64 (+.f64 (+.f64 x y) z) (+.f64 (.f64 z (.f64 (log.f64 t) 5/6)) (.f64 (log.f64 (sqrt.f64 (cbrt.f64 t))) z))) (.f64 (-.f64 a 1/2) b))
0.3b	(*.f64 (log.f64 (sqrt.f64 (cbrt.f64 t))) z)
0.3b	(.f64 z (.f64 (log.f64 t) 5/6))
0.3b	(*.f64 (log.f64 t) 5/6)
0.5b	(cbrt.f64 t)

rewrite39.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`pow1_binary64_12453`
14×	`associate-l_binary64_12333` `add-sqr-sqrt_binary64_12414`
13×	`add-cbrt-cube_binary64_12428` `add-exp-log_binary64_12430`
10×	`add-cube-cbrt_binary64_12427` `*-un-lft-identity_binary64_12392`
7×	`associate-r_binary64_12332`
5×	`pow-prod-down_binary64_12463` `cbrt-unprod_binary64_12425` `prod-exp_binary64_12441` `log-pow_binary64_12481`
4×	`add-log-exp_binary64_12431`
3×	`*-commutative_binary64_12323` `cbrt-prod_binary64_12423`
2×	`pow1/3_binary64_12474` `unswap-sqr_binary64_12360` `sqrt-pow1_binary64_12410`
1×	`pow1/2_binary64_12472`

Counts

4 → 70

Calls

8 calls:

9.0ms	(.f64 z (.f64 (log.f64 t) 5/6))
9.0ms	(*.f64 (log.f64 (sqrt.f64 (cbrt.f64 t))) z)
8.0ms	(*.f64 (log.f64 t) 5/6)
2.0ms	(cbrt.f64 t)
0.0ms	(+.f64 (-.f64 (+.f64 (+.f64 x y) z) (+.f64 (.f64 z (.f64 (log.f64 t) 5/6)) (.f64 (log.f64 (sqrt.f64 (cbrt.f64 t))) z))) (.f64 (-.f64 a 1/2) b))

series900.0ms (5.4%)

Counts

4 → 18

Calls

4 calls:

441.0ms	(*.f64 (log.f64 (sqrt.f64 (cbrt.f64 t))) z)
246.0ms	(.f64 z (.f64 (log.f64 t) 5/6))
114.0ms	(cbrt.f64 t)
98.0ms	(*.f64 (log.f64 t) 5/6)

Compiler

Compiled 960 to 852 computations (11.3% saved)

simplify90.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

88 → 88

Iterations

Useful iterations: 0 (69.0ms)

Iter	Nodes	Cost
0	4947	822
1	4947	822

prune202.0ms (1.2%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	88	0	88
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	88	5	93

Error

0.0b

Counts

93 → 5

Compiler

Compiled 2583 to 1132 computations (56.2% saved)

localize66.0ms (0.4%)

Local error

Found 8 expressions with local error:

0.0b	(*.f64 (-.f64 a 1/2) b)
0.0b	(log.f64 (cbrt.f64 (*.f64 (cbrt.f64 t) (cbrt.f64 t))))
0.0b	(log.f64 (cbrt.f64 t))
0.0b	(+.f64 (-.f64 (+.f64 (+.f64 x y) z) (+.f64 (.f64 (.f64 (log.f64 (cbrt.f64 (.f64 (cbrt.f64 t) (cbrt.f64 t)))) 2) z) (.f64 z (+.f64 (log.f64 (cbrt.f64 t)) (.f64 2 (log.f64 (cbrt.f64 (cbrt.f64 t)))))))) (.f64 (-.f64 a 1/2) b))
0.5b	(cbrt.f64 t)
0.5b	(cbrt.f64 t)
0.6b	(cbrt.f64 (cbrt.f64 t))
0.6b	(cbrt.f64 (*.f64 (cbrt.f64 t) (cbrt.f64 t)))

rewrite25.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`cbrt-prod_binary64_12423`
8×	`add-cube-cbrt_binary64_12427` `add-sqr-sqrt_binary64_12414` `*-un-lft-identity_binary64_12392`
4×	`pow1/3_binary64_12474` `add-cbrt-cube_binary64_12428` `add-log-exp_binary64_12431` `add-exp-log_binary64_12430` `pow1_binary64_12453`

Counts

4 → 45

Calls

8 calls:

7.0ms	(cbrt.f64 (*.f64 (cbrt.f64 t) (cbrt.f64 t)))
3.0ms	(cbrt.f64 (cbrt.f64 t))
2.0ms	(cbrt.f64 t)
2.0ms	(cbrt.f64 t)
0.0ms	(+.f64 (-.f64 (+.f64 (+.f64 x y) z) (+.f64 (.f64 (.f64 (log.f64 (cbrt.f64 (.f64 (cbrt.f64 t) (cbrt.f64 t)))) 2) z) (.f64 z (+.f64 (log.f64 (cbrt.f64 t)) (.f64 2 (log.f64 (cbrt.f64 (cbrt.f64 t)))))))) (.f64 (-.f64 a 1/2) b))

series608.0ms (3.7%)

Counts

4 → 12

Calls

4 calls:

181.0ms	(cbrt.f64 (*.f64 (cbrt.f64 t) (cbrt.f64 t)))
173.0ms	(cbrt.f64 (cbrt.f64 t))
137.0ms	(cbrt.f64 t)
117.0ms	(cbrt.f64 t)

Compiler

Compiled 918 to 762 computations (17% saved)

simplify60.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

57 → 57

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	5168	402

prune140.0ms (0.9%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	57	0	57
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	57	5	62

Error

0.0b

Counts

62 → 5

Compiler

Compiled 2213 to 961 computations (56.6% saved)

simplify27.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (13.0ms)

Iter	Nodes	Cost
0	848	1155
1	848	1155

regimes1.4s (8.2%)

Accuracy

Total 0.1b remaining (90.6%)

Threshold costs 0.1b (90.6%)

Compiler

Compiled 9141 to 8168 computations (10.6% saved)

bsearch0.0ms (0%)

simplify6.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	65	36
1	65	36

end0.0ms (0%)

sample6.0s (36.6%)

Algorithm

1×

intervals

Results

837.0ms	7994×	body	128	valid
127.0ms	1184×	body	128	invalid
99.0ms	1110×	body	128	nan
2.0ms	4×	body	1024	valid
0.0ms	1×	body	256	valid
0.0ms	1×	body	512	valid

Compiler

Compiled 2293 to 2023 computations (11.8% saved)

Pareto

0.7108363101173755

Details

analyze1.6s (9.7%)

sample50.0ms (0.3%)

simplify918.0ms (5.6%)

prune5.0ms (0%)

localize27.0ms (0.2%)

rewrite74.0ms (0.4%)

series2.1s (12.9%)

simplify107.0ms (0.6%)

prune340.0ms (2.1%)

localize38.0ms (0.2%)

rewrite62.0ms (0.4%)

series1.2s (7%)

simplify146.0ms (0.9%)

prune257.0ms (1.6%)

localize41.0ms (0.2%)

rewrite39.0ms (0.2%)

series900.0ms (5.4%)

simplify90.0ms (0.5%)

prune202.0ms (1.2%)

localize66.0ms (0.4%)

rewrite25.0ms (0.1%)

series608.0ms (3.7%)

simplify60.0ms (0.4%)

prune140.0ms (0.9%)

simplify27.0ms (0.2%)

regimes1.4s (8.2%)

bsearch0.0ms (0%)

simplify6.0ms (0%)

end0.0ms (0%)

sample6.0s (36.6%)

Profiling