Details

Time bar (total: 19.3s)

sample127.0ms

Algorithm
intervals
Results
37.0ms184×body80valid
28.0ms36×body2560valid
18.0ms29×body1280valid
8.0ms77×body80nan
6.0ms10×body640valid
4.0ms4×body5120valid
4.0ms10×body320valid
1.0ms4×body160valid

simplify88.0ms

Counts
1 → 1
Iterations
IterNodes
893
793
692
590
482
366
240
121
012

prune15.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 30.7b

localize23.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* 3 a) c)
1.1b
(- (sqrt (- (* b b) (* (* 3 a) c))) b)
1.2b
(- (* b b) (* (* 3 a) c))
23.1b
(sqrt (- (* b b) (* (* 3 a) c)))

rewrite82.0ms

Algorithm
rewrite-expression-head
Rules
11×add-sqr-sqrt
10×pow1
9×add-cbrt-cube add-exp-log
8×*-un-lft-identity add-log-exp
6×add-cube-cbrt
4×sqrt-prod insert-posit16
3×flip3-- associate-*r* pow-prod-down prod-exp cbrt-unprod flip--
2×sub-neg sqrt-div diff-log difference-of-squares
1×rem-sqrt-square sqrt-pow1 pow1/2 associate-*l* *-commutative distribute-lft-out--
Counts
4 → 64
Calls
4 calls:
13.0ms
(* (* 3 a) c)
53.0ms
(- (sqrt (- (* b b) (* (* 3 a) c))) b)
7.0ms
(- (* b b) (* (* 3 a) c))
7.0ms
(sqrt (- (* b b) (* (* 3 a) c)))

series303.0ms

Counts
4 → 12
Calls
4 calls:
31.0ms
(* (* 3 a) c)
103.0ms
(- (sqrt (- (* b b) (* (* 3 a) c))) b)
56.0ms
(- (* b b) (* (* 3 a) c))
112.0ms
(sqrt (- (* b b) (* (* 3 a) c)))

simplify2.0s

Counts
76 → 76
Iterations
IterNodes
33361
2953
1295
0123

prune846.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 10.5b

localize26.0ms

Local error

Found 4 expressions with local error:

0.2b
(* 3 (* a c))
1.1b
(- (sqrt (- (* b b) (* 3 (* a c)))) b)
1.2b
(- (* b b) (* 3 (* a c)))
23.1b
(sqrt (- (* b b) (* 3 (* a c))))

rewrite124.0ms

Algorithm
rewrite-expression-head
Rules
11×add-sqr-sqrt
10×pow1
9×add-cbrt-cube add-exp-log
8×*-un-lft-identity add-log-exp
6×add-cube-cbrt
4×sqrt-prod insert-posit16
3×flip3-- associate-*l* pow-prod-down prod-exp cbrt-unprod flip--
2×sub-neg sqrt-div diff-log difference-of-squares
1×rem-sqrt-square sqrt-pow1 pow1/2 associate-*r* *-commutative distribute-lft-out--
Counts
4 → 64
Calls
4 calls:
26.0ms
(* 3 (* a c))
59.0ms
(- (sqrt (- (* b b) (* 3 (* a c)))) b)
24.0ms
(- (* b b) (* 3 (* a c)))
14.0ms
(sqrt (- (* b b) (* 3 (* a c))))

series279.0ms

Counts
4 → 12
Calls
4 calls:
22.0ms
(* 3 (* a c))
106.0ms
(- (sqrt (- (* b b) (* 3 (* a c)))) b)
51.0ms
(- (* b b) (* 3 (* a c)))
99.0ms
(sqrt (- (* b b) (* 3 (* a c))))

simplify1.3s

Counts
76 → 76
Iterations
IterNodes
32605
2777
1279
0120

prune897.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 10.5b

localize66.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (cbrt 3) (* a c))
1.1b
(- (sqrt (- (* b b) (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* a c))))) b)
1.2b
(- (* b b) (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* a c))))
23.1b
(sqrt (- (* b b) (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* a c)))))

rewrite92.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt
10×pow1
9×*-un-lft-identity add-exp-log
8×add-log-exp
7×add-cbrt-cube add-cube-cbrt
6×associate-*l*
4×sqrt-prod insert-posit16
3×cbrt-prod flip3-- pow-prod-down prod-exp cbrt-unprod flip--
2×sub-neg sqrt-div diff-log difference-of-squares
1×rem-sqrt-square sqrt-pow1 pow1/2 associate-*r* *-commutative distribute-lft-out--
Counts
4 → 67
Calls
4 calls:
14.0ms
(* (cbrt 3) (* a c))
45.0ms
(- (sqrt (- (* b b) (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* a c))))) b)
17.0ms
(- (* b b) (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* a c))))
15.0ms
(sqrt (- (* b b) (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* a c)))))

series571.0ms

Counts
4 → 12
Calls
4 calls:
66.0ms
(* (cbrt 3) (* a c))
205.0ms
(- (sqrt (- (* b b) (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* a c))))) b)
118.0ms
(- (* b b) (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* a c))))
182.0ms
(sqrt (- (* b b) (* (* (cbrt 3) (cbrt 3)) (* (cbrt 3) (* a c)))))

simplify2.0s

Counts
79 → 79
Iterations
IterNodes
34204
21029
1306
0129

prune1.1s

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 10.5b

localize61.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (cbrt 3) c)
1.1b
(- (sqrt (- (* b b) (* (* (cbrt 3) (cbrt 3)) (* a (* (cbrt 3) c))))) b)
1.2b
(- (* b b) (* (* (cbrt 3) (cbrt 3)) (* a (* (cbrt 3) c))))
23.1b
(sqrt (- (* b b) (* (* (cbrt 3) (cbrt 3)) (* a (* (cbrt 3) c)))))

rewrite105.0ms

Algorithm
rewrite-expression-head
Rules
17×add-sqr-sqrt
10×*-un-lft-identity
8×add-cube-cbrt add-log-exp
7×pow1
6×associate-*l* add-exp-log
5×add-cbrt-cube
4×cbrt-prod sqrt-prod insert-posit16
3×flip3-- associate-*r* flip--
2×sub-neg sqrt-div diff-log difference-of-squares unswap-sqr
1×rem-sqrt-square sqrt-pow1 pow1/2 pow-prod-down prod-exp *-commutative cbrt-unprod distribute-lft-out--
Counts
4 → 68
Calls
4 calls:
12.0ms
(* (cbrt 3) c)
57.0ms
(- (sqrt (- (* b b) (* (* (cbrt 3) (cbrt 3)) (* a (* (cbrt 3) c))))) b)
20.0ms
(- (* b b) (* (* (cbrt 3) (cbrt 3)) (* a (* (cbrt 3) c))))
14.0ms
(sqrt (- (* b b) (* (* (cbrt 3) (cbrt 3)) (* a (* (cbrt 3) c)))))

series570.0ms

Counts
4 → 12
Calls
4 calls:
61.0ms
(* (cbrt 3) c)
189.0ms
(- (sqrt (- (* b b) (* (* (cbrt 3) (cbrt 3)) (* a (* (cbrt 3) c))))) b)
114.0ms
(- (* b b) (* (* (cbrt 3) (cbrt 3)) (* a (* (cbrt 3) c))))
205.0ms
(sqrt (- (* b b) (* (* (cbrt 3) (cbrt 3)) (* a (* (cbrt 3) c)))))

simplify2.2s

Counts
80 → 80
Iterations
IterNodes
34008
2927
1284
0125

prune991.0ms

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 10.4b

regimes563.0ms

Accuracy

85.3% (3.2b remaining)

Error of 15.1b against oracle of 11.9b and baseline of 33.4b

bsearch193.0ms

Steps
ItersRangePoint
10
8.951341119180922e-71
6.02619389320856e-56
5.9471276972445346e-61
8
-5.520406447692031e+155
-8.116303404487084e+152
-1.3532058622703094e+154

simplify5.0ms

Iterations
IterNodes
236
136
029

end0.0ms

sample4.7s

Algorithm
intervals
Results
1.3s5822×body80valid
1.0s1115×body2560valid
720.0ms910×body1280valid
654.0ms419×body640valid
400.0ms2907×body80nan
143.0ms109×body5120valid
87.0ms229×body320valid
26.0ms102×body160valid