Details

Time bar (total: 24.6s)

sample884.0ms

Algorithm
intervals
Results
773.0ms3363×body80valid

simplify2.3s

Counts
1 → 1
Iterations

Useful iterations: done (2.3s)

IterNodesCost
031103
190103
240165
3232051
done500049

prune20.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.2b

localize81.0ms

Local error

Found 4 expressions with local error:

0.6b
(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
0.6b
(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
0.6b
(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
1.0b
(sqrt PI)

rewrite186.0ms

Algorithm
rewrite-expression-head
Rules
126×add-sqr-sqrt
120×times-frac
89×add-cube-cbrt *-un-lft-identity
40×add-exp-log add-cbrt-cube
39×swap-sqr associate-*r* associate-*l*
26×pow1
12×cbrt-undiv div-exp prod-exp cbrt-unprod div-inv unswap-sqr
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×pow2 frac-times pow-plus associate-*r/ pow-prod-down associate-*l/ sqrt-prod pow-sqr *-commutative pow-prod-up
1×rem-sqrt-square sqrt-pow1 pow1/2
Counts
4 → 222
Calls
4 calls:
47.0ms
(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
48.0ms
(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
60.0ms
(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
3.0ms
(sqrt PI)

series127.0ms

Counts
4 → 10
Calls
4 calls:
53.0ms
(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
38.0ms
(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
35.0ms
(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
0.0ms
(sqrt PI)

simplify2.8s

Counts
232 → 232
Iterations

Useful iterations: done (2.8s)

IterNodesCost
01503287
14802982
234322630
done50002463

prune1.9s

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 0.4b

localize75.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (* (* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x)))
0.6b
(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
0.6b
(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
1.0b
(sqrt PI)

rewrite1.0s

Algorithm
rewrite-expression-head
Rules
333×add-exp-log add-cbrt-cube
170×prod-exp cbrt-unprod
125×pow1
105×cbrt-undiv div-exp
93×add-sqr-sqrt
89×times-frac
68×add-cube-cbrt *-un-lft-identity
62×pow-plus pow-prod-up
51×frac-times associate-*l/
39×associate-*r*
27×associate-*l*
26×swap-sqr
17×associate-*r/
12×pow-prod-down
10×pow2 pow-sqr
9×div-inv
8×unswap-sqr
4×expm1-log1p-u pow3 log1p-expm1-u add-log-exp
3×sqrt-prod *-commutative
1×rem-sqrt-square sqrt-pow1 pow1/2
Counts
4 → 340
Calls
4 calls:
904.0ms
(* (* (* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x)))
27.0ms
(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
63.0ms
(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
2.0ms
(sqrt PI)

series147.0ms

Counts
4 → 10
Calls
4 calls:
63.0ms
(* (* (* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x)))
42.0ms
(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
41.0ms
(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
0.0ms
(sqrt PI)

simplify1.1s

Counts
350 → 350
Iterations

Useful iterations: done (1.1s)

IterNodesCost
03988746
115717709
done50014663

prune2.4s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 0.4b

localize68.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (* (* (/ (* 1.0 1.0) (pow (fabs x) 2)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x)))
0.8b
(pow (/ 1.0 (fabs x)) 3)
0.8b
(pow (/ 1.0 (fabs x)) 3)
1.0b
(sqrt PI)

rewrite548.0ms

Algorithm
rewrite-expression-head
Rules
395×add-exp-log
202×prod-exp
187×add-cbrt-cube
139×div-exp
90×cbrt-unprod
59×cbrt-undiv
49×times-frac
43×add-sqr-sqrt
42×add-cube-cbrt *-un-lft-identity
26×unpow-prod-down cube-prod
20×pow1 pow-exp
18×pow-to-exp
17×frac-times associate-*l/
13×associate-*r*
7×associate-*r/
6×pow-unpow pow-prod-down
5×div-inv
4×expm1-log1p-u pow-plus pow3 pow-prod-up log1p-expm1-u unpow2 add-log-exp rem-cube-cbrt
3×sqrt-prod
2×cube-div cube-mult pow-pow unpow3 sqr-pow
1×rem-sqrt-square sqrt-pow1 pow1/2 associate-*l* *-commutative
Counts
4 → 249
Calls
4 calls:
499.0ms
(* (* (* (/ (* 1.0 1.0) (pow (fabs x) 2)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x)))
14.0ms
(pow (/ 1.0 (fabs x)) 3)
14.0ms
(pow (/ 1.0 (fabs x)) 3)
3.0ms
(sqrt PI)

series190.0ms

Counts
4 → 10
Calls
4 calls:
84.0ms
(* (* (* (/ (* 1.0 1.0) (pow (fabs x) 2)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x)))
42.0ms
(pow (/ 1.0 (fabs x)) 3)
65.0ms
(pow (/ 1.0 (fabs x)) 3)
0.0ms
(sqrt PI)

simplify882.0ms

Counts
259 → 259
Iterations

Useful iterations: done (867.0ms)

IterNodesCost
03366310
114034613
done50003729

prune1.6s

Pruning

22 alts after pruning (22 fresh and 0 done)

Merged error: 0.2b

localize94.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (/ 1.0 (fabs x)) (+ (* (/ 3.0 4.0) (* (/ 1.0 (fabs x)) (pow (/ 1.0 (fabs x)) 3))) (* (/ 15.0 8.0) (* (/ (* (pow 1.0 3) (* 1.0 1.0)) (pow (fabs x) (+ 4 1))) (/ 1.0 (fabs x))))))
0.8b
(pow (/ 1.0 (fabs x)) 3)
0.8b
(pow (/ 1.0 (fabs x)) 3)
1.0b
(sqrt PI)

rewrite322.0ms

Algorithm
rewrite-expression-head
Rules
191×frac-times associate-*r/
98×frac-add
85×associate-*l/
58×cube-div
49×add-sqr-sqrt
46×times-frac
43×add-cube-cbrt *-un-lft-identity
26×unpow-prod-down cube-prod
15×add-exp-log add-cbrt-cube
13×associate-*l*
9×pow1
6×pow-unpow
5×div-inv
4×expm1-log1p-u pow-exp log1p-expm1-u add-log-exp rem-cube-cbrt
3×cbrt-undiv div-exp associate-*r* sqrt-prod
2×cube-mult pow-to-exp pow-pow flip3-+ unpow3 prod-exp cbrt-unprod flip-+ unswap-sqr sqr-pow
1×distribute-rgt-in rem-sqrt-square distribute-lft-in sqrt-pow1 pow1/2 pow-prod-down *-commutative
Counts
4 → 249
Calls
4 calls:
271.0ms
(* (/ 1.0 (fabs x)) (+ (* (/ 3.0 4.0) (* (/ 1.0 (fabs x)) (pow (/ 1.0 (fabs x)) 3))) (* (/ 15.0 8.0) (* (/ (* (pow 1.0 3) (* 1.0 1.0)) (pow (fabs x) (+ 4 1))) (/ 1.0 (fabs x))))))
12.0ms
(pow (/ 1.0 (fabs x)) 3)
7.0ms
(pow (/ 1.0 (fabs x)) 3)
2.0ms
(sqrt PI)

series385.0ms

Counts
4 → 10
Calls
4 calls:
286.0ms
(* (/ 1.0 (fabs x)) (+ (* (/ 3.0 4.0) (* (/ 1.0 (fabs x)) (pow (/ 1.0 (fabs x)) 3))) (* (/ 15.0 8.0) (* (/ (* (pow 1.0 3) (* 1.0 1.0)) (pow (fabs x) (+ 4 1))) (/ 1.0 (fabs x))))))
40.0ms
(pow (/ 1.0 (fabs x)) 3)
59.0ms
(pow (/ 1.0 (fabs x)) 3)
0.0ms
(sqrt PI)

simplify2.1s

Counts
259 → 259
Iterations

Useful iterations: done (2.1s)

IterNodesCost
05698788
125207571
done50016873

prune2.7s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.1b

regimes360.0ms

bsearch0.0ms

simplify8.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02944
13444
done3444

end0.0ms

sample2.2s

Algorithm
intervals
Results
2.0s7630×body80valid