Details

analyze975.0ms (5.3%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
49.9%	49.9%	0.2%	2
49.9%	49.9%	0.2%	3
49.9%	49.9%	0.2%	4
49.9%	49.9%	0.2%	5
49.9%	49.9%	0.2%	6
49.9%	49.9%	0.2%	7
53%	46.8%	0.2%	8
57.7%	42.1%	0.2%	9
61.6%	38.2%	0.2%	10
63.5%	30%	6.4%	11
63.5%	30%	6.4%	12
67.6%	25.9%	6.4%	13
68.9%	24.7%	6.4%	14

Compiler

Compiled 16 to 15 computations (6.3% saved)

sample190.0ms (1%)

Algorithm

1×

intervals

Results

38.0ms	73×	body	1024	invalid
36.0ms	44×	body	1024	valid
19.0ms	42×	body	512	valid
19.0ms	146×	body	128	valid
16.0ms	128×	body	128	invalid
10.0ms	26×	body	512	invalid
6.0ms	23×	body	256	valid
4.0ms	16×	body	256	invalid
1.0ms	1×	body	2048	valid

Compiler

Compiled 31 to 33 computations (-6.5% saved)

simplify345.0ms (1.9%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (184.0ms)

Iter	Nodes	Cost
0	4815	24
1	4815	24

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

15.6b

Counts

2 → 1

Compiler

Compiled 30 to 28 computations (6.7% saved)

localize25.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b

(+.f64 (*.f64 (*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 K 2))) U)

0.0b

(*.f64 (*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 K 2)))

6.3b

(-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))

rewrite155.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

8×	`pow1_binary64_821` `add-exp-log_binary64_798` `add-cbrt-cube_binary64_796`
7×	`add-log-exp_binary64_799` `add-sqr-sqrt_binary64_782` `*-un-lft-identity_binary64_760`
5×	`add-cube-cbrt_binary64_795`
3×	`cancel-sign-sub-inv_binary64_726` `pow-prod-down_binary64_831` `prod-exp_binary64_809` `cbrt-unprod_binary64_793` `associate-r_binary64_700`
2×	`flip3--_binary64_764` `flip--_binary64_735` `associate-r/_binary64_702` `associate-l/_binary64_703`
1×	`sinh-undef_binary64_953` `diff-log_binary64_852` `sub-neg_binary64_753` `difference-of-squares_binary64_729` `distribute-lft-out--_binary64_712` `associate-l_binary64_701` `*-commutative_binary64_691` `sum-log_binary64_851` `flip3-+_binary64_763` `flip-+_binary64_734` `+-commutative_binary64_690`

Counts

3 → 48

Calls

3 calls:

21.0ms

(+.f64 (*.f64 (*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 K 2))) U)

20.0ms

(*.f64 (*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 K 2)))

11.0ms

(-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))

Compiler

Compiled 1240 to 506 computations (59.2% saved)

series1.7s (9.1%)

Error

0.1b

Counts

3 → 43

Calls

3 calls:

1.0s

(+.f64 (*.f64 (*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 K 2))) U)

490.0ms

(*.f64 (*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 K 2)))

52.0ms

(-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))

Compiler

Compiled 2361 to 1715 computations (27.4% saved)

simplify132.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

91 → 91

Iterations

Useful iterations: 0 (90.0ms)

Iter	Nodes	Cost
0	5094	2096

prune153.0ms (0.8%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	89	2	91
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	90	2	92

Error

0.0b

Counts

92 → 2

Compiler

Compiled 1815 to 840 computations (53.7% saved)

localize21.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(sinh.f64 l)
0.0b	(+.f64 (.f64 (.f64 J (*.f64 2 (sinh.f64 l))) (cos.f64 (/.f64 K 2))) U)
0.1b	(.f64 (.f64 J (*.f64 2 (sinh.f64 l))) (cos.f64 (/.f64 K 2)))

rewrite126.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

12×	`pow1_binary64_821` `add-exp-log_binary64_798` `add-cbrt-cube_binary64_796`
6×	`pow-prod-down_binary64_831` `prod-exp_binary64_809` `cbrt-unprod_binary64_793`
5×	`add-log-exp_binary64_799`
4×	`add-cube-cbrt_binary64_795` `add-sqr-sqrt_binary64_782` `*-un-lft-identity_binary64_760`
3×	`associate-r_binary64_700`
2×	`sinh-def_binary64_945` `associate-*r/_binary64_702`
1×	`associate-l/_binary64_703` `associate-l_binary64_701` `-commutative_binary64_691` `sum-log_binary64_851` `flip3-+_binary64_763` `flip-+_binary64_734` `+-commutative_binary64_690`

Counts

3 → 41

Calls

3 calls:

16.0ms	(+.f64 (.f64 (.f64 J (*.f64 2 (sinh.f64 l))) (cos.f64 (/.f64 K 2))) U)
16.0ms	(.f64 (.f64 J (*.f64 2 (sinh.f64 l))) (cos.f64 (/.f64 K 2)))
2.0ms	(sinh.f64 l)

Compiler

Compiled 924 to 603 computations (34.7% saved)

series1.8s (9.7%)

Error

0.0b

Counts

3 → 43

Calls

3 calls:

943.0ms	(+.f64 (.f64 (.f64 J (*.f64 2 (sinh.f64 l))) (cos.f64 (/.f64 K 2))) U)
674.0ms	(.f64 (.f64 J (*.f64 2 (sinh.f64 l))) (cos.f64 (/.f64 K 2)))
75.0ms	(sinh.f64 l)

Compiler

Compiled 2385 to 1737 computations (27.2% saved)

simplify160.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

84 → 84

Iterations

Useful iterations: 0 (123.0ms)

Iter	Nodes	Cost
0	4998	1700
1	4998	1700

prune152.0ms (0.8%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	80	4	84
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	80	6	86

Error

0.0b

Counts

86 → 6

Compiler

Compiled 1601 to 1051 computations (34.4% saved)

localize21.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(sinh.f64 l)
0.0b	(+.f64 (.f64 J (.f64 (*.f64 2 (sinh.f64 l)) (cos.f64 (/.f64 K 2)))) U)
0.1b	(.f64 J (.f64 (*.f64 2 (sinh.f64 l)) (cos.f64 (/.f64 K 2))))
0.1b	(.f64 (.f64 2 (sinh.f64 l)) (cos.f64 (/.f64 K 2)))

rewrite166.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

Rules

18×	`pow1_binary64_821` `add-exp-log_binary64_798` `add-cbrt-cube_binary64_796`
9×	`pow-prod-down_binary64_831` `prod-exp_binary64_809` `cbrt-unprod_binary64_793`
6×	`add-log-exp_binary64_799` `add-cube-cbrt_binary64_795` `add-sqr-sqrt_binary64_782` `*-un-lft-identity_binary64_760`
4×	`associate-l_binary64_701` `associate-r_binary64_700`
3×	`sinh-def_binary64_945` `associate-*r/_binary64_702`
2×	`associate-l/_binary64_703` `-commutative_binary64_691`
1×	`sum-log_binary64_851` `flip3-+_binary64_763` `flip-+_binary64_734` `+-commutative_binary64_690`

Counts

4 → 60

Calls

4 calls:

17.0ms	(+.f64 (.f64 J (.f64 (*.f64 2 (sinh.f64 l)) (cos.f64 (/.f64 K 2)))) U)
15.0ms	(.f64 J (.f64 (*.f64 2 (sinh.f64 l)) (cos.f64 (/.f64 K 2))))
11.0ms	(.f64 (.f64 2 (sinh.f64 l)) (cos.f64 (/.f64 K 2)))
2.0ms	(sinh.f64 l)

Compiler

Compiled 1307 to 848 computations (35.1% saved)

series2.1s (11.5%)

Error

0.0b

Counts

4 → 53

Calls

4 calls:

959.0ms	(+.f64 (.f64 J (.f64 (*.f64 2 (sinh.f64 l)) (cos.f64 (/.f64 K 2)))) U)
644.0ms	(.f64 J (.f64 (*.f64 2 (sinh.f64 l)) (cos.f64 (/.f64 K 2))))
335.0ms	(.f64 (.f64 2 (sinh.f64 l)) (cos.f64 (/.f64 K 2)))
77.0ms	(sinh.f64 l)

Compiler

Compiled 2922 to 2150 computations (26.4% saved)

simplify166.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

113 → 113

Iterations

Useful iterations: 0 (121.0ms)

Iter	Nodes	Cost
0	4946	2202
1	4946	2202

prune189.0ms (1%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	111	2	113
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	111	8	119

Error

Counts

119 → 8

Compiler

Compiled 2124 to 1394 computations (34.4% saved)

localize35.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.5b	(*.f64 (cbrt.f64 J) (cbrt.f64 J))
0.6b	(cbrt.f64 J)
0.6b	(cbrt.f64 J)
0.6b	(cbrt.f64 J)

rewrite158.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

Rules

25×	`cbrt-prod_binary64_791`
23×	`add-sqr-sqrt_binary64_782`
15×	`add-cube-cbrt_binary64_795` `*-un-lft-identity_binary64_760`
11×	`pow1_binary64_821`
9×	`pow1/3_binary64_842`
6×	`add-exp-log_binary64_798` `swap-sqr_binary64_727` `associate-l_binary64_701` `associate-r_binary64_700`
4×	`add-log-exp_binary64_799` `add-cbrt-cube_binary64_796` `unswap-sqr_binary64_728`
2×	`pow-prod-down_binary64_831` `pow-prod-up_binary64_830` `pow-sqr_binary64_733`
1×	`pow2_binary64_841` `pow-plus_binary64_823` `prod-exp_binary64_809` `cbrt-unprod_binary64_793` `*-commutative_binary64_691`

Counts

4 → 73

Calls

4 calls:

13.0ms	(*.f64 (cbrt.f64 J) (cbrt.f64 J))
2.0ms	(cbrt.f64 J)
2.0ms	(cbrt.f64 J)
2.0ms	(cbrt.f64 J)

Compiler

Compiled 1816 to 820 computations (54.8% saved)

series560.0ms (3.1%)

Error

Counts

4 → 12

Calls

4 calls:

145.0ms	(*.f64 (cbrt.f64 J) (cbrt.f64 J))
136.0ms	(cbrt.f64 J)
134.0ms	(cbrt.f64 J)
123.0ms	(cbrt.f64 J)

Compiler

Compiled 807 to 649 computations (19.6% saved)

simplify149.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 0 (121.0ms)

Iter	Nodes	Cost
0	4873	548
1	4873	548

prune138.0ms (0.8%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	85	0	85
Fresh	0	5	5
Picked	0	1	1
Done	0	2	2
Total	85	8	93

Error

Counts

93 → 8

Compiler

Compiled 1913 to 983 computations (48.6% saved)

regimes1.3s (7%)

Accuracy

Total 0.1b remaining (91.2%)

Threshold costs 0.1b (91.2%)

Compiler

Compiled 7566 to 6727 computations (11.1% saved)

bsearch0.0ms (0%)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	17	20
1	17	20

end0.0ms (0%)

sample7.4s (40.7%)

Algorithm

1×

intervals

Results

1.4s	1750×	body	1024	valid
1.1s	1986×	body	1024	invalid
582.0ms	4286×	body	128	valid
555.0ms	1239×	body	512	valid
458.0ms	3442×	body	128	invalid
363.0ms	969×	body	512	invalid
182.0ms	660×	body	256	valid
128.0ms	455×	body	256	invalid
74.0ms	65×	body	2048	valid

Compiler

Compiled 761 to 675 computations (11.3% saved)

Details

analyze975.0ms (5.3%)

sample190.0ms (1%)

simplify345.0ms (1.9%)

prune5.0ms (0%)

localize25.0ms (0.1%)

rewrite155.0ms (0.8%)

series1.7s (9.1%)

simplify132.0ms (0.7%)

prune153.0ms (0.8%)

localize21.0ms (0.1%)

rewrite126.0ms (0.7%)

series1.8s (9.7%)

simplify160.0ms (0.9%)

prune152.0ms (0.8%)

localize21.0ms (0.1%)

rewrite166.0ms (0.9%)

series2.1s (11.5%)

simplify166.0ms (0.9%)

prune189.0ms (1%)

localize35.0ms (0.2%)

rewrite158.0ms (0.9%)

series560.0ms (3.1%)

simplify149.0ms (0.8%)

prune138.0ms (0.8%)

regimes1.3s (7%)

bsearch0.0ms (0%)

simplify4.0ms (0%)

end0.0ms (0%)

sample7.4s (40.7%)

Profiling