Details

Time bar (total: 26.3s)

sample34.0ms

Algorithm
intervals
Results
16.0ms256×body80valid
10.0ms256×pre80true

simplify131.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
131.0ms
(+ (* x (* x x)) (* x x))

prune7.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize10.0ms

Local error

Found 2 expressions with local error:

0.1b
(* x (* x x))
0.0b
(+ (* x (* x x)) (* x x))

rewrite47.0ms

Algorithm
rewrite-expression-head
Rules
16×pow1
7×add-cbrt-cube add-exp-log
5×pow-prod-up
4×add-sqr-sqrt add-log-exp
3×*-un-lft-identity associate-*l* pow-prod-down prod-exp add-cube-cbrt cbrt-unprod
2×expm1-log1p-u insert-posit16 log1p-expm1-u
1×pow2 +-commutative sum-log fma-def distribute-lft1-in flip3-+ pow-plus cube-unmult associate-*r* pow-sqr *-commutative flip-+ distribute-lft-out unswap-sqr
Counts
2 → 44
Calls
2 calls:
Slowest
31.0ms
(* x (* x x))
16.0ms
(+ (* x (* x x)) (* x x))

series155.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
104.0ms
(+ (* x (* x x)) (* x x))
51.0ms
(* x (* x x))

simplify1.6s

Counts
23 → 50
Calls
23 calls:
Slowest
568.0ms
(* (* (* x x) x) (* (* (* x x) (* x x)) (* x x)))
520.0ms
(* (* (* x x) x) (* (* (* x x) x) (* (* x x) x)))
260.0ms
(* (exp (* x (* x x))) (exp (* x x)))
46.0ms
(+ (pow x 3) (pow x 2))
41.0ms
(+ (pow x 3) (pow x 2))

prune282.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize8.0ms

Local error

Found 1 expressions with local error:

0.0b
(* (+ x 1) (* x x))

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
6×pow1 add-cbrt-cube add-exp-log
4×*-un-lft-identity associate-*l*
3×add-sqr-sqrt pow-prod-down prod-exp cbrt-unprod
2×associate-*l/ add-cube-cbrt
1×expm1-log1p-u flip3-+ associate-*r* *-commutative flip-+ insert-posit16 log1p-expm1-u distribute-lft-out add-log-exp unswap-sqr
Counts
1 → 25
Calls
1 calls:
Slowest
33.0ms
(* (+ x 1) (* x x))

series74.0ms

Counts
1 → 3
Calls
1 calls:
Slowest
74.0ms
(* (+ x 1) (* x x))

simplify2.6s

Counts
15 → 28
Calls
15 calls:
Slowest
1.0s
(* (* (* (+ x 1) (+ x 1)) (+ x 1)) (* (* (* x x) (* x x)) (* x x)))
940.0ms
(* (* (* (+ x 1) (+ x 1)) (+ x 1)) (* (* (* x x) x) (* (* x x) x)))
196.0ms
(* (- (* x x) (* 1 1)) (* x x))
169.0ms
(* (+ (pow x 3) (pow 1 3)) (* x x))
47.0ms
(* (+ x 1) (* x x))

prune199.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize24.0ms

Local error

Found 4 expressions with local error:

0.1b
(* x (* x x))
0.0b
(/ (fma (* x x) (* x (* x x)) (* x x)) (+ (* x x) (- (* 1 1) (* x 1))))
0.0b
(fma (* x x) (* x (* x x)) (* x x))
0.0b
(+ (* x x) (- (* 1 1) (* x 1)))

rewrite83.0ms

Algorithm
rewrite-expression-head
Rules
18×pow1
14×add-sqr-sqrt
13×*-un-lft-identity add-cube-cbrt
11×add-cbrt-cube add-exp-log
9×times-frac add-log-exp
5×pow-prod-up
4×expm1-log1p-u insert-posit16 log1p-expm1-u
3×associate-+r+ associate-/r* associate-*l* pow-prod-down prod-exp cbrt-unprod associate-/l*
2×sum-log flip3-+ associate-/r/ flip-+
1×pow2 cbrt-undiv +-commutative clear-num associate-+r- sub-neg fma-def frac-2neg pow-plus diff-log cube-unmult div-exp associate-*r* prod-diff pow-sqr *-commutative fma-udef div-inv unswap-sqr
Counts
4 → 90
Calls
4 calls:
Slowest
50.0ms
(/ (fma (* x x) (* x (* x x)) (* x x)) (+ (* x x) (- (* 1 1) (* x 1))))
18.0ms
(+ (* x x) (- (* 1 1) (* x 1)))
14.0ms
(* x (* x x))
0.0ms
(fma (* x x) (* x (* x x)) (* x x))

series451.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
211.0ms
(/ (fma (* x x) (* x (* x x)) (* x x)) (+ (* x x) (- (* 1 1) (* x 1))))
181.0ms
(fma (* x x) (* x (* x x)) (* x x))
38.0ms
(* x (* x x))
20.0ms
(+ (* x x) (- (* 1 1) (* x 1)))

simplify9.5s

Counts
59 → 102
Calls
59 calls:
Slowest
528.0ms
(* (* (* x x) x) (* (* (* x x) x) (* (* x x) x)))
504.0ms
(- (log (fma (* x x) (* x (* x x)) (* x x))) (log (+ (* x x) (- (* 1 1) (* x 1)))))
460.0ms
(/ (fma (* x x) (* x (* x x)) (* x x)) (cbrt (+ (* x x) (- (* 1 1) (* x 1)))))
449.0ms
(/ (sqrt (fma (* x x) (* x (* x x)) (* x x))) (sqrt (+ (* x x) (- (* 1 1) (* x 1)))))
431.0ms
(/ (fma (* x x) (* x (* x x)) (* x x)) (+ (* x x) (- (* 1 1) (* x 1))))

prune855.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize51.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (* x x) (* x x))
0.1b
(pow (* x x) 3)
0.1b
(* x (* x x))
0.0b
(pow (- (* 1 1) (* x 1)) 3)

rewrite72.0ms

Algorithm
rewrite-expression-head
Rules
138×pow1
42×pow-prod-up
27×pow-prod-down
25×add-cbrt-cube add-exp-log
24×pow-sqr
20×pow-plus
15×pow2
12×prod-exp cbrt-unprod
10×add-sqr-sqrt
9×*-un-lft-identity add-cube-cbrt
7×pow-pow
6×pow-unpow
5×unpow-prod-down cube-prod
4×expm1-log1p-u associate-*l* insert-posit16 log1p-expm1-u add-log-exp
3×pow-exp rem-cube-cbrt
2×cube-div cube-mult pow-to-exp distribute-rgt-out-- unpow3 associate-*r* *-commutative unswap-sqr sqr-pow
1×flip3-- cube-unmult swap-sqr flip--
Counts
4 → 152
Calls
4 calls:
Slowest
24.0ms
(* (* x x) (* x x))
24.0ms
(pow (- (* 1 1) (* x 1)) 3)
15.0ms
(* x (* x x))
5.0ms
(pow (* x x) 3)

series167.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
60.0ms
(pow (* x x) 3)
39.0ms
(* x (* x x))
38.0ms
(* (* x x) (* x x))
30.0ms
(pow (- (* 1 1) (* x 1)) 3)

simplify6.8s

Counts
118 → 164
Calls
118 calls:
Slowest
667.0ms
(pow (- (* (* 1 1) (* 1 1)) (* (* x 1) (* x 1))) 3)
659.0ms
(pow (sqrt (- (* 1 1) (* x 1))) 3)
516.0ms
(* (* (* x x) x) (* (* (* x x) (* x x)) (* x x)))
477.0ms
(* (* (* x x) x) (* (* (* x x) x) (* (* x x) x)))
401.0ms
(* (* (* (* x x) x) (* (* x x) x)) (* (* (* x x) (* x x)) (* x x)))

prune2.1s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes29.0ms

Accuracy

0% (0.0b remaining)

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

bsearch3.0ms

end0.0ms

sample864.0ms

Algorithm
intervals
Results
475.0ms8000×body80valid
243.0ms8000×pre80true