Details

analyze1.1s (16.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
0%	99.8%	0.2%	8
1.6%	98.2%	0.2%	9
2.3%	97.5%	0.2%	10
11.7%	88.1%	0.2%	11
13.1%	74.3%	12.7%	12
16.1%	70.5%	13.5%	13
18.6%	68%	13.5%	14

sample90.0ms (1.3%)

Algorithm

1×

intervals

Results

27.0ms	45×	body	1280	valid
17.0ms	52×	body	640	valid
8.0ms	115×	body	80	valid
6.0ms	4×	body	2560	valid
5.0ms	26×	body	320	valid
2.0ms	52×	body	80	nan
2.0ms	10×	body	640	nan
2.0ms	5×	body	1280	nan
2.0ms	14×	body	160	valid
1.0ms	21×	body	80	overflowed
1.0ms	4×	body	320	nan
0.0ms	3×	body	160	nan
0.0ms	2×	body	80	invalid

simplify281.0ms (4.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (278.0ms)

Iter	Nodes	Cost
0	3730	13
1	3730	13

prune9.0ms (0.1%)

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

Merged error: 25.9b

Counts

2 → 1

localize15.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(* y (exp z))
0.0b	(/ (log (+ (- 1.0 y) (* y (exp z)))) t)
3.0b	(+ (- 1.0 y) (* y (exp z)))
3.3b	(log (+ (- 1.0 y) (* y (exp z))))

rewrite28.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`add-sqr-sqrt`
16×	`add-cube-cbrt` `*-un-lft-identity`
12×	`times-frac`
11×	`pow1`
9×	`add-log-exp`
8×	`add-exp-log` `add-cbrt-cube`
5×	`log-pow`
4×	`log-div` `associate-/l*`
3×	`log-prod` `flip3-+` `associate-r` `associate-l` `associate-/r*` `flip-+`
2×	`div-sub` `sum-log`
1×	`cbrt-undiv` `+-commutative` `associate-+l-` `sub-neg` `associate-+l+` `frac-2neg` `diff-log` `div-exp` `rem-log-exp` `pow-prod-down` `prod-exp` `clear-num` `*-commutative` `cbrt-unprod` `div-inv` `unswap-sqr`

Counts

4 → 79

Calls

4 calls:

8.0ms	(/ (log (+ (- 1.0 y) (* y (exp z)))) t)
6.0ms	(+ (- 1.0 y) (* y (exp z)))
6.0ms	(log (+ (- 1.0 y) (* y (exp z))))
5.0ms	(* y (exp z))

series67.0ms (1%)

Counts

4 → 12

Calls

4 calls:

40.0ms	(/ (log (+ (- 1.0 y) (* y (exp z)))) t)
15.0ms	(log (+ (- 1.0 y) (* y (exp z))))
7.0ms	(+ (- 1.0 y) (* y (exp z)))
5.0ms	(* y (exp z))

simplify64.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

91 → 91

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	5127	1261

prune189.0ms (2.8%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	85	6	91
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	86	6	92

Merged error: 5.4b

Counts

92 → 6

localize12.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b	(- x (/ (+ (log 1.0) (* y (* z (+ (* 0.5 z) 1.0)))) t))
2.2b	(* y (* z (+ (* 0.5 z) 1.0)))
5.6b	(/ (+ (log 1.0) (* y (* z (+ (* 0.5 z) 1.0)))) t)

rewrite24.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

17×	`add-sqr-sqrt`
14×	`*-un-lft-identity`
12×	`add-cube-cbrt`
10×	`add-exp-log` `times-frac` `add-cbrt-cube`
8×	`pow1`
5×	`add-log-exp`
4×	`distribute-rgt-in` `distribute-lft-in` `associate-*r/`
3×	`associate-l` `pow-prod-down` `prod-exp` `associate-/r` `cbrt-unprod` `associate-/l`
2×	`flip3-+` `flip-+` `associate-/l/` `difference-of-squares`
1×	`cbrt-undiv` `sub-neg` `flip3--` `frac-2neg` `diff-log` `div-exp` `associate-r` `clear-num` `*-commutative` `flip--` `div-inv` `distribute-lft-out--`

Counts

3 → 67

Calls

3 calls:

8.0ms	(- x (/ (+ (log 1.0) (* y (* z (+ (* 0.5 z) 1.0)))) t))
8.0ms	(* y (* z (+ (* 0.5 z) 1.0)))
6.0ms	(/ (+ (log 1.0) (* y (* z (+ (* 0.5 z) 1.0)))) t)

series65.0ms (0.9%)

Counts

3 → 9

Calls

3 calls:

32.0ms	(- x (/ (+ (log 1.0) (* y (* z (+ (* 0.5 z) 1.0)))) t))
24.0ms	(/ (+ (log 1.0) (* y (* z (+ (* 0.5 z) 1.0)))) t)
9.0ms	(* y (* z (+ (* 0.5 z) 1.0)))

simplify51.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

76 → 76

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	5438	1344

prune193.0ms (2.8%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	70	6	76
Fresh	0	5	5
Picked	1	0	1
Done	0	0	0
Total	71	11	82

Merged error: 5.3b

Counts

82 → 11

localize11.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(+ x (/ (- (neg (log 1.0)) (* y (* 1.0 z))) t))
4.7b	(/ (- (neg (log 1.0)) (* y (* 1.0 z))) t)

rewrite16.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`*-un-lft-identity`
10×	`add-sqr-sqrt` `add-cube-cbrt`
9×	`times-frac`
4×	`add-exp-log` `add-cbrt-cube` `add-log-exp`
3×	`associate-/r` `associate-/l`
2×	`pow1` `div-sub` `associate-/l/`
1×	`cbrt-undiv` `+-commutative` `associate-+r-` `flip3--` `frac-2neg` `flip3-+` `div-exp` `clear-num` `sum-log` `flip--` `flip-+` `div-inv` `distribute-lft-out`

Counts

2 → 43

Calls

2 calls:

8.0ms	(+ x (/ (- (neg (log 1.0)) (* y (* 1.0 z))) t))
7.0ms	(/ (- (neg (log 1.0)) (* y (* 1.0 z))) t)

series30.0ms (0.4%)

Counts

2 → 6

Calls

2 calls:

17.0ms	(+ x (/ (- (neg (log 1.0)) (* y (* 1.0 z))) t))
13.0ms	(/ (- (neg (log 1.0)) (* y (* 1.0 z))) t)

simplify50.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

49 → 49

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	5094	768

prune173.0ms (2.5%)

Pruning

17 alts after pruning (16 fresh and 1 done)

	Pruned	Kept	Total
New	39	10	49
Fresh	4	6	10
Picked	0	1	1
Done	0	0	0
Total	43	17	60

Merged error: 5.3b

Counts

60 → 17

localize14.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b	(+ x (/ 1 (/ t (- (neg (log 1.0)) (* y (* 1.0 z))))))
0.8b	(/ 1 (/ t (- (neg (log 1.0)) (* y (* 1.0 z)))))
4.7b	(/ t (- (neg (log 1.0)) (* y (* 1.0 z))))

rewrite37.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

90×	`times-frac`
58×	`*-un-lft-identity`
55×	`add-sqr-sqrt` `add-cube-cbrt`
18×	`associate-/r*`
16×	`add-exp-log`
11×	`associate-/r/`
10×	`add-cbrt-cube`
8×	`div-exp`
7×	`div-inv`
6×	`associate-/l*`
5×	`flip3--` `flip--` `add-log-exp`
4×	`pow1` `cbrt-undiv`
2×	`rec-exp` `frac-2neg` `1-exp` `clear-num` `distribute-lft-out`
1×	`+-commutative` `pow-flip` `flip3-+` `sum-log` `flip-+` `inv-pow`

Counts

3 → 126

Calls

3 calls:

16.0ms	(+ x (/ 1 (/ t (- (neg (log 1.0)) (* y (* 1.0 z))))))
9.0ms	(/ 1 (/ t (- (neg (log 1.0)) (* y (* 1.0 z)))))
6.0ms	(/ t (- (neg (log 1.0)) (* y (* 1.0 z))))

series66.0ms (1%)

Counts

3 → 9

Calls

3 calls:

25.0ms	(/ t (- (neg (log 1.0)) (* y (* 1.0 z))))
21.0ms	(+ x (/ 1 (/ t (- (neg (log 1.0)) (* y (* 1.0 z))))))
19.0ms	(/ 1 (/ t (- (neg (log 1.0)) (* y (* 1.0 z)))))

simplify53.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

135 → 135

Iterations

Useful iterations: 0 (37.0ms)

Iter	Nodes	Cost
0	5163	2591

prune290.0ms (4.2%)

Pruning

18 alts after pruning (16 fresh and 2 done)

	Pruned	Kept	Total
New	133	2	135
Fresh	1	14	15
Picked	0	1	1
Done	0	1	1
Total	134	18	152

Merged error: 5.3b

Counts

152 → 18

regimes1.2s (17.5%)

Accuracy

Total 4.9b remaining (51.1%)

Threshold costs 0b (0%)

bsearch122.0ms (1.8%)

Steps

Iters	Range		Point
9	1.8550909217715098e-247	1.8395842924951235e-241	1.752020864510689e-241
10	-1028324598099.18	-29.767742835445514	-136.41029037088336

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	149	61
1	149	61

end0.0ms (0%)

sample2.6s (37.8%)

Algorithm

1×

intervals

Results

826.0ms	1429×	body	1280	valid
542.0ms	1597×	body	640	valid
250.0ms	3490×	body	80	valid
200.0ms	930×	body	320	valid
111.0ms	91×	body	2560	valid
72.0ms	1511×	body	80	nan
65.0ms	463×	body	160	valid
57.0ms	232×	body	640	nan
48.0ms	828×	body	80	overflowed
37.0ms	102×	body	1280	nan
30.0ms	184×	body	320	nan
9.0ms	92×	body	160	nan
1.0ms	20×	body	80	invalid
0.0ms	1×	body	320	invalid
0.0ms	1×	body	160	invalid

Details

analyze1.1s (16.3%)

sample90.0ms (1.3%)

simplify281.0ms (4.1%)

prune9.0ms (0.1%)

localize15.0ms (0.2%)

rewrite28.0ms (0.4%)

series67.0ms (1%)

simplify64.0ms (0.9%)

prune189.0ms (2.8%)

localize12.0ms (0.2%)

rewrite24.0ms (0.4%)

series65.0ms (0.9%)

simplify51.0ms (0.7%)

prune193.0ms (2.8%)

localize11.0ms (0.2%)

rewrite16.0ms (0.2%)

series30.0ms (0.4%)

simplify50.0ms (0.7%)

prune173.0ms (2.5%)

localize14.0ms (0.2%)

rewrite37.0ms (0.5%)

series66.0ms (1%)

simplify53.0ms (0.8%)

prune290.0ms (4.2%)

regimes1.2s (17.5%)

bsearch122.0ms (1.8%)

simplify3.0ms (0%)

end0.0ms (0%)

sample2.6s (37.8%)

Profiling