Details

Time bar (total: 18.9s)

sample120.0ms

Algorithm
intervals
Results
88.0ms643×body80valid

simplify2.7s

Counts
1 → 1
Iterations
IterNodes
done5009
43931
3672
2166
154
018

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize68.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* (+ (* a a) (* b b)) (+ (* a a) (* b b))) (- 1 (* 4 (- (+ (* (* b b) (+ 3 a)) (* a a)) (* a (* a a))))))
0.2b
(* a (* a a))
0.3b
(* (+ (* a a) (* b b)) (+ (* a a) (* b b)))
0.8b
(* (* b b) (+ 3 a))

rewrite226.0ms

Algorithm
rewrite-expression-head
Rules
30×pow1
19×flip3-+ flip-+
16×add-cbrt-cube add-exp-log frac-sub
15×add-sqr-sqrt
12×frac-times *-un-lft-identity
10×add-cube-cbrt
9×flip3-- flip-- add-log-exp
8×associate-*r* associate-*r/
7×associate-*l* pow-prod-down prod-exp cbrt-unprod
6×associate-*l/ pow-prod-up
4×insert-posit16
3×distribute-rgt-in distribute-lft-in diff-log swap-sqr *-commutative unswap-sqr
2×pow2 sub-neg pow-plus associate--l+ pow-sqr associate--r+
1×cube-unmult distribute-lft-out associate--r- difference-of-squares
Counts
4 → 122
Calls
4 calls:
41.0ms
(- (* (+ (* a a) (* b b)) (+ (* a a) (* b b))) (- 1 (* 4 (- (+ (* (* b b) (+ 3 a)) (* a a)) (* a (* a a))))))
33.0ms
(* a (* a a))
84.0ms
(* (+ (* a a) (* b b)) (+ (* a a) (* b b)))
60.0ms
(* (* b b) (+ 3 a))

series320.0ms

Counts
4 → 12
Calls
4 calls:
148.0ms
(- (* (+ (* a a) (* b b)) (+ (* a a) (* b b))) (- 1 (* 4 (- (+ (* (* b b) (+ 3 a)) (* a a)) (* a (* a a))))))
63.0ms
(* a (* a a))
45.0ms
(* (+ (* a a) (* b b)) (+ (* a a) (* b b)))
63.0ms
(* (* b b) (+ 3 a))

simplify3.6s

Counts
134 → 134
Iterations
IterNodes
done5000
24440
1966
0248

prune795.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize62.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (+ (* a a) (* b b)) (sqrt (+ (* a a) (* b b))))
0.8b
(* (* b b) (+ 3 a))
10.2b
(sqrt (+ (* a a) (* b b)))
10.2b
(sqrt (+ (* a a) (* b b)))

rewrite128.0ms

Algorithm
rewrite-expression-head
Rules
18×add-sqr-sqrt
16×pow1
12×*-un-lft-identity
11×add-cbrt-cube add-exp-log
10×sqrt-div associate-*r* add-cube-cbrt sqrt-prod
9×flip3-+ flip-+
4×frac-times associate-*l* pow-prod-down prod-exp associate-*r/ cbrt-unprod insert-posit16 add-log-exp
3×sqrt-pow1 pow1/2 unswap-sqr
2×rem-sqrt-square associate-*l/ *-commutative pow-prod-up
1×distribute-rgt-in distribute-lft-in pow3 distribute-lft-out
Counts
4 → 91
Calls
4 calls:
52.0ms
(* (+ (* a a) (* b b)) (sqrt (+ (* a a) (* b b))))
56.0ms
(* (* b b) (+ 3 a))
10.0ms
(sqrt (+ (* a a) (* b b)))
8.0ms
(sqrt (+ (* a a) (* b b)))

series303.0ms

Counts
4 → 12
Calls
4 calls:
126.0ms
(* (+ (* a a) (* b b)) (sqrt (+ (* a a) (* b b))))
61.0ms
(* (* b b) (+ 3 a))
63.0ms
(sqrt (+ (* a a) (* b b)))
51.0ms
(sqrt (+ (* a a) (* b b)))

simplify1.4s

Counts
103 → 103
Iterations
IterNodes
done5001
21516
1365
0130

prune659.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.0b

localize40.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (pow (sqrt (+ (* a a) (* b b))) 3) (sqrt (+ (* a a) (* b b))))
0.8b
(* (* b b) (+ 3 a))
10.2b
(sqrt (+ (* a a) (* b b)))
10.2b
(sqrt (+ (* a a) (* b b)))

rewrite184.0ms

Algorithm
rewrite-expression-head
Rules
39×add-sqr-sqrt
25×sqrt-prod
19×associate-*l*
16×*-un-lft-identity sqrt-div
14×add-exp-log add-cube-cbrt
13×unswap-sqr
12×pow1
11×add-cbrt-cube
10×unpow-prod-down cube-prod associate-*r*
9×flip3-+ flip-+
6×cube-div prod-exp
4×frac-times associate-*r/ cbrt-unprod insert-posit16 add-log-exp
3×pow-prod-down sqr-pow
2×rem-sqrt-square sqrt-pow1 pow1/2 associate-*l/ *-commutative
1×distribute-rgt-in cube-mult pow-to-exp distribute-lft-in pow-plus unpow3 pow-exp pow-prod-up distribute-lft-out
Counts
4 → 116
Calls
4 calls:
103.0ms
(* (pow (sqrt (+ (* a a) (* b b))) 3) (sqrt (+ (* a a) (* b b))))
51.0ms
(* (* b b) (+ 3 a))
20.0ms
(sqrt (+ (* a a) (* b b)))
8.0ms
(sqrt (+ (* a a) (* b b)))

series221.0ms

Counts
4 → 12
Calls
4 calls:
56.0ms
(* (pow (sqrt (+ (* a a) (* b b))) 3) (sqrt (+ (* a a) (* b b))))
56.0ms
(* (* b b) (+ 3 a))
60.0ms
(sqrt (+ (* a a) (* b b)))
49.0ms
(sqrt (+ (* a a) (* b b)))

simplify1.7s

Counts
128 → 128
Iterations
IterNodes
done5001
21725
1437
0150

prune573.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize36.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (pow (sqrt (+ (* a a) (* b b))) 4) (- 1 (* 4 (- (+ (* (* b b) (+ 3 a)) (* a a)) (* a (* a a))))))
0.2b
(* a (* a a))
0.8b
(* (* b b) (+ 3 a))
10.2b
(sqrt (+ (* a a) (* b b)))

rewrite232.0ms

Algorithm
rewrite-expression-head
Rules
24×pow1
17×add-sqr-sqrt
14×add-cbrt-cube add-exp-log
11×*-un-lft-identity
9×add-log-exp
7×add-cube-cbrt
6×pow-prod-down prod-exp cbrt-unprod
5×associate-*r* pow-prod-up
4×associate-*l* sqrt-prod insert-posit16 difference-of-squares
3×diff-log
2×sub-neg unpow-prod-down flip3-+ sqrt-div associate-*r/ *-commutative flip-+ associate--r+ unswap-sqr
1×pow2 distribute-rgt-in rem-sqrt-square distribute-lft-in sqrt-pow1 pow-plus flip3-- pow1/2 cube-unmult pow-sqr flip-- distribute-lft-out distribute-lft-out-- associate--r- sqr-pow
Counts
4 → 88
Calls
4 calls:
131.0ms
(- (pow (sqrt (+ (* a a) (* b b))) 4) (- 1 (* 4 (- (+ (* (* b b) (+ 3 a)) (* a a)) (* a (* a a))))))
31.0ms
(* a (* a a))
61.0ms
(* (* b b) (+ 3 a))
8.0ms
(sqrt (+ (* a a) (* b b)))

series273.0ms

Counts
4 → 12
Calls
4 calls:
133.0ms
(- (pow (sqrt (+ (* a a) (* b b))) 4) (- 1 (* 4 (- (+ (* (* b b) (+ 3 a)) (* a a)) (* a (* a a))))))
59.0ms
(* a (* a a))
38.0ms
(* (* b b) (+ 3 a))
42.0ms
(sqrt (+ (* a a) (* b b)))

simplify1.8s

Counts
100 → 100
Iterations
IterNodes
done5004
21555
1446
0171

prune479.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes113.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify4.0ms

Iterations
IterNodes
done26
126
018

end0.0ms

sample3.0s

Algorithm
intervals
Results
2.6s20753×body80valid