Details

analyze1.4s (23.3%)

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
7.8%	92%	0.2%	8
7.8%	92%	0.2%	9
10.9%	88.9%	0.2%	10
34.7%	65.1%	0.2%	11
43.1%	56.7%	0.2%	12
44.2%	55.7%	0.2%	13
49.5%	50.3%	0.2%	14

Compiler

Compiled 20 to 13 computations (35% saved)

sample51.0ms (0.9%)

Algorithm

1×

intervals

Results

29.0ms	253×	body	128	valid
2.0ms	14×	body	128	invalid
0.0ms	1×	body	1024	valid
0.0ms	1×	body	512	valid
0.0ms	1×	body	256	valid

Compiler

Compiled 43 to 29 computations (32.6% saved)

simplify65.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

441×	`div-sub_binary64`
396×	`distribute-rgt-in_binary64`
366×	`distribute-lft-in_binary64`
260×	`associate-l_binary64`
256×	`associate-r_binary64`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	23
1	55	23
2	148	23
3	349	23
4	1247	23
5	4605	23
6	4879	23
7	5155	23

prune3.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

3.9b

Counts

1 → 1

Alt Table

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

Compiler

Compiled 38 to 24 computations (36.8% saved)

localize22.0ms (0.4%)

Local error

Found 4 expressions with local error:

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)))
4.4b	(.f64 (.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))

rewrite170.0ms (2.9%)

Algorithm

1×	rewrite-expression-head

Error

0.9b

Rules

18×	`frac-sub_binary64`
14×	`tanh-def-a_binary64`
14×	`tanh-def-b_binary64`
14×	`tanh-def-c_binary64`
12×	`*-un-lft-identity_binary64`

Counts

4 → 84

Calls

4 calls:

14.0ms	(.f64 (.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))
5.0ms	(-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))
3.0ms	(tanh.f64 (/.f64 x y))
1.0ms	(tanh.f64 (/.f64 t y))

Compiler

Compiled 2731 to 823 computations (69.9% saved)

series346.0ms (5.9%)

Error

Counts

4 → 44

Calls

4 calls:

177.0ms	(.f64 (.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))))
88.0ms	(-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))
35.0ms	(tanh.f64 (/.f64 t y))
23.0ms	(tanh.f64 (/.f64 x y))

Compiler

Compiled 4110 to 2741 computations (33.3% saved)

simplify214.0ms (3.6%)

Algorithm

1×	egg-herbie

Rules

374×	`times-frac_binary64`
364×	`associate-/l*_binary64`
227×	`associate-l_binary64`
208×	`distribute-rgt-in_binary64`
207×	`distribute-lft-in_binary64`

Counts

128 → 79

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	249	4978
1	775	3932
2	2846	3861
3	4972	3861
4	5008	3861

prune50.0ms (0.8%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	77	2	79
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	77	3	80

Error

Counts

80 → 3

Alt Table

Status	Error	Program
▶	23.8b	(+.f64 x (*.f64 z (-.f64 t x)))
	35.3b	(+.f64 x (/.f64 (.f64 (.f64 y z) (-.f64 (.f64 (+.f64 (exp.f64 (.f64 -2 (/.f64 x y))) 1) (-.f64 1 (exp.f64 (.f64 -2 (/.f64 t y))))) (.f64 (+.f64 1 (exp.f64 (.f64 -2 (/.f64 t y)))) (-.f64 1 (exp.f64 (.f64 -2 (/.f64 x y))))))) (.f64 (+.f64 1 (exp.f64 (.f64 -2 (/.f64 t y)))) (+.f64 1 (exp.f64 (*.f64 -2 (/.f64 x y)))))))
✓	3.9b	(+.f64 x (.f64 (.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))))

Compiler

Compiled 1947 to 885 computations (54.5% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(*.f64 z (-.f64 t x))
0.0b	(+.f64 x (*.f64 z (-.f64 t x)))

rewrite38.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

Rules

12×	`cancel-sign-sub-inv_binary64`
12×	`add-sqr-sqrt_binary64`
10×	`*-un-lft-identity_binary64`
8×	`distribute-lft-in_binary64`
8×	`associate-+r+_binary64`

Counts

2 → 49

Calls

2 calls:

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

Compiler

Compiled 659 to 183 computations (72.2% saved)

series54.0ms (0.9%)

Error

Counts

2 → 33

Calls

2 calls:

22.0ms	(+.f64 x (*.f64 z (-.f64 t x)))
21.0ms	(*.f64 z (-.f64 t x))

Compiler

Compiled 665 to 409 computations (38.5% saved)

simplify87.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

538×	`neg-mul-1_binary64`
485×	`associate-r_binary64`
361×	`exp-prod_binary64`
340×	`distribute-rgt-neg-out_binary64`
336×	`cancel-sign-sub-inv_binary64`

Counts

82 → 54

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	100	812
1	248	764
2	675	764
3	2186	764
4	4224	764
5	5115	764

prune16.0ms (0.3%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	54	0	54
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	54	3	57

Error

Counts

57 → 3

Alt Table

Status	Error	Program
✓	23.8b	(+.f64 x (*.f64 z (-.f64 t x)))
▶	35.3b	(+.f64 x (/.f64 (.f64 (.f64 y z) (-.f64 (.f64 (+.f64 (exp.f64 (.f64 -2 (/.f64 x y))) 1) (-.f64 1 (exp.f64 (.f64 -2 (/.f64 t y))))) (.f64 (+.f64 1 (exp.f64 (.f64 -2 (/.f64 t y)))) (-.f64 1 (exp.f64 (.f64 -2 (/.f64 x y))))))) (.f64 (+.f64 1 (exp.f64 (.f64 -2 (/.f64 t y)))) (+.f64 1 (exp.f64 (*.f64 -2 (/.f64 x y)))))))
✓	3.9b	(+.f64 x (.f64 (.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))))

Compiler

Compiled 434 to 199 computations (54.1% saved)

localize29.0ms (0.5%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (.f64 (+.f64 (exp.f64 (.f64 -2 (/.f64 x y))) 1) (-.f64 1 (exp.f64 (.f64 -2 (/.f64 t y))))) (.f64 (+.f64 1 (exp.f64 (.f64 -2 (/.f64 t y)))) (-.f64 1 (exp.f64 (.f64 -2 (/.f64 x y))))))
2.1b	(-.f64 1 (exp.f64 (*.f64 -2 (/.f64 t y))))
2.2b	(-.f64 1 (exp.f64 (*.f64 -2 (/.f64 x y))))
5.7b	(.f64 (.f64 y z) (-.f64 (.f64 (+.f64 (exp.f64 (.f64 -2 (/.f64 x y))) 1) (-.f64 1 (exp.f64 (.f64 -2 (/.f64 t y))))) (.f64 (+.f64 1 (exp.f64 (.f64 -2 (/.f64 t y)))) (-.f64 1 (exp.f64 (.f64 -2 (/.f64 x y)))))))

rewrite847.0ms (14.3%)

Algorithm

1×	rewrite-expression-head

Error

Rules

130×	`associate-*r/_binary64`
128×	`frac-sub_binary64`
128×	`frac-times_binary64`
100×	`flip--_binary64`
100×	`flip3--_binary64`

Counts

4 → 230

Calls

4 calls:

22.0ms	(.f64 (.f64 y z) (-.f64 (.f64 (+.f64 (exp.f64 (.f64 -2 (/.f64 x y))) 1) (-.f64 1 (exp.f64 (.f64 -2 (/.f64 t y))))) (.f64 (+.f64 1 (exp.f64 (.f64 -2 (/.f64 t y)))) (-.f64 1 (exp.f64 (.f64 -2 (/.f64 x y)))))))
14.0ms	(-.f64 (.f64 (+.f64 (exp.f64 (.f64 -2 (/.f64 x y))) 1) (-.f64 1 (exp.f64 (.f64 -2 (/.f64 t y))))) (.f64 (+.f64 1 (exp.f64 (.f64 -2 (/.f64 t y)))) (-.f64 1 (exp.f64 (.f64 -2 (/.f64 x y))))))
6.0ms	(-.f64 1 (exp.f64 (*.f64 -2 (/.f64 x y))))
3.0ms	(-.f64 1 (exp.f64 (*.f64 -2 (/.f64 t y))))

Compiler

Compiled 31685 to 20868 computations (34.1% saved)

series207.0ms (3.5%)

Error

Counts

4 → 44

Calls

4 calls:

90.0ms	(.f64 (.f64 y z) (-.f64 (.f64 (+.f64 (exp.f64 (.f64 -2 (/.f64 x y))) 1) (-.f64 1 (exp.f64 (.f64 -2 (/.f64 t y))))) (.f64 (+.f64 1 (exp.f64 (.f64 -2 (/.f64 t y)))) (-.f64 1 (exp.f64 (.f64 -2 (/.f64 x y)))))))
49.0ms	(-.f64 (.f64 (+.f64 (exp.f64 (.f64 -2 (/.f64 x y))) 1) (-.f64 1 (exp.f64 (.f64 -2 (/.f64 t y))))) (.f64 (+.f64 1 (exp.f64 (.f64 -2 (/.f64 t y)))) (-.f64 1 (exp.f64 (.f64 -2 (/.f64 x y))))))
25.0ms	(-.f64 1 (exp.f64 (*.f64 -2 (/.f64 t y))))
17.0ms	(-.f64 1 (exp.f64 (*.f64 -2 (/.f64 x y))))

Compiler

Compiled 5157 to 3573 computations (30.7% saved)

simplify604.0ms (10.2%)

Algorithm

1×	egg-herbie

Rules

428×	`cancel-sign-sub-inv_binary64`
361×	`*-commutative_binary64`
284×	`distribute-rgt-neg-in_binary64`
273×	`sub-neg_binary64`
252×	`+-commutative_binary64`

Counts

274 → 237

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	612	28548
1	2297	24906
2	3858	24856
3	4924	24856
4	4975	24856

prune383.0ms (6.5%)

Pruning

3 alts after pruning (0 fresh and 3 done)

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

Error

Counts

240 → 3

Alt Table

Status	Error	Program
	23.8b	(+.f64 x (*.f64 z (-.f64 t x)))
	35.3b	(+.f64 x (/.f64 (.f64 (.f64 y z) (-.f64 (.f64 (+.f64 (exp.f64 (.f64 -2 (/.f64 x y))) 1) (-.f64 1 (exp.f64 (.f64 -2 (/.f64 t y))))) (.f64 (+.f64 1 (exp.f64 (.f64 -2 (/.f64 t y)))) (-.f64 1 (exp.f64 (.f64 -2 (/.f64 x y))))))) (.f64 (+.f64 1 (exp.f64 (.f64 -2 (/.f64 t y)))) (+.f64 1 (exp.f64 (*.f64 -2 (/.f64 x y)))))))
	3.9b	(+.f64 x (.f64 (.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))))

Compiler

Compiled 22794 to 14214 computations (37.6% saved)

regimes354.0ms (6%)

Accuracy

Total 1.7b remaining (87.5%)

Threshold costs 0b (0%)

Compiler

Compiled 7673 to 4886 computations (36.3% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	23
1	18	23
2	23	23
3	25	23
4	26	23
5	26	23

end1.0ms (0%)

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

sample981.0ms (16.6%)

Algorithm

1×

intervals

Results

491.0ms	7766×	body	128	valid
36.0ms	552×	body	128	invalid
23.0ms	93×	body	1024	valid
15.0ms	92×	body	512	valid
5.0ms	49×	body	256	valid

Compiler

Compiled 136 to 92 computations (32.4% saved)

Details

analyze1.4s (23.3%)

sample51.0ms (0.9%)

simplify65.0ms (1.1%)

prune3.0ms (0%)

localize22.0ms (0.4%)

rewrite170.0ms (2.9%)

series346.0ms (5.9%)

simplify214.0ms (3.6%)

prune50.0ms (0.8%)

localize5.0ms (0.1%)

rewrite38.0ms (0.6%)

series54.0ms (0.9%)

simplify87.0ms (1.5%)

prune16.0ms (0.3%)

localize29.0ms (0.5%)

rewrite847.0ms (14.3%)

series207.0ms (3.5%)

simplify604.0ms (10.2%)

prune383.0ms (6.5%)

regimes354.0ms (6%)

simplify4.0ms (0.1%)

end1.0ms (0%)

sample981.0ms (16.6%)

Profiling