Details

Time bar (total: 31.6s)

sample238.0ms

Algorithm
intervals
Results
112.0ms108×body1280valid
53.0ms88×body640valid
31.0ms34×body320valid
23.0ms228×body80nan
4.0ms19×body160valid
1.0ms7×body80valid

simplify119.0ms

Calls
1 calls:
Slowest
119.0ms
(* (/ 1 2) (log (/ (+ 1 x) (- 1 x))))

prune13.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.7b

localize26.0ms

Local error

Found 2 expressions with local error:

5.7b
(log (/ (+ x 1) (- 1 x)))
0.0b
(/ (+ x 1) (- 1 x))

rewrite53.0ms

Algorithm
rewrite-expression-head
Rules
78×*-un-lft-identity
52×add-sqr-sqrt
48×times-frac
30×log-prod
25×add-cube-cbrt
18×difference-of-squares
13×distribute-lft-out
9×distribute-lft-out--
7×add-exp-log
6×associate-/r*
4×add-cbrt-cube associate-/r/ associate-/l*
3×pow1
2×flip3-- div-exp rem-log-exp insert-posit16 div-inv flip-- add-log-exp associate-/l/
1×cbrt-undiv log-div clear-num frac-2neg flip3-+ log-pow flip-+
Calls
2 calls:
Slowest
38.0ms
(/ (+ x 1) (- 1 x))
12.0ms
(log (/ (+ x 1) (- 1 x)))

series156.0ms

Calls
2 calls:
Slowest
117.0ms
(log (/ (+ x 1) (- 1 x)))
39.0ms
(/ (+ x 1) (- 1 x))

simplify4.6s

Calls
101 calls:
Slowest
559.0ms
(/ (* (* (+ x 1) (+ x 1)) (+ x 1)) (* (* (- 1 x) (- 1 x)) (- 1 x)))
404.0ms
(+ (* 2 (/ 1 x)) (+ (* 2/3 (/ 1 (pow x 3))) (log -1)))
401.0ms
(+ (* 2 (/ 1 x)) (+ (* 2/3 (/ 1 (pow x 3))) (log -1)))
328.0ms
(log (/ (+ x 1) (- (pow 1 3) (pow x 3))))
302.0ms
(+ (* 2 x) (+ (* 2/3 (pow x 3)) (* 2/5 (pow x 5))))

prune836.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize29.0ms

Local error

Found 4 expressions with local error:

0.3b
(* 2/3 x)
0.1b
(* x (* 2/3 x))
0.1b
(* (pow x 5) 2/5)
0.0b
(* x (+ (* x (* 2/3 x)) 2))

rewrite82.0ms

Algorithm
rewrite-expression-head
Rules
21×add-sqr-sqrt
18×add-exp-log
16×associate-*l*
15×add-cbrt-cube
13×pow1
12×*-un-lft-identity add-cube-cbrt
10×associate-*r*
8×prod-exp
6×cbrt-unprod
5×pow-prod-down unswap-sqr
4×unpow-prod-down *-commutative insert-posit16 add-log-exp
2×associate-*r/ sqr-pow
1×distribute-rgt-in pow-to-exp distribute-lft-in flip3-+ pow-exp flip-+
Calls
4 calls:
Slowest
55.0ms
(* x (+ (* x (* 2/3 x)) 2))
14.0ms
(* x (* 2/3 x))
8.0ms
(* (pow x 5) 2/5)
5.0ms
(* 2/3 x)

series250.0ms

Calls
4 calls:
Slowest
128.0ms
(* x (+ (* x (* 2/3 x)) 2))
55.0ms
(* (pow x 5) 2/5)
46.0ms
(* x (* 2/3 x))
22.0ms
(* 2/3 x)

simplify3.3s

Calls
61 calls:
Slowest
393.0ms
(+ (* (* x (* 2/3 x)) (* x (* 2/3 x))) (- (* 2 2) (* (* x (* 2/3 x)) 2)))
279.0ms
(* (* (* x x) x) (* (* (+ (* x (* 2/3 x)) 2) (+ (* x (* 2/3 x)) 2)) (+ (* x (* 2/3 x)) 2)))
254.0ms
(* (* (* x x) x) (* (* (* 2/3 x) (* 2/3 x)) (* 2/3 x)))
224.0ms
(* (* (* x x) x) (* (* (* 2/3 2/3) 2/3) (* (* x x) x)))
195.0ms
(* (* (* 2/3 2/3) 2/3) (* (* x x) x))

prune928.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize39.0ms

Local error

Found 4 expressions with local error:

0.3b
(* 2/3 x)
0.1b
(* x (* 2/3 x))
0.1b
(* (pow x 5) 2/5)
0.1b
(* x (* x (* 2/3 x)))

rewrite111.0ms

Algorithm
rewrite-expression-head
Rules
25×add-exp-log
22×add-cbrt-cube
20×pow1
18×add-sqr-sqrt
16×associate-*l*
13×prod-exp
11×*-un-lft-identity add-cube-cbrt cbrt-unprod
10×pow-prod-down
8×associate-*r*
4×unpow-prod-down *-commutative insert-posit16 add-log-exp unswap-sqr
2×sqr-pow
1×pow-to-exp pow-exp
Calls
4 calls:
Slowest
61.0ms
(* x (* x (* 2/3 x)))
24.0ms
(* x (* 2/3 x))
13.0ms
(* (pow x 5) 2/5)
10.0ms
(* 2/3 x)

series175.0ms

Calls
4 calls:
Slowest
68.0ms
(* (pow x 5) 2/5)
55.0ms
(* x (* x (* 2/3 x)))
27.0ms
(* x (* 2/3 x))
26.0ms
(* 2/3 x)

simplify4.4s

Calls
59 calls:
Slowest
1.1s
(* (* (* x x) x) (* (* (* x x) x) (* (* (* 2/3 x) (* 2/3 x)) (* 2/3 x))))
643.0ms
(* (* (* x x) x) (* (* (* x (* 2/3 x)) (* x (* 2/3 x))) (* x (* 2/3 x))))
524.0ms
(* (* (* x x) x) (* (* (* x x) x) (* (* (* 2/3 2/3) 2/3) (* (* x x) x))))
261.0ms
(* (* (* x x) x) (* (* (* 2/3 x) (* 2/3 x)) (* 2/3 x)))
192.0ms
(* (* (* x x) x) (* (* (* 2/3 2/3) 2/3) (* (* x x) x)))

prune993.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize34.0ms

Local error

Found 4 expressions with local error:

5.8b
(log (+ x 1))
5.8b
(log (/ 1 (- 1 x)))
0.0b
(/ 1 (- 1 x))
0.0b
(+ (log (+ x 1)) (log (/ 1 (- 1 x))))

rewrite50.0ms

Algorithm
rewrite-expression-head
Rules
75×*-un-lft-identity
67×add-sqr-sqrt
56×log-prod
54×times-frac
37×add-cube-cbrt
24×associate-+r+
20×difference-of-squares
14×add-exp-log
12×pow1
10×distribute-lft-out--
8×log-pow
6×log-div associate-/r* add-cbrt-cube associate-/r/ distribute-lft-out
5×rem-log-exp
4×associate-+l+ div-exp insert-posit16 add-log-exp
3×flip3-+ flip3-- log-rec flip-+ div-inv flip-- associate-/l*
2×rec-exp 1-exp associate-+l- pow-flip inv-pow
1×cbrt-undiv +-commutative clear-num associate-+r- sum-log frac-2neg unsub-neg
Calls
4 calls:
Slowest
16.0ms
(/ 1 (- 1 x))
16.0ms
(+ (log (+ x 1)) (log (/ 1 (- 1 x))))
8.0ms
(log (/ 1 (- 1 x)))
6.0ms
(log (+ x 1))

series264.0ms

Calls
4 calls:
Slowest
180.0ms
(+ (log (+ x 1)) (log (/ 1 (- 1 x))))
35.0ms
(log (/ 1 (- 1 x)))
29.0ms
(log (+ x 1))
19.0ms
(/ 1 (- 1 x))

simplify6.6s

Calls
137 calls:
Slowest
428.0ms
(/ (* (* 1 1) 1) (* (* (- 1 x) (- 1 x)) (- 1 x)))
419.0ms
(+ (log (/ 1 x)) (+ (* 1/2 (/ 1 (pow x 2))) (+ (log -1) (/ 1 x))))
394.0ms
(+ (* 2 (/ 1 x)) (+ (* 2/3 (/ 1 (pow x 3))) (log -1)))
359.0ms
(log (/ 1 (- (pow 1 3) (pow x 3))))
351.0ms
(+ (* 2 (/ 1 x)) (+ (* 2/3 (/ 1 (pow x 3))) (log -1)))

prune1.0s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

regimes18.0ms

Accuracy

0% (0.2b remaining)

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

bsearch5.0ms

end0.0ms

sample7.3s

Algorithm
intervals
Results
3.4s3338×body1280valid
1.6s2519×body640valid
1.3s8151×body80nan
571.0ms1272×body320valid
182.0ms660×body160valid
23.0ms211×body80valid