Details

analyze4.0ms (0.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
25%	50%	25%	3
37.5%	25%	37.5%	4
43.7%	12.5%	43.8%	5
46.9%	6.2%	46.9%	6
48.4%	3.1%	48.5%	7
49.2%	1.6%	49.2%	8
49.6%	0.8%	49.6%	9
49.6%	0.4%	50%	10
49.7%	0.2%	50.1%	11
49.7%	0.1%	50.2%	12
49.7%	0%	50.2%	13
49.7%	0%	50.2%	14

Compiler

Compiled 5 to 4 computations (20% saved)

sample13.0ms (0.4%)

Algorithm

1×

intervals

Results

7.0ms

256×

body

128

valid

Compiler

Compiled 9 to 8 computations (11.1% saved)

simplify97.0ms (3.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	5	6
1	5	6

prune2.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.3b

Counts

2 → 1

Compiler

Compiled 8 to 6 computations (25% saved)

localize4.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.3b	(*.f64 x (log.f64 x))
0.3b	(*.f64 x (log.f64 x))

rewrite7.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

7×	`add-sqr-sqrt_binary64_441`
6×	`log-prod_binary64_505`
5×	`*-un-lft-identity_binary64_419` `add-cube-cbrt_binary64_454`
4×	`associate-r_binary64_359` `pow1_binary64_480`
3×	`distribute-rgt-in_binary64_369` `distribute-lft-in_binary64_368` `associate-l_binary64_360` `add-cbrt-cube_binary64_455` `add-exp-log_binary64_457`
1×	`pow-prod-down_binary64_490` `add-log-exp_binary64_458` `unswap-sqr_binary64_387` `prod-exp_binary64_468` `cbrt-unprod_binary64_452` `log-pow_binary64_508` `*-commutative_binary64_350`

Counts

1 → 25

Calls

2 calls:

5.0ms	(*.f64 x (log.f64 x))
0.0ms	(*.f64 x (log.f64 x))

series72.0ms (2.3%)

Counts

1 → 3

Calls

1 calls:

72.0ms

(*.f64 x (log.f64 x))

Compiler

Compiled 42 to 36 computations (14.3% saved)

simplify76.0ms (2.4%)

Algorithm

1×	egg-herbie

Counts

28 → 28

Iterations

Useful iterations: 0 (67.0ms)

Iter	Nodes	Cost
0	4864	265
1	4864	265

prune32.0ms (1%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	19	9	28
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	19	10	29

Error

0.0b

Counts

29 → 10

Compiler

Compiled 328 to 117 computations (64.3% saved)

localize9.0ms (0.3%)

Local error

Found 8 expressions with local error:

0.3b	(*.f64 x (log.f64 (cbrt.f64 x)))
0.3b	(.f64 x (.f64 (log.f64 (cbrt.f64 x)) 2))
0.0b	(log.f64 (cbrt.f64 x))
0.0b	(log.f64 (cbrt.f64 x))
0.3b	(.f64 x (.f64 (log.f64 (cbrt.f64 x)) 2))
0.4b	(+.f64 (.f64 x (.f64 (log.f64 (cbrt.f64 x)) 2)) (*.f64 x (log.f64 (cbrt.f64 x))))
0.6b	(cbrt.f64 x)
0.6b	(cbrt.f64 x)

rewrite23.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`associate-+r+_binary64_351` `log-prod_binary64_505` `cbrt-prod_binary64_450`
11×	`*-un-lft-identity_binary64_419` `add-cube-cbrt_binary64_454` `add-sqr-sqrt_binary64_441`
9×	`add-cbrt-cube_binary64_455` `add-exp-log_binary64_457` `pow1_binary64_480`
6×	`add-log-exp_binary64_458` `distribute-rgt-in_binary64_369` `distribute-lft-in_binary64_368`
3×	`pow-prod-down_binary64_490` `prod-exp_binary64_468` `cbrt-unprod_binary64_452` `associate-l_binary64_360`
2×	`pow1/3_binary64_501`
1×	`flip3-+_binary64_422` `associate-r_binary64_359` `sum-log_binary64_510` `distribute-lft-out_binary64_370` `*-commutative_binary64_350` `flip-+_binary64_393` `+-commutative_binary64_349`

Counts

4 → 64

Calls

8 calls:

9.0ms	(+.f64 (.f64 x (.f64 (log.f64 (cbrt.f64 x)) 2)) (*.f64 x (log.f64 (cbrt.f64 x))))
6.0ms	(.f64 x (.f64 (log.f64 (cbrt.f64 x)) 2))
1.0ms	(cbrt.f64 x)
1.0ms	(cbrt.f64 x)
0.0ms	(log.f64 (cbrt.f64 x))

series496.0ms (15.8%)

Counts

4 → 12

Calls

4 calls:

178.0ms	(.f64 x (.f64 (log.f64 (cbrt.f64 x)) 2))
170.0ms	(+.f64 (.f64 x (.f64 (log.f64 (cbrt.f64 x)) 2)) (*.f64 x (log.f64 (cbrt.f64 x))))
77.0ms	(cbrt.f64 x)
71.0ms	(cbrt.f64 x)

Compiler

Compiled 348 to 288 computations (17.2% saved)

simplify78.0ms (2.5%)

Algorithm

1×	egg-herbie

Counts

76 → 76

Iterations

Useful iterations: 0 (63.0ms)

Iter	Nodes	Cost
0	4912	752
1	4912	752

prune83.0ms (2.6%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	71	5	76
Fresh	6	2	8
Picked	0	1	1
Done	0	1	1
Total	77	9	86

Error

0.0b

Counts

86 → 9

Compiler

Compiled 1234 to 525 computations (57.5% saved)

localize15.0ms (0.5%)

Local error

Found 8 expressions with local error:

0.1b	(+.f64 (log.f64 (cbrt.f64 x)) (log.f64 (cbrt.f64 (cbrt.f64 x))))
0.0b	(log.f64 (cbrt.f64 (cbrt.f64 x)))
0.0b	(log.f64 (cbrt.f64 (cbrt.f64 x)))
0.0b	(log.f64 (cbrt.f64 x))
0.5b	(cbrt.f64 (cbrt.f64 x))
0.6b	(cbrt.f64 x)
0.6b	(cbrt.f64 x)
0.6b	(cbrt.f64 x)

rewrite9.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`cbrt-prod_binary64_450`
9×	`*-un-lft-identity_binary64_419` `add-cube-cbrt_binary64_454` `add-sqr-sqrt_binary64_441`
4×	`pow1/3_binary64_501` `add-log-exp_binary64_458` `add-cbrt-cube_binary64_455` `add-exp-log_binary64_457` `pow1_binary64_480`

Counts

4 → 47

Calls

8 calls:

2.0ms	(cbrt.f64 (cbrt.f64 x))
1.0ms	(cbrt.f64 x)
1.0ms	(cbrt.f64 x)
1.0ms	(cbrt.f64 x)
0.0ms	(log.f64 (cbrt.f64 (cbrt.f64 x)))

series314.0ms (10%)

Counts

4 → 12

Calls

4 calls:

94.0ms	(cbrt.f64 (cbrt.f64 x))
76.0ms	(cbrt.f64 x)
73.0ms	(cbrt.f64 x)
71.0ms	(cbrt.f64 x)

Compiler

Compiled 518 to 386 computations (25.5% saved)

simplify79.0ms (2.5%)

Algorithm

1×	egg-herbie

Counts

59 → 59

Iterations

Useful iterations: 0 (68.0ms)

Iter	Nodes	Cost
0	4718	376
1	4718	376

prune63.0ms (2%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	59	0	59
Fresh	0	6	6
Picked	0	1	1
Done	0	2	2
Total	59	9	68

Error

0.0b

Counts

68 → 9

Compiler

Compiled 1384 to 530 computations (61.7% saved)

localize14.0ms (0.5%)

Local error

Found 8 expressions with local error:

0.3b	(.f64 x (.f64 (log.f64 (pow.f64 x 1/3)) 2))
0.3b	(*.f64 x (log.f64 (cbrt.f64 x)))
0.0b	(log.f64 (cbrt.f64 x))
0.0b	(log.f64 (pow.f64 x 1/3))
0.3b	(*.f64 x (log.f64 (cbrt.f64 x)))
0.4b	(+.f64 (.f64 x (.f64 (log.f64 (pow.f64 x 1/3)) 2)) (*.f64 x (log.f64 (cbrt.f64 x))))
0.6b	(cbrt.f64 x)
5.0b	(pow.f64 x 1/3)

rewrite29.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`log-prod_binary64_505`
19×	`add-sqr-sqrt_binary64_441`
17×	`*-un-lft-identity_binary64_419` `add-cube-cbrt_binary64_454`
15×	`cbrt-prod_binary64_450`
12×	`associate-+r+_binary64_351` `distribute-rgt-in_binary64_369` `distribute-lft-in_binary64_368`
8×	`pow1_binary64_480`
7×	`add-exp-log_binary64_457`
6×	`add-log-exp_binary64_458` `add-cbrt-cube_binary64_455`
5×	`associate-r_binary64_359`
3×	`unpow-prod-down_binary64_498` `associate-l_binary64_360` `pow-unpow_binary64_496`
2×	`pow1/3_binary64_501` `log-pow_binary64_508`
1×	`flip3-+_binary64_422` `pow-prod-down_binary64_490` `unpow1/3_binary64_486` `unswap-sqr_binary64_387` `prod-exp_binary64_468` `cbrt-unprod_binary64_452` `pow-exp_binary64_487` `sqr-pow_binary64_391` `sum-log_binary64_510` `distribute-lft-out_binary64_370` `pow-to-exp_binary64_488` `*-commutative_binary64_350` `flip-+_binary64_393` `pow-pow_binary64_491` `+-commutative_binary64_349`

Counts

4 → 85

Calls

8 calls:

9.0ms	(+.f64 (.f64 x (.f64 (log.f64 (pow.f64 x 1/3)) 2)) (*.f64 x (log.f64 (cbrt.f64 x))))
7.0ms	(*.f64 x (log.f64 (cbrt.f64 x)))
3.0ms	(pow.f64 x 1/3)
1.0ms	(cbrt.f64 x)
0.0ms	(log.f64 (pow.f64 x 1/3))

series528.0ms (16.8%)

Counts

4 → 12

Calls

4 calls:

240.0ms	(+.f64 (.f64 x (.f64 (log.f64 (pow.f64 x 1/3)) 2)) (*.f64 x (log.f64 (cbrt.f64 x))))
157.0ms	(*.f64 x (log.f64 (cbrt.f64 x)))
66.0ms	(cbrt.f64 x)
64.0ms	(pow.f64 x 1/3)

Compiler

Compiled 388 to 326 computations (16% saved)

simplify86.0ms (2.7%)

Algorithm

1×	egg-herbie

Counts

97 → 97

Iterations

Useful iterations: 0 (68.0ms)

Iter	Nodes	Cost
0	4939	971
1	4939	971

prune84.0ms (2.7%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	95	2	97
Fresh	1	4	5
Picked	1	0	1
Done	0	3	3
Total	97	9	106

Error

Counts

106 → 9

Compiler

Compiled 1583 to 747 computations (52.8% saved)

simplify11.0ms (0.4%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	173	624
1	173	624

regimes97.0ms (3.1%)

Compiler: Compiled 782 to 524 computations (33% saved)

bsearch0.0ms (0%)

regimes9.0ms (0.3%)

Accuracy

Total 0.3b remaining (98.9%)

Threshold costs 0.3b (98.9%)

Compiler

Compiled 5 to 8 computations (-60% saved)

bsearch1.0ms (0%)

Compiler: Compiled 5 to 5 computations (0% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	7
1	7	7

end0.0ms (0%)

sample799.0ms (25.5%)

Algorithm

1×

intervals

Results

230.0ms	8000×	body	128	valid
0.0ms	1×	body	128	invalid

Compiler

Compiled 396 to 268 computations (32.3% saved)

Pareto

0.0

Details

analyze4.0ms (0.1%)

sample13.0ms (0.4%)

simplify97.0ms (3.1%)

prune2.0ms (0.1%)

localize4.0ms (0.1%)

rewrite7.0ms (0.2%)

series72.0ms (2.3%)

simplify76.0ms (2.4%)

prune32.0ms (1%)

localize9.0ms (0.3%)

rewrite23.0ms (0.7%)

series496.0ms (15.8%)

simplify78.0ms (2.5%)

prune83.0ms (2.6%)

localize15.0ms (0.5%)

rewrite9.0ms (0.3%)

series314.0ms (10%)

simplify79.0ms (2.5%)

prune63.0ms (2%)

localize14.0ms (0.5%)

rewrite29.0ms (0.9%)

series528.0ms (16.8%)

simplify86.0ms (2.7%)

prune84.0ms (2.7%)

simplify11.0ms (0.4%)

regimes97.0ms (3.1%)

bsearch0.0ms (0%)

regimes9.0ms (0.3%)

bsearch1.0ms (0%)

simplify2.0ms (0.1%)

end0.0ms (0%)

sample799.0ms (25.5%)

Profiling