Details

Time bar (total: 18.1s)

sample128.0ms

Algorithm
intervals
Results
107.0ms667×body80valid

simplify515.0ms

Calls
1 calls:
Slowest
514.0ms
(- (+ (pow (+ (* a a) (* b b)) 2) (* 4 (* b b))) 1)

prune16.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.2b

localize38.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (+ (* a a) (* b b)) (+ (* a a) (* b b)))
0.0b
(* (* b b) 4)
0.0b
(+ (* (* b b) 4) (* (+ (* a a) (* b b)) (+ (* a a) (* b b))))
0.0b
(- (+ (* (* b b) 4) (* (+ (* a a) (* b b)) (+ (* a a) (* b b)))) 1)

rewrite60.0ms

Algorithm
rewrite-expression-head
Rules
9×pow1
7×add-sqr-sqrt flip3-+ flip-+
6×*-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt add-log-exp
4×frac-times associate-*l* insert-posit16
3×associate-*r*
2×distribute-rgt-in associate-+r+ distribute-lft-in associate-*l/ associate-*r/ *-commutative
1×pow2 +-commutative sum-log sub-neg pow-plus flip3-- difference-of-sqr-1 pow-prod-down prod-exp associate--l+ pow-prod-up cbrt-unprod flip--
Calls
4 calls:
Slowest
23.0ms
(- (+ (* (* b b) 4) (* (+ (* a a) (* b b)) (+ (* a a) (* b b)))) 1)
20.0ms
(* (+ (* a a) (* b b)) (+ (* a a) (* b b)))
11.0ms
(+ (* (* b b) 4) (* (+ (* a a) (* b b)) (+ (* a a) (* b b))))
5.0ms
(* (* b b) 4)

series130.0ms

Calls
4 calls:
Slowest
47.0ms
(- (+ (* (* b b) 4) (* (+ (* a a) (* b b)) (+ (* a a) (* b b)))) 1)
37.0ms
(+ (* (* b b) 4) (* (+ (* a a) (* b b)) (+ (* a a) (* b b))))
26.0ms
(* (+ (* a a) (* b b)) (+ (* a a) (* b b)))
19.0ms
(* (* b b) 4)

simplify5.6s

Calls
42 calls:
Slowest
478.0ms
(* (+ (pow (* a a) 3) (pow (* b b) 3)) (- (* (* a a) (* a a)) (* (* b b) (* b b))))
453.0ms
(* (+ (* (* a a) (* a a)) (- (* (* b b) (* b b)) (* (* a a) (* b b)))) (- (* a a) (* b b)))
398.0ms
(* (- (* (* a a) (* a a)) (* (* b b) (* b b))) (+ (* a a) (* b b)))
338.0ms
(* (+ (pow (* a a) 3) (pow (* b b) 3)) (+ (pow (* a a) 3) (pow (* b b) 3)))
287.0ms
(* (- (* (* a a) (* a a)) (* (* b b) (* b b))) (- (* (* a a) (* a a)) (* (* b b) (* b b))))

prune730.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize24.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* a b) (* a b))
0.0b
(* (* b b) 4)
0.0b
(* 2 (* (* a b) (* a b)))
0.0b
(+ (* (* b b) 4) (+ (* 2 (* (* a b) (* a b))) (+ (pow a 4) (pow b 4))))

rewrite79.0ms

Algorithm
rewrite-expression-head
Rules
13×add-log-exp
9×pow1
6×sum-log add-cbrt-cube add-exp-log
4×add-sqr-sqrt *-un-lft-identity add-cube-cbrt insert-posit16
3×*-commutative
2×associate-*r* associate-*l*
1×pow2 +-commutative associate-+r+ flip3-+ pow-plus pow-prod-down prod-exp pow-prod-up cbrt-unprod flip-+
Calls
4 calls:
Slowest
61.0ms
(+ (* (* b b) 4) (+ (* 2 (* (* a b) (* a b))) (+ (pow a 4) (pow b 4))))
10.0ms
(* 2 (* (* a b) (* a b)))
4.0ms
(* (* a b) (* a b))
3.0ms
(* (* b b) 4)

series112.0ms

Calls
4 calls:
Slowest
52.0ms
(+ (* (* b b) 4) (+ (* 2 (* (* a b) (* a b))) (+ (pow a 4) (pow b 4))))
27.0ms
(* (* a b) (* a b))
18.0ms
(* 2 (* (* a b) (* a b)))
15.0ms
(* (* b b) 4)

simplify1.7s

Calls
23 calls:
Slowest
248.0ms
(* (exp (* (* b b) 4)) (* (exp (* 2 (* (* a b) (* a b)))) (* (exp (pow a 4)) (exp (pow b 4)))))
215.0ms
(* (* (* (* a b) (* a b)) (* a b)) (* (* (* a b) (* a b)) (* a b)))
205.0ms
(* (exp (* (* b b) 4)) (exp (+ (* 2 (* (* a b) (* a b))) (+ (pow a 4) (pow b 4)))))
188.0ms
(* (exp (* (* b b) 4)) (* (exp (* 2 (* (* a b) (* a b)))) (exp (+ (pow a 4) (pow b 4)))))
186.0ms
(+ (pow b 4) (+ (* 2 (* (pow a 2) (pow b 2))) (* 4 (pow b 2))))

prune785.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize49.0ms

Local error

Found 4 expressions with local error:

2.6b
(log (exp (+ (+ (+ (pow b 4) (pow a 4)) (* 4 (* b b))) (* (* b a) (+ (* b a) (* b a))))))
0.2b
(* (* b a) (+ (* b a) (* b a)))
0.0b
(* 4 (* b b))
0.0b
(+ (* b a) (* b a))

rewrite309.0ms

Algorithm
rewrite-expression-head
Rules
7×add-sqr-sqrt pow1 *-un-lft-identity add-cube-cbrt
6×add-cbrt-cube associate-*r* add-exp-log add-log-exp
4×log-prod log-pow insert-posit16
3×exp-prod
2×flip3-+ distribute-rgt-out associate-*r/ *-commutative flip-+ distribute-lft-out
1×distribute-rgt-in +-commutative sum-log distribute-lft-in rem-log-exp associate-*l* exp-sum pow-prod-down prod-exp cbrt-unprod
Calls
4 calls:
Slowest
288.0ms
(log (exp (+ (+ (+ (pow b 4) (pow a 4)) (* 4 (* b b))) (* (* b a) (+ (* b a) (* b a))))))
13.0ms
(* (* b a) (+ (* b a) (* b a)))
5.0ms
(+ (* b a) (* b a))
2.0ms
(* 4 (* b b))

series123.0ms

Calls
4 calls:
Slowest
59.0ms
(log (exp (+ (+ (+ (pow b 4) (pow a 4)) (* 4 (* b b))) (* (* b a) (+ (* b a) (* b a))))))
30.0ms
(* (* b a) (+ (* b a) (* b a)))
20.0ms
(* 4 (* b b))
15.0ms
(+ (* b a) (* b a))

simplify3.0s

Calls
35 calls:
Slowest
370.0ms
(cbrt (+ (+ (+ (pow b 4) (pow a 4)) (* 4 (* b b))) (* (* b a) (+ (* b a) (* b a)))))
365.0ms
(sqrt (+ (+ (+ (pow b 4) (pow a 4)) (* 4 (* b b))) (* (* b a) (+ (* b a) (* b a)))))
277.0ms
(* (* (* (* b a) (* b a)) (* b a)) (* (* (+ (* b a) (* b a)) (+ (* b a) (* b a))) (+ (* b a) (* b a))))
266.0ms
(log (* (cbrt (exp (+ (+ (+ (pow b 4) (pow a 4)) (* 4 (* b b))) (* (* b a) (+ (* b a) (* b a)))))) (cbrt (exp (+ (+ (+ (pow b 4) (pow a 4)) (* 4 (* b b))) (* (* b a) (+ (* b a) (* b a))))))))
261.0ms
(log (sqrt (exp (+ (+ (+ (pow b 4) (pow a 4)) (* 4 (* b b))) (* (* b a) (+ (* b a) (* b a)))))))

prune1.0s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes124.0ms

Accuracy

0% (0.0b remaining)

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

bsearch3.0ms

end0.0ms

sample3.6s

Algorithm
intervals
Results
3.1s20529×body80valid