Details

analyze1.6s (25.4%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
6.2%	93.6%	0.2%	8
6.2%	93.6%	0.2%	9
10.1%	89.7%	0.2%	10
32%	67.8%	0.2%	11
39.4%	60.4%	0.2%	12
40.2%	59.6%	0.2%	13
47.5%	52.3%	0.2%	14

Compiler

Compiled 20 to 13 computations (35% saved)

sample1.4s (22.2%)

Results

1.2s	8028×	body	128	valid
67.0ms	521×	body	128	invalid
33.0ms	75×	body	1024	valid
31.0ms	98×	body	512	valid
14.0ms	55×	body	256	valid

Compiler

Compiled 59 to 38 computations (35.6% saved)

simplify40.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

509×	`fma-neg_binary64`
396×	`distribute-rgt-in_binary64`
366×	`distribute-lft-in_binary64`
289×	`fma-def_binary64`
260×	`associate-l_binary64`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	13	23
1	55	21
2	153	21
3	362	21
4	1315	21
5	4639	21
6	5067	21

prune3.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	1	1	2
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	1	2	3

Error

5.3b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	5.3b	(+.f64 x (.f64 (.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))))

Compiler

Compiled 71 to 37 computations (47.9% saved)

localize10.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(tanh.f64 (/.f64 x y))
✓	0.0b	(tanh.f64 (/.f64 t y))
✓	0.0b	(-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))
✓	5.3b	(.f64 (.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))

series707.0ms (11.2%)

Counts

4 → 132

Calls

4 calls:

327.0ms	(.f64 (.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))
211.0ms	(-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))
110.0ms	(tanh.f64 (/.f64 t y))
59.0ms	(tanh.f64 (/.f64 x y))

rewrite40.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

31×	`*-un-lft-identity_binary64`
31×	`add-sqr-sqrt_binary64`
27×	`prod-diff_binary64`
27×	`add-cube-cbrt_binary64`
18×	`frac-sub_binary64`

Counts

4 → 122

Calls

4 calls:

10.0ms	(.f64 (.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))
6.0ms	(-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))
1.0ms	(tanh.f64 (/.f64 x y))
1.0ms	(tanh.f64 (/.f64 t y))

simplify228.0ms (3.6%)

Algorithm

1×	egg-herbie

Rules

930×	`times-frac_binary64`
285×	`associate-l_binary64`
258×	`associate-r_binary64`
257×	`*-commutative_binary64`
255×	`fma-neg_binary64`

Counts

254 → 240

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	391	16922
1	1158	7478
2	4280	7478
3	6238	7478

prune179.0ms (2.8%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	238	2	240
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	239	2	241

Error

0.0b

Counts

241 → 2

Alt Table

Status	Error	Program
▶	9.1b	(+.f64 x (.f64 (.f64 y z) (cbrt.f64 (pow.f64 (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))) 3))))
	27.7b	(+.f64 x (*.f64 (-.f64 t x) z))

Compiler

Compiled 9638 to 2971 computations (69.2% saved)

localize15.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.0b	(-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))
✓	0.1b	(pow.f64 (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))) 3)
✓	5.3b	(.f64 (.f64 y z) (cbrt.f64 (pow.f64 (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))) 3)))
✓	9.4b	(cbrt.f64 (pow.f64 (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))) 3))

series856.0ms (13.5%)

Counts

3 → 120

Calls

3 calls:

372.0ms

(pow.f64 (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))) 3)

321.0ms

(*.f64 (*.f64 y z) (cbrt.f64 (pow.f64 (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))) 3)))

162.0ms

(cbrt.f64 (pow.f64 (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))) 3))

rewrite43.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

33×	`cube-div_binary64`
32×	`cbrt-prod_binary64`
27×	`frac-sub_binary64`
25×	`*-un-lft-identity_binary64`
25×	`add-sqr-sqrt_binary64`

Counts

3 → 125

Calls

3 calls:

15.0ms

(*.f64 (*.f64 y z) (cbrt.f64 (pow.f64 (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))) 3)))

7.0ms

(cbrt.f64 (pow.f64 (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))) 3))

6.0ms

(pow.f64 (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))) 3)

simplify249.0ms (3.9%)

Algorithm

1×	egg-herbie

Rules

435×	`fma-def_binary64`
338×	`times-frac_binary64`
317×	`distribute-rgt-in_binary64`
315×	`distribute-lft-in_binary64`
191×	`*-commutative_binary64`

Counts

245 → 264

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	681	18592
1	2274	17334
2	5339	17334

prune314.0ms (5%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	349	0	349
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	349	2	351

Error

0.0b

Counts

351 → 2

Alt Table

Status	Error	Program
✓	9.1b	(+.f64 x (.f64 (.f64 y z) (cbrt.f64 (pow.f64 (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))) 3))))
▶	27.7b	(+.f64 x (*.f64 (-.f64 t x) z))

Compiler

Compiled 19556 to 8054 computations (58.8% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 (-.f64 t x) z)
✓	0.0b	(+.f64 x (*.f64 (-.f64 t x) z))

series13.0ms (0.2%)

Counts

2 → 60

Calls

2 calls:

7.0ms	(+.f64 x (*.f64 (-.f64 t x) z))
6.0ms	(*.f64 (-.f64 t x) z)

rewrite12.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

9×	`add-sqr-sqrt_binary64`
7×	`*-un-lft-identity_binary64`
5×	`associate-l_binary64`
5×	`add-cube-cbrt_binary64`
4×	`add-cbrt-cube_binary64`

Counts

2 → 40

Calls

2 calls:

5.0ms	(*.f64 (-.f64 t x) z)
3.0ms	(+.f64 x (*.f64 (-.f64 t x) z))

simplify71.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

613×	`associate-+l+_binary64`
253×	`associate-l_binary64`
250×	`distribute-rgt-in_binary64`
242×	`fma-def_binary64`
240×	`distribute-rgt-neg-out_binary64`

Counts

100 → 73

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	83	965
1	219	839
2	598	835
3	1975	835
4	4799	835
5	4988	835

prune36.0ms (0.6%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	73	0	73
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	73	2	75

Error

0.0b

Counts

75 → 2

Alt Table

Status	Error	Program
✓	9.1b	(+.f64 x (.f64 (.f64 y z) (cbrt.f64 (pow.f64 (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))) 3))))
✓	27.7b	(+.f64 x (*.f64 (-.f64 t x) z))

Compiler

Compiled 932 to 267 computations (71.4% saved)

regimes426.0ms (6.7%)

Accuracy

Total 1.5b remaining (89.2%)

Threshold costs 0b (0%)

Counts

80 → 2

Compiler

Compiled 9513 to 5481 computations (42.4% saved)

bsearch3.0ms (0.1%)

Compiler: Compiled 19 to 12 computations (36.8% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	59
1	32	59
2	40	59
3	44	59
4	46	59
5	46	59

end58.0ms (0.9%)

Compiler: Compiled 119 to 62 computations (47.9% saved)

Details

analyze1.6s (25.4%)

sample1.4s (22.2%)

simplify40.0ms (0.6%)

prune3.0ms (0%)

localize10.0ms (0.2%)

series707.0ms (11.2%)

rewrite40.0ms (0.6%)

simplify228.0ms (3.6%)

prune179.0ms (2.8%)

localize15.0ms (0.2%)

series856.0ms (13.5%)

rewrite43.0ms (0.7%)

simplify249.0ms (3.9%)

prune314.0ms (5%)

localize7.0ms (0.1%)

series13.0ms (0.2%)

rewrite12.0ms (0.2%)

simplify71.0ms (1.1%)

prune36.0ms (0.6%)

regimes426.0ms (6.7%)

bsearch3.0ms (0.1%)

simplify4.0ms (0.1%)

end58.0ms (0.9%)

Profiling