Details

Time bar (total: 18.1s)

sample155.0ms

Algorithm
intervals
Results
74.0ms83×body1280valid
30.0ms28×body2560valid
20.0ms39×body640valid
12.0ms32×body320valid
6.0ms61×body80valid
3.0ms13×body160valid

simplify20.0ms

Calls
1 calls:
Slowest
20.0ms
(log (+ x (sqrt (+ (* x x) 1))))

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 53.6b

localize16.0ms

Local error

Found 3 expressions with local error:

14.4b
(sqrt (+ (* x x) 1))
3.1b
(log (+ x (sqrt (+ (* x x) 1))))
0.8b
(+ x (sqrt (+ (* x x) 1)))

rewrite6.0ms

Algorithm
rewrite-expression-head
Rules
6×add-sqr-sqrt
5×*-un-lft-identity add-cube-cbrt
4×pow1 add-exp-log
3×log-prod flip3-+ add-cbrt-cube sqrt-prod flip-+ insert-posit16 add-log-exp
2×log-div sqrt-div
1×+-commutative rem-sqrt-square pow1/2 rem-log-exp log-pow
Calls
3 calls:
Slowest
2.0ms
(sqrt (+ (* x x) 1))
2.0ms
(log (+ x (sqrt (+ (* x x) 1))))
2.0ms
(+ x (sqrt (+ (* x x) 1)))

series263.0ms

Calls
3 calls:
Slowest
142.0ms
(log (+ x (sqrt (+ (* x x) 1))))
68.0ms
(+ x (sqrt (+ (* x x) 1)))
53.0ms
(sqrt (+ (* x x) 1))

simplify2.0s

Calls
21 calls:
Slowest
535.0ms
(- (+ (log 2) (* 1/4 (/ 1 (pow x 2)))) (+ (log (/ 1 x)) (* 3/32 (/ 1 (pow x 4)))))
193.0ms
(- (+ (log (/ -1 x)) (+ (log 1/2) (* 3/32 (/ 1 (pow x 4))))) (* 1/4 (/ 1 (pow x 2))))
158.0ms
(- (+ x (* 3/40 (pow x 5))) (* 1/6 (pow x 3)))
154.0ms
(- (* 1/8 (/ 1 (pow x 3))) (+ (* 1/16 (/ 1 (pow x 5))) (* 1/2 (/ 1 x))))
141.0ms
(- (* 1/8 (/ 1 (pow x 3))) (+ x (* 1/2 (/ 1 x))))

prune421.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize15.0ms

Local error

Found 4 expressions with local error:

18.9b
(+ (* (pow x 5) 3/40) (* x (* (* x x) -1/6)))
0.2b
(* (* x x) -1/6)
0.1b
(* x (* (* x x) -1/6))
0.1b
(* (pow x 5) 3/40)

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
6×add-log-exp
5×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×pow1 add-cbrt-cube associate-*l* add-exp-log insert-posit16
3×*-commutative
1×+-commutative sum-log flip3-+ associate-*r* flip-+
Calls
4 calls:
Slowest
8.0ms
(+ (* (pow x 5) 3/40) (* x (* (* x x) -1/6)))
3.0ms
(* x (* (* x x) -1/6))
3.0ms
(* (* x x) -1/6)
2.0ms
(* (pow x 5) 3/40)

series336.0ms

Calls
4 calls:
Slowest
192.0ms
(+ (* (pow x 5) 3/40) (* x (* (* x x) -1/6)))
66.0ms
(* (pow x 5) 3/40)
50.0ms
(* x (* (* x x) -1/6))
28.0ms
(* (* x x) -1/6)

simplify351.0ms

Calls
15 calls:
Slowest
64.0ms
(* (exp (* (pow x 5) 3/40)) (exp (* x (* (* x x) -1/6))))
63.0ms
(- (* 3/40 (pow x 5)) (* 1/6 (pow x 3)))
55.0ms
(- (* 3/40 (pow x 5)) (* 1/6 (pow x 3)))
51.0ms
(- (* 3/40 (pow x 5)) (* 1/6 (pow x 3)))
21.0ms
(* -1/6 (pow x 3))

prune457.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize28.0ms

Local error

Found 4 expressions with local error:

18.6b
(+ (/ -1/8 (* (* x x) x)) (/ 1/16 (pow x 5)))
12.9b
(log (- (/ -1/2 x) (+ (/ -1/8 (* (* x x) x)) (/ 1/16 (pow x 5)))))
0.3b
(/ 1/16 (pow x 5))
0.2b
(/ -1/8 (* (* x x) x))

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
13×*-un-lft-identity
8×add-sqr-sqrt
6×log-prod add-cube-cbrt add-log-exp
5×pow1 log-div add-exp-log
4×associate-/r* add-cbrt-cube insert-posit16
3×frac-sub
2×clear-num frac-2neg flip3-+ frac-add flip-+ div-inv distribute-lft-out distribute-lft-out--
1×+-commutative sum-log flip3-- rem-log-exp log-pow flip-- difference-of-squares
Calls
4 calls:
Slowest
20.0ms
(log (- (/ -1/2 x) (+ (/ -1/8 (* (* x x) x)) (/ 1/16 (pow x 5)))))
10.0ms
(+ (/ -1/8 (* (* x x) x)) (/ 1/16 (pow x 5)))
2.0ms
(/ -1/8 (* (* x x) x))
1.0ms
(/ 1/16 (pow x 5))

series411.0ms

Calls
4 calls:
Slowest
193.0ms
(+ (/ -1/8 (* (* x x) x)) (/ 1/16 (pow x 5)))
103.0ms
(log (- (/ -1/2 x) (+ (/ -1/8 (* (* x x) x)) (/ 1/16 (pow x 5)))))
65.0ms
(/ 1/16 (pow x 5))
51.0ms
(/ -1/8 (* (* x x) x))

simplify3.3s

Calls
31 calls:
Slowest
381.0ms
(log (- (* (/ -1/2 x) (/ -1/2 x)) (* (+ (/ -1/8 (* (* x x) x)) (/ 1/16 (pow x 5))) (+ (/ -1/8 (* (* x x) x)) (/ 1/16 (pow x 5))))))
369.0ms
(log (- (pow (/ -1/2 x) 3) (pow (+ (/ -1/8 (* (* x x) x)) (/ 1/16 (pow x 5))) 3)))
349.0ms
(- (+ (log (/ 1 x)) (+ (* 3/32 (/ 1 (pow x 4))) (log -1/2))) (* 1/4 (/ 1 (pow x 2))))
325.0ms
(log (- (* -1/2 (+ (* (/ -1/8 (* (* x x) x)) (/ -1/8 (* (* x x) x))) (- (* (/ 1/16 (pow x 5)) (/ 1/16 (pow x 5))) (* (/ -1/8 (* (* x x) x)) (/ 1/16 (pow x 5)))))) (* x (+ (pow (/ -1/8 (* (* x x) x)) 3) (pow (/ 1/16 (pow x 5)) 3)))))
321.0ms
(- (+ (* 6 (pow x 4)) (log -1/16)) (+ (* 2 (pow x 2)) (* 5 (log x))))

prune827.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

localize13.0ms

Local error

Found 4 expressions with local error:

10.5b
(log (+ x (+ (+ x (/ 1/2 x)) (/ -1/8 (* (* x x) x)))))
0.2b
(/ -1/8 (* (* x x) x))
0.1b
(* (* x x) x)
0.0b
(+ (+ x (/ 1/2 x)) (/ -1/8 (* (* x x) x)))

rewrite32.0ms

Algorithm
rewrite-expression-head
Rules
7×*-un-lft-identity
6×add-log-exp
5×add-sqr-sqrt pow1 add-exp-log add-cube-cbrt
4×add-cbrt-cube insert-posit16
3×log-prod flip3-+ flip-+
2×log-div frac-add
1×pow2 +-commutative associate-+l+ clear-num associate-/r* sum-log frac-2neg pow-plus rem-log-exp associate-*l* pow3 log-pow *-commutative div-inv distribute-lft-out
Calls
4 calls:
Slowest
14.0ms
(+ (+ x (/ 1/2 x)) (/ -1/8 (* (* x x) x)))
11.0ms
(log (+ x (+ (+ x (/ 1/2 x)) (/ -1/8 (* (* x x) x)))))
4.0ms
(* (* x x) x)
2.0ms
(/ -1/8 (* (* x x) x))

series284.0ms

Calls
4 calls:
Slowest
135.0ms
(log (+ x (+ (+ x (/ 1/2 x)) (/ -1/8 (* (* x x) x)))))
56.0ms
(/ -1/8 (* (* x x) x))
48.0ms
(* (* x x) x)
46.0ms
(+ (+ x (/ 1/2 x)) (/ -1/8 (* (* x x) x)))

simplify4.2s

Calls
24 calls:
Slowest
1.1s
(log (+ (pow x 3) (pow (+ (+ x (/ 1/2 x)) (/ -1/8 (* (* x x) x))) 3)))
528.0ms
(- (+ (log 2) (* 1/4 (/ 1 (pow x 2)))) (+ (log (/ 1 x)) (* 3/32 (/ 1 (pow x 4)))))
407.0ms
(- (+ (log -2) (* 1/4 (/ 1 (pow x 2)))) (+ (log (/ -1 x)) (* 3/32 (/ 1 (pow x 4)))))
356.0ms
(- (log -1/8) (+ (* 4 (pow x 2)) (+ (* 24 (pow x 4)) (* 3 (log x)))))
275.0ms
(+ (* (- (* x x) (* (/ 1/2 x) (/ 1/2 x))) (* (* x x) x)) (* (- x (/ 1/2 x)) -1/8))

prune481.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0.0b

regimes42.0ms

Accuracy

99.5% (0.2b remaining)

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

bsearch141.0ms

end0.0ms

sample4.3s

Algorithm
intervals
Results
2.0s2433×body1280valid
900.0ms794×body2560valid
779.0ms1476×body640valid
308.0ms805×body320valid
180.0ms2109×body80valid
69.0ms383×body160valid