Details

Time bar (total: 23.7s)

sample63.0ms

Algorithm
intervals
Results
41.0ms446×body80valid

simplify2.4s

Counts
1 → 1
Iterations
IterNodes
done5002
44087
3873
2228
169
028

prune41.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize101.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (* (fabs x) (fabs x)) (fabs x))
0.1b
(* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
0.1b
(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
1.0b
(sqrt PI)

rewrite818.0ms

Algorithm
rewrite-expression-head
Rules
75×add-cbrt-cube add-exp-log
53×pow1
45×prod-exp cbrt-unprod
27×associate-*l*
24×pow-prod-down
22×add-sqr-sqrt
20×*-un-lft-identity add-cube-cbrt
18×times-frac
8×cbrt-undiv div-exp
6×pow-plus pow-prod-up
5×associate-*r*
4×add-log-exp
3×*-commutative sqrt-prod
2×pow2 associate-*l/ pow-sqr div-inv
1×rem-sqrt-square sqrt-pow1 pow1/2 pow3 unswap-sqr
Counts
4 → 127
Calls
4 calls:
15.0ms
(* (* (fabs x) (fabs x)) (fabs x))
735.0ms
(* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
61.0ms
(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
2.0ms
(sqrt PI)

series165.0ms

Counts
4 → 10
Calls
4 calls:
39.0ms
(* (* (fabs x) (fabs x)) (fabs x))
75.0ms
(* (/ 1.0 5.0) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))
51.0ms
(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
0.0ms
(sqrt PI)

simplify3.5s

Counts
137 → 137
Iterations
IterNodes
done5000
24411
1645
0216

prune916.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize55.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (fabs x) (+ (/ (* (pow (fabs x) 4) 1.0) 5.0) (/ (* 1.0 (pow (fabs x) 6)) 21.0)))
0.1b
(/ (* (pow (fabs x) 4) 1.0) 5.0)
0.1b
(* (/ 2.0 3.0) (pow (fabs x) 3))
1.0b
(sqrt PI)

rewrite112.0ms

Algorithm
rewrite-expression-head
Rules
40×add-sqr-sqrt
29×add-exp-log
21×*-un-lft-identity
19×add-cube-cbrt
16×times-frac add-cbrt-cube associate-*r* associate-*l*
10×prod-exp
9×unswap-sqr
7×pow1 div-exp
5×unpow-prod-down cube-prod
4×cbrt-unprod add-log-exp
3×pow-to-exp cbrt-undiv associate-/r* pow-exp associate-*r/ sqrt-prod sqr-pow
2×*-commutative div-inv
1×distribute-rgt-in cube-mult rem-sqrt-square clear-num frac-2neg distribute-lft-in sqrt-pow1 flip3-+ pow1/2 unpow3 pow-prod-down associate-*l/ frac-add flip-+ distribute-lft-out associate-/l*
Counts
4 → 110
Calls
4 calls:
69.0ms
(* (fabs x) (+ (/ (* (pow (fabs x) 4) 1.0) 5.0) (/ (* 1.0 (pow (fabs x) 6)) 21.0)))
13.0ms
(/ (* (pow (fabs x) 4) 1.0) 5.0)
23.0ms
(* (/ 2.0 3.0) (pow (fabs x) 3))
1.0ms
(sqrt PI)

series274.0ms

Counts
4 → 10
Calls
4 calls:
137.0ms
(* (fabs x) (+ (/ (* (pow (fabs x) 4) 1.0) 5.0) (/ (* 1.0 (pow (fabs x) 6)) 21.0)))
55.0ms
(/ (* (pow (fabs x) 4) 1.0) 5.0)
82.0ms
(* (/ 2.0 3.0) (pow (fabs x) 3))
0.0ms
(sqrt PI)

simplify1.9s

Counts
120 → 120
Iterations
IterNodes
done5002
23778
1592
0217

prune1.0s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize68.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ (pow (fabs x) (+ 4 1)) (/ 5.0 1.0))
0.1b
(* (/ 1.0 (sqrt PI)) (+ (+ (* (fabs x) 2.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (/ (pow (fabs x) (+ 4 1)) (/ 5.0 1.0)) (/ (* 1.0 (pow (fabs x) (+ 6 1))) 21.0))))
0.1b
(* (/ 2.0 3.0) (pow (fabs x) 3))
1.0b
(sqrt PI)

rewrite1.2s

Algorithm
rewrite-expression-head
Rules
218×times-frac
147×add-sqr-sqrt
125×*-un-lft-identity
120×add-cube-cbrt
47×unpow-prod-down
35×associate-*l* add-exp-log
19×add-cbrt-cube
17×associate-*r* sqr-pow
16×frac-add
14×unpow-prod-up
13×associate-/r* div-exp sqrt-prod
12×flip3-+ flip-+ div-inv
11×unswap-sqr
8×frac-times prod-exp associate-*r/ associate-/l*
7×pow1
5×cbrt-undiv cube-prod
4×pow-to-exp pow-exp cbrt-unprod add-log-exp
3×distribute-lft-out
2×associate-*l/ *-commutative
1×distribute-rgt-in cube-mult rem-sqrt-square clear-num frac-2neg distribute-lft-in sqrt-pow1 pow1/2 unpow3 pow-prod-down associate-/r/
Counts
4 → 269
Calls
4 calls:
23.0ms
(/ (pow (fabs x) (+ 4 1)) (/ 5.0 1.0))
1.1s
(* (/ 1.0 (sqrt PI)) (+ (+ (* (fabs x) 2.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (/ (pow (fabs x) (+ 4 1)) (/ 5.0 1.0)) (/ (* 1.0 (pow (fabs x) (+ 6 1))) 21.0))))
21.0ms
(* (/ 2.0 3.0) (pow (fabs x) 3))
1.0ms
(sqrt PI)

series532.0ms

Counts
4 → 10
Calls
4 calls:
69.0ms
(/ (pow (fabs x) (+ 4 1)) (/ 5.0 1.0))
416.0ms
(* (/ 1.0 (sqrt PI)) (+ (+ (* (fabs x) 2.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (+ (/ (pow (fabs x) (+ 4 1)) (/ 5.0 1.0)) (/ (* 1.0 (pow (fabs x) (+ 6 1))) 21.0))))
47.0ms
(* (/ 2.0 3.0) (pow (fabs x) 3))
0.0ms
(sqrt PI)

simplify1.3s

Counts
279 → 279
Iterations
IterNodes
done5001
11751
0552

prune2.7s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

localize59.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (* 1.0 5.0) (pow (fabs x) 6))
0.1b
(* (/ 1.0 (sqrt PI)) (+ (+ (* (fabs x) 2.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (/ (* (fabs x) (+ (* (* 1.0 5.0) (pow (fabs x) 6)) (* (* 1.0 21.0) (pow (fabs x) 4)))) (* 5.0 21.0))))
0.1b
(* (/ 2.0 3.0) (pow (fabs x) 3))
1.0b
(sqrt PI)

rewrite188.0ms

Algorithm
rewrite-expression-head
Rules
58×add-sqr-sqrt
36×associate-*l*
35×add-exp-log
33×*-un-lft-identity times-frac
31×add-cube-cbrt
23×associate-*r*
19×add-cbrt-cube
17×prod-exp
13×sqrt-prod
11×unswap-sqr
8×unpow-prod-down
7×pow1 cbrt-unprod
5×cube-prod
4×frac-times pow-to-exp flip3-+ div-exp frac-add pow-exp associate-*r/ flip-+ add-log-exp sqr-pow
3×*-commutative
2×cbrt-undiv associate-*l/ div-inv
1×distribute-rgt-in cube-mult rem-sqrt-square distribute-lft-in sqrt-pow1 pow1/2 unpow3 pow-prod-down distribute-lft-out
Counts
4 → 140
Calls
4 calls:
16.0ms
(* (* 1.0 5.0) (pow (fabs x) 6))
149.0ms
(* (/ 1.0 (sqrt PI)) (+ (+ (* (fabs x) 2.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (/ (* (fabs x) (+ (* (* 1.0 5.0) (pow (fabs x) 6)) (* (* 1.0 21.0) (pow (fabs x) 4)))) (* 5.0 21.0))))
17.0ms
(* (/ 2.0 3.0) (pow (fabs x) 3))
1.0ms
(sqrt PI)

series633.0ms

Counts
4 → 10
Calls
4 calls:
70.0ms
(* (* 1.0 5.0) (pow (fabs x) 6))
506.0ms
(* (/ 1.0 (sqrt PI)) (+ (+ (* (fabs x) 2.0) (* (/ 2.0 3.0) (pow (fabs x) 3))) (/ (* (fabs x) (+ (* (* 1.0 5.0) (pow (fabs x) 6)) (* (* 1.0 21.0) (pow (fabs x) 4)))) (* 5.0 21.0))))
57.0ms
(* (/ 2.0 3.0) (pow (fabs x) 3))
0.0ms
(sqrt PI)

simplify619.0ms

Counts
150 → 150
Iterations
IterNodes
done5001
1965
0292

prune1.4s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

regimes197.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify8.0ms

Iterations
IterNodes
done43
143
031

end0.0ms

sample3.5s

Algorithm
intervals
Results
3.1s14027×body80valid