Details

analyze310.0ms (12.2%)

Algorithm

1×

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
6.2%	93.6%	0.1%	6
15.6%	84.3%	0.1%	7
29.6%	70.2%	0.1%	8
33.5%	63.2%	3.3%	9
43.3%	49.5%	7.2%	10
52.1%	39.2%	8.7%	11
54.5%	34.2%	11.3%	12
60.6%	25.6%	13.8%	13
65.2%	20.4%	14.4%	14

Compiler

Compiled 10 to 9 computations (10% saved)

sample19.0ms (0.8%)

Algorithm

1×

intervals

Results

10.0ms	256×	body	128	valid
1.0ms	19×	body	128	invalid

Compiler

Compiled 19 to 20 computations (-5.3% saved)

simplify178.0ms (7%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (15.0ms)

Iter	Nodes	Cost
0	274	10
1	274	10

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

Merged error: 0.0b

Counts

2 → 2

Compiler

Compiled 23 to 20 computations (13% saved)

localize6.0ms (0.3%)

Local error

Found 2 expressions with local error:

0.0b	(*.f64 (-.f64 1 x) z)
0.0b	(+.f64 (.f64 x y) (.f64 (-.f64 1 x) z))

rewrite18.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

9×	`add-sqr-sqrt_binary64_6838`
7×	`*-un-lft-identity_binary64_6817`
6×	`associate-l_binary64_6760`
4×	`pow1_binary64_6875` `add-exp-log_binary64_6852` `add-cbrt-cube_binary64_6850` `add-log-exp_binary64_6853` `add-cube-cbrt_binary64_6849`
3×	`associate-r_binary64_6759`
2×	`difference-of-squares_binary64_6786` `associate-*l/_binary64_6762`
1×	`pow-prod-down_binary64_6885` `cbrt-unprod_binary64_6847` `distribute-lft-out--_binary64_6771` `+-commutative_binary64_6749` `flip3-+_binary64_6820` `flip3--_binary64_6821` `unswap-sqr_binary64_6785` `flip-+_binary64_6791` `sum-log_binary64_6905` `prod-exp_binary64_6863` `flip--_binary64_6792` `*-commutative_binary64_6750`

Counts

2 → 34

Calls

2 calls:

8.0ms	(+.f64 (.f64 x y) (.f64 (-.f64 1 x) z))
8.0ms	(*.f64 (-.f64 1 x) z)

series92.0ms (3.6%)

Counts

2 → 6

Calls

2 calls:

53.0ms	(+.f64 (.f64 x y) (.f64 (-.f64 1 x) z))
38.0ms	(*.f64 (-.f64 1 x) z)

simplify87.0ms (3.5%)

Algorithm

1×	egg-herbie

Counts

40 → 40

Iterations

Useful iterations: 0 (77.0ms)

Iter	Nodes	Cost
0	4961	472
1	4961	472

prune33.0ms (1.3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	38	2	40
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	38	4	42

Merged error: 0b

Counts

42 → 4

Compiler

Compiled 598 to 292 computations (51.2% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

rewrite13.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

8×	`add-sqr-sqrt_binary64_6838`
6×	`*-un-lft-identity_binary64_6817`
5×	`associate-r_binary64_6759`
4×	`pow1_binary64_6875` `add-exp-log_binary64_6852` `sub-neg_binary64_6810` `add-cbrt-cube_binary64_6850` `add-log-exp_binary64_6853` `add-cube-cbrt_binary64_6849`
3×	`associate-l_binary64_6760`
2×	`associate-+r+_binary64_6751` `distribute-lft-in_binary64_6768` `distribute-rgt-in_binary64_6769` `associate-*r/_binary64_6761`
1×	`pow-prod-down_binary64_6885` `difference-of-squares_binary64_6786` `cbrt-unprod_binary64_6847` `distribute-lft-out--_binary64_6771` `+-commutative_binary64_6749` `flip3-+_binary64_6820` `flip3--_binary64_6821` `unswap-sqr_binary64_6785` `flip-+_binary64_6791` `sum-log_binary64_6905` `prod-exp_binary64_6863` `flip--_binary64_6792` `*-commutative_binary64_6750`

Counts

2 → 37

Calls

2 calls:

7.0ms	(*.f64 x (-.f64 y z))
4.0ms	(+.f64 z (*.f64 x (-.f64 y z)))

series128.0ms (5%)

Counts

2 → 6

Calls

2 calls:

70.0ms	(*.f64 x (-.f64 y z))
57.0ms	(+.f64 z (*.f64 x (-.f64 y z)))

simplify56.0ms (2.2%)

Algorithm

1×	egg-herbie

Counts

43 → 43

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	5240	482

prune26.0ms (1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	42	1	43
Fresh	1	1	2
Picked	1	0	1
Done	0	1	1
Total	44	3	47

Merged error: 0b

Counts

47 → 3

Compiler

Compiled 527 to 144 computations (72.7% saved)

localize7.0ms (0.3%)

Local error

Found 3 expressions with local error:

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

rewrite29.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`add-sqr-sqrt_binary64_6838`
11×	`associate-l_binary64_6760`
10×	`pow1_binary64_6875` `add-exp-log_binary64_6852` `*-un-lft-identity_binary64_6817` `add-cbrt-cube_binary64_6850`
8×	`add-cube-cbrt_binary64_6849`
7×	`associate-r_binary64_6759` `sqrt-prod_binary64_6832`
5×	`add-log-exp_binary64_6853`
4×	`pow-prod-down_binary64_6885` `cbrt-unprod_binary64_6847` `associate-*l/_binary64_6762` `prod-exp_binary64_6863`
2×	`flip3--_binary64_6821` `unswap-sqr_binary64_6785` `flip--_binary64_6792` `associate-r/_binary64_6761` `-commutative_binary64_6750`
1×	`difference-of-squares_binary64_6786` `distribute-lft-out--_binary64_6771` `+-commutative_binary64_6749` `flip3-+_binary64_6820` `flip-+_binary64_6791` `sum-log_binary64_6905`

Counts

3 → 60

Calls

3 calls:

11.0ms	(.f64 (sqrt.f64 x) (.f64 (-.f64 y z) (sqrt.f64 x)))
8.0ms	(*.f64 (-.f64 y z) (sqrt.f64 x))
4.0ms	(+.f64 z (.f64 (sqrt.f64 x) (.f64 (-.f64 y z) (sqrt.f64 x))))

series268.0ms (10.6%)

Counts

3 → 9

Calls

3 calls:

98.0ms	(+.f64 z (.f64 (sqrt.f64 x) (.f64 (-.f64 y z) (sqrt.f64 x))))
90.0ms	(*.f64 (-.f64 y z) (sqrt.f64 x))
80.0ms	(.f64 (sqrt.f64 x) (.f64 (-.f64 y z) (sqrt.f64 x)))

simplify62.0ms (2.5%)

Algorithm

1×	egg-herbie

Counts

69 → 69

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	4975	875
1	4975	875

prune43.0ms (1.7%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	69	0	69
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	69	3	72

Merged error: 0b

Counts

72 → 3

Compiler

Compiled 1013 to 271 computations (73.2% saved)

localize9.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.0b	(*.f64 x (-.f64 y z))
0.0b	(+.f64 z (*.f64 x (-.f64 y z)))
0.2b	(pow.f64 (+.f64 z (*.f64 x (-.f64 y z))) 3)
37.4b	(cbrt.f64 (pow.f64 (+.f64 z (*.f64 x (-.f64 y z))) 3))

rewrite29.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`add-sqr-sqrt_binary64_6838`
14×	`*-un-lft-identity_binary64_6817`
12×	`cbrt-prod_binary64_6845` `add-cube-cbrt_binary64_6849`
7×	`pow1_binary64_6875` `add-exp-log_binary64_6852` `add-cbrt-cube_binary64_6850`
6×	`cube-prod_binary64_6842` `add-log-exp_binary64_6853` `unpow-prod-down_binary64_6893`
5×	`associate-r_binary64_6759`
4×	`cube-div_binary64_6843` `sub-neg_binary64_6810`
3×	`flip3-+_binary64_6820` `pow-unpow_binary64_6891` `flip-+_binary64_6791` `associate-l_binary64_6760`
2×	`cbrt-div_binary64_6846` `associate-+r+_binary64_6751` `distribute-lft-in_binary64_6768` `distribute-rgt-in_binary64_6769` `sqr-pow_binary64_6789` `unpow3_binary64_6880` `cube-mult_binary64_6844` `associate-*r/_binary64_6761`
1×	`pow-prod-down_binary64_6885` `pow-exp_binary64_6882` `difference-of-squares_binary64_6786` `cbrt-unprod_binary64_6847` `pow-to-exp_binary64_6883` `distribute-lft-out--_binary64_6771` `+-commutative_binary64_6749` `pow1/3_binary64_6896` `flip3--_binary64_6821` `unswap-sqr_binary64_6785` `sum-log_binary64_6905` `pow-pow_binary64_6886` `prod-exp_binary64_6863` `rem-cube-cbrt_binary64_6839` `rem-cbrt-cube_binary64_6840` `flip--_binary64_6792` `*-commutative_binary64_6750`

Counts

4 → 85

Calls

4 calls:

7.0ms	(*.f64 x (-.f64 y z))
4.0ms	(cbrt.f64 (pow.f64 (+.f64 z (*.f64 x (-.f64 y z))) 3))
4.0ms	(pow.f64 (+.f64 z (*.f64 x (-.f64 y z))) 3)
4.0ms	(+.f64 z (*.f64 x (-.f64 y z)))

series381.0ms (15%)

Counts

4 → 12

Calls

4 calls:

208.0ms	(pow.f64 (+.f64 z (*.f64 x (-.f64 y z))) 3)
63.0ms	(*.f64 x (-.f64 y z))
59.0ms	(cbrt.f64 (pow.f64 (+.f64 z (*.f64 x (-.f64 y z))) 3))
50.0ms	(+.f64 z (*.f64 x (-.f64 y z)))

simplify64.0ms (2.5%)

Algorithm

1×	egg-herbie

Counts

97 → 97

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	5041	1470

prune68.0ms (2.7%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	97	0	97
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	97	3	100

Merged error: 0b

Counts

100 → 3

Compiler

Compiled 1488 to 488 computations (67.2% saved)

regimes43.0ms (1.7%)

Compiler: Compiled 144 to 134 computations (6.9% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	22	13
1	22	13

end0.0ms (0%)

sample549.0ms (21.7%)

Algorithm

1×

intervals

Results

251.0ms	8000×	body	128	valid
21.0ms	704×	body	128	invalid

Compiler

Compiled 49 to 45 computations (8.2% saved)

Details

analyze310.0ms (12.2%)

sample19.0ms (0.8%)

simplify178.0ms (7%)

prune4.0ms (0.1%)

localize6.0ms (0.3%)

rewrite18.0ms (0.7%)

series92.0ms (3.6%)

simplify87.0ms (3.5%)

prune33.0ms (1.3%)

localize5.0ms (0.2%)

rewrite13.0ms (0.5%)

series128.0ms (5%)

simplify56.0ms (2.2%)

prune26.0ms (1%)

localize7.0ms (0.3%)

rewrite29.0ms (1.1%)

series268.0ms (10.6%)

simplify62.0ms (2.5%)

prune43.0ms (1.7%)

localize9.0ms (0.3%)

rewrite29.0ms (1.1%)

series381.0ms (15%)

simplify64.0ms (2.5%)

prune68.0ms (2.7%)

regimes43.0ms (1.7%)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

end0.0ms (0%)

sample549.0ms (21.7%)

Profiling