Details

Time bar (total: 1.1m)

sample145.0ms

Algorithm
intervals
Results
66.0ms254×body80nan
53.0ms256×body80valid

simplify260.0ms

Calls
1 calls:
Slowest
259.0ms
(/ (- 1 (* 5 (* v v))) (* (* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v))))

prune13.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.4b

localize36.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v))))))
0.3b
(/ (- 1 (* 5 (* v v))) (* (* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v))))
0.3b
(* PI t)
0.2b
(* 5 (* v v))

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
18×associate-*r/
15×add-cbrt-cube add-exp-log
8×flip3-- sqrt-div associate-/r/ flip--
7×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
6×pow1
5×associate-*r*
4×frac-times prod-exp cbrt-unprod insert-posit16 add-log-exp
3×cbrt-undiv times-frac div-exp *-commutative associate-/l*
2×associate-*l/ associate-/l/
1×clear-num associate-/r* frac-2neg div-sub associate-*l* pow-prod-down sqrt-prod div-inv
Calls
4 calls:
Slowest
25.0ms
(/ (- 1 (* 5 (* v v))) (* (* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v))))
8.0ms
(* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v))))))
2.0ms
(* 5 (* v v))
0.0ms
(* PI t)

series860.0ms

Calls
4 calls:
Slowest
532.0ms
(/ (- 1 (* 5 (* v v))) (* (* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v))))
245.0ms
(* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v))))))
48.0ms
(* 5 (* v v))
35.0ms
(* PI t)

simplify9.7s

Calls
47 calls:
Slowest
1.3s
(/ (* (* (- 1 (* 5 (* v v))) (- 1 (* 5 (* v v)))) (- 1 (* 5 (* v v)))) (* (* (* (* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v))) (* (* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (* (* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))))
1.0s
(/ (* (* (- 1 (* 5 (* v v))) (- 1 (* 5 (* v v)))) (- 1 (* 5 (* v v)))) (* (* (* (* (* PI t) (* PI t)) (* PI t)) (* (* (sqrt (* 2 (- 1 (* 3 (* v v))))) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (sqrt (* 2 (- 1 (* 3 (* v v))))))) (* (* (- 1 (* v v)) (- 1 (* v v))) (- 1 (* v v)))))
830.0ms
(/ (* (* (- 1 (* 5 (* v v))) (- 1 (* 5 (* v v)))) (- 1 (* 5 (* v v)))) (* (* (* (* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v))))))) (* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v))))))) (* (* (- 1 (* v v)) (- 1 (* v v))) (- 1 (* v v)))))
375.0ms
(- (log (- 1 (* 5 (* v v)))) (log (* (* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))))
339.0ms
(* (sqrt (+ 1 (* 3 (* v v)))) (+ (* 1 1) (+ (* (* v v) (* v v)) (* 1 (* v v)))))

prune1.0s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.1b

localize6.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v))))))
0.3b
(* PI t)
0.3b
(/ (- 1 (* 5 (* v v))) (* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v)))))))
0.2b
(* 5 (* v v))

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
11×add-cbrt-cube add-exp-log
8×associate-*r/
7×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
6×pow1
5×associate-*r*
4×sqrt-div insert-posit16 add-log-exp
3×times-frac flip3-- *-commutative flip-- associate-/l*
2×cbrt-undiv div-exp prod-exp associate-/r/ cbrt-unprod associate-/l/
1×clear-num associate-/r* frac-2neg div-sub associate-*l* pow-prod-down sqrt-prod div-inv
Calls
4 calls:
Slowest
7.0ms
(/ (- 1 (* 5 (* v v))) (* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v)))))))
6.0ms
(* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v))))))
1.0ms
(* 5 (* v v))
0.0ms
(* PI t)

series742.0ms

Calls
4 calls:
Slowest
466.0ms
(/ (- 1 (* 5 (* v v))) (* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v)))))))
221.0ms
(* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v))))))
34.0ms
(* 5 (* v v))
21.0ms
(* PI t)

simplify6.1s

Calls
39 calls:
Slowest
607.0ms
(/ (* (* (- 1 (* 5 (* v v))) (- 1 (* 5 (* v v)))) (- 1 (* 5 (* v v)))) (* (* (* (* PI t) (* PI t)) (* PI t)) (* (* (sqrt (* 2 (- 1 (* 3 (* v v))))) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (sqrt (* 2 (- 1 (* 3 (* v v))))))))
478.0ms
(/ (* (* (- 1 (* 5 (* v v))) (- 1 (* 5 (* v v)))) (- 1 (* 5 (* v v)))) (* (* (* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v))))))) (* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v))))))))
286.0ms
(/ (- 1 (* 5 (* v v))) (sqrt (* 2 (- 1 (* 3 (* v v))))))
273.0ms
(- (log (- 1 (* 5 (* v v)))) (log (* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v))))))))
271.0ms
(sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v))))))

prune1.3s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 4 expressions with local error:

0.4b
(/ (/ (- 1 (* 5 (* v v))) (* PI t)) (sqrt (* 2 (- 1 (* 3 (* v v))))))
0.3b
(/ (- 1 (* 5 (* v v))) (* PI t))
0.3b
(* PI t)
0.2b
(* 5 (* v v))

rewrite22.0ms

Algorithm
rewrite-expression-head
Rules
46×times-frac
24×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
11×add-cbrt-cube add-exp-log
10×associate-/l*
8×sqrt-prod
7×div-inv
5×associate-/r*
4×pow1 cbrt-undiv div-exp insert-posit16 add-log-exp
3×div-sub associate-/l/
2×clear-num frac-2neg flip3-- sqrt-div associate-*r/ associate-/r/ *-commutative flip--
1×associate-*r*
Calls
4 calls:
Slowest
12.0ms
(/ (/ (- 1 (* 5 (* v v))) (* PI t)) (sqrt (* 2 (- 1 (* 3 (* v v))))))
6.0ms
(/ (- 1 (* 5 (* v v))) (* PI t))
2.0ms
(* 5 (* v v))
0.0ms
(* PI t)

series678.0ms

Calls
4 calls:
Slowest
530.0ms
(/ (/ (- 1 (* 5 (* v v))) (* PI t)) (sqrt (* 2 (- 1 (* 3 (* v v))))))
89.0ms
(/ (- 1 (* 5 (* v v))) (* PI t))
30.0ms
(* 5 (* v v))
29.0ms
(* PI t)

simplify16.1s

Calls
99 calls:
Slowest
585.0ms
(/ (* (* (/ (- 1 (* 5 (* v v))) (* PI t)) (/ (- 1 (* 5 (* v v))) (* PI t))) (/ (- 1 (* 5 (* v v))) (* PI t))) (* (* (sqrt (* 2 (- 1 (* 3 (* v v))))) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (sqrt (* 2 (- 1 (* 3 (* v v)))))))
569.0ms
(/ (/ (* (* (- 1 (* 5 (* v v))) (- 1 (* 5 (* v v)))) (- 1 (* 5 (* v v)))) (* (* (* PI t) (* PI t)) (* PI t))) (* (* (sqrt (* 2 (- 1 (* 3 (* v v))))) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (sqrt (* 2 (- 1 (* 3 (* v v)))))))
361.0ms
(/ (/ (- 1 (* 5 (* v v))) (* PI t)) (sqrt (sqrt (* 2 (- 1 (* 3 (* v v)))))))
356.0ms
(sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v))))))
351.0ms
(/ (/ (- 1 (* 5 (* v v))) (* PI t)) (sqrt (* 2 (- 1 (* 3 (* v v))))))

prune1.4s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

localize33.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (/ 1 PI) (/ (/ (- 1 (* (* v v) 5)) t) (sqrt (- 2 (* 6 (* v v))))))
0.4b
(/ (/ (- 1 (* (* v v) 5)) t) (sqrt (- 2 (* 6 (* v v)))))
0.2b
(* (* v v) 5)
0.1b
(* 6 (* v v))

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
48×times-frac
37×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
31×associate-*r*
27×sqrt-prod
16×div-inv
11×add-cbrt-cube add-exp-log
6×pow1 associate-/r*
5×associate-*l*
4×sqrt-div associate-/r/ insert-posit16 associate-/l* add-log-exp
3×*-commutative
2×cbrt-undiv flip3-- div-sub div-exp prod-exp cbrt-unprod flip--
1×frac-times clear-num frac-2neg pow-prod-down associate-*l/ associate-*r/ associate-/l/
Calls
4 calls:
Slowest
15.0ms
(* (/ 1 PI) (/ (/ (- 1 (* (* v v) 5)) t) (sqrt (- 2 (* 6 (* v v))))))
6.0ms
(/ (/ (- 1 (* (* v v) 5)) t) (sqrt (- 2 (* 6 (* v v)))))
2.0ms
(* (* v v) 5)
1.0ms
(* 6 (* v v))

series832.0ms

Calls
4 calls:
Slowest
389.0ms
(* (/ 1 PI) (/ (/ (- 1 (* (* v v) 5)) t) (sqrt (- 2 (* 6 (* v v))))))
373.0ms
(/ (/ (- 1 (* (* v v) 5)) t) (sqrt (- 2 (* 6 (* v v)))))
39.0ms
(* (* v v) 5)
32.0ms
(* 6 (* v v))

simplify19.6s

Calls
116 calls:
Slowest
658.0ms
(/ (/ (- 1 (* (* v v) 5)) t) (sqrt (sqrt (- 2 (* 6 (* v v))))))
595.0ms
(* 1 (/ (- 1 (* (* v v) 5)) t))
433.0ms
(* (* (* (/ 1 PI) (/ 1 PI)) (/ 1 PI)) (/ (* (* (/ (- 1 (* (* v v) 5)) t) (/ (- 1 (* (* v v) 5)) t)) (/ (- 1 (* (* v v) 5)) t)) (* (* (sqrt (- 2 (* 6 (* v v)))) (sqrt (- 2 (* 6 (* v v))))) (sqrt (- 2 (* 6 (* v v)))))))
361.0ms
(- (+ (* 3/4 (/ (pow v 2) (* t (* PI (sqrt 1/2))))) (/ (sqrt 1/2) (* t PI))) (+ (* 9/32 (/ (pow v 4) (* t (* PI (pow (sqrt 1/2) 3))))) (+ (* 3/2 (/ (pow v 4) (* t (* PI (sqrt 1/2))))) (* 5 (/ (* (pow v 2) (sqrt 1/2)) (* t PI))))))
332.0ms
(/ (/ (- 1 (* (* v v) 5)) t) (cbrt (sqrt (- 2 (* 6 (* v v))))))

prune1.6s

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0b

regimes242.0ms

Accuracy

0% (0.4b remaining)

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

bsearch6.0ms

end0.0ms

sample3.8s

Algorithm
intervals
Results
2.0s8026×body80nan
1.5s8000×body80valid