Details

Time bar (total: 37.5s)

sample27.0ms

Algorithm
intervals
Results
17.0ms256×body80valid

simplify7.0ms

Counts
1 → 1
Iterations
IterNodes
done9
29
18
05

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 1 expressions with local error:

0.0b
(/ (+ x 1.0) (- 1.0 x))

rewrite51.0ms

Algorithm
rewrite-expression-head
Rules
34×*-un-lft-identity
22×add-sqr-sqrt
20×times-frac
12×add-cube-cbrt
6×distribute-lft-out
5×associate-/r* distribute-lft-out-- difference-of-squares
4×associate-/l*
3×add-cbrt-cube add-exp-log
2×associate-/r/ associate-/l/
1×pow1 cbrt-undiv clear-num frac-2neg flip3-+ flip3-- div-exp flip-+ insert-posit16 div-inv flip-- add-log-exp
Counts
1 → 46
Calls
1 calls:
48.0ms
(/ (+ x 1.0) (- 1.0 x))

series71.0ms

Counts
1 → 3
Calls
1 calls:
71.0ms
(/ (+ x 1.0) (- 1.0 x))

simplify1.9s

Counts
49 → 49
Iterations
IterNodes
done5004
31744
2563
1212
092

prune135.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize34.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (+ 1.0 x) (- 1.0 x))
0.0b
(* (* (/ (+ 1.0 x) (- 1.0 x)) (/ (+ 1.0 x) (- 1.0 x))) (/ (+ 1.0 x) (- 1.0 x)))
0.0b
(* (/ (+ 1.0 x) (- 1.0 x)) (/ (+ 1.0 x) (- 1.0 x)))
0.0b
(cbrt (* (* (/ (+ 1.0 x) (- 1.0 x)) (/ (+ 1.0 x) (- 1.0 x))) (/ (+ 1.0 x) (- 1.0 x))))

rewrite3.0s

Algorithm
rewrite-expression-head
Rules
12432×frac-times
9153×*-un-lft-identity
6935×associate-/r*
6038×add-sqr-sqrt
5614×associate-/l*
3422×cbrt-div
2954×add-cube-cbrt
2774×associate-/l/
1549×distribute-lft-out
1495×distribute-lft-out--
1459×difference-of-squares
1420×clear-num
1387×frac-2neg flip3-+ flip-+
888×associate-*l/
486×times-frac
462×associate-*r/
296×associate-*l*
158×cbrt-prod
152×swap-sqr
130×associate-*r*
99×un-div-inv
64×unswap-sqr
59×add-cbrt-cube add-exp-log
30×pow1 associate-/r/
22×prod-exp cbrt-unprod
18×cbrt-undiv div-exp
15×flip3-- div-inv flip--
11×*-commutative
7×pow-plus pow-prod-up
4×pow3 pow-prod-down insert-posit16 add-log-exp
3×pow2 pow-sqr
2×rem-cbrt-cube
1×pow1/3
Counts
4 → 7606
Calls
4 calls:
23.0ms
(/ (+ 1.0 x) (- 1.0 x))
859.0ms
(* (* (/ (+ 1.0 x) (- 1.0 x)) (/ (+ 1.0 x) (- 1.0 x))) (/ (+ 1.0 x) (- 1.0 x)))
207.0ms
(* (/ (+ 1.0 x) (- 1.0 x)) (/ (+ 1.0 x) (- 1.0 x)))
850.0ms
(cbrt (* (* (/ (+ 1.0 x) (- 1.0 x)) (/ (+ 1.0 x) (- 1.0 x))) (/ (+ 1.0 x) (- 1.0 x))))

series284.0ms

Counts
4 → 12
Calls
4 calls:
61.0ms
(/ (+ 1.0 x) (- 1.0 x))
89.0ms
(* (* (/ (+ 1.0 x) (- 1.0 x)) (/ (+ 1.0 x) (- 1.0 x))) (/ (+ 1.0 x) (- 1.0 x)))
66.0ms
(* (/ (+ 1.0 x) (- 1.0 x)) (/ (+ 1.0 x) (- 1.0 x)))
67.0ms
(cbrt (* (* (/ (+ 1.0 x) (- 1.0 x)) (/ (+ 1.0 x) (- 1.0 x))) (/ (+ 1.0 x) (- 1.0 x))))

simplify6.3s

Counts
7618 → 7618
Iterations
IterNodes
done6220
06220

prune24.8s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes62.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
done6
16
05

end0.0ms

sample713.0ms

Algorithm
intervals
Results
586.0ms8000×body80valid