Details

Time bar (total: 46.3s)

sample198.0ms

Algorithm
intervals
Results
101.0ms111×body1280valid
45.0ms85×body640valid
20.0ms241×body80nan
12.0ms33×body320valid
4.0ms19×body160valid
1.0ms8×body80valid

simplify149.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
149.0ms
(* (/ 1 2) (log (/ (+ 1 x) (- 1 x))))

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.6b

localize14.0ms

Local error

Found 2 expressions with local error:

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

rewrite31.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-+
Counts
2 → 93
Calls
2 calls:
Slowest
19.0ms
(/ (+ x 1) (- 1 x))
11.0ms
(log (/ (+ x 1) (- 1 x)))

series134.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
107.0ms
(log (/ (+ x 1) (- 1 x)))
27.0ms
(/ (+ x 1) (- 1 x))

simplify7.0s

Counts
153 → 99
Calls
153 calls:
Slowest
410.0ms
(* (* (log (/ (+ x 1) (- 1 x))) (log (/ (+ x 1) (- 1 x)))) (log (/ (+ x 1) (- 1 x))))
399.0ms
(* (* (/ (+ x 1) (- 1 x)) (/ (+ x 1) (- 1 x))) (/ (+ x 1) (- 1 x)))
386.0ms
(/ (* (* (+ x 1) (+ x 1)) (+ x 1)) (* (* (- 1 x) (- 1 x)) (- 1 x)))
367.0ms
(+ (* 2 (/ 1 x)) (+ (* 2/3 (/ 1 (pow x 3))) (log -1)))
366.0ms
(+ (* 2 (/ 1 x)) (+ (* 2/3 (/ 1 (pow x 3))) (log -1)))

prune854.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize24.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))

rewrite111.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-+
Counts
4 → 87
Calls
4 calls:
Slowest
66.0ms
(* x (+ (* x (* 2/3 x)) 2))
27.0ms
(* x (* 2/3 x))
10.0ms
(* (pow x 5) 2/5)
7.0ms
(* 2/3 x)

series227.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
107.0ms
(* x (+ (* x (* 2/3 x)) 2))
66.0ms
(* (pow x 5) 2/5)
32.0ms
(* x (* 2/3 x))
22.0ms
(* 2/3 x)

simplify7.7s

Counts
102 → 99
Calls
102 calls:
Slowest
465.0ms
(* (cbrt (* (pow x 5) 2/5)) (cbrt (* (pow x 5) 2/5)))
455.0ms
(* x (+ (pow (* x (* 2/3 x)) 3) (pow 2 3)))
443.0ms
(* (* (* (pow x 5) 2/5) (* (pow x 5) 2/5)) (* (pow x 5) 2/5))
438.0ms
(exp (* x (+ (* x (* 2/3 x)) 2)))
394.0ms
(* (* (* x (* 2/3 x)) (* x (* 2/3 x))) (* x (* 2/3 x)))

prune901.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize34.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 (* 2/3 x)) x)

rewrite95.0ms

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

series207.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
80.0ms
(* (pow x 5) 2/5)
49.0ms
(* (* x (* 2/3 x)) x)
46.0ms
(* x (* 2/3 x))
31.0ms
(* 2/3 x)

simplify7.8s

Counts
98 → 98
Calls
98 calls:
Slowest
581.0ms
(* (* (* (* x (* 2/3 x)) x) (* (* x (* 2/3 x)) x)) (* (* x (* 2/3 x)) x))
537.0ms
(* (* (* (* x x) x) (* (* (* 2/3 x) (* 2/3 x)) (* 2/3 x))) (* (* x x) x))
485.0ms
(* (* (* (pow x 5) 2/5) (* (pow x 5) 2/5)) (* (pow x 5) 2/5))
464.0ms
(* (cbrt (* (pow x 5) 2/5)) (cbrt (* (pow x 5) 2/5)))
446.0ms
(* (* (* (* x (* 2/3 x)) (* x (* 2/3 x))) (* x (* 2/3 x))) (* (* x x) x))

prune1.0s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize37.0ms

Local error

Found 4 expressions with local error:

5.3b
(log (/ (+ x 1) (- 1 x)))
0.2b
(exp (log (log (/ (+ x 1) (- 1 x)))))
0.0b
(/ (+ x 1) (- 1 x))
0.0b
(log (log (/ (+ x 1) (- 1 x))))

rewrite66.0ms

Algorithm
rewrite-expression-head
Rules
83×*-un-lft-identity
57×add-sqr-sqrt
48×times-frac
38×log-prod
30×add-cube-cbrt
18×difference-of-squares
13×distribute-lft-out
10×add-exp-log
9×pow1 distribute-lft-out--
6×associate-/r* add-cbrt-cube
5×log-pow
4×exp-prod exp-sum associate-/r/ insert-posit16 associate-/l* add-log-exp
3×rem-log-exp
2×flip3-- div-exp div-inv flip-- associate-/l/
1×cbrt-undiv log-div clear-num frac-2neg flip3-+ flip-+ rem-exp-log
Counts
4 → 124
Calls
4 calls:
Slowest
40.0ms
(/ (+ x 1) (- 1 x))
13.0ms
(log (/ (+ x 1) (- 1 x)))
6.0ms
(exp (log (log (/ (+ x 1) (- 1 x)))))
3.0ms
(log (log (/ (+ x 1) (- 1 x))))

series322.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
129.0ms
(log (log (/ (+ x 1) (- 1 x))))
93.0ms
(log (/ (+ x 1) (- 1 x)))
72.0ms
(exp (log (log (/ (+ x 1) (- 1 x)))))
28.0ms
(/ (+ x 1) (- 1 x))

simplify10.7s

Counts
196 → 136
Calls
196 calls:
Slowest
544.0ms
(* (* (log (/ (+ x 1) (- 1 x))) (log (/ (+ x 1) (- 1 x)))) (log (/ (+ x 1) (- 1 x))))
540.0ms
(/ (* (* (+ x 1) (+ x 1)) (+ x 1)) (* (* (- 1 x) (- 1 x)) (- 1 x)))
444.0ms
(* (* (exp (log (log (/ (+ x 1) (- 1 x))))) (exp (log (log (/ (+ x 1) (- 1 x)))))) (exp (log (log (/ (+ x 1) (- 1 x))))))
431.0ms
(+ (* 2 (/ 1 x)) (+ (* 2/3 (/ 1 (pow x 3))) (log -1)))
422.0ms
(+ (* 2 (/ 1 x)) (+ (* 2/3 (/ 1 (pow x 3))) (log -1)))

prune1.0s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0.0b

regimes20.0ms

Accuracy

0% (0.1b remaining)

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

bsearch3.0ms

end0.0ms

sample7.7s

Algorithm
intervals
Results
3.7s3430×body1280valid
1.7s2543×body640valid
1.4s8062×body80nan
511.0ms1222×body320valid
172.0ms608×body160valid
23.0ms197×body80valid