Details

analyze706.0ms (9.7%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	107	52
1	107	52
0	3	3
1	3	3

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
12.5%	87.4%	0.1%	7
25%	74.9%	0.1%	8
31.2%	64%	4.8%	9
31.2%	42.1%	26.7%	10
35.9%	37.1%	27.1%	11
38.2%	32.2%	29.6%	12
47.8%	21.6%	30.6%	13
50.2%	19%	30.8%	14

Compiler

Compiled 16 to 9 computations (43.8% saved)

sample42.0ms (0.6%)

Algorithm

1×

intervals

Results

19.0ms	256×	body	128	valid
1.0ms	13×	body	128	invalid

Compiler

Compiled 31 to 20 computations (35.5% saved)

simplify15.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (4.0ms)

Iter	Nodes	Cost
0	41	13
1	41	13

prune7.0ms (0.1%)

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.0b

Counts

2 → 2

Compiler

Compiled 33 to 24 computations (27.3% saved)

localize13.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 (.f64 x y) (.f64 z (*.f64 z 3)))
0.2b	(.f64 z (.f64 z 3))

rewrite19.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

7×	`add-cbrt-cube_binary64_14095` `pow1_binary64_14120` `add-exp-log_binary64_14097`
4×	`add-log-exp_binary64_14098`
3×	`add-cube-cbrt_binary64_14094` `prod-exp_binary64_14108` `-un-lft-identity_binary64_14059` `cbrt-unprod_binary64_14092` `pow-prod-down_binary64_14130` `add-sqr-sqrt_binary64_14081` `associate-l*_binary64_14000`
1×	`sum-log_binary64_14150` `associate-r_binary64_13999` `flip-+_binary64_14033` `*-commutative_binary64_13990` `+-commutative_binary64_13989` `flip3-+_binary64_14062`

Counts

2 → 29

Calls

2 calls:

9.0ms	(.f64 z (.f64 z 3))
7.0ms	(+.f64 (.f64 x y) (.f64 z (*.f64 z 3)))

series309.0ms (4.2%)

Counts

2 → 21

Calls

2 calls:

265.0ms	(+.f64 (.f64 x y) (.f64 z (*.f64 z 3)))
44.0ms	(.f64 z (.f64 z 3))

Compiler

Compiled 251 to 264 computations (-5.2% saved)

simplify188.0ms (2.6%)

Algorithm

1×	egg-herbie

Counts

50 → 50

Iterations

Useful iterations: 0 (167.0ms)

Iter	Nodes	Cost
0	4926	545
1	4926	545

prune83.0ms (1.1%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	46	4	50
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	46	6	52

Error

0.0b

Counts

52 → 6

Compiler

Compiled 622 to 339 computations (45.5% saved)

localize16.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 (.f64 x y) (.f64 z z))
0.0b	(+.f64 (+.f64 (.f64 x y) (.f64 z z)) (*.f64 z z))
0.1b	(+.f64 (+.f64 (+.f64 (.f64 x y) (.f64 z z)) (.f64 z z)) (.f64 z z))

rewrite47.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`add-log-exp_binary64_14098`
10×	`sum-log_binary64_14150`
3×	`add-cbrt-cube_binary64_14095` `flip-+_binary64_14033` `add-cube-cbrt_binary64_14094` `*-un-lft-identity_binary64_14059` `pow1_binary64_14120` `+-commutative_binary64_13989` `add-sqr-sqrt_binary64_14081` `flip3-+_binary64_14062` `add-exp-log_binary64_14097`
2×	`associate-+l+_binary64_13992`

Counts

3 → 38

Calls

3 calls:

18.0ms	(+.f64 (+.f64 (+.f64 (.f64 x y) (.f64 z z)) (.f64 z z)) (.f64 z z))
13.0ms	(+.f64 (+.f64 (.f64 x y) (.f64 z z)) (*.f64 z z))
7.0ms	(+.f64 (.f64 x y) (.f64 z z))

series752.0ms (10.3%)

Counts

3 → 54

Calls

3 calls:

285.0ms	(+.f64 (+.f64 (.f64 x y) (.f64 z z)) (*.f64 z z))
267.0ms	(+.f64 (+.f64 (+.f64 (.f64 x y) (.f64 z z)) (.f64 z z)) (.f64 z z))
199.0ms	(+.f64 (.f64 x y) (.f64 z z))

Compiler

Compiled 871 to 721 computations (17.2% saved)

simplify163.0ms (2.2%)

Algorithm

1×	egg-herbie

Counts

92 → 92

Iterations

Useful iterations: 0 (133.0ms)

Iter	Nodes	Cost
0	4868	1115
1	4868	1115

prune106.0ms (1.4%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	91	1	92
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	91	7	98

Error

0.0b

Counts

98 → 7

Compiler

Compiled 1354 to 277 computations (79.5% saved)

localize19.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (.f64 x y) (exp.f64 (log.f64 (.f64 z (*.f64 z 3)))))
0.2b	(.f64 z (.f64 z 3))
4.0b	(exp.f64 (log.f64 (.f64 z (.f64 z 3))))
18.8b	(log.f64 (.f64 z (.f64 z 3)))

rewrite49.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

21×	`pow1_binary64_14120`
15×	`add-exp-log_binary64_14097`
9×	`add-cbrt-cube_binary64_14095` `pow-prod-down_binary64_14130`
6×	`add-log-exp_binary64_14098` `add-cube-cbrt_binary64_14094` `prod-exp_binary64_14108` `*-un-lft-identity_binary64_14059` `log-pow_binary64_14148` `exp-prod_binary64_14111` `add-sqr-sqrt_binary64_14081`
3×	`cbrt-unprod_binary64_14092` `rem-log-exp_binary64_14100` `associate-l_binary64_14000`
2×	`log-prod_binary64_14145`
1×	`sum-log_binary64_14150` `associate-r_binary64_13999` `flip-+_binary64_14033` `*-commutative_binary64_13990` `exp-sum_binary64_14105` `+-commutative_binary64_13989` `rem-exp-log_binary64_14099` `flip3-+_binary64_14062`

Counts

4 → 58

Calls

4 calls:

15.0ms	(+.f64 (.f64 x y) (exp.f64 (log.f64 (.f64 z (*.f64 z 3)))))
10.0ms	(.f64 z (.f64 z 3))
9.0ms	(exp.f64 (log.f64 (.f64 z (.f64 z 3))))
8.0ms	(log.f64 (.f64 z (.f64 z 3)))

series795.0ms (10.9%)

Counts

4 → 24

Calls

4 calls:

502.0ms	(+.f64 (.f64 x y) (exp.f64 (log.f64 (.f64 z (*.f64 z 3)))))
131.0ms	(exp.f64 (log.f64 (.f64 z (.f64 z 3))))
119.0ms	(log.f64 (.f64 z (.f64 z 3)))
43.0ms	(.f64 z (.f64 z 3))

Compiler

Compiled 464 to 472 computations (-1.7% saved)

simplify189.0ms (2.6%)

Algorithm

1×	egg-herbie

Counts

82 → 82

Iterations

Useful iterations: 0 (162.0ms)

Iter	Nodes	Cost
0	4923	822
1	4923	822

prune113.0ms (1.5%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	82	0	82
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	82	7	89

Error

0.0b

Counts

89 → 7

Compiler

Compiled 1120 to 647 computations (42.2% saved)

localize18.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 z (.f64 z 3))
0.3b	(.f64 (sqrt.f64 (+.f64 (.f64 z (.f64 z 3)) (.f64 x y))) (sqrt.f64 (+.f64 (.f64 z (.f64 z 3)) (*.f64 x y))))
1.7b	(sqrt.f64 (+.f64 (.f64 z (.f64 z 3)) (*.f64 x y)))
1.7b	(sqrt.f64 (+.f64 (.f64 z (.f64 z 3)) (*.f64 x y)))

rewrite84.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Rules

31×	`add-sqr-sqrt_binary64_14081`
26×	`pow1_binary64_14120`
24×	`sqrt-prod_binary64_14075`
16×	`sqrt-div_binary64_14076`
15×	`add-cube-cbrt_binary64_14094` `*-un-lft-identity_binary64_14059`
11×	`add-cbrt-cube_binary64_14095` `add-exp-log_binary64_14097`
10×	`pow1/2_binary64_14139` `sqrt-pow1_binary64_14077`
9×	`associate-l_binary64_14000`
8×	`swap-sqr_binary64_14026` `flip-+_binary64_14033` `flip3-+_binary64_14062`
7×	`associate-r_binary64_13999`
6×	`pow-prod-down_binary64_14130`
5×	`pow-prod-up_binary64_14129`
4×	`frac-times_binary64_14069` `add-log-exp_binary64_14098` `rem-sqrt-square_binary64_14072` `prod-exp_binary64_14108` `cbrt-unprod_binary64_14092` `unswap-sqr_binary64_14027`
3×	`pow-sqr_binary64_14032`
2×	`associate-l/_binary64_14002` `-commutative_binary64_13990` `associate-*r/_binary64_14001`
1×	`pow2_binary64_14140` `pow-plus_binary64_14122` `sqrt-unprod_binary64_14079` `sqr-abs_binary64_14074` `rem-square-sqrt_binary64_14071`

Counts

4 → 106

Calls

4 calls:

33.0ms	(.f64 (sqrt.f64 (+.f64 (.f64 z (.f64 z 3)) (.f64 x y))) (sqrt.f64 (+.f64 (.f64 z (.f64 z 3)) (*.f64 x y))))
10.0ms	(sqrt.f64 (+.f64 (.f64 z (.f64 z 3)) (*.f64 x y)))
10.0ms	(sqrt.f64 (+.f64 (.f64 z (.f64 z 3)) (*.f64 x y)))
10.0ms	(.f64 z (.f64 z 3))

series915.0ms (12.5%)

Counts

4 → 59

Calls

4 calls:

320.0ms	(sqrt.f64 (+.f64 (.f64 z (.f64 z 3)) (*.f64 x y)))
293.0ms	(sqrt.f64 (+.f64 (.f64 z (.f64 z 3)) (*.f64 x y)))
256.0ms	(.f64 (sqrt.f64 (+.f64 (.f64 z (.f64 z 3)) (.f64 x y))) (sqrt.f64 (+.f64 (.f64 z (.f64 z 3)) (*.f64 x y))))
45.0ms	(.f64 z (.f64 z 3))

Compiler

Compiled 2089 to 1714 computations (18% saved)

simplify148.0ms (2%)

Algorithm

1×	egg-herbie

Counts

165 → 165

Iterations

Useful iterations: 0 (81.0ms)

Iter	Nodes	Cost
0	4968	3072
1	4968	3072

prune316.0ms (4.3%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	164	1	165
Fresh	1	2	3
Picked	1	0	1
Done	0	3	3
Total	166	6	172

Error

Counts

172 → 6

Compiler

Compiled 3761 to 2113 computations (43.8% saved)

regimes372.0ms (5.1%)

Accuracy

Total 0.1b remaining (89.6%)

Threshold costs 0.1b (89.6%)

Compiler

Compiled 1603 to 1276 computations (20.4% saved)

bsearch0.0ms (0%)

simplify15.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	13	13
1	13	13

Compiler

Compiled 18 to 16 computations (11.1% saved)

end0.0ms (0%)

sample1.8s (24.7%)

Algorithm

1×

intervals

Results

502.0ms	8000×	body	128	valid
27.0ms	480×	body	128	invalid

Compiler

Compiled 284 to 225 computations (20.8% saved)

Details

analyze706.0ms (9.7%)

sample42.0ms (0.6%)

simplify15.0ms (0.2%)

prune7.0ms (0.1%)

localize13.0ms (0.2%)

rewrite19.0ms (0.3%)

series309.0ms (4.2%)

simplify188.0ms (2.6%)

prune83.0ms (1.1%)

localize16.0ms (0.2%)

rewrite47.0ms (0.6%)

series752.0ms (10.3%)

simplify163.0ms (2.2%)

prune106.0ms (1.4%)

localize19.0ms (0.3%)

rewrite49.0ms (0.7%)

series795.0ms (10.9%)

simplify189.0ms (2.6%)

prune113.0ms (1.5%)

localize18.0ms (0.2%)

rewrite84.0ms (1.2%)

series915.0ms (12.5%)

simplify148.0ms (2%)

prune316.0ms (4.3%)

regimes372.0ms (5.1%)

bsearch0.0ms (0%)

simplify15.0ms (0.2%)

end0.0ms (0%)

sample1.8s (24.7%)

Profiling