Timeout in 10.0m

Use the --timeout flag to change the timeout.

Runtime

Time bar (total: 10.0m)Debug logProfile

start392.0ms

Algorithm
intervals

setup148.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.2b

localize60.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (* b b) (+ 3 a))
0.3b
(pow (+ (* a a) (* b b)) 2)
0.1b
(* (* a a) (- 1 a))
0.0b
(+ (pow (+ (* a a) (* b b)) 2) (* 4 (+ (* (* a a) (- 1 a)) (* (* b b) (+ 3 a)))))

rewrite48.0ms

Algorithm
rewrite-expression-head
Counts
4 → 67
Calls

4 calls. Slowest were:

23.0ms
(+ (pow (+ (* a a) (* b b)) 2) (* 4 (+ (* (* a a) (- 1 a)) (* (* b b) (+ 3 a)))))
13.0ms
(* (* a a) (- 1 a))
7.0ms
(* (* b b) (+ 3 a))

series152.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

66.0ms
(+ (pow (+ (* a a) (* b b)) 2) (* 4 (+ (* (* a a) (- 1 a)) (* (* b b) (+ 3 a)))))
39.0ms
(* (* a a) (- 1 a))
29.0ms
(pow (+ (* a a) (* b b)) 2)

simplify2.6s

Counts
42 → 79
Calls

42 calls. Slowest were:

499.0ms
(* (exp (pow (+ (* a a) (* b b)) 2)) (exp (* 4 (+ (* (* a a) (- 1 a)) (* (* b b) (+ 3 a))))))
428.0ms
(* (* (* (* a a) (* a a)) (* a a)) (* (* (- 1 a) (- 1 a)) (- 1 a)))
310.0ms
(* 4 (* (* b b) (+ 3 a)))

prune1.5s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize31.0ms

Local error

Found 4 expressions with local error:

2.3b
(* (pow a 2) (pow b 2))
0.4b
(* (* b b) (+ 3 a))
0.1b
(* (* a a) (- 1 a))
0.0b
(+ (+ (pow b 4) (+ (* 2 (* (pow a 2) (pow b 2))) (pow a 4))) (* 4 (+ (* (* a a) (- 1 a)) (* (* b b) (+ 3 a)))))

rewrite83.0ms

Algorithm
rewrite-expression-head
Counts
4 → 90
Calls

4 calls. Slowest were:

60.0ms
(+ (+ (pow b 4) (+ (* 2 (* (pow a 2) (pow b 2))) (pow a 4))) (* 4 (+ (* (* a a) (- 1 a)) (* (* b b) (+ 3 a)))))
7.0ms
(* (* a a) (- 1 a))
6.0ms
(* (* b b) (+ 3 a))

series160.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

78.0ms
(+ (+ (pow b 4) (+ (* 2 (* (pow a 2) (pow b 2))) (pow a 4))) (* 4 (+ (* (* a a) (- 1 a)) (* (* b b) (+ 3 a)))))
30.0ms
(* (* a a) (- 1 a))
30.0ms
(* (pow a 2) (pow b 2))

simplify9.4s

Counts
75 → 102
Calls

75 calls. Slowest were:

1.0s
(+ (* (- (* (pow b 4) (pow b 4)) (* (+ (* 2 (* (pow a 2) (pow b 2))) (pow a 4)) (+ (* 2 (* (pow a 2) (pow b 2))) (pow a 4)))) (* (+ (* 1 1) (+ (* a a) (* 1 a))) (- 3 a))) (* (- (pow b 4) (+ (* 2 (* (pow a 2) (pow b 2))) (pow a 4))) (* 4 (+ (* (* (* a a) (- (pow 1 3) (pow a 3))) (- 3 a)) (* (+ (* 1 1) (+ (* a a) (* 1 a))) (* (* b b) (- (* 3 3) (* a a))))))))
625.0ms
(+ (* (+ (pow (pow b 4) 3) (pow (+ (* 2 (* (pow a 2) (pow b 2))) (pow a 4)) 3)) (* (+ (* 1 1) (+ (* a a) (* 1 a))) (- 3 a))) (* (+ (* (pow b 4) (pow b 4)) (- (* (+ (* 2 (* (pow a 2) (pow b 2))) (pow a 4)) (+ (* 2 (* (pow a 2) (pow b 2))) (pow a 4))) (* (pow b 4) (+ (* 2 (* (pow a 2) (pow b 2))) (pow a 4))))) (* 4 (+ (* (* (* a a) (- (pow 1 3) (pow a 3))) (- 3 a)) (* (+ (* 1 1) (+ (* a a) (* 1 a))) (* (* b b) (- (* 3 3) (* a a))))))))
499.0ms
(+ (* (+ (pow (pow b 4) 3) (pow (+ (* 2 (* (pow a 2) (pow b 2))) (pow a 4)) 3)) (* (+ 1 a) (- 3 a))) (* (+ (* (pow b 4) (pow b 4)) (- (* (+ (* 2 (* (pow a 2) (pow b 2))) (pow a 4)) (+ (* 2 (* (pow a 2) (pow b 2))) (pow a 4))) (* (pow b 4) (+ (* 2 (* (pow a 2) (pow b 2))) (pow a 4))))) (* 4 (+ (* (* (* a a) (- (* 1 1) (* a a))) (- 3 a)) (* (+ 1 a) (* (* b b) (- (* 3 3) (* a a))))))))

prune2.1s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (* b b) (+ 3 a))
0.3b
(pow (+ (* a a) (* b b)) 2)
0.0b
(+ (pow (+ (* a a) (* b b)) 2) (* 4 (+ (- (pow a 2) (pow a 3)) (* (* b b) (+ 3 a)))))
0.0b
(* 4 (+ (- (pow a 2) (pow a 3)) (* (* b b) (+ 3 a))))

rewrite48.0ms

Algorithm
rewrite-expression-head
Counts
4 → 65
Calls

4 calls. Slowest were:

22.0ms
(* 4 (+ (- (pow a 2) (pow a 3)) (* (* b b) (+ 3 a))))
20.0ms
(+ (pow (+ (* a a) (* b b)) 2) (* 4 (+ (- (pow a 2) (pow a 3)) (* (* b b) (+ 3 a)))))
3.0ms
(* (* b b) (+ 3 a))

series126.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

57.0ms
(+ (pow (+ (* a a) (* b b)) 2) (* 4 (+ (- (pow a 2) (pow a 3)) (* (* b b) (+ 3 a)))))
30.0ms
(* 4 (+ (- (pow a 2) (pow a 3)) (* (* b b) (+ 3 a))))
20.0ms
(pow (+ (* a a) (* b b)) 2)

simplify3.7s

Counts
41 → 77
Calls

41 calls. Slowest were:

422.0ms
(* (+ (pow a 2) (pow a 3)) (+ (* 3 3) (- (* a a) (* 3 a))))
312.0ms
(- (- (pow a 2) (pow a 3)) (* (* b b) (+ 3 a)))
274.0ms
(* (exp (pow (+ (* a a) (* b b)) 2)) (exp (* 4 (+ (- (pow a 2) (pow a 3)) (* (* b b) (+ 3 a))))))

prune1.1s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

localize83.0ms

Local error

Found 4 expressions with local error:

42.6b
(/ (* (+ (- (pow b 4) (pow a 4)) (* (* (* b b) (* a a)) -2)) (+ (* (+ (* (* (* a a) (- 3 a)) (- 1 (* a a))) (* (* (+ a 1) (* b b)) (- 9 (* a a)))) 4) (* (+ (+ (pow a 4) (pow b 4)) (* (* 2 a) (* (* a b) b))) (* (+ a 1) (- 3 a))))) (* (- (pow b 4) (+ (* 2 (* (pow a 2) (pow b 2))) (pow a 4))) (* (+ 1 a) (- 3 a))))
2.3b
(* (* b b) (* a a))
2.3b
(* (pow a 2) (pow b 2))
1.2b
(* (* (+ a 1) (* b b)) (- 9 (* a a)))

rewrite1.2s

Algorithm
rewrite-expression-head
Counts
4 → 5273
Calls

4 calls. Slowest were:

162.0ms
(/ (* (+ (- (pow b 4) (pow a 4)) (* (* (* b b) (* a a)) -2)) (+ (* (+ (* (* (* a a) (- 3 a)) (- 1 (* a a))) (* (* (+ a 1) (* b b)) (- 9 (* a a)))) 4) (* (+ (+ (pow a 4) (pow b 4)) (* (* 2 a) (* (* a b) b))) (* (+ a 1) (- 3 a))))) (* (- (pow b 4) (+ (* 2 (* (pow a 2) (pow b 2))) (pow a 4))) (* (+ 1 a) (- 3 a))))
27.0ms
(* (* (+ a 1) (* b b)) (- 9 (* a a)))
3.0ms
(* (* b b) (* a a))

series270.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

215.0ms
(/ (* (+ (- (pow b 4) (pow a 4)) (* (* (* b b) (* a a)) -2)) (+ (* (+ (* (* (* a a) (- 3 a)) (- 1 (* a a))) (* (* (+ a 1) (* b b)) (- 9 (* a a)))) 4) (* (+ (+ (pow a 4) (pow b 4)) (* (* 2 a) (* (* a b) b))) (* (+ a 1) (- 3 a))))) (* (- (pow b 4) (+ (* 2 (* (pow a 2) (pow b 2))) (pow a 4))) (* (+ 1 a) (- 3 a))))
22.0ms
(* (* (+ a 1) (* b b)) (- 9 (* a a)))
17.0ms
(* (pow a 2) (pow b 2))
herbie shell --seed 2018357 
(FPCore (a b)
  :name "Bouland and Aaronson, Equation (24)"
  (- (+ (pow (+ (* a a) (* b b)) 2) (* 4 (+ (* (* a a) (- 1 a)) (* (* b b) (+ 3 a))))) 1))