Details

analyze1.4s (17.6%)

Algorithm

1×

Search

True	Other	False	Iter
0%	50%	50%	0
0%	50%	50%	1
0%	50%	50%	2
0%	50%	50%	3
0%	50%	50%	4
3.1%	46.8%	50%	5
4.7%	45.3%	50%	6
5.5%	44.5%	50%	7
5.9%	44.1%	50%	8
6%	43.9%	50%	9
6.1%	43.8%	50%	10
6.2%	43.8%	50%	11
6.2%	43.7%	50%	12
6.2%	43.7%	50%	13
6.2%	43.7%	50%	14

Compiler

Compiled 17 to 13 computations (23.5% saved)

sample134.0ms (1.7%)

Algorithm

1×

intervals

Results

74.0ms	114×	body	1024	valid
20.0ms	66×	body	512	valid
15.0ms	17×	body	2048	valid
6.0ms	39×	body	256	valid
4.0ms	256×	pre	128	true
1.0ms	20×	body	128	valid

Compiler

Compiled 28 to 22 computations (21.4% saved)

simplify10.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

8×	`sub-neg_binary64`
5×	`+-commutative_binary64`
4×	`associate-+l-_binary64`
3×	`sub0-neg_binary64` `associate--r+_binary64`
2×	`log-prod_binary64` `neg-mul-1_binary64` `--rgt-identity_binary64` `associate--l+_binary64` `associate-+r+_binary64` `*-commutative_binary64`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	14
1	13	14
2	17	14
3	22	14
4	28	14
5	36	14
6	46	14
7	58	14
8	62	14
9	45	14

prune2.0ms (0%)

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

61.0b

Counts

1 → 1

Alt Table

Status	Error	Program
▶	61.0b	(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 1 x)))

Compiler

Compiled 20 to 16 computations (20% saved)

localize7.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 1 x)))
6.3b	(log.f64 (-.f64 1 x))
6.5b	(log.f64 (+.f64 1 x))

rewrite123.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Error

60.6b

Rules

20×	`*-un-lft-identity_binary64`
18×	`add-sqr-sqrt_binary64`
16×	`times-frac_binary64`
15×	`pow1_binary64` `add-cube-cbrt_binary64`
12×	`log-pow_binary64`

Counts

3 → 70

Calls

3 calls:

9.0ms	(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 1 x)))
4.0ms	(log.f64 (+.f64 1 x))
3.0ms	(log.f64 (-.f64 1 x))

Compiler

Compiled 990 to 799 computations (19.3% saved)

series56.0ms (0.7%)

Error

0.1b

Counts

3 → 20

Calls

3 calls:

12.0ms	(/.f64 (log.f64 (-.f64 1 x)) (log.f64 (+.f64 1 x)))
11.0ms	(log.f64 (+.f64 1 x))
10.0ms	(log.f64 (-.f64 1 x))

Compiler

Compiled 689 to 559 computations (18.9% saved)

simplify174.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

634×	`div-sub_binary64`
618×	`sub-neg_binary64`
429×	`times-frac_binary64`
361×	`distribute-rgt-neg-in_binary64`
229×	`associate-+l-_binary64`

Counts

90 → 74

Iterations

Useful iterations: 6 (0.0ms)

Iter	Nodes	Cost
0	150	1561
1	310	1431
2	701	1418
3	1627	1402
4	3280	1402
5	3949	1402
6	4884	1393
7	4974	1393
8	4772	1393

prune64.0ms (0.8%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	69	5	74
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	70	5	75

Error

0.0b

Counts

75 → 5

Alt Table

Status	Error	Program
	61.0b	(/.f64 (*.f64 (cbrt.f64 (log.f64 (-.f64 1 x))) (cbrt.f64 (log.f64 (-.f64 1 x)))) (/.f64 (log.f64 (+.f64 x 1)) (cbrt.f64 (log.f64 (-.f64 1 x)))))
	61.4b	(/.f64 (+.f64 (*.f64 2 (log.f64 (cbrt.f64 (-.f64 1 x)))) (log.f64 (cbrt.f64 (-.f64 1 x)))) (log.f64 (+.f64 1 x)))
	61.0b	(.f64 (.f64 (cbrt.f64 (log.f64 (-.f64 1 x))) (cbrt.f64 (log.f64 (-.f64 1 x)))) (/.f64 (cbrt.f64 (log.f64 (-.f64 1 x))) (log.f64 (+.f64 x 1))))
	60.8b	(-.f64 (/.f64 (log.f64 (-.f64 1 (*.f64 x x))) (log.f64 (+.f64 x 1))) 1)
▶	0.6b	(+.f64 -1 (.f64 x (-.f64 -1 (.f64 x (+.f64 1/2 (*.f64 x 5/12))))))

Compiler

Compiled 1064 to 831 computations (21.9% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(.f64 x (+.f64 1/2 (.f64 x 5/12)))
0.0b	(.f64 x (-.f64 -1 (.f64 x (+.f64 1/2 (*.f64 x 5/12)))))
0.3b	(*.f64 x 5/12)

rewrite71.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

15×	`add-sqr-sqrt_binary64`
9×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `add-cube-cbrt_binary64` `-un-lft-identity_binary64` `associate-l_binary64` `associate-r*_binary64`
4×	`associate-*r/_binary64`
3×	`pow-prod-down_binary64` `prod-exp_binary64` `add-log-exp_binary64` `cbrt-unprod_binary64` `unswap-sqr_binary64` `*-commutative_binary64` `distribute-rgt-in_binary64` `distribute-lft-in_binary64`
2×	`sub-neg_binary64` `cancel-sign-sub-inv_binary64`

Counts

3 → 64

Calls

3 calls:

5.0ms	(.f64 x (-.f64 -1 (.f64 x (+.f64 1/2 (*.f64 x 5/12)))))
5.0ms	(.f64 x (+.f64 1/2 (.f64 x 5/12)))
4.0ms	(*.f64 x 5/12)

Compiler

Compiled 1225 to 936 computations (23.6% saved)

series41.0ms (0.5%)

Error

0.0b

Counts

3 → 14

Calls

3 calls:

13.0ms	(.f64 x (-.f64 -1 (.f64 x (+.f64 1/2 (*.f64 x 5/12)))))
12.0ms	(.f64 x (+.f64 1/2 (.f64 x 5/12)))
6.0ms	(*.f64 x 5/12)

Compiler

Compiled 398 to 324 computations (18.6% saved)

simplify89.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

515×	`distribute-rgt-in_binary64`
498×	`distribute-lft-in_binary64`
331×	`distribute-neg-in_binary64`
295×	`cancel-sign-sub-inv_binary64`
292×	`distribute-rgt-neg-out_binary64`

Counts

78 → 63

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	124	1049
1	291	958
2	993	955
3	2903	955
4	4645	955
5	4886	955

prune52.0ms (0.7%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	63	0	63
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	63	5	68

Error

0.0b

Counts

68 → 5

Alt Table

Status	Error	Program
	61.0b	(/.f64 (*.f64 (cbrt.f64 (log.f64 (-.f64 1 x))) (cbrt.f64 (log.f64 (-.f64 1 x)))) (/.f64 (log.f64 (+.f64 x 1)) (cbrt.f64 (log.f64 (-.f64 1 x)))))
	61.4b	(/.f64 (+.f64 (*.f64 2 (log.f64 (cbrt.f64 (-.f64 1 x)))) (log.f64 (cbrt.f64 (-.f64 1 x)))) (log.f64 (+.f64 1 x)))
	61.0b	(.f64 (.f64 (cbrt.f64 (log.f64 (-.f64 1 x))) (cbrt.f64 (log.f64 (-.f64 1 x)))) (/.f64 (cbrt.f64 (log.f64 (-.f64 1 x))) (log.f64 (+.f64 x 1))))
▶	60.8b	(-.f64 (/.f64 (log.f64 (-.f64 1 (*.f64 x x))) (log.f64 (+.f64 x 1))) 1)
✓	0.6b	(+.f64 -1 (.f64 x (-.f64 -1 (.f64 x (+.f64 1/2 (*.f64 x 5/12))))))

Compiler

Compiled 1068 to 816 computations (23.6% saved)

localize9.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(/.f64 (log.f64 (-.f64 1 (*.f64 x x))) (log.f64 (+.f64 x 1)))
2.8b	(log.f64 (-.f64 1 (*.f64 x x)))
6.5b	(log.f64 (+.f64 x 1))

rewrite59.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

18×	`*-un-lft-identity_binary64`
16×	`add-sqr-sqrt_binary64` `times-frac_binary64`
15×	`pow1_binary64` `add-cube-cbrt_binary64`
12×	`log-pow_binary64`
9×	`log-prod_binary64`

Counts

3 → 69

Calls

3 calls:

5.0ms	(/.f64 (log.f64 (-.f64 1 (*.f64 x x))) (log.f64 (+.f64 x 1)))
3.0ms	(log.f64 (+.f64 x 1))
3.0ms	(log.f64 (-.f64 1 (*.f64 x x)))

Compiler

Compiled 1276 to 909 computations (28.8% saved)

series59.0ms (0.8%)

Error

0.0b

Counts

3 → 18

Calls

3 calls:

16.0ms	(log.f64 (-.f64 1 (*.f64 x x)))
15.0ms	(/.f64 (log.f64 (-.f64 1 (*.f64 x x))) (log.f64 (+.f64 x 1)))
9.0ms	(log.f64 (+.f64 x 1))

Compiler

Compiled 821 to 677 computations (17.5% saved)

simplify117.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

434×	`distribute-rgt-neg-in_binary64`
391×	`distribute-lft-neg-in_binary64`
346×	`distribute-rgt-out_binary64`
299×	`neg-mul-1_binary64`
287×	`associate-l_binary64`

Counts

87 → 46

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	164	1803
1	345	1666
2	860	1641
3	2454	1639
4	4552	1635
5	4840	1635

prune36.0ms (0.5%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	45	1	46
Fresh	2	1	3
Picked	0	1	1
Done	0	1	1
Total	47	4	51

Error

0.0b

Counts

51 → 4

Alt Table

Status	Error	Program
	61.0b	(/.f64 (*.f64 (cbrt.f64 (log.f64 (-.f64 1 x))) (cbrt.f64 (log.f64 (-.f64 1 x)))) (/.f64 (log.f64 (+.f64 x 1)) (cbrt.f64 (log.f64 (-.f64 1 x)))))
✓	60.8b	(-.f64 (/.f64 (log.f64 (-.f64 1 (*.f64 x x))) (log.f64 (+.f64 x 1))) 1)
▶	60.6b	(-.f64 (/.f64 (-.f64 (-.f64 (.f64 (pow.f64 x 4) -1/2) (.f64 x x)) (*.f64 1/3 (pow.f64 x 6))) (log.f64 (+.f64 x 1))) 1)
✓	0.6b	(+.f64 -1 (.f64 x (-.f64 -1 (.f64 x (+.f64 1/2 (*.f64 x 5/12))))))

Compiler

Compiled 730 to 536 computations (26.6% saved)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (/.f64 (-.f64 (-.f64 (.f64 (pow.f64 x 4) -1/2) (.f64 x x)) (*.f64 1/3 (pow.f64 x 6))) (log.f64 (+.f64 x 1))) 1)
0.1b	(*.f64 1/3 (pow.f64 x 6))
6.5b	(log.f64 (+.f64 x 1))
29.6b	(/.f64 (-.f64 (-.f64 (.f64 (pow.f64 x 4) -1/2) (.f64 x x)) (*.f64 1/3 (pow.f64 x 6))) (log.f64 (+.f64 x 1)))

rewrite144.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

34×	`add-sqr-sqrt_binary64`
24×	`*-un-lft-identity_binary64`
18×	`add-cube-cbrt_binary64`
15×	`times-frac_binary64`
12×	`add-exp-log_binary64`

Counts

4 → 96

Calls

4 calls:

12.0ms	(-.f64 (/.f64 (-.f64 (-.f64 (.f64 (pow.f64 x 4) -1/2) (.f64 x x)) (*.f64 1/3 (pow.f64 x 6))) (log.f64 (+.f64 x 1))) 1)
10.0ms	(/.f64 (-.f64 (-.f64 (.f64 (pow.f64 x 4) -1/2) (.f64 x x)) (*.f64 1/3 (pow.f64 x 6))) (log.f64 (+.f64 x 1)))
5.0ms	(*.f64 1/3 (pow.f64 x 6))
3.0ms	(log.f64 (+.f64 x 1))

Compiler

Compiled 3035 to 2270 computations (25.2% saved)

series66.0ms (0.8%)

Error

0.0b

Counts

4 → 21

Calls

4 calls:

14.0ms	(-.f64 (/.f64 (-.f64 (-.f64 (.f64 (pow.f64 x 4) -1/2) (.f64 x x)) (*.f64 1/3 (pow.f64 x 6))) (log.f64 (+.f64 x 1))) 1)
13.0ms	(/.f64 (-.f64 (-.f64 (.f64 (pow.f64 x 4) -1/2) (.f64 x x)) (*.f64 1/3 (pow.f64 x 6))) (log.f64 (+.f64 x 1)))
11.0ms	(log.f64 (+.f64 x 1))
11.0ms	(*.f64 1/3 (pow.f64 x 6))

Compiler

Compiled 938 to 749 computations (20.1% saved)

simplify134.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

595×	`associate-l_binary64`
558×	`associate-r_binary64`
227×	`associate-/l*_binary64`
197×	`distribute-rgt-in_binary64`
180×	`exp-prod_binary64`

Counts

117 → 73

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	209	3331
1	454	3214
2	1181	3127
3	4596	3127
4	5035	3127

prune56.0ms (0.7%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	73	0	73
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	73	4	77

Error

0.0b

Counts

77 → 4

Alt Table

Status	Error	Program
	61.0b	(/.f64 (*.f64 (cbrt.f64 (log.f64 (-.f64 1 x))) (cbrt.f64 (log.f64 (-.f64 1 x)))) (/.f64 (log.f64 (+.f64 x 1)) (cbrt.f64 (log.f64 (-.f64 1 x)))))
	60.8b	(-.f64 (/.f64 (log.f64 (-.f64 1 (*.f64 x x))) (log.f64 (+.f64 x 1))) 1)
	60.6b	(-.f64 (/.f64 (-.f64 (-.f64 (.f64 (pow.f64 x 4) -1/2) (.f64 x x)) (*.f64 1/3 (pow.f64 x 6))) (log.f64 (+.f64 x 1))) 1)
	0.6b	(+.f64 -1 (.f64 x (-.f64 -1 (.f64 x (+.f64 1/2 (*.f64 x 5/12))))))

Compiler

Compiled 1483 to 1085 computations (26.8% saved)

regimes237.0ms (3.1%)

Accuracy

Total 0.3b remaining (95.2%)

Threshold costs 0.3b (95.2%)

Compiler

Compiled 2988 to 2412 computations (19.3% saved)

simplify5.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

14×	`+-commutative_binary64`
13×	`*-commutative_binary64`
11×	`sub-neg_binary64`
10×	`neg-mul-1_binary64` `neg-sub0_binary64`
7×	`unsub-neg_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	20	33
1	36	33
2	49	31
3	73	31
4	101	31
5	113	31
6	120	31
7	122	31
8	117	31

end1.0ms (0%)

Compiler: Compiled 22 to 18 computations (18.2% saved)

sample4.6s (59.5%)

Algorithm

1×

intervals

Results

2.6s	4035×	body	1024	valid
650.0ms	2034×	body	512	valid
548.0ms	379×	body	2048	valid
150.0ms	951×	body	256	valid
137.0ms	8000×	pre	128	true
44.0ms	601×	body	128	valid

Compiler

Compiled 114 to 91 computations (20.2% saved)

Details

analyze1.4s (17.6%)

sample134.0ms (1.7%)

simplify10.0ms (0.1%)

prune2.0ms (0%)

localize7.0ms (0.1%)

rewrite123.0ms (1.6%)

series56.0ms (0.7%)

simplify174.0ms (2.3%)

prune64.0ms (0.8%)

localize8.0ms (0.1%)

rewrite71.0ms (0.9%)

series41.0ms (0.5%)

simplify89.0ms (1.2%)

prune52.0ms (0.7%)

localize9.0ms (0.1%)

rewrite59.0ms (0.8%)

series59.0ms (0.8%)

simplify117.0ms (1.5%)

prune36.0ms (0.5%)

localize14.0ms (0.2%)

rewrite144.0ms (1.9%)

series66.0ms (0.8%)

simplify134.0ms (1.7%)

prune56.0ms (0.7%)

regimes237.0ms (3.1%)

simplify5.0ms (0.1%)

end1.0ms (0%)

sample4.6s (59.5%)

Profiling