Details

analyze195.0ms (6.9%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	50%	50%	2
25%	25%	50%	3
25%	12.5%	62.5%	4
25%	6.2%	68.8%	5
25%	3.1%	71.9%	6
25%	1.6%	73.5%	7
25%	0.8%	74.2%	8
25%	0.4%	74.6%	9
25%	0.2%	74.8%	10
25%	0.1%	74.9%	11
25%	0%	75%	12
25%	0%	75%	13
25%	0%	75%	14

Compiler

Compiled 8 to 5 computations (37.5% saved)

sample17.0ms (0.6%)

Algorithm

1×

intervals

Results

10.0ms

256×

body

128

valid

Compiler

Compiled 16 to 10 computations (37.5% saved)

simplify180.0ms (6.4%)

Algorithm

1×	egg-herbie

Rules

974×	`associate--r-_binary64`
537×	`associate--r+_binary64`
526×	`associate--l+_binary64`
473×	`associate--l-_binary64`
342×	`associate-+r-_binary64`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	10
1	7	10
2	12	10
3	18	10
4	24	10
5	39	10
6	62	10
7	79	10
8	120	10
9	223	10
10	401	10
11	942	10
12	1300	10
13	1198	10
14	1317	10
15	1365	10
16	1375	10
17	1375	10
18	1401	10
19	1409	10
20	1413	10
21	4014	10
22	4211	10
23	4719	10
24	4911	10

prune2.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Kept	Total
New	0	0
Fresh	1	1
Picked	0	0
Done	0	0
Total	1	1

Error

0.2b

Counts

1 → 1

Alt Table

Status	Error	Program
▶	0.2b	(-.f64 (log.f64 x) (log.f64 (log.f64 x)))

Compiler

Compiled 14 to 8 computations (42.9% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(log.f64 (log.f64 x))
0.2b	(-.f64 (log.f64 x) (log.f64 (log.f64 x)))

rewrite30.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

11×	`log-prod_binary64`
10×	`pow1_binary64` `*-un-lft-identity_binary64`
8×	`add-sqr-sqrt_binary64` `log-pow_binary64`
6×	`add-cube-cbrt_binary64`
4×	`cancel-sign-sub-inv_binary64` `distribute-lft-out--_binary64` `associate--r+_binary64`

Counts

2 → 40

Calls

2 calls:

5.0ms	(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
1.0ms	(log.f64 (log.f64 x))

Compiler

Compiled 402 to 108 computations (73.1% saved)

series51.0ms (1.8%)

Error

0.2b

Counts

2 → 6

Calls

2 calls:

28.0ms	(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
19.0ms	(log.f64 (log.f64 x))

Compiler

Compiled 190 to 149 computations (21.6% saved)

simplify99.0ms (3.5%)

Algorithm

1×	egg-herbie

Rules

800×	`div-sub_binary64`
448×	`unsub-neg_binary64`
291×	`distribute-rgt-neg-out_binary64`
275×	`cancel-sign-sub-inv_binary64`
262×	`exp-sum_binary64`

Counts

46 → 21

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	71	521
1	146	492
2	301	492
3	1084	490
4	2184	486
5	4173	480
6	4315	480
7	5190	480

prune17.0ms (0.6%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	17	4	21
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	18	4	22

Error

0.1b

Counts

22 → 4

Alt Table

Status	Error	Program
▶	0.3b	(-.f64 (-.f64 (log.f64 x) (*.f64 (log.f64 (cbrt.f64 (log.f64 x))) 2)) (log.f64 (cbrt.f64 (log.f64 x))))
	0.4b	(/.f64 (-.f64 (pow.f64 (log.f64 x) 2) (pow.f64 (sqrt.f64 (log.f64 (log.f64 x))) 4)) (+.f64 (log.f64 x) (log.f64 (log.f64 x))))
	0.5b	(/.f64 (-.f64 (pow.f64 (log.f64 x) 3) (pow.f64 (log.f64 (log.f64 x)) 3)) (+.f64 (pow.f64 (log.f64 x) 2) (*.f64 (log.f64 (log.f64 x)) (+.f64 (log.f64 x) (log.f64 (log.f64 x))))))
	0.6b	(cbrt.f64 (pow.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) 3))

Compiler

Compiled 273 to 131 computations (52% saved)

localize10.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.3b	(-.f64 (-.f64 (log.f64 x) (*.f64 (log.f64 (cbrt.f64 (log.f64 x))) 2)) (log.f64 (cbrt.f64 (log.f64 x))))
0.3b	(-.f64 (log.f64 x) (*.f64 (log.f64 (cbrt.f64 (log.f64 x))) 2))
0.5b	(cbrt.f64 (log.f64 x))
0.5b	(cbrt.f64 (log.f64 x))

rewrite106.0ms (3.8%)

Algorithm

1×	rewrite-expression-head

Error

Rules

14×	`*-un-lft-identity_binary64`
13×	`add-sqr-sqrt_binary64` `log-prod_binary64`
12×	`cbrt-prod_binary64`
11×	`add-cube-cbrt_binary64` `associate--l+_binary64`
9×	`pow1_binary64`

Counts

4 → 72

Calls

4 calls:

11.0ms	(-.f64 (-.f64 (log.f64 x) (*.f64 (log.f64 (cbrt.f64 (log.f64 x))) 2)) (log.f64 (cbrt.f64 (log.f64 x))))
4.0ms	(-.f64 (log.f64 x) (*.f64 (log.f64 (cbrt.f64 (log.f64 x))) 2))
1.0ms	(cbrt.f64 (log.f64 x))
1.0ms	(cbrt.f64 (log.f64 x))

Compiler

Compiled 1448 to 503 computations (65.3% saved)

series148.0ms (5.3%)

Error

0.1b

Counts

4 → 12

Calls

4 calls:

42.0ms	(-.f64 (-.f64 (log.f64 x) (*.f64 (log.f64 (cbrt.f64 (log.f64 x))) 2)) (log.f64 (cbrt.f64 (log.f64 x))))
41.0ms	(-.f64 (log.f64 x) (*.f64 (log.f64 (cbrt.f64 (log.f64 x))) 2))
26.0ms	(cbrt.f64 (log.f64 x))
24.0ms	(cbrt.f64 (log.f64 x))

Compiler

Compiled 676 to 519 computations (23.2% saved)

simplify122.0ms (4.3%)

Algorithm

1×	egg-herbie

Rules

669×	`associate-l_binary64`
554×	`associate-r_binary64`
252×	`distribute-rgt-in_binary64`
242×	`cancel-sign-sub-inv_binary64`
222×	`distribute-lft-in_binary64`

Counts

84 → 66

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	131	1525
1	324	1182
2	853	1083
3	4197	1081
4	4982	1081
5	4939	1081

prune57.0ms (2%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	59	7	66
Fresh	3	0	3
Picked	1	0	1
Done	0	0	0
Total	63	7	70

Error

Counts

70 → 7

Alt Table

Status	Error	Program
	0.3b	(-.f64 (-.f64 (log.f64 x) (*.f64 2 (+.f64 (log.f64 (cbrt.f64 (log.f64 x))) (log.f64 (cbrt.f64 (cbrt.f64 (log.f64 x))))))) (log.f64 (cbrt.f64 (cbrt.f64 (log.f64 x)))))
▶	0.2b	(+.f64 (log.f64 1) (-.f64 (log.f64 x) (log.f64 (log.f64 x))))
	0.5b	(-.f64 (+.f64 (*.f64 (log.f64 (log.f64 x)) -2/3) (-.f64 (log.f64 x) (log.f64 (cbrt.f64 (sqrt.f64 (log.f64 x)))))) (log.f64 (cbrt.f64 (sqrt.f64 (log.f64 x)))))
	0.3b	(+.f64 (log.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (-.f64 (log.f64 (cbrt.f64 x)) (log.f64 (log.f64 x))))
	0.7b	(/.f64 (-.f64 (pow.f64 (-.f64 (log.f64 x) (.f64 (log.f64 (log.f64 x)) 2/3)) 3) (pow.f64 (log.f64 (cbrt.f64 (log.f64 x))) 3)) (+.f64 (.f64 (log.f64 (log.f64 x)) (.f64 (log.f64 (log.f64 x)) 1/9)) (.f64 (-.f64 (log.f64 x) (*.f64 (log.f64 (log.f64 x)) 2/3)) (-.f64 (log.f64 x) (log.f64 (cbrt.f64 (log.f64 x)))))))
	0.4b	(-.f64 (+.f64 (log.f64 (sqrt.f64 x)) (+.f64 (*.f64 (log.f64 (log.f64 x)) -2/3) (log.f64 (sqrt.f64 x)))) (log.f64 (cbrt.f64 (log.f64 x))))
	1.1b	(-.f64 (exp.f64 (log.f64 (-.f64 (log.f64 x) (*.f64 (log.f64 (log.f64 x)) 2/3)))) (log.f64 (cbrt.f64 (log.f64 x))))

Compiler

Compiled 982 to 425 computations (56.7% saved)

localize7.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(log.f64 (log.f64 x))
0.2b	(-.f64 (log.f64 x) (log.f64 (log.f64 x)))

rewrite49.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

Rules

11×	`log-prod_binary64`
10×	`pow1_binary64` `*-un-lft-identity_binary64`
8×	`add-sqr-sqrt_binary64` `log-pow_binary64`
6×	`add-cube-cbrt_binary64`
4×	`cancel-sign-sub-inv_binary64` `distribute-lft-out--_binary64` `associate--r+_binary64`

Counts

2 → 40

Calls

2 calls:

5.0ms	(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
1.0ms	(log.f64 (log.f64 x))

Compiler

Compiled 498 to 204 computations (59% saved)

series56.0ms (2%)

Error

Counts

2 → 6

Calls

2 calls:

27.0ms	(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
22.0ms	(log.f64 (log.f64 x))

Compiler

Compiled 241 to 200 computations (17% saved)

simplify99.0ms (3.5%)

Algorithm

1×	egg-herbie

Rules

800×	`div-sub_binary64`
448×	`unsub-neg_binary64`
291×	`distribute-rgt-neg-out_binary64`
275×	`cancel-sign-sub-inv_binary64`
262×	`exp-sum_binary64`

Counts

46 → 21

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	71	521
1	146	492
2	301	492
3	1084	490
4	2184	486
5	4173	480
6	4315	480
7	5190	480

prune28.0ms (1%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	21	0	21
Fresh	0	6	6
Picked	0	1	1
Done	0	0	0
Total	21	7	28

Error

Counts

28 → 7

Alt Table

Status	Error	Program
▶	0.3b	(-.f64 (-.f64 (log.f64 x) (*.f64 2 (+.f64 (log.f64 (cbrt.f64 (log.f64 x))) (log.f64 (cbrt.f64 (cbrt.f64 (log.f64 x))))))) (log.f64 (cbrt.f64 (cbrt.f64 (log.f64 x)))))
✓	0.2b	(+.f64 (log.f64 1) (-.f64 (log.f64 x) (log.f64 (log.f64 x))))
	0.5b	(-.f64 (+.f64 (*.f64 (log.f64 (log.f64 x)) -2/3) (-.f64 (log.f64 x) (log.f64 (cbrt.f64 (sqrt.f64 (log.f64 x)))))) (log.f64 (cbrt.f64 (sqrt.f64 (log.f64 x)))))
	0.3b	(+.f64 (log.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (-.f64 (log.f64 (cbrt.f64 x)) (log.f64 (log.f64 x))))
	0.7b	(/.f64 (-.f64 (pow.f64 (-.f64 (log.f64 x) (.f64 (log.f64 (log.f64 x)) 2/3)) 3) (pow.f64 (log.f64 (cbrt.f64 (log.f64 x))) 3)) (+.f64 (.f64 (log.f64 (log.f64 x)) (.f64 (log.f64 (log.f64 x)) 1/9)) (.f64 (-.f64 (log.f64 x) (*.f64 (log.f64 (log.f64 x)) 2/3)) (-.f64 (log.f64 x) (log.f64 (cbrt.f64 (log.f64 x)))))))
	0.4b	(-.f64 (+.f64 (log.f64 (sqrt.f64 x)) (+.f64 (*.f64 (log.f64 (log.f64 x)) -2/3) (log.f64 (sqrt.f64 x)))) (log.f64 (cbrt.f64 (log.f64 x))))
	1.1b	(-.f64 (exp.f64 (log.f64 (-.f64 (log.f64 x) (*.f64 (log.f64 (log.f64 x)) 2/3)))) (log.f64 (cbrt.f64 (log.f64 x))))

Compiler

Compiled 450 to 245 computations (45.6% saved)

localize14.0ms (0.5%)

Local error

Found 4 expressions with local error:

0.5b	(cbrt.f64 (log.f64 x))
0.5b	(cbrt.f64 (log.f64 x))
0.6b	(cbrt.f64 (cbrt.f64 (log.f64 x)))
0.6b	(cbrt.f64 (cbrt.f64 (log.f64 x)))

rewrite77.0ms (2.7%)

Algorithm

1×	rewrite-expression-head

Error

Rules

30×	`cbrt-prod_binary64`
10×	`add-cube-cbrt_binary64` `add-sqr-sqrt_binary64` `*-un-lft-identity_binary64`
8×	`pow1_binary64`
4×	`pow1/3_binary64` `add-log-exp_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `log-pow_binary64`

Counts

4 → 54

Calls

4 calls:

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

Compiler

Compiled 1263 to 346 computations (72.6% saved)

series118.0ms (4.2%)

Error

Counts

4 → 12

Calls

4 calls:

27.0ms	(cbrt.f64 (log.f64 x))
26.0ms	(cbrt.f64 (cbrt.f64 (log.f64 x)))
25.0ms	(cbrt.f64 (log.f64 x))
24.0ms	(cbrt.f64 (cbrt.f64 (log.f64 x)))

Compiler

Compiled 907 to 583 computations (35.7% saved)

simplify79.0ms (2.8%)

Algorithm

1×	egg-herbie

Rules

942×	`log-prod_binary64`
593×	`associate-+l+_binary64`
478×	`distribute-rgt-in_binary64`
467×	`distribute-lft-in_binary64`
352×	`unswap-sqr_binary64`

Counts

66 → 40

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	42	640
1	73	640
2	145	640
3	451	576
4	1078	560
5	4755	560
6	5252	560

prune28.0ms (1%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	40	0	40
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	40	7	47

Error

Counts

47 → 7

Alt Table

Status	Error	Program
	0.3b	(-.f64 (-.f64 (log.f64 x) (*.f64 2 (+.f64 (log.f64 (cbrt.f64 (log.f64 x))) (log.f64 (cbrt.f64 (cbrt.f64 (log.f64 x))))))) (log.f64 (cbrt.f64 (cbrt.f64 (log.f64 x)))))
	0.2b	(+.f64 (log.f64 1) (-.f64 (log.f64 x) (log.f64 (log.f64 x))))
	0.5b	(-.f64 (+.f64 (*.f64 (log.f64 (log.f64 x)) -2/3) (-.f64 (log.f64 x) (log.f64 (cbrt.f64 (sqrt.f64 (log.f64 x)))))) (log.f64 (cbrt.f64 (sqrt.f64 (log.f64 x)))))
	0.3b	(+.f64 (log.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (-.f64 (log.f64 (cbrt.f64 x)) (log.f64 (log.f64 x))))
	0.7b	(/.f64 (-.f64 (pow.f64 (-.f64 (log.f64 x) (.f64 (log.f64 (log.f64 x)) 2/3)) 3) (pow.f64 (log.f64 (cbrt.f64 (log.f64 x))) 3)) (+.f64 (.f64 (log.f64 (log.f64 x)) (.f64 (log.f64 (log.f64 x)) 1/9)) (.f64 (-.f64 (log.f64 x) (*.f64 (log.f64 (log.f64 x)) 2/3)) (-.f64 (log.f64 x) (log.f64 (cbrt.f64 (log.f64 x)))))))
	0.4b	(-.f64 (+.f64 (log.f64 (sqrt.f64 x)) (+.f64 (*.f64 (log.f64 (log.f64 x)) -2/3) (log.f64 (sqrt.f64 x)))) (log.f64 (cbrt.f64 (log.f64 x))))
	1.1b	(-.f64 (exp.f64 (log.f64 (-.f64 (log.f64 x) (*.f64 (log.f64 (log.f64 x)) 2/3)))) (log.f64 (cbrt.f64 (log.f64 x))))

Compiler

Compiled 528 to 233 computations (55.9% saved)

regimes565.0ms (20.1%)

Accuracy

Total -0.0b remaining (-336%)

Threshold costs -0.0b (-336%)

Compiler

Compiled 7793 to 4602 computations (40.9% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1×	`1-exp_binary64` `+-lft-identity_binary64` `+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	8
1	11	8
2	9	8

end1.0ms (0%)

Compiler: Compiled 6 to 4 computations (33.3% saved)

sample649.0ms (23.1%)

Algorithm

1×

intervals

Results

312.0ms	8000×	body	128	valid
0.0ms	3×	body	128	nan

Compiler

Compiled 163 to 94 computations (42.3% saved)

Details

analyze195.0ms (6.9%)

sample17.0ms (0.6%)

simplify180.0ms (6.4%)

prune2.0ms (0.1%)

localize5.0ms (0.2%)

rewrite30.0ms (1.1%)

series51.0ms (1.8%)

simplify99.0ms (3.5%)

prune17.0ms (0.6%)

localize10.0ms (0.3%)

rewrite106.0ms (3.8%)

series148.0ms (5.3%)

simplify122.0ms (4.3%)

prune57.0ms (2%)

localize7.0ms (0.2%)

rewrite49.0ms (1.8%)

series56.0ms (2%)

simplify99.0ms (3.5%)

prune28.0ms (1%)

localize14.0ms (0.5%)

rewrite77.0ms (2.7%)

series118.0ms (4.2%)

simplify79.0ms (2.8%)

prune28.0ms (1%)

regimes565.0ms (20.1%)

simplify3.0ms (0.1%)

end1.0ms (0%)

sample649.0ms (23.1%)

Profiling