Details

analyze46.0ms (1.3%)

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
50%	50%	0.1%	3
50%	50%	0.1%	4
62.4%	37.5%	0.1%	5
62.4%	31.2%	6.3%	6
68.7%	18.7%	12.6%	7
68.7%	15.6%	15.7%	8
71.8%	9.4%	18.8%	9
71.8%	7.8%	20.4%	10
73.4%	4.7%	22%	11
73.4%	3.9%	22.7%	12
74.1%	2.3%	23.5%	13
74.1%	2%	23.9%	14

Compiler

Compiled 7 to 6 computations (14.3% saved)

sample14.0ms (0.4%)

Algorithm

1×

intervals

Results

7.0ms	256×	body	128	valid
0.0ms	5×	body	128	invalid

Compiler

Compiled 13 to 13 computations (0% saved)

simplify277.0ms (8.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (107.0ms)

Iter	Nodes	Cost
0	5228	9

prune2.0ms (0.1%)

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

Counts

2 → 1

Compiler

Compiled 12 to 10 computations (16.7% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(exp.f64 (.f64 (.f64 x y) y))
0.2b	(.f64 (.f64 x y) y)

rewrite11.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

7×	`pow1_binary64_9908` `add-exp-log_binary64_9885` `add-cbrt-cube_binary64_9883`
4×	`add-log-exp_binary64_9886`
3×	`prod-exp_binary64_9896` `add-sqr-sqrt_binary64_9871` `associate-r_binary64_9792` `add-cube-cbrt_binary64_9882` `*-un-lft-identity_binary64_9850` `pow-prod-down_binary64_9918` `cbrt-unprod_binary64_9880`
1×	`rem-exp-log_binary64_9887` `-commutative_binary64_9783` `exp-prod_binary64_9899` `associate-l*_binary64_9793` `exp-to-pow_binary64_9909`

Counts

2 → 28

Calls

2 calls:

6.0ms	(.f64 (.f64 x y) y)
3.0ms	(exp.f64 (.f64 (.f64 x y) y))

series99.0ms (2.9%)

Counts

2 → 6

Calls

2 calls:

52.0ms	(.f64 (.f64 x y) y)
47.0ms	(exp.f64 (.f64 (.f64 x y) y))

simplify92.0ms (2.7%)

Algorithm

1×	egg-herbie

Counts

34 → 34

Iterations

Useful iterations: 0 (82.0ms)

Iter	Nodes	Cost
0	4984	310
1	4984	310

prune23.0ms (0.7%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	33	1	34
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	33	2	35

Merged error: 0.0b

Counts

35 → 2

Compiler

Compiled 315 to 90 computations (71.4% saved)

localize8.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(pow.f64 (exp.f64 (.f64 y (.f64 x y))) 3)
0.0b	(cbrt.f64 (pow.f64 (exp.f64 (.f64 y (.f64 x y))) 3))
0.0b	(exp.f64 (.f64 y (.f64 x y)))
0.2b	(.f64 y (.f64 x y))

rewrite23.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`cbrt-prod_binary64_9878`
11×	`add-sqr-sqrt_binary64_9871` `add-cube-cbrt_binary64_9882` `*-un-lft-identity_binary64_9850`
10×	`pow1_binary64_9908` `add-cbrt-cube_binary64_9883`
9×	`add-exp-log_binary64_9885`
7×	`add-log-exp_binary64_9886`
6×	`unpow-prod-down_binary64_9926` `cube-prod_binary64_9875`
3×	`prod-exp_binary64_9896` `pow-unpow_binary64_9924` `pow-pow_binary64_9919` `associate-l_binary64_9793` `pow-prod-down_binary64_9918` `cbrt-unprod_binary64_9880`
2×	`cube-mult_binary64_9877` `unpow3_binary64_9913` `exp-prod_binary64_9899` `sqr-pow_binary64_9822` `exp-to-pow_binary64_9909`
1×	`pow-exp_binary64_9915` `rem-cbrt-cube_binary64_9873` `rem-exp-log_binary64_9887` `-commutative_binary64_9783` `pow1/3_binary64_9929` `associate-r*_binary64_9792` `pow-to-exp_binary64_9916` `rem-cube-cbrt_binary64_9872`

Counts

4 → 74

Calls

4 calls:

6.0ms	(.f64 y (.f64 x y))
5.0ms	(pow.f64 (exp.f64 (.f64 y (.f64 x y))) 3)
4.0ms	(cbrt.f64 (pow.f64 (exp.f64 (.f64 y (.f64 x y))) 3))
3.0ms	(exp.f64 (.f64 y (.f64 x y)))

series133.0ms (3.9%)

Counts

4 → 12

Calls

4 calls:

58.0ms	(pow.f64 (exp.f64 (.f64 y (.f64 x y))) 3)
30.0ms	(.f64 y (.f64 x y))
23.0ms	(cbrt.f64 (pow.f64 (exp.f64 (.f64 y (.f64 x y))) 3))
21.0ms	(exp.f64 (.f64 y (.f64 x y)))

simplify107.0ms (3.1%)

Algorithm

1×	egg-herbie

Counts

86 → 86

Iterations

Useful iterations: 0 (86.0ms)

Iter	Nodes	Cost
0	5020	983

prune62.0ms (1.8%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	85	1	86
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	85	3	88

Merged error: 0.0b

Counts

88 → 3

Compiler

Compiled 1044 to 392 computations (62.5% saved)

localize15.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.0b	(pow.f64 (exp.f64 (.f64 y (.f64 y x))) (*.f64 (cbrt.f64 3) (cbrt.f64 3)))
0.0b	(exp.f64 (.f64 y (.f64 y x)))
0.0b	(pow.f64 (pow.f64 (exp.f64 (.f64 y (.f64 y x))) (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (cbrt.f64 3))
0.2b	(.f64 y (.f64 y x))

rewrite26.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`unpow-prod-down_binary64_9926`
10×	`pow1_binary64_9908` `add-sqr-sqrt_binary64_9871` `add-exp-log_binary64_9885` `add-cube-cbrt_binary64_9882` `*-un-lft-identity_binary64_9850`
9×	`add-cbrt-cube_binary64_9883`
7×	`pow-unpow_binary64_9924` `add-log-exp_binary64_9886`
5×	`pow-exp_binary64_9915`
4×	`pow-pow_binary64_9919`
3×	`prod-exp_binary64_9896` `cbrt-prod_binary64_9878` `sqr-pow_binary64_9822` `associate-l_binary64_9793` `pow-prod-down_binary64_9918` `pow-to-exp_binary64_9916` `cbrt-unprod_binary64_9880`
2×	`exp-prod_binary64_9899` `exp-to-pow_binary64_9909`
1×	`rem-exp-log_binary64_9887` `-commutative_binary64_9783` `associate-r*_binary64_9792`

Counts

4 → 71

Calls

4 calls:

6.0ms	(.f64 y (.f64 y x))
6.0ms	(pow.f64 (pow.f64 (exp.f64 (.f64 y (.f64 y x))) (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (cbrt.f64 3))
5.0ms	(pow.f64 (exp.f64 (.f64 y (.f64 y x))) (*.f64 (cbrt.f64 3) (cbrt.f64 3)))
3.0ms	(exp.f64 (.f64 y (.f64 y x)))

series443.0ms (12.9%)

Counts

4 → 12

Calls

4 calls:

257.0ms	(pow.f64 (pow.f64 (exp.f64 (.f64 y (.f64 y x))) (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (cbrt.f64 3))
137.0ms	(pow.f64 (exp.f64 (.f64 y (.f64 y x))) (*.f64 (cbrt.f64 3) (cbrt.f64 3)))
29.0ms	(.f64 y (.f64 y x))
20.0ms	(exp.f64 (.f64 y (.f64 y x)))

simplify170.0ms (4.9%)

Algorithm

1×	egg-herbie

Counts

83 → 83

Iterations

Useful iterations: 0 (149.0ms)

Iter	Nodes	Cost
0	4981	1273
1	4981	1273

prune94.0ms (2.7%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	82	1	83
Fresh	0	0	0
Picked	0	1	1
Done	1	1	2
Total	83	3	86

Merged error: 0.0b

Counts

86 → 3

Compiler

Compiled 1534 to 930 computations (39.4% saved)

localize19.0ms (0.5%)

Local error

Found 4 expressions with local error:

0.0b	(exp.f64 (.f64 y (.f64 y x)))
0.0b	(pow.f64 (pow.f64 (exp.f64 (.f64 y (.f64 y x))) (pow.f64 (cbrt.f64 3) 2)) (cbrt.f64 (sqrt.f64 3)))
0.0b	(pow.f64 (pow.f64 (pow.f64 (exp.f64 (.f64 y (.f64 y x))) (pow.f64 (cbrt.f64 3) 2)) (cbrt.f64 (sqrt.f64 3))) (cbrt.f64 (sqrt.f64 3)))
0.2b	(.f64 y (.f64 y x))

rewrite38.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Rules

31×	`unpow-prod-down_binary64_9926`
18×	`pow-unpow_binary64_9924`
16×	`add-sqr-sqrt_binary64_9871` `add-cube-cbrt_binary64_9882` `*-un-lft-identity_binary64_9850`
13×	`pow-exp_binary64_9915`
12×	`add-exp-log_binary64_9885` `cbrt-prod_binary64_9878`
9×	`pow1_binary64_9908` `add-cbrt-cube_binary64_9883`
6×	`sqrt-prod_binary64_9865` `add-log-exp_binary64_9886`
5×	`sqr-pow_binary64_9822` `pow-to-exp_binary64_9916`
3×	`prod-exp_binary64_9896` `associate-l_binary64_9793` `pow-prod-down_binary64_9918` `cbrt-unprod_binary64_9880`
2×	`pow-pow_binary64_9919`
1×	`rem-exp-log_binary64_9887` `-commutative_binary64_9783` `exp-prod_binary64_9899` `associate-r*_binary64_9792` `exp-to-pow_binary64_9909`

Counts

4 → 92

Calls

4 calls:

10.0ms	(pow.f64 (pow.f64 (exp.f64 (.f64 y (.f64 y x))) (pow.f64 (cbrt.f64 3) 2)) (cbrt.f64 (sqrt.f64 3)))
9.0ms	(pow.f64 (pow.f64 (pow.f64 (exp.f64 (.f64 y (.f64 y x))) (pow.f64 (cbrt.f64 3) 2)) (cbrt.f64 (sqrt.f64 3))) (cbrt.f64 (sqrt.f64 3)))
7.0ms	(.f64 y (.f64 y x))
3.0ms	(exp.f64 (.f64 y (.f64 y x)))

series955.0ms (27.7%)

Counts

4 → 12

Calls

4 calls:

562.0ms	(pow.f64 (pow.f64 (pow.f64 (exp.f64 (.f64 y (.f64 y x))) (pow.f64 (cbrt.f64 3) 2)) (cbrt.f64 (sqrt.f64 3))) (cbrt.f64 (sqrt.f64 3)))
342.0ms	(pow.f64 (pow.f64 (exp.f64 (.f64 y (.f64 y x))) (pow.f64 (cbrt.f64 3) 2)) (cbrt.f64 (sqrt.f64 3)))
28.0ms	(.f64 y (.f64 y x))
22.0ms	(exp.f64 (.f64 y (.f64 y x)))

simplify104.0ms (3%)

Algorithm

1×	egg-herbie

Counts

104 → 104

Iterations

Useful iterations: 0 (73.0ms)

Iter	Nodes	Cost
0	5038	2708

prune166.0ms (4.8%)

Pruning

3 alts after pruning (1 fresh and 2 done)

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

Merged error: 0.0b

Counts

107 → 3

Compiler

Compiled 2695 to 1919 computations (28.8% saved)

regimes46.0ms (1.3%)

Compiler: Compiled 194 to 182 computations (6.2% saved)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	8	9

end0.0ms (0%)

sample463.0ms (13.4%)

Algorithm

1×

intervals

Results

217.0ms	8000×	body	128	valid
3.0ms	102×	body	128	invalid

Compiler

Compiled 55 to 52 computations (5.5% saved)

Details

analyze46.0ms (1.3%)

sample14.0ms (0.4%)

simplify277.0ms (8.1%)

prune2.0ms (0.1%)

localize5.0ms (0.1%)

rewrite11.0ms (0.3%)

series99.0ms (2.9%)

simplify92.0ms (2.7%)

prune23.0ms (0.7%)

localize8.0ms (0.2%)

rewrite23.0ms (0.7%)

series133.0ms (3.9%)

simplify107.0ms (3.1%)

prune62.0ms (1.8%)

localize15.0ms (0.4%)

rewrite26.0ms (0.8%)

series443.0ms (12.9%)

simplify170.0ms (4.9%)

prune94.0ms (2.7%)

localize19.0ms (0.5%)

rewrite38.0ms (1.1%)

series955.0ms (27.7%)

simplify104.0ms (3%)

prune166.0ms (4.8%)

regimes46.0ms (1.3%)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample463.0ms (13.4%)

Profiling