Details

Time bar (total: 22.4s)

sample45.0ms

Algorithm
intervals
Results
32.0ms256×body80valid

simplify188.0ms

Calls
1 calls:
Slowest
188.0ms
(- 1 (/ 1 (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize39.0ms

Local error

Found 4 expressions with local error:

3.1b
(- 2 (/ 2 (+ 1 t)))
3.1b
(- 2 (/ 2 (+ 1 t)))
0.0b
(* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))
0.0b
(- 1 (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
9×pow1 flip3-- flip--
6×add-sqr-sqrt *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt
5×sub-neg
4×frac-times insert-posit16 add-log-exp
3×associate-*r* associate-*l*
2×distribute-rgt-in distribute-lft-in associate-*l/ associate-*r/
1×pow2 pow-plus pow-prod-down prod-exp *-commutative pow-prod-up cbrt-unprod
Calls
4 calls:
Slowest
10.0ms
(* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))
3.0ms
(- 1 (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))
1.0ms
(- 2 (/ 2 (+ 1 t)))
1.0ms
(- 2 (/ 2 (+ 1 t)))

series142.0ms

Calls
4 calls:
Slowest
60.0ms
(- 1 (/ 1 (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))
35.0ms
(- 2 (/ 2 (+ 1 t)))
27.0ms
(* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))
21.0ms
(- 2 (/ 2 (+ 1 t)))

simplify6.8s

Calls
39 calls:
Slowest
698.0ms
(* (- (pow 2 3) (pow (/ 2 (+ 1 t)) 3)) (- (pow 2 3) (pow (/ 2 (+ 1 t)) 3)))
557.0ms
(* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))
375.0ms
(* (* (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t)))) (* (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t)))))
352.0ms
(* (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (- (pow 2 3) (pow (/ 2 (+ 1 t)) 3)))
342.0ms
(* (- (pow 2 3) (pow (/ 2 (+ 1 t)) 3)) (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))))

prune755.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize25.0ms

Local error

Found 4 expressions with local error:

3.1b
(- 2 (/ 2 (+ 1 t)))
3.1b
(- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))))
0.1b
(* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))
0.0b
(* (/ (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (+ 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))

rewrite30.0ms

Algorithm
rewrite-expression-head
Rules
24×associate-*l*
15×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
12×times-frac
11×pow1 add-cbrt-cube add-exp-log
9×associate-*r*
6×associate-/r/ add-log-exp
4×sub-neg flip3-- insert-posit16 flip-- difference-of-squares
3×frac-times flip3-+ prod-exp associate-*r/ cbrt-unprod flip-+ div-inv
2×distribute-rgt-in distribute-lft-in pow-prod-down associate-*l/ *-commutative
1×pow2 cbrt-undiv pow-plus diff-log div-exp pow-prod-up
Calls
4 calls:
Slowest
21.0ms
(* (/ (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (+ 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))
5.0ms
(* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))
3.0ms
(- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))))
1.0ms
(- 2 (/ 2 (+ 1 t)))

series222.0ms

Calls
4 calls:
Slowest
139.0ms
(* (/ (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (+ 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))
33.0ms
(* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))
28.0ms
(- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))))
22.0ms
(- 2 (/ 2 (+ 1 t)))

simplify9.7s

Calls
71 calls:
Slowest
561.0ms
(* (/ (* (* (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))))) (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))))) (* (* (+ 2 (/ 2 (+ 1 t))) (+ 2 (/ 2 (+ 1 t)))) (+ 2 (/ 2 (+ 1 t))))) (* (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t)))))
352.0ms
(sqrt (/ (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (+ 2 (/ 2 (+ 1 t)))))
342.0ms
(* (/ (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (+ 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))
330.0ms
(* (* (* (/ (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (+ 2 (/ 2 (+ 1 t)))) (/ (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (+ 2 (/ 2 (+ 1 t))))) (/ (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (+ 2 (/ 2 (+ 1 t))))) (* (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t)))))
323.0ms
(* (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (- (pow 2 3) (pow (/ 2 (+ 1 t)) 3)))

prune1.1s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize33.0ms

Local error

Found 3 expressions with local error:

7.0b
(- (+ 1/2 (* t t)) (* t (* (* t t) 2)))
0.1b
(* t (* (* t t) 2))
0.0b
(* (* t t) 2)

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
5×add-log-exp
3×add-sqr-sqrt pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt insert-posit16
2×*-commutative
1×sub-neg flip3-- diff-log associate-*r* associate-*l* associate--l+ flip--
Calls
3 calls:
Slowest
9.0ms
(- (+ 1/2 (* t t)) (* t (* (* t t) 2)))
4.0ms
(* t (* (* t t) 2))
3.0ms
(* (* t t) 2)

series145.0ms

Calls
3 calls:
Slowest
55.0ms
(* t (* (* t t) 2))
47.0ms
(* (* t t) 2)
42.0ms
(- (+ 1/2 (* t t)) (* t (* (* t t) 2)))

simplify745.0ms

Calls
10 calls:
Slowest
320.0ms
(/ (exp (+ 1/2 (* t t))) (exp (* t (* (* t t) 2))))
121.0ms
(- (+ (pow t 2) 1/2) (* 2 (pow t 3)))
102.0ms
(- (+ (pow t 2) 1/2) (* 2 (pow t 3)))
102.0ms
(- (+ (pow t 2) 1/2) (* 2 (pow t 3)))
23.0ms
(* 2 (pow t 3))

prune343.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes19.0ms

Accuracy

0% (0.0b remaining)

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

bsearch4.0ms

end0.0ms

sample2.1s

Algorithm
intervals
Results
1.9s8000×body80valid