Details

Time bar (total: 20.0s)

sample126.0ms

Algorithm
intervals
Results
104.0ms673×body80valid

simplify790.0ms

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

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.2b

localize22.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
(+ (* a a) (* b b))

rewrite47.0ms

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

series220.0ms

Calls
4 calls:
Slowest
93.0ms
(+ (* (* b b) 4) (* (+ (* a a) (* b b)) (+ (* a a) (* b b))))
55.0ms
(* (+ (* a a) (* b b)) (+ (* a a) (* b b)))
40.0ms
(+ (* a a) (* b b))
31.0ms
(* (* b b) 4)

simplify4.9s

Calls
41 calls:
Slowest
524.0ms
(* (+ (* (* a a) (* a a)) (- (* (* b b) (* b b)) (* (* a a) (* b b)))) (- (* a a) (* b b)))
375.0ms
(* (- (* (* a a) (* a a)) (* (* b b) (* b b))) (+ (* a a) (* b b)))
366.0ms
(* (+ (pow (* a a) 3) (pow (* b b) 3)) (- (* (* a a) (* a a)) (* (* b b) (* b b))))
305.0ms
(* (+ (pow (* a a) 3) (pow (* b b) 3)) (+ (pow (* a a) 3) (pow (* b b) 3)))
293.0ms
(* (- (* (* a a) (* a a)) (* (* b b) (* b b))) (- (* (* a a) (* a a)) (* (* b b) (* b b))))

prune828.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize31.0ms

Local error

Found 4 expressions with local error:

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

rewrite60.0ms

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

series192.0ms

Calls
4 calls:
Slowest
80.0ms
(+ (+ (pow a 4) (* (* (* a b) (* a b)) 2)) (pow b 4))
43.0ms
(* (* (* a b) (* a b)) 2)
37.0ms
(* (* a b) (* a b))
32.0ms
(* (* b b) 4)

simplify1.7s

Calls
23 calls:
Slowest
263.0ms
(* (* (exp (pow a 4)) (exp (* (* (* a b) (* a b)) 2))) (exp (pow b 4)))
249.0ms
(* (* (* (* a b) (* a b)) (* a b)) (* (* (* a b) (* a b)) (* a b)))
203.0ms
(* (exp (+ (pow a 4) (* (* (* a b) (* a b)) 2))) (exp (pow b 4)))
170.0ms
(+ (+ (pow a 4) (* (* (* a b) (* a b)) 2)) (pow b 4))
162.0ms
(+ (pow b 4) (+ (pow a 4) (* 2 (* (pow a 2) (pow b 2)))))

prune826.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize13.0ms

Local error

Found 4 expressions with local error:

1.5b
(* (+ (* a a) (* b b)) (* b b))
1.4b
(* (+ (* a a) (* b b)) (* a a))
0.0b
(* (* b b) 4)
0.0b
(+ (+ (* (* b b) 4) (* (+ (* a a) (* b b)) (* a a))) (* (+ (* a a) (* b b)) (* b b)))

rewrite60.0ms

Algorithm
rewrite-expression-head
Rules
9×add-log-exp
8×pow1 add-cbrt-cube associate-*l/ add-exp-log
7×flip3-+ associate-*l* flip-+
6×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×frac-add insert-posit16
3×sum-log *-commutative
2×associate-*r* pow-prod-down prod-exp cbrt-unprod
1×+-commutative associate-+l+
Calls
4 calls:
Slowest
37.0ms
(+ (+ (* (* b b) 4) (* (+ (* a a) (* b b)) (* a a))) (* (+ (* a a) (* b b)) (* b b)))
10.0ms
(* (+ (* a a) (* b b)) (* a a))
7.0ms
(* (+ (* a a) (* b b)) (* b b))
5.0ms
(* (* b b) 4)

series253.0ms

Calls
4 calls:
Slowest
87.0ms
(+ (+ (* (* b b) 4) (* (+ (* a a) (* b b)) (* a a))) (* (+ (* a a) (* b b)) (* b b)))
74.0ms
(* (+ (* a a) (* b b)) (* b b))
65.0ms
(* (+ (* a a) (* b b)) (* a a))
26.0ms
(* (* b b) 4)

simplify5.6s

Calls
37 calls:
Slowest
658.0ms
(+ (* (- (* (* (* b b) 4) (* (* b b) 4)) (* (* (+ (* a a) (* b b)) (* a a)) (* (+ (* a a) (* b b)) (* a a)))) (+ (* (* a a) (* a a)) (- (* (* b b) (* b b)) (* (* a a) (* b b))))) (* (- (* (* b b) 4) (* (+ (* a a) (* b b)) (* a a))) (* (+ (pow (* a a) 3) (pow (* b b) 3)) (* b b))))
647.0ms
(+ (* (+ (pow (* (* b b) 4) 3) (pow (* (+ (* a a) (* b b)) (* a a)) 3)) (- (* a a) (* b b))) (* (+ (* (* (* b b) 4) (* (* b b) 4)) (- (* (* (+ (* a a) (* b b)) (* a a)) (* (+ (* a a) (* b b)) (* a a))) (* (* (* b b) 4) (* (+ (* a a) (* b b)) (* a a))))) (* (- (* (* a a) (* a a)) (* (* b b) (* b b))) (* b b))))
464.0ms
(* (+ (* (* (* b b) 4) (* (* b b) 4)) (- (* (* (+ (* a a) (* b b)) (* a a)) (* (+ (* a a) (* b b)) (* a a))) (* (* (* b b) 4) (* (+ (* a a) (* b b)) (* a a))))) (+ (* (* a a) (* a a)) (- (* (* b b) (* b b)) (* (* a a) (* b b)))))
375.0ms
(* (- (* (* b b) 4) (* (+ (* a a) (* b b)) (* a a))) (- (* a a) (* b b)))
365.0ms
(+ (* (- (* (* (* b b) 4) (* (* b b) 4)) (* (* (+ (* a a) (* b b)) (* a a)) (* (+ (* a a) (* b b)) (* a a)))) (- (* a a) (* b b))) (* (- (* (* b b) 4) (* (+ (* a a) (* b b)) (* a a))) (* (- (* (* a a) (* a a)) (* (* b b) (* b b))) (* b b))))

prune734.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes134.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.4s

Algorithm
intervals
Results
3.0s20547×body80valid