Details

analyze1.0ms (0%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
100%	0%	0%	1

sample58.0ms (0.7%)

Algorithm

1×

intervals

Results

30.0ms	122×	body	160	valid
20.0ms	134×	body	80	valid

simplify40.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	4973	63
1	4973	63

prune9.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 13.5b

Counts

2 → 1

localize22.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.2b	(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
0.2b	(* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))))
0.4b	(+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))
13.4b	(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (neg (* (fabs x) (fabs x))))))

rewrite27.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

25×	`add-sqr-sqrt`
20×	`add-cube-cbrt` `*-un-lft-identity`
19×	`times-frac`
15×	`associate-l`
11×	`add-exp-log` `add-cbrt-cube`
8×	`add-log-exp`
6×	`pow1`
5×	`flip3-+` `flip-+`
4×	`associate-/r/`
3×	`associate-r` `associate-/r` `associate-/l`
2×	`cbrt-undiv` `distribute-rgt-in` `frac-times` `associate-+r+` `distribute-lft-in` `associate-*r/` `div-exp` `prod-exp` `cbrt-unprod` `div-inv` `unswap-sqr`
1×	`+-commutative` `sub-neg` `flip3--` `frac-2neg` `diff-log` `pow-prod-down` `associate-l/` `clear-num` `sum-log` `-commutative` `flip--`

Counts

4 → 93

Calls

4 calls:

10.0ms	(* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))))
5.0ms	(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))
4.0ms	(+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))
3.0ms	(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (neg (* (fabs x) (fabs x))))))

series371.0ms (4.6%)

Counts

4 → 12

Calls

4 calls:

187.0ms	(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (neg (* (fabs x) (fabs x))))))
106.0ms	(* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))))
70.0ms	(+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))
8.0ms	(/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))

simplify70.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

105 → 105

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	4989	5163
1	4989	5163

prune579.0ms (7.2%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	96	9	105
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	97	9	106

Merged error: 13.4b

Counts

106 → 9

localize25.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.4b	(+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))
0.9b	(pow (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) 3)
13.4b	(- 1.0 (* (cbrt (pow (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) 3)) (exp (neg (* (fabs x) (fabs x))))))
20.4b	(cbrt (pow (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) 3))

rewrite23.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`add-exp-log` `cube-div` `add-cbrt-cube`
8×	`cbrt-prod` `add-log-exp`
7×	`pow1`
6×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
5×	`cbrt-div` `flip3-+` `flip-+`
4×	`frac-times` `associate-*r/`
3×	`pow-unpow` `pow-exp` `rem-cube-cbrt`
2×	`cube-mult` `unpow-prod-down` `associate-+r+` `pow-pow` `unpow3` `cube-prod` `associate-*l/` `prod-exp` `cbrt-unprod` `sqr-pow`
1×	`cbrt-undiv` `+-commutative` `distribute-rgt-in` `pow-to-exp` `sub-neg` `flip3--` `distribute-lft-in` `pow1/3` `diff-log` `div-exp` `pow-prod-down` `sum-log` `flip--` `rem-cbrt-cube`

Counts

4 → 75

Calls

4 calls:

10.0ms	(pow (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) 3)
4.0ms	(cbrt (pow (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) 3))
4.0ms	(+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))
3.0ms	(- 1.0 (* (cbrt (pow (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) 3)) (exp (neg (* (fabs x) (fabs x))))))

series524.0ms (6.5%)

Counts

4 → 12

Calls

4 calls:

188.0ms	(- 1.0 (* (cbrt (pow (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) 3)) (exp (neg (* (fabs x) (fabs x))))))
156.0ms	(pow (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) 3)
107.0ms	(cbrt (pow (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) 3))
72.0ms	(+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))

simplify71.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

87 → 87

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	5206	5936

prune628.0ms (7.8%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	86	1	87
Fresh	1	7	8
Picked	0	1	1
Done	0	0	0
Total	87	9	96

Merged error: 13.4b

Counts

96 → 9

localize28.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.3b	(/ 1.421413741 (pow (+ 1.0 (* 0.3275911 (fabs x))) 2))
0.4b	(+ 0.254829592 (+ (/ 1.421413741 (pow (+ 1.0 (* 0.3275911 (fabs x))) 2)) (- (/ 1.061405429 (pow (+ 1.0 (* 0.3275911 (fabs x))) 4)) (+ (/ 1.453152027 (pow (+ 1.0 (* 0.3275911 (fabs x))) 3)) (/ 0.284496736 (+ 1.0 (* 0.3275911 (fabs x))))))))
0.7b	(/ 1.453152027 (pow (+ 1.0 (* 0.3275911 (fabs x))) 3))
13.4b	(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (+ (/ 1.421413741 (pow (+ 1.0 (* 0.3275911 (fabs x))) 2)) (- (/ 1.061405429 (pow (+ 1.0 (* 0.3275911 (fabs x))) 4)) (+ (/ 1.453152027 (pow (+ 1.0 (* 0.3275911 (fabs x))) 3)) (/ 0.284496736 (+ 1.0 (* 0.3275911 (fabs x))))))))) (exp (neg (* (fabs x) (fabs x))))))

rewrite94.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Rules

60×	`*-un-lft-identity` `times-frac`
46×	`add-sqr-sqrt` `add-cube-cbrt`
24×	`unpow-prod-down`
20×	`associate-/r*` `add-log-exp`
14×	`add-exp-log`
12×	`cube-prod`
8×	`sum-log` `add-cbrt-cube` `distribute-lft-out` `sqr-pow`
6×	`div-exp` `associate-/l*`
4×	`pow1` `cube-mult` `unpow3` `unpow2`
3×	`diff-log`
2×	`cbrt-undiv` `cube-div` `pow-to-exp` `associate-+r-` `frac-2neg` `flip3-+` `pow-exp` `clear-num` `associate-/r/` `flip-+` `div-inv` `distribute-lft-out--`
1×	`+-commutative` `sub-neg` `associate-+r+` `flip3--` `flip--`

Counts

4 → 147

Calls

4 calls:

71.0ms	(+ 0.254829592 (+ (/ 1.421413741 (pow (+ 1.0 (* 0.3275911 (fabs x))) 2)) (- (/ 1.061405429 (pow (+ 1.0 (* 0.3275911 (fabs x))) 4)) (+ (/ 1.453152027 (pow (+ 1.0 (* 0.3275911 (fabs x))) 3)) (/ 0.284496736 (+ 1.0 (* 0.3275911 (fabs x))))))))
7.0ms	(/ 1.453152027 (pow (+ 1.0 (* 0.3275911 (fabs x))) 3))
6.0ms	(/ 1.421413741 (pow (+ 1.0 (* 0.3275911 (fabs x))) 2))
5.0ms	(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (+ (/ 1.421413741 (pow (+ 1.0 (* 0.3275911 (fabs x))) 2)) (- (/ 1.061405429 (pow (+ 1.0 (* 0.3275911 (fabs x))) 4)) (+ (/ 1.453152027 (pow (+ 1.0 (* 0.3275911 (fabs x))) 3)) (/ 0.284496736 (+ 1.0 (* 0.3275911 (fabs x))))))))) (exp (neg (* (fabs x) (fabs x))))))

series293.0ms (3.7%)

Counts

4 → 12

Calls

4 calls:

189.0ms	(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (+ (/ 1.421413741 (pow (+ 1.0 (* 0.3275911 (fabs x))) 2)) (- (/ 1.061405429 (pow (+ 1.0 (* 0.3275911 (fabs x))) 4)) (+ (/ 1.453152027 (pow (+ 1.0 (* 0.3275911 (fabs x))) 3)) (/ 0.284496736 (+ 1.0 (* 0.3275911 (fabs x))))))))) (exp (neg (* (fabs x) (fabs x))))))
71.0ms	(+ 0.254829592 (+ (/ 1.421413741 (pow (+ 1.0 (* 0.3275911 (fabs x))) 2)) (- (/ 1.061405429 (pow (+ 1.0 (* 0.3275911 (fabs x))) 4)) (+ (/ 1.453152027 (pow (+ 1.0 (* 0.3275911 (fabs x))) 3)) (/ 0.284496736 (+ 1.0 (* 0.3275911 (fabs x))))))))
18.0ms	(/ 1.453152027 (pow (+ 1.0 (* 0.3275911 (fabs x))) 3))
15.0ms	(/ 1.421413741 (pow (+ 1.0 (* 0.3275911 (fabs x))) 2))

simplify60.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

159 → 159

Iterations

Useful iterations: 0 (33.0ms)

Iter	Nodes	Cost
0	4978	4114
1	4978	4114

prune1.0s (12.6%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	152	7	159
Fresh	6	1	7
Picked	1	0	1
Done	1	0	1
Total	160	8	168

Merged error: 13.4b

Counts

168 → 8

localize29.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.2b	(* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ (+ 0.254829592 (/ 1.421413741 (pow (+ 1.0 (* 0.3275911 (fabs x))) 2))) (- (/ 1.061405429 (pow (+ 1.0 (* 0.3275911 (fabs x))) 4)) (+ (/ 1.453152027 (pow (+ 1.0 (* 0.3275911 (fabs x))) 3)) (/ 0.284496736 (+ 1.0 (* 0.3275911 (fabs x))))))))
0.3b	(/ 1.421413741 (pow (+ 1.0 (* 0.3275911 (fabs x))) 2))
0.7b	(/ 1.453152027 (pow (+ 1.0 (* 0.3275911 (fabs x))) 3))
13.4b	(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ (+ 0.254829592 (/ 1.421413741 (pow (+ 1.0 (* 0.3275911 (fabs x))) 2))) (- (/ 1.061405429 (pow (+ 1.0 (* 0.3275911 (fabs x))) 4)) (+ (/ 1.453152027 (pow (+ 1.0 (* 0.3275911 (fabs x))) 3)) (/ 0.284496736 (+ 1.0 (* 0.3275911 (fabs x)))))))) (exp (neg (* (fabs x) (fabs x))))))

rewrite100.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Rules

75×	`*-un-lft-identity`
70×	`times-frac`
59×	`add-sqr-sqrt`
54×	`add-cube-cbrt`
24×	`unpow-prod-down` `frac-add`
20×	`associate-/r*`
19×	`add-exp-log`
18×	`flip3-+` `flip-+`
15×	`associate-l`
13×	`add-cbrt-cube`
12×	`frac-times` `cube-prod` `associate-*r/` `frac-sub`
11×	`distribute-lft-out`
9×	`associate-r`
8×	`sqr-pow`
7×	`div-exp`
6×	`pow1` `associate-/l*` `add-log-exp`
5×	`flip3--` `flip--`
4×	`cube-mult` `unpow3` `associate-/r/` `distribute-lft-out--` `unpow2`
3×	`cbrt-undiv` `div-inv`
2×	`cube-div` `pow-to-exp` `frac-2neg` `pow-exp` `prod-exp` `clear-num` `cbrt-unprod` `unswap-sqr`
1×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `diff-log` `pow-prod-down` `associate-l/` `-commutative`

Counts

4 → 193

Calls

4 calls:

71.0ms	(* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ (+ 0.254829592 (/ 1.421413741 (pow (+ 1.0 (* 0.3275911 (fabs x))) 2))) (- (/ 1.061405429 (pow (+ 1.0 (* 0.3275911 (fabs x))) 4)) (+ (/ 1.453152027 (pow (+ 1.0 (* 0.3275911 (fabs x))) 3)) (/ 0.284496736 (+ 1.0 (* 0.3275911 (fabs x))))))))
7.0ms	(/ 1.453152027 (pow (+ 1.0 (* 0.3275911 (fabs x))) 3))
6.0ms	(/ 1.421413741 (pow (+ 1.0 (* 0.3275911 (fabs x))) 2))
3.0ms	(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ (+ 0.254829592 (/ 1.421413741 (pow (+ 1.0 (* 0.3275911 (fabs x))) 2))) (- (/ 1.061405429 (pow (+ 1.0 (* 0.3275911 (fabs x))) 4)) (+ (/ 1.453152027 (pow (+ 1.0 (* 0.3275911 (fabs x))) 3)) (/ 0.284496736 (+ 1.0 (* 0.3275911 (fabs x)))))))) (exp (neg (* (fabs x) (fabs x))))))

series332.0ms (4.1%)

Counts

4 → 12

Calls

4 calls:

190.0ms	(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ (+ 0.254829592 (/ 1.421413741 (pow (+ 1.0 (* 0.3275911 (fabs x))) 2))) (- (/ 1.061405429 (pow (+ 1.0 (* 0.3275911 (fabs x))) 4)) (+ (/ 1.453152027 (pow (+ 1.0 (* 0.3275911 (fabs x))) 3)) (/ 0.284496736 (+ 1.0 (* 0.3275911 (fabs x)))))))) (exp (neg (* (fabs x) (fabs x))))))
109.0ms	(* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ (+ 0.254829592 (/ 1.421413741 (pow (+ 1.0 (* 0.3275911 (fabs x))) 2))) (- (/ 1.061405429 (pow (+ 1.0 (* 0.3275911 (fabs x))) 4)) (+ (/ 1.453152027 (pow (+ 1.0 (* 0.3275911 (fabs x))) 3)) (/ 0.284496736 (+ 1.0 (* 0.3275911 (fabs x))))))))
18.0ms	(/ 1.453152027 (pow (+ 1.0 (* 0.3275911 (fabs x))) 3))
15.0ms	(/ 1.421413741 (pow (+ 1.0 (* 0.3275911 (fabs x))) 2))

simplify105.0ms (1.3%)

Algorithm

1×	egg-herbie

Counts

205 → 205

Iterations

Useful iterations: 0 (63.0ms)

Iter	Nodes	Cost
0	4968	9054
1	4968	9054

prune1.8s (22%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	203	2	205
Fresh	1	6	7
Picked	0	1	1
Done	0	0	0
Total	204	9	213

Merged error: 13.3b

Counts

213 → 9

regimes174.0ms (2.2%)

Accuracy

Total 0.1b remaining (0.5%)

Threshold costs 0.1b (0.5%)

bsearch0.0ms (0%)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	102	191
1	102	191

end0.0ms (0%)

sample1.6s (19.7%)

Algorithm

1×

intervals

Results

966.0ms	3946×	body	160	valid
512.0ms	4054×	body	80	valid

Details

analyze1.0ms (0%)

sample58.0ms (0.7%)

simplify40.0ms (0.5%)

prune9.0ms (0.1%)

localize22.0ms (0.3%)

rewrite27.0ms (0.3%)

series371.0ms (4.6%)

simplify70.0ms (0.9%)

prune579.0ms (7.2%)

localize25.0ms (0.3%)

rewrite23.0ms (0.3%)

series524.0ms (6.5%)

simplify71.0ms (0.9%)

prune628.0ms (7.8%)

localize28.0ms (0.4%)

rewrite94.0ms (1.2%)

series293.0ms (3.7%)

simplify60.0ms (0.7%)

prune1.0s (12.6%)

localize29.0ms (0.4%)

rewrite100.0ms (1.2%)

series332.0ms (4.1%)

simplify105.0ms (1.3%)

prune1.8s (22%)

regimes174.0ms (2.2%)

bsearch0.0ms (0%)

simplify3.0ms (0%)

end0.0ms (0%)

sample1.6s (19.7%)

Profiling