Details

Time bar (total: 20.2s)

sample1.1s

Algorithm
intervals
Results
920.0ms3603×body80valid

simplify1.5s

Counts
1 → 1
Iterations
IterNodes
done5000
32139
2384
190
031

prune45.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.2b

localize116.0ms

Local error

Found 4 expressions with local error:

0.7b
(pow (/ 1.0 (fabs x)) 3)
0.9b
(pow (/ 1.0 (fabs x)) 4)
1.0b
(sqrt PI)
1.0b
(pow (/ 1.0 (fabs x)) (+ 4 1))

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
39×unpow-prod-down
38×*-un-lft-identity
37×add-sqr-sqrt
36×times-frac add-cube-cbrt
13×cube-prod add-exp-log
10×pow-unpow
8×pow1
7×add-cbrt-cube
6×pow-exp
4×div-inv add-log-exp
3×pow-to-exp pow-pow div-exp sqrt-prod sqr-pow
2×rem-cube-cbrt
1×cube-div cube-mult cbrt-undiv unpow-prod-up rem-sqrt-square sqrt-pow1 pow1/2 unpow3 distribute-lft-out
Counts
4 → 117
Calls
4 calls:
5.0ms
(pow (/ 1.0 (fabs x)) 3)
8.0ms
(pow (/ 1.0 (fabs x)) 4)
2.0ms
(sqrt PI)
17.0ms
(pow (/ 1.0 (fabs x)) (+ 4 1))

series154.0ms

Counts
4 → 10
Calls
4 calls:
35.0ms
(pow (/ 1.0 (fabs x)) 3)
46.0ms
(pow (/ 1.0 (fabs x)) 4)
0.0ms
(sqrt PI)
72.0ms
(pow (/ 1.0 (fabs x)) (+ 4 1))

simplify1.8s

Counts
127 → 127
Iterations
IterNodes
done5000
23377
1808
0202

prune1.2s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 0.3b

localize106.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (pow (/ 1.0 (fabs x)) 3) (+ (/ 1.0 2.0) (* (/ 1.0 (pow (fabs x) 4)) (/ 15.0 8.0))))
0.7b
(pow (/ 1.0 (fabs x)) 3)
1.0b
(sqrt PI)
1.0b
(pow (/ 1.0 (fabs x)) (+ 4 1))

rewrite118.0ms

Algorithm
rewrite-expression-head
Rules
58×add-sqr-sqrt
47×times-frac
46×*-un-lft-identity
44×add-cube-cbrt
41×unpow-prod-down
32×associate-*l*
28×cube-prod
18×add-exp-log
9×add-cbrt-cube
7×cube-div frac-times pow1 pow-unpow associate-*r/
6×frac-add pow-exp unswap-sqr
5×div-inv
4×prod-exp add-log-exp sqr-pow
3×pow-to-exp div-exp associate-*r* associate-*l/ sqrt-prod
2×cube-mult pow-pow flip3-+ unpow3 flip-+ rem-cube-cbrt
1×distribute-rgt-in cbrt-undiv unpow-prod-up rem-sqrt-square distribute-lft-in sqrt-pow1 pow1/2 *-commutative cbrt-unprod distribute-lft-out
Counts
4 → 156
Calls
4 calls:
80.0ms
(* (pow (/ 1.0 (fabs x)) 3) (+ (/ 1.0 2.0) (* (/ 1.0 (pow (fabs x) 4)) (/ 15.0 8.0))))
11.0ms
(pow (/ 1.0 (fabs x)) 3)
2.0ms
(sqrt PI)
15.0ms
(pow (/ 1.0 (fabs x)) (+ 4 1))

series364.0ms

Counts
4 → 10
Calls
4 calls:
231.0ms
(* (pow (/ 1.0 (fabs x)) 3) (+ (/ 1.0 2.0) (* (/ 1.0 (pow (fabs x) 4)) (/ 15.0 8.0))))
45.0ms
(pow (/ 1.0 (fabs x)) 3)
0.0ms
(sqrt PI)
88.0ms
(pow (/ 1.0 (fabs x)) (+ 4 1))

simplify828.0ms

Counts
166 → 166
Iterations
IterNodes
done5000
11005
0245

prune1.5s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 0.1b

localize75.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (pow (/ 1.0 (fabs x)) (+ 4 1)) (/ 3.0 4.0))
0.4b
(/ (* 1.0 (+ (/ 1.875 (pow (fabs x) 4)) 0.5)) (pow (fabs x) 3))
1.0b
(sqrt PI)
1.0b
(pow (/ 1.0 (fabs x)) (+ 4 1))

rewrite107.0ms

Algorithm
rewrite-expression-head
Rules
55×add-sqr-sqrt
45×times-frac
40×add-exp-log
36×unpow-prod-down *-un-lft-identity
34×add-cube-cbrt
18×associate-*l*
14×add-cbrt-cube
13×div-exp associate-*r*
12×associate-/r*
11×prod-exp
8×pow-exp unswap-sqr
6×pow1 cube-prod sqr-pow
5×pow-to-exp
4×pow-unpow div-inv add-log-exp
3×cbrt-undiv associate-*r/ sqrt-prod cbrt-unprod
2×cube-mult unpow-prod-up unpow3 associate-/l/
1×rem-sqrt-square clear-num pow-pow frac-2neg sqrt-pow1 flip3-+ pow1/2 *-commutative flip-+ distribute-lft-out associate-/l*
Counts
4 → 146
Calls
4 calls:
35.0ms
(* (pow (/ 1.0 (fabs x)) (+ 4 1)) (/ 3.0 4.0))
53.0ms
(/ (* 1.0 (+ (/ 1.875 (pow (fabs x) 4)) 0.5)) (pow (fabs x) 3))
1.0ms
(sqrt PI)
9.0ms
(pow (/ 1.0 (fabs x)) (+ 4 1))

series401.0ms

Counts
4 → 10
Calls
4 calls:
144.0ms
(* (pow (/ 1.0 (fabs x)) (+ 4 1)) (/ 3.0 4.0))
188.0ms
(/ (* 1.0 (+ (/ 1.875 (pow (fabs x) 4)) 0.5)) (pow (fabs x) 3))
0.0ms
(sqrt PI)
69.0ms
(pow (/ 1.0 (fabs x)) (+ 4 1))

simplify2.3s

Counts
156 → 156
Iterations
IterNodes
done5001
24717
1833
0279

prune1.4s

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 0.1b

localize93.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (pow (/ 1.0 (fabs x)) (+ 4 1)) (/ 3.0 4.0))
0.3b
(/ (+ (/ 1.875 (pow (fabs x) 4)) 0.5) (/ (pow (fabs x) 2) 1.0))
1.0b
(sqrt PI)
1.0b
(pow (/ 1.0 (fabs x)) (+ 4 1))

rewrite178.0ms

Algorithm
rewrite-expression-head
Rules
265×times-frac
192×*-un-lft-identity
153×add-sqr-sqrt
132×add-cube-cbrt
75×unpow-prod-down
37×add-exp-log
30×distribute-lft-out
28×associate-/r*
19×sqr-pow
18×associate-*l*
15×unpow2
14×add-cbrt-cube div-exp
13×associate-*r*
9×div-inv
8×prod-exp unswap-sqr
7×pow-exp
6×pow1
4×pow-to-exp cbrt-undiv pow-unpow associate-/l* add-log-exp
3×sqrt-prod
2×unpow-prod-up cbrt-unprod associate-/l/
1×rem-sqrt-square clear-num pow-pow frac-2neg sqrt-pow1 flip3-+ pow1/2 associate-*r/ associate-/r/ *-commutative flip-+
Counts
4 → 264
Calls
4 calls:
29.0ms
(* (pow (/ 1.0 (fabs x)) (+ 4 1)) (/ 3.0 4.0))
107.0ms
(/ (+ (/ 1.875 (pow (fabs x) 4)) 0.5) (/ (pow (fabs x) 2) 1.0))
1.0ms
(sqrt PI)
16.0ms
(pow (/ 1.0 (fabs x)) (+ 4 1))

series443.0ms

Counts
4 → 10
Calls
4 calls:
209.0ms
(* (pow (/ 1.0 (fabs x)) (+ 4 1)) (/ 3.0 4.0))
153.0ms
(/ (+ (/ 1.875 (pow (fabs x) 4)) 0.5) (/ (pow (fabs x) 2) 1.0))
0.0ms
(sqrt PI)
80.0ms
(pow (/ 1.0 (fabs x)) (+ 4 1))

simplify825.0ms

Counts
274 → 274
Iterations
IterNodes
done5000
11359
0472

prune2.3s

Pruning

13 alts after pruning (11 fresh and 2 done)

Merged error: 0.1b

regimes385.0ms

bsearch0.0ms

simplify9.0ms

Iterations
IterNodes
done41
141
030

end0.0ms

sample2.7s

Algorithm
intervals
Results
2.5s8764×body80valid