Details

Time bar (total: 27.0s)

sample116.0ms

Algorithm
intervals
Results
94.0ms471×body80valid

simplify1.4s

Counts
1 → 1
Iterations
IterNodes
done2001
42001
31089
2240
174
028

prune25.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize92.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))
0.1b
(* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))
0.2b
(* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))
1.0b
(sqrt PI)

rewrite1.6s

Algorithm
rewrite-expression-head
Rules
62×pow1
43×add-exp-log
40×add-sqr-sqrt
39×add-cbrt-cube
36×associate-*l*
31×times-frac
29×*-un-lft-identity
27×add-cube-cbrt
22×prod-exp
21×pow-plus pow-prod-up
20×cbrt-unprod
14×associate-*l/ sqrt-prod
13×pow-prod-down
12×frac-add
7×associate-*r*
6×frac-times flip3-+ associate-*r/ flip-+
5×div-exp unswap-sqr
4×pow2 cbrt-undiv pow-sqr insert-posit16 add-log-exp
3×*-commutative
2×pow3 div-inv
1×distribute-rgt-in rem-sqrt-square rec-exp distribute-lft-in sqrt-pow1 pow1/2 1-exp
Counts
4 → 154
Calls
4 calls:
67.0ms
(* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))
1.5s
(* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))
60.0ms
(* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))
2.0ms
(sqrt PI)

series460.0ms

Counts
4 → 10
Calls
4 calls:
35.0ms
(* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x))
370.0ms
(* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))
55.0ms
(* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))
0.0ms
(sqrt PI)

simplify1.7s

Counts
164 → 164
Iterations
IterNodes
done2001
22001
11036
0298

prune1.0s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0b

localize81.0ms

Local error

Found 4 expressions with local error:

0.1b
(* 1/5 (pow (fabs x) 5))
0.1b
(* (pow (fabs x) 7) 1/21)
0.1b
(* (+ (+ (+ (* (* (fabs x) (* (fabs x) (fabs x))) 2/3) (* 2 (fabs x))) (* (pow (fabs x) 7) 1/21)) (* 1/5 (pow (fabs x) 5))) (sqrt (/ 1 PI)))
0.2b
(* (* (fabs x) (* (fabs x) (fabs x))) 2/3)

rewrite3.2s

Algorithm
rewrite-expression-head
Rules
39×add-sqr-sqrt
29×associate-*r*
25×add-exp-log
21×*-un-lft-identity
20×add-cube-cbrt
19×add-cbrt-cube
16×sqrt-prod
15×pow1
14×associate-*l*
13×prod-exp
11×times-frac
10×unswap-sqr
9×cbrt-unprod
8×unpow-prod-down
7×pow-prod-down
4×*-commutative insert-posit16 add-log-exp sqr-pow
3×sqrt-div
2×frac-times pow-to-exp flip3-+ associate-*l/ pow-exp flip-+
1×associate-*r/ div-inv
Counts
4 → 114
Calls
4 calls:
8.0ms
(* 1/5 (pow (fabs x) 5))
8.0ms
(* (pow (fabs x) 7) 1/21)
3.1s
(* (+ (+ (+ (* (* (fabs x) (* (fabs x) (fabs x))) 2/3) (* 2 (fabs x))) (* (pow (fabs x) 7) 1/21)) (* 1/5 (pow (fabs x) 5))) (sqrt (/ 1 PI)))
81.0ms
(* (* (fabs x) (* (fabs x) (fabs x))) 2/3)

series596.0ms

Counts
4 → 12
Calls
4 calls:
67.0ms
(* 1/5 (pow (fabs x) 5))
83.0ms
(* (pow (fabs x) 7) 1/21)
389.0ms
(* (+ (+ (+ (* (* (fabs x) (* (fabs x) (fabs x))) 2/3) (* 2 (fabs x))) (* (pow (fabs x) 7) 1/21)) (* 1/5 (pow (fabs x) 5))) (sqrt (/ 1 PI)))
57.0ms
(* (* (fabs x) (* (fabs x) (fabs x))) 2/3)

simplify1.4s

Counts
126 → 126
Iterations
IterNodes
done2000
32000
21716
1537
0233

prune956.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0b

localize91.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (* (* (fabs x) (fabs x)) (fabs x)) (sqrt (fabs x)))
0.1b
(* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (sqrt (fabs x))) (sqrt (fabs x))) (fabs x)) (fabs x)) (fabs x)))))
0.2b
(* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))
1.0b
(sqrt PI)

rewrite3.1s

Algorithm
rewrite-expression-head
Rules
62×pow1
43×add-exp-log
41×add-sqr-sqrt
39×add-cbrt-cube
36×associate-*l*
31×times-frac
30×*-un-lft-identity pow-prod-up
28×add-cube-cbrt
22×prod-exp
20×cbrt-unprod
17×sqrt-prod
14×associate-*l/
13×pow-prod-down
12×pow-plus frac-add
10×sqrt-pow1 pow1/2 associate-*r*
6×frac-times flip3-+ associate-*r/ flip-+
5×div-exp unswap-sqr
4×pow2 cbrt-undiv pow-sqr insert-posit16 add-log-exp
3×*-commutative
2×pow3 div-inv
1×distribute-rgt-in rem-sqrt-square rec-exp distribute-lft-in 1-exp
Counts
4 → 157
Calls
4 calls:
59.0ms
(* (* (* (fabs x) (fabs x)) (fabs x)) (sqrt (fabs x)))
3.0s
(* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (sqrt (fabs x))) (sqrt (fabs x))) (fabs x)) (fabs x)) (fabs x)))))
67.0ms
(* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))
1.0ms
(sqrt PI)

series548.0ms

Counts
4 → 10
Calls
4 calls:
71.0ms
(* (* (* (fabs x) (fabs x)) (fabs x)) (sqrt (fabs x)))
403.0ms
(* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (sqrt (fabs x))) (sqrt (fabs x))) (fabs x)) (fabs x)) (fabs x)))))
73.0ms
(* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))
0.0ms
(sqrt PI)

simplify1.6s

Counts
167 → 167
Iterations
IterNodes
done2006
22006
11117
0314

prune1.2s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

localize136.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))
0.2b
(* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))
1.0b
(sqrt PI)
1.0b
(sqrt PI)

rewrite99.0ms

Algorithm
rewrite-expression-head
Rules
126×pow1
37×add-cbrt-cube add-exp-log
36×pow-prod-up
29×pow-prod-down
22×pow-sqr
20×prod-exp cbrt-unprod
18×pow-plus
15×add-sqr-sqrt
14×associate-*l*
13×pow2 *-un-lft-identity add-cube-cbrt
9×times-frac
6×sqrt-prod
4×insert-posit16 add-log-exp
3×cbrt-undiv div-exp
2×rem-sqrt-square sqrt-pow1 pow1/2 associate-*r* *-commutative
1×swap-sqr associate-*l/ div-inv unswap-sqr
Counts
4 → 131
Calls
4 calls:
37.0ms
(* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))
57.0ms
(* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))
1.0ms
(sqrt PI)
2.0ms
(sqrt PI)

series84.0ms

Counts
4 → 8
Calls
4 calls:
30.0ms
(* (* (fabs x) (fabs x)) (* (fabs x) (fabs x)))
54.0ms
(* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))
0.0ms
(sqrt PI)
0.0ms
(sqrt PI)

simplify1.1s

Counts
139 → 139
Iterations
IterNodes
done2026
32026
2998
1385
0145

prune682.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

regimes133.0ms

Accuracy

0% (0.2b remaining)

Error of 0.2b against oracle of 0.0b and baseline of 0.2b

bsearch0.0ms

simplify16.0ms

Iterations
IterNodes
done46
146
029

end0.0ms

sample5.5s

Algorithm
intervals
Results
5.3s14037×body80valid