Timeout in 10.0m

Use the --timeout flag to change the timeout.

Details

Time bar (total: 32.9s)Debug log

start191.0ms

Algorithm
intervals

setup281.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.2b

localize53.0ms

Local error

Found 4 expressions with local error:

0.8b
(* (* b b) (+ (* a -12) 4))
0.3b
(* (+ (* a a) (* b b)) (+ (* a a) (* b b)))
0.1b
(* (+ a (* a a)) (* 4 a))
0.0b
(+ (+ (* (+ a (* a a)) (* 4 a)) (* (* b b) (+ (* a -12) 4))) (+ -1 (* (+ (* a a) (* b b)) (+ (* a a) (* b b)))))

rewrite35.0ms

Algorithm
rewrite-expression-head
Counts
4 → 94
Calls

4 calls. Slowest were:

17.0ms
(+ (+ (* (+ a (* a a)) (* 4 a)) (* (* b b) (+ (* a -12) 4))) (+ -1 (* (+ (* a a) (* b b)) (+ (* a a) (* b b)))))
7.0ms
(* (+ (* a a) (* b b)) (+ (* a a) (* b b)))
5.0ms
(* (* b b) (+ (* a -12) 4))

series135.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

57.0ms
(+ (+ (* (+ a (* a a)) (* 4 a)) (* (* b b) (+ (* a -12) 4))) (+ -1 (* (+ (* a a) (* b b)) (+ (* a a) (* b b)))))
32.0ms
(* (+ a (* a a)) (* 4 a))
24.0ms
(* (* b b) (+ (* a -12) 4))
22.0ms
(* (+ (* a a) (* b b)) (+ (* a a) (* b b)))

simplify12.8s

Counts
84 → 106
Calls

84 calls. Slowest were:

756.0ms
(+ (* (- (* (* (+ a (* a a)) (* 4 a)) (* (+ a (* a a)) (* 4 a))) (* (* (* b b) (+ (* a -12) 4)) (* (* b b) (+ (* a -12) 4)))) (+ (* -1 -1) (- (* (* (+ (* a a) (* b b)) (+ (* a a) (* b b))) (* (+ (* a a) (* b b)) (+ (* a a) (* b b)))) (* -1 (* (+ (* a a) (* b b)) (+ (* a a) (* b b))))))) (* (- (* (+ a (* a a)) (* 4 a)) (* (* b b) (+ (* a -12) 4))) (+ (pow -1 3) (pow (* (+ (* a a) (* b b)) (+ (* a a) (* b b))) 3))))
700.0ms
(+ (* (+ (* (* (- (* a a) (* (* a a) (* a a))) (* 4 a)) (- (* a -12) 4)) (* (- a (* a a)) (* (* b b) (- (* (* a -12) (* a -12)) (* 4 4))))) (+ (* -1 -1) (- (* (* (+ (* a a) (* b b)) (+ (* a a) (* b b))) (* (+ (* a a) (* b b)) (+ (* a a) (* b b)))) (* -1 (* (+ (* a a) (* b b)) (+ (* a a) (* b b))))))) (* (* (- a (* a a)) (- (* a -12) 4)) (+ (pow -1 3) (pow (* (+ (* a a) (* b b)) (+ (* a a) (* b b))) 3))))
690.0ms
(* (+ (* (* (+ a (* a a)) (* 4 a)) (* (+ a (* a a)) (* 4 a))) (- (* (* (* b b) (+ (* a -12) 4)) (* (* b b) (+ (* a -12) 4))) (* (* (+ a (* a a)) (* 4 a)) (* (* b b) (+ (* a -12) 4))))) (+ (* -1 -1) (- (* (* (+ (* a a) (* b b)) (+ (* a a) (* b b))) (* (+ (* a a) (* b b)) (+ (* a a) (* b b)))) (* -1 (* (+ (* a a) (* b b)) (+ (* a a) (* b b)))))))

prune2.0s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize47.0ms

Local error

Found 4 expressions with local error:

2.8b
(* (pow a 2) (pow b 2))
0.8b
(* (* b b) (+ (* a -12) 4))
0.1b
(* (+ a (* a a)) (* 4 a))
0.0b
(+ (+ (* (+ a (* a a)) (* 4 a)) (* (* b b) (+ (* a -12) 4))) (+ -1 (+ (pow b 4) (+ (pow a 4) (* 2 (* (pow a 2) (pow b 2)))))))

rewrite53.0ms

Algorithm
rewrite-expression-head
Counts
4 → 86
Calls

4 calls. Slowest were:

32.0ms
(+ (+ (* (+ a (* a a)) (* 4 a)) (* (* b b) (+ (* a -12) 4))) (+ -1 (+ (pow b 4) (+ (pow a 4) (* 2 (* (pow a 2) (pow b 2)))))))
9.0ms
(* (* b b) (+ (* a -12) 4))
6.0ms
(* (pow a 2) (pow b 2))

series187.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

93.0ms
(+ (+ (* (+ a (* a a)) (* 4 a)) (* (* b b) (+ (* a -12) 4))) (+ -1 (+ (pow b 4) (+ (pow a 4) (* 2 (* (pow a 2) (pow b 2)))))))
50.0ms
(* (+ a (* a a)) (* 4 a))
24.0ms
(* (* b b) (+ (* a -12) 4))
19.0ms
(* (pow a 2) (pow b 2))

simplify8.4s

Counts
70 → 98
Calls

70 calls. Slowest were:

663.0ms
(* (- (* (+ a (* a a)) (* 4 a)) (* (* b b) (+ (* a -12) 4))) (+ (* -1 -1) (- (* (+ (pow b 4) (+ (pow a 4) (* 2 (* (pow a 2) (pow b 2))))) (+ (pow b 4) (+ (pow a 4) (* 2 (* (pow a 2) (pow b 2)))))) (* -1 (+ (pow b 4) (+ (pow a 4) (* 2 (* (pow a 2) (pow b 2)))))))))
577.0ms
(+ (* (- (* (* (+ a (* a a)) (* 4 a)) (* (+ a (* a a)) (* 4 a))) (* (* (* b b) (+ (* a -12) 4)) (* (* b b) (+ (* a -12) 4)))) (+ (* -1 -1) (- (* (+ (pow b 4) (+ (pow a 4) (* 2 (* (pow a 2) (pow b 2))))) (+ (pow b 4) (+ (pow a 4) (* 2 (* (pow a 2) (pow b 2)))))) (* -1 (+ (pow b 4) (+ (pow a 4) (* 2 (* (pow a 2) (pow b 2))))))))) (* (- (* (+ a (* a a)) (* 4 a)) (* (* b b) (+ (* a -12) 4))) (+ (pow -1 3) (pow (+ (pow b 4) (+ (pow a 4) (* 2 (* (pow a 2) (pow b 2))))) 3))))
563.0ms
(* (+ (* (* (+ a (* a a)) (* 4 a)) (* (+ a (* a a)) (* 4 a))) (- (* (* (* b b) (+ (* a -12) 4)) (* (* b b) (+ (* a -12) 4))) (* (* (+ a (* a a)) (* 4 a)) (* (* b b) (+ (* a -12) 4))))) (+ (* -1 -1) (- (* (+ (pow b 4) (+ (pow a 4) (* 2 (* (pow a 2) (pow b 2))))) (+ (pow b 4) (+ (pow a 4) (* 2 (* (pow a 2) (pow b 2)))))) (* -1 (+ (pow b 4) (+ (pow a 4) (* 2 (* (pow a 2) (pow b 2)))))))))

prune2.3s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize104.0ms

Local error

Found 4 expressions with local error:

11.4b
(/ (* (- (- -1 (+ (pow a 4) (pow b 4))) (* 2 (* (* a a) (* b b)))) (+ (+ (* (* (- a (* a a)) (* b b)) (- (* (* -12 a) (* -12 a)) 16)) (* (* (+ (* -12 a) -4) (+ (* a a) a)) (* (* 4 a) (- a (* a a))))) (* (* (- a (* a a)) (+ (* -12 a) -4)) (+ (+ (+ (pow a 4) (pow b 4)) -1) (* 2 (* (* a a) (* b b))))))) (* (* (- a (* a a)) (- (* a -12) 4)) (- -1 (+ (pow b 4) (+ (pow a 4) (* 2 (* (pow a 2) (pow b 2))))))))
3.3b
(+ (+ (* (* (- a (* a a)) (* b b)) (- (* (* -12 a) (* -12 a)) 16)) (* (* (+ (* -12 a) -4) (+ (* a a) a)) (* (* 4 a) (- a (* a a))))) (* (* (- a (* a a)) (+ (* -12 a) -4)) (+ (+ (+ (pow a 4) (pow b 4)) -1) (* 2 (* (* a a) (* b b))))))
2.8b
(* (* a a) (* b b))
2.8b
(* (* a a) (* b b))

rewrite5.8s

Algorithm
rewrite-expression-head
Counts
4 → 21942
Calls

4 calls. Slowest were:

489.0ms
(/ (* (- (- -1 (+ (pow a 4) (pow b 4))) (* 2 (* (* a a) (* b b)))) (+ (+ (* (* (- a (* a a)) (* b b)) (- (* (* -12 a) (* -12 a)) 16)) (* (* (+ (* -12 a) -4) (+ (* a a) a)) (* (* 4 a) (- a (* a a))))) (* (* (- a (* a a)) (+ (* -12 a) -4)) (+ (+ (+ (pow a 4) (pow b 4)) -1) (* 2 (* (* a a) (* b b))))))) (* (* (- a (* a a)) (- (* a -12) 4)) (- -1 (+ (pow b 4) (+ (pow a 4) (* 2 (* (pow a 2) (pow b 2))))))))
243.0ms
(+ (+ (* (* (- a (* a a)) (* b b)) (- (* (* -12 a) (* -12 a)) 16)) (* (* (+ (* -12 a) -4) (+ (* a a) a)) (* (* 4 a) (- a (* a a))))) (* (* (- a (* a a)) (+ (* -12 a) -4)) (+ (+ (+ (pow a 4) (pow b 4)) -1) (* 2 (* (* a a) (* b b))))))
6.0ms
(* (* a a) (* b b))

series444.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

248.0ms
(/ (* (- (- -1 (+ (pow a 4) (pow b 4))) (* 2 (* (* a a) (* b b)))) (+ (+ (* (* (- a (* a a)) (* b b)) (- (* (* -12 a) (* -12 a)) 16)) (* (* (+ (* -12 a) -4) (+ (* a a) a)) (* (* 4 a) (- a (* a a))))) (* (* (- a (* a a)) (+ (* -12 a) -4)) (+ (+ (+ (pow a 4) (pow b 4)) -1) (* 2 (* (* a a) (* b b))))))) (* (* (- a (* a a)) (- (* a -12) 4)) (- -1 (+ (pow b 4) (+ (pow a 4) (* 2 (* (pow a 2) (pow b 2))))))))
140.0ms
(+ (+ (* (* (- a (* a a)) (* b b)) (- (* (* -12 a) (* -12 a)) 16)) (* (* (+ (* -12 a) -4) (+ (* a a) a)) (* (* 4 a) (- a (* a a))))) (* (* (- a (* a a)) (+ (* -12 a) -4)) (+ (+ (+ (pow a 4) (pow b 4)) -1) (* 2 (* (* a a) (* b b))))))
28.0ms
(* (* a a) (* b b))
27.0ms
(* (* a a) (* b b))

Reproduce

herbie shell --seed 2018360 
(FPCore (a b)
  :name "Bouland and Aaronson, Equation (25)"
  (- (+ (pow (+ (* a a) (* b b)) 2) (* 4 (+ (* (* a a) (+ 1 a)) (* (* b b) (- 1 (* 3 a)))))) 1))