Details

Time bar (total: 1.0m)

sample118.0ms

Algorithm
intervals
Results
96.0ms673×body80valid

simplify233.0ms

Calls
1 calls:
Slowest
233.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

localize28.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))

rewrite681.0ms

Algorithm
rewrite-expression-head
Rules
340×*-un-lft-identity
190×associate-*l*
154×distribute-lft-out
95×swap-sqr
28×add-sqr-sqrt
16×pow1
14×associate-*r* add-cube-cbrt
11×add-cbrt-cube add-exp-log
8×flip3-+ flip-+ add-log-exp unswap-sqr
6×+-commutative
4×distribute-rgt-in frac-times associate-+r+ distribute-lft-in pow-prod-down prod-exp *-commutative cbrt-unprod insert-posit16
2×sum-log associate-*l/ associate-*r/
1×pow2 pow-plus pow-sqr pow-prod-up
Calls
4 calls:
Slowest
464.0ms
(+ (* (* b b) 4) (* (+ (* a a) (* b b)) (+ (* a a) (* b b))))
154.0ms
(* (+ (* a a) (* b b)) (+ (* a a) (* b b)))
38.0ms
(* (* b b) 4)
18.0ms
(+ (* a a) (* b b))

series204.0ms

Calls
4 calls:
Slowest
97.0ms
(+ (* (* b b) 4) (* (+ (* a a) (* b b)) (+ (* a a) (* b b))))
41.0ms
(+ (* a a) (* b b))
38.0ms
(* (+ (* a a) (* b b)) (+ (* a a) (* b b)))
28.0ms
(* (* b b) 4)

simplify24.7s

Calls
216 calls:
Slowest
681.0ms
(* (+ (pow (* a a) 3) (pow (* b b) 3)) (- (* (* a a) (* a a)) (* (* b b) (* b b))))
605.0ms
(* (+ (* (* a a) (* a a)) (- (* (* b b) (* b b)) (* (* a a) (* b b)))) (- (* a a) (* b b)))
488.0ms
(* (- (* (* a a) (* a a)) (* (* b b) (* b b))) (+ (* a a) (* b b)))
397.0ms
(* (+ (pow (* a a) 3) (pow (* b b) 3)) (+ (* a a) (* b b)))
368.0ms
(* (- (* (* a a) (* a a)) (* (* b b) (* b b))) (- (* (* a a) (* a a)) (* (* b b) (* b b))))

prune1.9s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize49.0ms

Local error

Found 4 expressions with local error:

8.0b
(sqrt (+ (* a a) (* b b)))
8.0b
(sqrt (+ (* a a) (* b b)))
0.2b
(* (+ (* a a) (* b b)) (sqrt (+ (* a a) (* b b))))
0.1b
(* (* (+ (* a a) (* b b)) (sqrt (+ (* a a) (* b b)))) (sqrt (+ (* a a) (* b b))))

rewrite957.0ms

Algorithm
rewrite-expression-head
Rules
99×*-un-lft-identity
70×associate-*l*
47×sqrt-prod
46×sqrt-div
44×add-sqr-sqrt
35×flip3-+ flip-+ distribute-lft-out
33×associate-*r*
32×frac-times
25×pow1
16×associate-*l/
15×add-cube-cbrt
14×swap-sqr unswap-sqr
11×add-cbrt-cube add-exp-log pow-prod-up
10×associate-*r/
7×sqrt-pow1 pow1/2
4×pow-prod-down prod-exp cbrt-unprod insert-posit16 add-log-exp
3×pow3 *-commutative
2×rem-sqrt-square
1×pow-plus
Calls
4 calls:
Slowest
705.0ms
(* (* (+ (* a a) (* b b)) (sqrt (+ (* a a) (* b b)))) (sqrt (+ (* a a) (* b b))))
178.0ms
(* (+ (* a a) (* b b)) (sqrt (+ (* a a) (* b b))))
42.0ms
(sqrt (+ (* a a) (* b b)))
26.0ms
(sqrt (+ (* a a) (* b b)))

series258.0ms

Calls
4 calls:
Slowest
112.0ms
(* (+ (* a a) (* b b)) (sqrt (+ (* a a) (* b b))))
53.0ms
(* (* (+ (* a a) (* b b)) (sqrt (+ (* a a) (* b b)))) (sqrt (+ (* a a) (* b b))))
49.0ms
(sqrt (+ (* a a) (* b b)))
43.0ms
(sqrt (+ (* a a) (* b b)))

simplify21.7s

Calls
176 calls:
Slowest
554.0ms
(* (* (- (* (* a a) (* a a)) (* (* b b) (* b b))) (sqrt (- (* (* a a) (* a a)) (* (* b b) (* b b))))) (sqrt (+ (pow (* a a) 3) (pow (* b b) 3))))
522.0ms
(* (* (- (* (* a a) (* a a)) (* (* b b) (* b b))) (sqrt (+ (pow (* a a) 3) (pow (* b b) 3)))) (sqrt (- (* (* a a) (* a a)) (* (* b b) (* b b)))))
511.0ms
(* (* (- (* (* a a) (* a a)) (* (* b b) (* b b))) (sqrt (+ (pow (* a a) 3) (pow (* b b) 3)))) (sqrt (+ (* a a) (* b b))))
508.0ms
(* (* (- (* (* a a) (* a a)) (* (* b b) (* b b))) (sqrt (+ (* a a) (* b b)))) (sqrt (+ (pow (* a a) 3) (pow (* b b) 3))))
496.0ms
(* (* (+ (* (* a a) (* a a)) (- (* (* b b) (* b b)) (* (* a a) (* b b)))) (sqrt (+ (* (* a a) (* a a)) (- (* (* b b) (* b b)) (* (* a a) (* b b)))))) (sqrt (+ (* (* a a) (* a a)) (- (* (* b b) (* b b)) (* (* a a) (* b b))))))

prune2.0s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize35.0ms

Local error

Found 4 expressions with local error:

8.0b
(sqrt (+ (* a a) (* b b)))
0.0b
(* (* b b) 4)
0.0b
(pow (sqrt (+ (* a a) (* b b))) 4)
0.0b
(+ (* (* b b) 4) (pow (sqrt (+ (* a a) (* b b))) 4))

rewrite265.0ms

Algorithm
rewrite-expression-head
Rules
44×*-un-lft-identity
29×associate-*l*
27×add-sqr-sqrt
16×sqrt-prod
14×add-cube-cbrt
13×distribute-lft-out
12×pow1
11×unpow-prod-down
10×add-exp-log
9×add-cbrt-cube
8×swap-sqr
7×unswap-sqr
6×associate-*r* add-log-exp
4×insert-posit16
3×pow-unpow pow-pow pow-prod-down prod-exp *-commutative cbrt-unprod
2×sqrt-pow1 flip3-+ pow1/2 sqrt-div flip-+
1×pow-to-exp +-commutative rem-sqrt-square sum-log pow-exp sqrt-pow2 sqr-pow
Calls
4 calls:
Slowest
173.0ms
(+ (* (* b b) 4) (pow (sqrt (+ (* a a) (* b b))) 4))
35.0ms
(pow (sqrt (+ (* a a) (* b b))) 4)
33.0ms
(sqrt (+ (* a a) (* b b)))
21.0ms
(* (* b b) 4)

series252.0ms

Calls
4 calls:
Slowest
90.0ms
(pow (sqrt (+ (* a a) (* b b))) 4)
68.0ms
(+ (* (* b b) 4) (pow (sqrt (+ (* a a) (* b b))) 4))
50.0ms
(* (* b b) 4)
44.0ms
(sqrt (+ (* a a) (* b b)))

simplify4.6s

Calls
75 calls:
Slowest
353.0ms
(+ (* (* b b) 4) (pow (sqrt (+ (* a a) (* b b))) 4))
319.0ms
(+ (* (* b b) 4) (pow (sqrt (+ (* a a) (* b b))) 4))
291.0ms
(+ (pow b 4) (+ (* 2 (* (pow a 2) (pow b 2))) (pow a 4)))
289.0ms
(sqrt (+ (pow (* a a) 3) (pow (* b b) 3)))
264.0ms
(+ (* (* b b) 4) (pow (sqrt (+ (* a a) (* b b))) 4))

prune1.3s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes137.0ms

Accuracy

0% (0.0b remaining)

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

bsearch4.0ms

end0.0ms

sample3.2s

Algorithm
intervals
Results
2.8s20682×body80valid