Timeout in 10.0m

Use the --timeout flag to change the timeout.

Runtime

Time bar (total: 10.0m)Debug logProfile

start346.0ms

Algorithm
intervals

setup155.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

localize40.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (sqrt (+ (* (* -3 v) (* v 2)) 2)) (* t (- 1 (* v v))))
0.5b
(/ (/ (+ 1 (* (* -5 v) v)) PI) (* (sqrt (+ (* (* -3 v) (* v 2)) 2)) (* t (- 1 (* v v)))))
0.1b
(* (* -5 v) v)
0.1b
(* (* -3 v) (* v 2))

rewrite40.0ms

Algorithm
rewrite-expression-head
Counts
4 → 88
Calls

4 calls. Slowest were:

15.0ms
(/ (/ (+ 1 (* (* -5 v) v)) PI) (* (sqrt (+ (* (* -3 v) (* v 2)) 2)) (* t (- 1 (* v v)))))
12.0ms
(* (sqrt (+ (* (* -3 v) (* v 2)) 2)) (* t (- 1 (* v v))))
7.0ms
(* (* -3 v) (* v 2))

series399.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

246.0ms
(/ (/ (+ 1 (* (* -5 v) v)) PI) (* (sqrt (+ (* (* -3 v) (* v 2)) 2)) (* t (- 1 (* v v)))))
114.0ms
(* (sqrt (+ (* (* -3 v) (* v 2)) 2)) (* t (- 1 (* v v))))
19.0ms
(* (* -3 v) (* v 2))

simplify10.6s

Counts
69 → 100
Calls

69 calls. Slowest were:

1.0s
(* (sqrt (+ (pow (* (* -3 v) (* v 2)) 3) (pow 2 3))) (* t (- 1 (* v v))))
639.0ms
(* (* (* (* -3 v) (* -3 v)) (* -3 v)) (* (* (* v 2) (* v 2)) (* v 2)))
524.0ms
(* (sqrt (- (* (* -3 v) (* v 2)) 2)) (+ (* 1 1) (+ (* (* v v) (* v v)) (* 1 (* v v)))))

prune1.8s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize6.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (* -5 v) v)
0.1b
(* (* -3 v) (* v 2))
0.1b
(/ (/ (/ (+ 1 (* (* -5 v) v)) PI) (sqrt (+ (* (* -3 v) (* v 2)) 2))) (* t (- 1 (* v v))))
0.0b
(/ (+ 1 (* (* -5 v) v)) PI)

rewrite45.0ms

Algorithm
rewrite-expression-head
Counts
4 → 115
Calls

4 calls. Slowest were:

24.0ms
(/ (/ (/ (+ 1 (* (* -5 v) v)) PI) (sqrt (+ (* (* -3 v) (* v 2)) 2))) (* t (- 1 (* v v))))
12.0ms
(/ (+ 1 (* (* -5 v) v)) PI)
3.0ms
(* (* -3 v) (* v 2))

series428.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

259.0ms
(/ (/ (/ (+ 1 (* (* -5 v) v)) PI) (sqrt (+ (* (* -3 v) (* v 2)) 2))) (* t (- 1 (* v v))))
125.0ms
(/ (+ 1 (* (* -5 v) v)) PI)
24.0ms
(* (* -5 v) v)

simplify13.4s

Counts
116 → 127
Calls

116 calls. Slowest were:

691.0ms
(* (* (* (* -3 v) (* -3 v)) (* -3 v)) (* (* (* v 2) (* v 2)) (* v 2)))
528.0ms
(/ (/ (/ (+ 1 (* (* -5 v) v)) PI) (sqrt (+ (pow (* (* -3 v) (* v 2)) 3) (pow 2 3)))) t)
510.0ms
(/ (/ (+ 1 (* (* -5 v) v)) PI) (sqrt (+ (pow (* (* -3 v) (* v 2)) 3) (pow 2 3))))

prune2.3s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize79.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (* -5 v) v)
0.1b
(* (* -3 v) (* v 2))
0.1b
(* (* -3 v) (* v 2))
0.1b
(* (* -3 v) (* v 2))

rewrite25.0ms

Algorithm
rewrite-expression-head
Counts
4 → 48
Calls

4 calls. Slowest were:

7.0ms
(* (* -3 v) (* v 2))
7.0ms
(* (* -3 v) (* v 2))
6.0ms
(* (* -3 v) (* v 2))

series53.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

17.0ms
(* (* -5 v) v)
14.0ms
(* (* -3 v) (* v 2))
11.0ms
(* (* -3 v) (* v 2))

simplify2.4s

Counts
21 → 60
Calls

21 calls. Slowest were:

755.0ms
(* (* (* (* -3 v) (* -3 v)) (* -3 v)) (* (* (* v 2) (* v 2)) (* v 2)))
720.0ms
(* (* (* (* -3 v) (* -3 v)) (* -3 v)) (* (* (* v 2) (* v 2)) (* v 2)))
696.0ms
(* (* (* (* -3 v) (* -3 v)) (* -3 v)) (* (* (* v 2) (* v 2)) (* v 2)))

prune1.8s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize87.0ms

Local error

Found 4 expressions with local error:

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

rewrite154.0ms

Algorithm
rewrite-expression-head
Counts
4 → 1556
Calls

4 calls. Slowest were:

35.0ms
(/ (/ (sqrt (/ (+ 1 (* v (* v -5))) PI)) (* (cbrt (sqrt (+ 2 (* -6 (* v v))))) (cbrt (sqrt (+ 2 (* -6 (* v v))))))) (/ (* t (- 1 (* v v))) (/ (sqrt (/ (+ 1 (* (* -5 v) v)) PI)) (cbrt (sqrt (+ (* (* -3 v) (* v 2)) 2))))))
3.0ms
(* (* -5 v) v)
2.0ms
(* -6 (* v v))

series783.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

732.0ms
(/ (/ (sqrt (/ (+ 1 (* v (* v -5))) PI)) (* (cbrt (sqrt (+ 2 (* -6 (* v v))))) (cbrt (sqrt (+ 2 (* -6 (* v v))))))) (/ (* t (- 1 (* v v))) (/ (sqrt (/ (+ 1 (* (* -5 v) v)) PI)) (cbrt (sqrt (+ (* (* -3 v) (* v 2)) 2))))))
19.0ms
(* (* -5 v) v)
18.0ms
(* -6 (* v v))

simplify9.1m

Counts
2936 → 1568
Calls

2936 calls. Slowest were:

771.0ms
(/ (sqrt (/ (sqrt (/ (+ 1 (* v (* v -5))) PI)) (* (cbrt (sqrt (+ 2 (* -6 (* v v))))) (cbrt (sqrt (+ 2 (* -6 (* v v)))))))) (/ (- 1 (* v v)) (/ (sqrt (/ 1 PI)) (cbrt (cbrt (sqrt (+ (* (* -3 v) (* v 2)) 2)))))))
712.0ms
(/ (/ (* (* (sqrt (/ (+ 1 (* v (* v -5))) PI)) (sqrt (/ (+ 1 (* v (* v -5))) PI))) (sqrt (/ (+ 1 (* v (* v -5))) PI))) (* (* (* (cbrt (sqrt (+ 2 (* -6 (* v v))))) (cbrt (sqrt (+ 2 (* -6 (* v v)))))) (* (cbrt (sqrt (+ 2 (* -6 (* v v))))) (cbrt (sqrt (+ 2 (* -6 (* v v))))))) (* (cbrt (sqrt (+ 2 (* -6 (* v v))))) (cbrt (sqrt (+ 2 (* -6 (* v v)))))))) (/ (* (* (* t (- 1 (* v v))) (* t (- 1 (* v v)))) (* t (- 1 (* v v)))) (* (* (/ (sqrt (/ (+ 1 (* (* -5 v) v)) PI)) (cbrt (sqrt (+ (* (* -3 v) (* v 2)) 2)))) (/ (sqrt (/ (+ 1 (* (* -5 v) v)) PI)) (cbrt (sqrt (+ (* (* -3 v) (* v 2)) 2))))) (/ (sqrt (/ (+ 1 (* (* -5 v) v)) PI)) (cbrt (sqrt (+ (* (* -3 v) (* v 2)) 2)))))))
685.0ms
(/ (/ (sqrt (/ (+ 1 (* v (* v -5))) PI)) (* (cbrt (sqrt (+ (pow 2 3) (pow (* -6 (* v v)) 3)))) (cbrt (sqrt (- (* 2 2) (* (* -6 (* v v)) (* -6 (* v v)))))))) (/ t (/ (sqrt (sqrt (/ (+ 1 (* (* -5 v) v)) PI))) (sqrt (cbrt (sqrt (+ (* (* -3 v) (* v 2)) 2)))))))
herbie shell --seed 2018357 
(FPCore (v t)
  :name "Falkner and Boettcher, Equation (20:1,3)"
  (/ (- 1 (* 5 (* v v))) (* (* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))))