Details

Time bar (total: 46.5s)

sample29.0ms

Algorithm
intervals
Results
18.0ms256×body80valid

simplify244.0ms

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

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 4 expressions with local error:

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

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt associate-/r* *-un-lft-identity times-frac add-cbrt-cube add-exp-log add-cube-cbrt
8×associate-/r/
4×expm1-log1p-u pow1 cbrt-undiv clear-num frac-2neg flip3-+ div-exp flip-+ insert-posit16 log1p-expm1-u div-inv associate-/l* add-log-exp
Calls
4 calls:
Slowest
12.0ms
(/ (* t 2) (+ 1 t))
8.0ms
(/ (* t 2) (+ 1 t))
7.0ms
(/ (* t 2) (+ 1 t))
5.0ms
(/ (* t 2) (+ 1 t))

series44.0ms

Calls
4 calls:
Slowest
12.0ms
(/ (* t 2) (+ 1 t))
11.0ms
(/ (* t 2) (+ 1 t))
11.0ms
(/ (* t 2) (+ 1 t))
10.0ms
(/ (* t 2) (+ 1 t))

simplify4.4s

Calls
64 calls:
Slowest
339.0ms
(- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
315.0ms
(- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
294.0ms
(- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
266.0ms
(- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
199.0ms
(- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))

prune1.1s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize29.0ms

Local error

Found 4 expressions with local error:

19.4b
(cbrt (* (* (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t))) (/ (* t 2) (+ 1 t))))
0.0b
(* (* (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t))) (/ (* t 2) (+ 1 t)))
0.0b
(* (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)))
0.0b
(/ (* t 2) (+ 1 t))

rewrite71.0ms

Algorithm
rewrite-expression-head
Rules
59×add-cbrt-cube add-exp-log
23×pow1
22×prod-exp cbrt-unprod
18×cbrt-undiv div-exp associate-*r*
12×add-sqr-sqrt *-un-lft-identity times-frac add-cube-cbrt
11×frac-times associate-*l/
10×associate-*l*
8×associate-/r/
7×cbrt-div associate-*r/
6×pow-plus pow-prod-up
4×expm1-log1p-u flip3-+ pow-prod-down flip-+ insert-posit16 log1p-expm1-u div-inv add-log-exp
3×pow2 associate-/r*
2×pow3 *-commutative
1×cbrt-prod clear-num frac-2neg pow1/3 rem-cbrt-cube associate-/l*
Calls
4 calls:
Slowest
31.0ms
(cbrt (* (* (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t))) (/ (* t 2) (+ 1 t))))
25.0ms
(* (* (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t))) (/ (* t 2) (+ 1 t)))
9.0ms
(* (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)))
3.0ms
(/ (* t 2) (+ 1 t))

series82.0ms

Calls
4 calls:
Slowest
33.0ms
(cbrt (* (* (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t))) (/ (* t 2) (+ 1 t))))
24.0ms
(* (* (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t))) (/ (* t 2) (+ 1 t)))
15.0ms
(* (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)))
10.0ms
(/ (* t 2) (+ 1 t))

simplify22.3s

Calls
119 calls:
Slowest
1.3s
(* (* (* (* (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t))) (/ (* t 2) (+ 1 t))) (/ (* (* (* t 2) (* t 2)) (* t 2)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t)))) (* (* (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t))) (/ (* t 2) (+ 1 t))))
960.0ms
(* (* (* (* (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t))) (/ (* t 2) (+ 1 t))) (/ (* (* (* t 2) (* t 2)) (* t 2)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t)))) (/ (* (* (* t 2) (* t 2)) (* t 2)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))))
929.0ms
(* (* (/ (* (* (* t 2) (* t 2)) (* t 2)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))) (* (* (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t))) (/ (* t 2) (+ 1 t)))) (/ (* (* (* t 2) (* t 2)) (* t 2)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))))
836.0ms
(* (* (/ (* (* (* t 2) (* t 2)) (* t 2)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))) (* (* (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t))) (/ (* t 2) (+ 1 t)))) (* (* (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t))) (/ (* t 2) (+ 1 t))))
798.0ms
(* (* (/ (* (* (* t 2) (* t 2)) (* t 2)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))) (/ (* (* (* t 2) (* t 2)) (* t 2)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t)))) (* (* (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t))) (/ (* t 2) (+ 1 t))))

prune1.5s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize22.0ms

Local error

Found 4 expressions with local error:

19.7b
(cbrt (* (* (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t))) (* t 2)))
0.3b
(cbrt (+ 1 t))
0.0b
(* (* (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t))) (* t 2))
0.0b
(* (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)))

rewrite76.0ms

Algorithm
rewrite-expression-head
Rules
34×add-cbrt-cube add-exp-log
14×pow1
13×prod-exp cbrt-unprod
10×associate-*r* associate-*l*
9×add-sqr-sqrt *-un-lft-identity associate-*l/ add-cube-cbrt
8×cbrt-undiv div-exp
6×times-frac
5×cbrt-div
4×cbrt-prod expm1-log1p-u pow-prod-down associate-/r/ insert-posit16 log1p-expm1-u add-log-exp
3×frac-times flip3-+ associate-*r/ flip-+
2×pow1/3 *-commutative div-inv
1×pow2 pow-plus pow-prod-up
Calls
4 calls:
Slowest
31.0ms
(* (* (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t))) (* t 2))
26.0ms
(cbrt (* (* (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t))) (* t 2)))
15.0ms
(* (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)))
1.0ms
(cbrt (+ 1 t))

series144.0ms

Calls
4 calls:
Slowest
59.0ms
(cbrt (* (* (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t))) (* t 2)))
47.0ms
(cbrt (+ 1 t))
20.0ms
(* (* (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t))) (* t 2))
18.0ms
(* (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t)))

simplify13.0s

Calls
70 calls:
Slowest
992.0ms
(* (* (/ (* (* (* t 2) (* t 2)) (* t 2)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))) (* (* (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t))) (/ (* t 2) (+ 1 t)))) (* (* (* t 2) (* t 2)) (* t 2)))
869.0ms
(* (* (/ (* (* (* t 2) (* t 2)) (* t 2)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))) (/ (* (* (* t 2) (* t 2)) (* t 2)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t)))) (* (* (* t 2) (* t 2)) (* t 2)))
802.0ms
(* (* (* (* (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t))) (/ (* t 2) (+ 1 t))) (/ (* (* (* t 2) (* t 2)) (* t 2)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t)))) (* (* (* t 2) (* t 2)) (* t 2)))
676.0ms
(* (/ (* (* (* t 2) (* t 2)) (* t 2)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))) (* (* (/ (* t 2) (+ 1 t)) (/ (* t 2) (+ 1 t))) (/ (* t 2) (+ 1 t))))
591.0ms
(* (/ (* (* (* t 2) (* t 2)) (* t 2)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))) (/ (* (* (* t 2) (* t 2)) (* t 2)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))))

prune1.7s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes40.0ms

Accuracy

0% (0.1b remaining)

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

bsearch5.0ms

end0.0ms

sample1.6s

Algorithm
intervals
Results
1.5s8000×body80valid