Details

Time bar (total: 10.0s)

sample31.0ms

Algorithm
intervals
Results
11.0ms256×body80valid

simplify4.2s

Counts
1 → 1
Iterations

Useful iterations: 7 (1.1s)

IterNodesCost
01229
12029
23729
38429
423229
554729
6115329
7243725
8494025
done500225

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b
(- 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))))
0.0b
(* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
3.8b
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
3.8b
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))

rewrite526.0ms

Algorithm
rewrite-expression-head
Rules
69×add-sqr-sqrt
28×*-un-lft-identity
20×difference-of-squares
19×times-frac
11×pow1
10×add-log-exp
9×flip3-- swap-sqr flip-- distribute-lft-out--
8×add-cube-cbrt
7×associate-*r* associate-*l*
6×add-exp-log add-cbrt-cube
5×sub-neg
4×frac-times
3×diff-log
2×distribute-rgt-in distribute-lft-in associate-*r/ associate-*l/
1×pow2 pow-plus pow-prod-down prod-exp pow-sqr *-commutative pow-prod-up cbrt-unprod unswap-sqr
Counts
4 → 98
Calls
4 calls:
17.0ms
(- 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))))
402.0ms
(* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
51.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
51.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))

series288.0ms

Counts
4 → 12
Calls
4 calls:
127.0ms
(- 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))))
66.0ms
(* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
46.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
49.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))

simplify806.0ms

Counts
110 → 110
Iterations

Useful iterations: done (802.0ms)

IterNodesCost
01633363
14033149
213772875
done50002572

prune257.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize19.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ 1.0 (+ 2.0 (pow (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 3 1))))
0.0b
(sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
0.5b
(pow (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 3 1))
3.8b
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))

rewrite849.0ms

Algorithm
rewrite-expression-head
Rules
45×add-sqr-sqrt
33×*-un-lft-identity
21×times-frac
17×add-cube-cbrt
14×sqrt-prod
10×unpow-prod-down
9×difference-of-squares
7×pow1 add-exp-log
6×add-cbrt-cube add-log-exp
5×distribute-lft-out
4×pow-unpow associate-/r*
3×pow-pow associate-/l* distribute-lft-out--
2×flip3-- sqrt-pow1 pow1/2 sqrt-div associate-/r/ flip--
1×cbrt-undiv unpow-prod-up pow-to-exp sub-neg rem-sqrt-square frac-2neg flip3-+ diff-log div-exp pow-exp clear-num sqrt-pow2 flip-+ div-inv sqr-pow
Counts
4 → 97
Calls
4 calls:
593.0ms
(/ 1.0 (+ 2.0 (pow (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 3 1))))
95.0ms
(sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
106.0ms
(pow (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 3 1))
52.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))

series374.0ms

Counts
4 → 12
Calls
4 calls:
83.0ms
(/ 1.0 (+ 2.0 (pow (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 3 1))))
94.0ms
(sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
146.0ms
(pow (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 3 1))
50.0ms
(- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))

simplify1.8s

Counts
109 → 109
Iterations

Useful iterations: 3 (809.0ms)

IterNodesCost
02262721
15402359
213082170
340182136
done50002136

prune363.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes87.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

Useful iterations: 0 (0.0ms)

IterNodesCost
01229
11429
done1429

end0.0ms

sample448.0ms

Algorithm
intervals
Results
319.0ms8000×body80valid