Details

analyze80.0ms (1%)

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
49.9%	49.9%	0.1%	3
49.9%	49.9%	0.1%	4
49.9%	49.9%	0.1%	5
49.9%	25%	25.1%	6
49.9%	25%	25.1%	7
49.9%	25%	25.1%	8
49.9%	12.5%	37.6%	9
49.9%	12.5%	37.6%	10
49.9%	12.5%	37.6%	11
49.9%	6.2%	43.8%	12
49.9%	6.2%	43.8%	13
49.9%	6.2%	43.8%	14

Compiler

Compiled 12 to 8 computations (33.3% saved)

sample1.2s (15.7%)

Infinites

0.3% of outputs are infinite.

Results

852.0ms	8254×	body	128	valid
122.0ms	1115×	body	128	invalid
0.0ms	1×	body	1024	valid
0.0ms	1×	body	512	valid

Compiler

Compiled 35 to 23 computations (34.3% saved)

simplify154.0ms (2%)

Algorithm

1×	egg-herbie

Rules

3353×	`fma-neg_binary64`
476×	`distribute-rgt-in_binary64`
425×	`unsub-neg_binary64`
361×	`fma-def_binary64`
308×	`distribute-lft-in_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	12
1	16	12
2	36	12
3	76	12
4	131	12
5	231	12
6	342	12
7	678	12
8	1365	12
9	2068	12
10	2356	12
11	2518	12
12	2627	12
13	2660	12
14	2664	12
15	2866	12
16	2767	12
17	2779	12
18	2791	12
19	2799	12
20	2799	12
21	5311	12

prune2.0ms (0%)

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.1b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	0.1b	(-.f64 (-.f64 (*.f64 x (log.f64 y)) z) y)

Compiler

Compiled 33 to 21 computations (36.4% saved)

localize7.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (*.f64 x (log.f64 y)) z)
✓	0.0b	(-.f64 (-.f64 (*.f64 x (log.f64 y)) z) y)
✓	0.3b	(*.f64 x (log.f64 y))

series398.0ms (5.2%)

Counts

3 → 96

Calls

3 calls:

219.0ms	(*.f64 x (log.f64 y))
96.0ms	(-.f64 (*.f64 x (log.f64 y)) z)
82.0ms	(-.f64 (-.f64 (*.f64 x (log.f64 y)) z) y)

rewrite20.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

27×	`add-sqr-sqrt_binary64`
25×	`associate--l+_binary64`
25×	`*-un-lft-identity_binary64`
23×	`add-cube-cbrt_binary64`
18×	`log-prod_binary64`

Counts

3 → 98

Calls

3 calls:

7.0ms	(-.f64 (-.f64 (*.f64 x (log.f64 y)) z) y)
5.0ms	(-.f64 (*.f64 x (log.f64 y)) z)
3.0ms	(*.f64 x (log.f64 y))

simplify112.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

1055×	`fma-neg_binary64`
315×	`cancel-sign-sub-inv_binary64`
286×	`exp-sum_binary64`
273×	`distribute-rgt-in_binary64`
255×	`distribute-lft-in_binary64`

Counts

194 → 159

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	188	1955
1	363	1912
2	1184	1903
3	2863	1893
4	4373	1893
5	4927	1893

prune114.0ms (1.5%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	153	6	159
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	153	7	160

Error

0.0b

Counts

160 → 7

Alt Table

Status	Error	Program
	41.2b	(-.f64 (/.f64 (-.f64 (pow.f64 (.f64 (log.f64 y) x) 3) (pow.f64 z 3)) (+.f64 (.f64 z z) (.f64 (.f64 (log.f64 y) x) (fma.f64 (log.f64 y) x z)))) y)
	35.4b	(-.f64 (-.f64 (.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) (log.f64 y))) z) y)
▶	0.1b	(+.f64 (.f64 (log.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y))) x) (-.f64 (-.f64 (*.f64 (log.f64 (cbrt.f64 y)) x) z) y))
✓	0.1b	(-.f64 (-.f64 (*.f64 x (log.f64 y)) z) y)
	0.4b	(-.f64 (-.f64 (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 x) (log.f64 y))) z) y)
	1.3b	(.f64 (.f64 (cbrt.f64 (-.f64 (-.f64 (.f64 x (log.f64 y)) z) y)) (cbrt.f64 (-.f64 (-.f64 (.f64 x (log.f64 y)) z) y))) (cbrt.f64 (-.f64 (-.f64 (*.f64 x (log.f64 y)) z) y)))
	27.6b	(-.f64 (-.f64 (.f64 (.f64 x (sqrt.f64 (log.f64 y))) (sqrt.f64 (log.f64 y))) z) y)

Compiler

Compiled 2719 to 756 computations (72.2% saved)

localize15.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (log.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y))) x)
✓	0.2b	(*.f64 (log.f64 (cbrt.f64 y)) x)
✓	0.5b	(*.f64 (cbrt.f64 y) (cbrt.f64 y))
✓	0.5b	(cbrt.f64 y)

series2.6s (34.3%)

Counts

4 → 72

Calls

4 calls:

1.4s	(.f64 (log.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y))) x)
1.1s	(*.f64 (log.f64 (cbrt.f64 y)) x)
37.0ms	(*.f64 (cbrt.f64 y) (cbrt.f64 y))
33.0ms	(cbrt.f64 y)

rewrite18.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

29×	`add-sqr-sqrt_binary64`
24×	`pow1_binary64`
23×	`associate-l_binary64`
19×	`cbrt-prod_binary64`
17×	`*-un-lft-identity_binary64`

Counts

4 → 106

Calls

4 calls:

6.0ms	(.f64 (log.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y))) x)
4.0ms	(*.f64 (cbrt.f64 y) (cbrt.f64 y))
3.0ms	(*.f64 (log.f64 (cbrt.f64 y)) x)
1.0ms	(cbrt.f64 y)

simplify96.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

800×	`log-prod_binary64`
497×	`unswap-sqr_binary64`
408×	`fma-neg_binary64`
292×	`*-commutative_binary64`
234×	`distribute-rgt-in_binary64`

Counts

178 → 154

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	135	1718
1	254	1594
2	808	1536
3	2133	1517
4	4071	1517
5	5387	1517

prune187.0ms (2.5%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	187	3	190
Fresh	2	3	5
Picked	1	0	1
Done	0	1	1
Total	190	7	197

Error

0.0b

Counts

197 → 7

Alt Table

Status	Error	Program
	35.4b	(-.f64 (-.f64 (.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) (log.f64 y))) z) y)
	27.6b	(+.f64 (.f64 (sqrt.f64 (log.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y)))) (.f64 x (sqrt.f64 (.f64 2/3 (log.f64 y))))) (-.f64 (-.f64 (*.f64 (log.f64 (cbrt.f64 y)) x) z) y))
▶	0.1b	(+.f64 (.f64 (log.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y))) x) (-.f64 (-.f64 (*.f64 (log.f64 (pow.f64 y 1/3)) x) z) y))
✓	0.1b	(-.f64 (-.f64 (*.f64 x (log.f64 y)) z) y)
	0.2b	(+.f64 (.f64 (log.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y))) x) (-.f64 (-.f64 (.f64 (.f64 (log.f64 (cbrt.f64 y)) (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 x)) z) y))
	1.3b	(.f64 (.f64 (cbrt.f64 (-.f64 (-.f64 (.f64 x (log.f64 y)) z) y)) (cbrt.f64 (-.f64 (-.f64 (.f64 x (log.f64 y)) z) y))) (cbrt.f64 (-.f64 (-.f64 (*.f64 x (log.f64 y)) z) y)))
	27.6b	(-.f64 (-.f64 (.f64 (.f64 x (sqrt.f64 (log.f64 y))) (sqrt.f64 (log.f64 y))) z) y)

Compiler

Compiled 4542 to 1275 computations (71.9% saved)

localize18.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(*.f64 (log.f64 (pow.f64 y 1/3)) x)
	0.5b	(*.f64 (cbrt.f64 y) (cbrt.f64 y))
	0.5b	(cbrt.f64 y)
✓	5.0b	(pow.f64 y 1/3)

series818.0ms (10.8%)

Counts

2 → 12

Calls

2 calls:

794.0ms	(*.f64 (log.f64 (pow.f64 y 1/3)) x)
24.0ms	(pow.f64 y 1/3)

rewrite6.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

8×	`add-sqr-sqrt_binary64`
6×	`*-un-lft-identity_binary64`
6×	`add-cube-cbrt_binary64`
5×	`add-exp-log_binary64`
5×	`pow1_binary64`

Counts

2 → 41

Calls

2 calls:

3.0ms	(*.f64 (log.f64 (pow.f64 y 1/3)) x)
1.0ms	(pow.f64 y 1/3)

simplify74.0ms (1%)

Algorithm

1×	egg-herbie

Rules

721×	`fma-def_binary64`
532×	`*-commutative_binary64`
479×	`log-prod_binary64`
362×	`associate-l_binary64`
265×	`log-div_binary64`

Counts

53 → 66

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	79	543
1	156	493
2	429	443
3	1411	398
4	2617	392
5	4652	392
6	5022	392

prune247.0ms (3.2%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	159	2	161
Fresh	2	3	5
Picked	1	0	1
Done	0	1	1
Total	162	6	168

Error

0.0b

Counts

168 → 6

Alt Table

Status	Error	Program
	35.4b	(-.f64 (-.f64 (.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) (log.f64 y))) z) y)
▶	0.1b	(+.f64 (.f64 (log.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y))) x) (-.f64 (-.f64 (*.f64 (log.f64 (expm1.f64 (log1p.f64 (pow.f64 y 1/3)))) x) z) y))
✓	0.1b	(-.f64 (-.f64 (*.f64 x (log.f64 y)) z) y)
	0.2b	(+.f64 (.f64 (log.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y))) x) (-.f64 (-.f64 (.f64 (.f64 (log.f64 (cbrt.f64 y)) (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 x)) z) y))
	27.5b	(+.f64 (.f64 (log.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y))) x) (-.f64 (-.f64 (.f64 (sqrt.f64 (log.f64 (pow.f64 y 1/3))) (.f64 x (sqrt.f64 (log.f64 (cbrt.f64 y))))) z) y))
	27.6b	(-.f64 (-.f64 (.f64 (.f64 x (sqrt.f64 (log.f64 y))) (sqrt.f64 (log.f64 y))) z) y)

Compiler

Compiled 4003 to 1897 computations (52.6% saved)

localize22.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.5b	(*.f64 (cbrt.f64 y) (cbrt.f64 y))
	0.5b	(cbrt.f64 y)
✓	2.4b	(expm1.f64 (log1p.f64 (pow.f64 y 1/3)))
	5.0b	(pow.f64 y 1/3)

series27.0ms (0.4%)

Counts

1 → 12

Calls

1 calls:

27.0ms

(expm1.f64 (log1p.f64 (pow.f64 y 1/3)))

rewrite1.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

1×	`*-un-lft-identity_binary64`
1×	`add-sqr-sqrt_binary64`
1×	`add-cube-cbrt_binary64`
1×	`add-cbrt-cube_binary64`
1×	`add-exp-log_binary64`

Counts

1 → 11

Calls

1 calls:

0.0ms

(expm1.f64 (log1p.f64 (pow.f64 y 1/3)))

simplify64.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

686×	`log-prod_binary64`
513×	`associate-l_binary64`
387×	`distribute-rgt-in_binary64`
382×	`associate-r_binary64`
354×	`distribute-lft-in_binary64`

Counts

23 → 20

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	23	103
1	36	91
2	81	89
3	210	89
4	700	89
5	3728	89
6	4969	89
7	4803	89

prune273.0ms (3.6%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	144	0	144
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	144	6	150

Error

0.0b

Counts

150 → 6

Alt Table

Status	Error	Program
	35.4b	(-.f64 (-.f64 (.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) (log.f64 y))) z) y)
✓	0.1b	(+.f64 (.f64 (log.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y))) x) (-.f64 (-.f64 (*.f64 (log.f64 (expm1.f64 (log1p.f64 (pow.f64 y 1/3)))) x) z) y))
✓	0.1b	(-.f64 (-.f64 (*.f64 x (log.f64 y)) z) y)
	0.2b	(+.f64 (.f64 (log.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y))) x) (-.f64 (-.f64 (.f64 (.f64 (log.f64 (cbrt.f64 y)) (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 x)) z) y))
	27.5b	(+.f64 (.f64 (log.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y))) x) (-.f64 (-.f64 (.f64 (sqrt.f64 (log.f64 (pow.f64 y 1/3))) (.f64 x (sqrt.f64 (log.f64 (cbrt.f64 y))))) z) y))
	27.6b	(-.f64 (-.f64 (.f64 (.f64 x (sqrt.f64 (log.f64 y))) (sqrt.f64 (log.f64 y))) z) y)

Compiler

Compiled 3728 to 1941 computations (47.9% saved)

regimes888.0ms (11.7%)

Accuracy

Total 0.1b remaining (79.4%)

Threshold costs 0.1b (79.4%)

Counts

106 → 1

Compiler

Compiled 9126 to 5716 computations (37.4% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

4×	`+-commutative_binary64`
4×	`sub-neg_binary64`
3×	`*-commutative_binary64`
2×	`neg-sub0_binary64`
2×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	12
1	13	12
2	21	12
3	25	12
4	27	12
5	27	12

end165.0ms (2.2%)

Compiler: Compiled 144 to 88 computations (38.9% saved)

Details

analyze80.0ms (1%)

sample1.2s (15.7%)

simplify154.0ms (2%)

prune2.0ms (0%)

localize7.0ms (0.1%)

series398.0ms (5.2%)

rewrite20.0ms (0.3%)

simplify112.0ms (1.5%)

prune114.0ms (1.5%)

localize15.0ms (0.2%)

series2.6s (34.3%)

rewrite18.0ms (0.2%)

simplify96.0ms (1.3%)

prune187.0ms (2.5%)

localize18.0ms (0.2%)

series818.0ms (10.8%)

rewrite6.0ms (0.1%)

simplify74.0ms (1%)

prune247.0ms (3.2%)

localize22.0ms (0.3%)

series27.0ms (0.4%)

rewrite1.0ms (0%)

simplify64.0ms (0.8%)

prune273.0ms (3.6%)

regimes888.0ms (11.7%)

simplify4.0ms (0.1%)

end165.0ms (2.2%)

Profiling