Details

Time bar (total: 48.1s)

sample207.0ms

Algorithm
intervals
Results
93.0ms111×body1280valid
62.0ms85×body640valid
22.0ms241×body80nan
12.0ms33×body320valid
4.0ms19×body160valid
1.0ms8×body80valid

simplify102.0ms

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

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.6b

localize24.0ms

Local error

Found 2 expressions with local error:

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

rewrite47.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×expm1-log1p-u flip3-- div-exp rem-log-exp insert-posit16 log1p-expm1-u div-inv flip-- add-log-exp associate-/l/
1×cbrt-undiv log-div clear-num frac-2neg flip3-+ log-pow flip-+
Counts
2 → 97
Calls
2 calls:
Slowest
33.0ms
(/ (+ x 1) (- 1 x))
12.0ms
(log (/ (+ x 1) (- 1 x)))

series123.0ms

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

simplify7.7s

Counts
157 → 103
Calls
157 calls:
Slowest
532.0ms
(/ (* (* (+ x 1) (+ x 1)) (+ x 1)) (* (* (- 1 x) (- 1 x)) (- 1 x)))
523.0ms
(* (* (log (/ (+ x 1) (- 1 x))) (log (/ (+ x 1) (- 1 x)))) (log (/ (+ x 1) (- 1 x))))
471.0ms
(+ (* 2 (/ 1 x)) (+ (* 2/3 (/ 1 (pow x 3))) (log -1)))
460.0ms
(* (* (/ (+ x 1) (- 1 x)) (/ (+ x 1) (- 1 x))) (/ (+ x 1) (- 1 x)))
396.0ms
(log (/ (+ x 1) (- (pow 1 3) (pow x 3))))

prune606.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 2 expressions with local error:

0.0b
(* x (fma 2/3 (* x x) 2))
0.0b
(fma 2/5 (pow x 5) (* x (fma 2/3 (* x x) 2)))

rewrite6.0ms

Algorithm
rewrite-expression-head
Rules
6×add-sqr-sqrt
4×pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt
3×associate-*r* associate-*l* fma-udef
2×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
1×distribute-rgt-in distribute-lft-in pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
2 → 34
Calls
2 calls:
Slowest
6.0ms
(* x (fma 2/3 (* x x) 2))
0.0ms
(fma 2/5 (pow x 5) (* x (fma 2/3 (* x x) 2)))

series235.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
143.0ms
(* x (fma 2/3 (* x x) 2))
92.0ms
(fma 2/5 (pow x 5) (* x (fma 2/3 (* x x) 2)))

simplify7.5s

Counts
42 → 40
Calls
42 calls:
Slowest
919.0ms
(* (* (* x (fma 2/3 (* x x) 2)) (* x (fma 2/3 (* x x) 2))) (* x (fma 2/3 (* x x) 2)))
860.0ms
(real->posit16 (fma 2/5 (pow x 5) (* x (fma 2/3 (* x x) 2))))
770.0ms
(* (* (* x x) x) (* (* (fma 2/3 (* x x) 2) (fma 2/3 (* x x) 2)) (fma 2/3 (* x x) 2)))
507.0ms
(* (cbrt (fma 2/5 (pow x 5) (* x (fma 2/3 (* x x) 2)))) (cbrt (fma 2/5 (pow x 5) (* x (fma 2/3 (* x x) 2)))))
405.0ms
(* (* (fma 2/5 (pow x 5) (* x (fma 2/3 (* x x) 2))) (fma 2/5 (pow x 5) (* x (fma 2/3 (* x x) 2)))) (fma 2/5 (pow x 5) (* x (fma 2/3 (* x x) 2))))

prune376.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize29.0ms

Local error

Found 3 expressions with local error:

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

rewrite74.0ms

Algorithm
rewrite-expression-head
Rules
17×pow1 add-cbrt-cube add-exp-log
9×pow-prod-down prod-exp cbrt-unprod
6×add-sqr-sqrt
5×*-un-lft-identity add-cube-cbrt
4×associate-*r* associate-*l*
3×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
2×*-commutative
1×fma-udef unswap-sqr
Counts
3 → 57
Calls
3 calls:
Slowest
47.0ms
(* (* 2/3 (* x x)) x)
26.0ms
(* 2/3 (* x x))
0.0ms
(fma 2/5 (pow x 5) (+ (* (* 2/3 (* x x)) x) (* 2 x)))

series180.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
69.0ms
(* (* 2/3 (* x x)) x)
65.0ms
(fma 2/5 (pow x 5) (+ (* (* 2/3 (* x x)) x) (* 2 x)))
46.0ms
(* 2/3 (* x x))

simplify10.5s

Counts
65 → 66
Calls
65 calls:
Slowest
867.0ms
(* (* (* (* 2/3 2/3) 2/3) (* (* (* x x) x) (* (* x x) x))) (* (* x x) x))
633.0ms
(* (* (fma 2/5 (pow x 5) (+ (* (* 2/3 (* x x)) x) (* 2 x))) (fma 2/5 (pow x 5) (+ (* (* 2/3 (* x x)) x) (* 2 x)))) (fma 2/5 (pow x 5) (+ (* (* 2/3 (* x x)) x) (* 2 x))))
582.0ms
(* (* (* (* 2/3 (* x x)) (* 2/3 (* x x))) (* 2/3 (* x x))) (* (* x x) x))
532.0ms
(* (cbrt (fma 2/5 (pow x 5) (+ (* (* 2/3 (* x x)) x) (* 2 x)))) (cbrt (fma 2/5 (pow x 5) (+ (* (* 2/3 (* x x)) x) (* 2 x)))))
528.0ms
(expm1 (fma 2/5 (pow x 5) (+ (* (* 2/3 (* x x)) x) (* 2 x))))

prune711.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize24.0ms

Local error

Found 3 expressions with local error:

5.4b
(log (/ 1 (- 1 x)))
0.0b
(+ (log1p x) (log (/ 1 (- 1 x))))
0.0b
(/ 1 (- 1 x))

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
68×*-un-lft-identity
65×add-sqr-sqrt
54×times-frac
48×log-prod
35×add-cube-cbrt
24×associate-+r+
20×difference-of-squares
12×add-exp-log
10×distribute-lft-out--
7×pow1
6×associate-/r* associate-/r/
5×add-cbrt-cube
4×div-exp rem-log-exp log-pow add-log-exp
3×expm1-log1p-u fma-def flip3-- log-rec insert-posit16 log1p-expm1-u div-inv flip-- associate-/l*
2×log-div rec-exp sum-log 1-exp pow-flip distribute-lft-out inv-pow
1×cbrt-undiv +-commutative log1p-udef clear-num associate-+r- frac-2neg flip3-+ unsub-neg flip-+
Counts
3 → 138
Calls
3 calls:
Slowest
13.0ms
(+ (log1p x) (log (/ 1 (- 1 x))))
10.0ms
(log (/ 1 (- 1 x)))
9.0ms
(/ 1 (- 1 x))

series226.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
164.0ms
(+ (log1p x) (log (/ 1 (- 1 x))))
37.0ms
(log (/ 1 (- 1 x)))
24.0ms
(/ 1 (- 1 x))

simplify10.8s

Counts
182 → 147
Calls
182 calls:
Slowest
474.0ms
(/ (* (* 1 1) 1) (* (* (- 1 x) (- 1 x)) (- 1 x)))
406.0ms
(+ (log1p x) (log (/ 1 (- (pow 1 3) (pow x 3)))))
403.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)))
382.0ms
(- (+ (/ 1 (pow x 3)) (+ (/ 1 (pow x 2)) (/ 1 x))))

prune925.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0.0b

regimes39.0ms

Accuracy

0% (0.1b remaining)

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

bsearch4.0ms

end0.0ms

sample7.6s

Algorithm
intervals
Results
3.8s3430×body1280valid
1.6s2543×body640valid
869.0ms8062×body80nan
860.0ms1222×body320valid
143.0ms608×body160valid
23.0ms197×body80valid