Details

Time bar (total: 33.1s)

sample464.0ms

Algorithm
intervals
Results
153.0ms47×body1280valid
120.0ms46×body640valid
67.0ms162×body80valid
28.0ms21×body320valid
18.0ms52×body80nan
10.0ms11×body160valid

simplify1.1s

Counts
1 → 1

prune36.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 13.7b

localize60.0ms

Local error

Found 4 expressions with local error:

14.4b
(pow (+ (+ 2 (* F F)) (* 2 x)) -1/2)
6.9b
(* (pow (+ (+ 2 (* F F)) (* 2 x)) -1/2) (/ F (sin B)))
0.1b
(/ x (tan B))
0.1b
(/ F (sin B))

rewrite213.0ms

Algorithm
rewrite-expression-head
Rules
44×add-sqr-sqrt
31×*-un-lft-identity add-cube-cbrt
30×times-frac
22×add-exp-log
13×add-cbrt-cube associate-*r*
8×unpow-prod-down
7×associate-*l*
6×associate-/r* prod-exp associate-/l* unswap-sqr
5×pow1 div-exp
4×insert-posit16 add-log-exp sqr-pow
3×pow-to-exp cbrt-undiv pow-unpow pow-exp div-inv
2×clear-num frac-2neg cbrt-unprod
1×pow-pow tan-quot associate-*r/ associate-/r/ *-commutative
Counts
4 → 119
Calls
4 calls:
Slowest
145.0ms
(* (pow (+ (+ 2 (* F F)) (* 2 x)) -1/2) (/ F (sin B)))
43.0ms
(pow (+ (+ 2 (* F F)) (* 2 x)) -1/2)
10.0ms
(/ x (tan B))
9.0ms
(/ F (sin B))

series559.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
201.0ms
(* (pow (+ (+ 2 (* F F)) (* 2 x)) -1/2) (/ F (sin B)))
148.0ms
(/ x (tan B))
110.0ms
(pow (+ (+ 2 (* F F)) (* 2 x)) -1/2)
99.0ms
(/ F (sin B))

simplify1.8s

Counts
131 → 131

prune2.2s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.0b

localize78.0ms

Local error

Found 4 expressions with local error:

14.4b
(pow (+ (+ 2 (* F F)) (* 2 x)) -1/2)
0.3b
(* (pow (+ (+ 2 (* F F)) (* 2 x)) -1/2) F)
0.2b
(* (* (pow (+ (+ 2 (* F F)) (* 2 x)) -1/2) F) (/ 1 (sin B)))
0.1b
(/ x (tan B))

rewrite220.0ms

Algorithm
rewrite-expression-head
Rules
56×add-exp-log
31×prod-exp
29×add-sqr-sqrt
24×*-un-lft-identity add-cube-cbrt
20×add-cbrt-cube
18×times-frac
16×associate-*r*
9×div-exp
8×associate-*l*
7×pow1 unpow-prod-down cbrt-unprod
6×pow-to-exp pow-exp
4×rec-exp 1-exp insert-posit16 add-log-exp
3×cbrt-undiv pow-unpow associate-/r* associate-/l* unswap-sqr sqr-pow
2×*-commutative div-inv
1×clear-num pow-pow frac-2neg pow-prod-down tan-quot associate-*r/ associate-/r/ un-div-inv
Counts
4 → 119
Calls
4 calls:
Slowest
99.0ms
(* (pow (+ (+ 2 (* F F)) (* 2 x)) -1/2) F)
96.0ms
(* (* (pow (+ (+ 2 (* F F)) (* 2 x)) -1/2) F) (/ 1 (sin B)))
18.0ms
(pow (+ (+ 2 (* F F)) (* 2 x)) -1/2)
5.0ms
(/ x (tan B))

series596.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
224.0ms
(* (* (pow (+ (+ 2 (* F F)) (* 2 x)) -1/2) F) (/ 1 (sin B)))
149.0ms
(/ x (tan B))
126.0ms
(* (pow (+ (+ 2 (* F F)) (* 2 x)) -1/2) F)
98.0ms
(pow (+ (+ 2 (* F F)) (* 2 x)) -1/2)

simplify749.0ms

Counts
131 → 131

prune1.9s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

localize47.0ms

Local error

Found 4 expressions with local error:

14.4b
(pow (+ (+ 2 (* F F)) (* 2 x)) -1/2)
0.3b
(* (pow (+ (+ 2 (* F F)) (* 2 x)) -1/2) F)
0.2b
(* (* (pow (+ (+ 2 (* F F)) (* 2 x)) -1/2) F) (/ 1 (sin B)))
0.2b
(* (/ x (sin B)) (cos B))

rewrite286.0ms

Algorithm
rewrite-expression-head
Rules
59×add-exp-log
34×add-sqr-sqrt
33×prod-exp
24×*-un-lft-identity add-cube-cbrt
23×add-cbrt-cube
21×associate-*l*
19×times-frac associate-*r*
9×pow1 div-exp cbrt-unprod
7×unpow-prod-down
6×pow-to-exp pow-exp
5×unswap-sqr
4×rec-exp 1-exp insert-posit16 add-log-exp
3×cbrt-undiv pow-unpow *-commutative sqr-pow
2×pow-prod-down div-inv
1×pow-pow associate-*l/ associate-*r/ un-div-inv
Counts
4 → 123
Calls
4 calls:
Slowest
143.0ms
(* (* (pow (+ (+ 2 (* F F)) (* 2 x)) -1/2) F) (/ 1 (sin B)))
80.0ms
(* (pow (+ (+ 2 (* F F)) (* 2 x)) -1/2) F)
31.0ms
(pow (+ (+ 2 (* F F)) (* 2 x)) -1/2)
28.0ms
(* (/ x (sin B)) (cos B))

series544.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
209.0ms
(* (* (pow (+ (+ 2 (* F F)) (* 2 x)) -1/2) F) (/ 1 (sin B)))
143.0ms
(* (/ x (sin B)) (cos B))
101.0ms
(* (pow (+ (+ 2 (* F F)) (* 2 x)) -1/2) F)
91.0ms
(pow (+ (+ 2 (* F F)) (* 2 x)) -1/2)

simplify747.0ms

Counts
135 → 135

prune2.0s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.0b

localize93.0ms

Local error

Found 4 expressions with local error:

14.9b
(pow (+ (+ 2 (* F F)) (* 2 x)) (/ -1/2 2))
14.9b
(pow (+ (+ 2 (* F F)) (* 2 x)) (/ -1/2 2))
0.6b
(* (pow (+ (+ 2 (* F F)) (* 2 x)) (/ -1/2 2)) (pow (+ (+ 2 (* F F)) (* 2 x)) (/ -1/2 2)))
0.3b
(* (* (pow (+ (+ 2 (* F F)) (* 2 x)) (/ -1/2 2)) (pow (+ (+ 2 (* F F)) (* 2 x)) (/ -1/2 2))) F)

rewrite452.0ms

Algorithm
rewrite-expression-head
Rules
42×add-sqr-sqrt
41×add-exp-log
29×*-un-lft-identity add-cube-cbrt
28×prod-exp
26×pow-unpow
24×unpow-prod-down
18×times-frac
14×pow-to-exp pow-exp
12×sqr-pow
11×add-cbrt-cube
10×associate-*r* unswap-sqr
8×pow1 associate-*l*
7×swap-sqr
4×cbrt-unprod insert-posit16 add-log-exp
2×pow-pow pow-prod-down *-commutative div-inv
1×pow2 pow-sqr pow-prod-up
Counts
4 → 136
Calls
4 calls:
Slowest
205.0ms
(* (* (pow (+ (+ 2 (* F F)) (* 2 x)) (/ -1/2 2)) (pow (+ (+ 2 (* F F)) (* 2 x)) (/ -1/2 2))) F)
160.0ms
(* (pow (+ (+ 2 (* F F)) (* 2 x)) (/ -1/2 2)) (pow (+ (+ 2 (* F F)) (* 2 x)) (/ -1/2 2)))
43.0ms
(pow (+ (+ 2 (* F F)) (* 2 x)) (/ -1/2 2))
40.0ms
(pow (+ (+ 2 (* F F)) (* 2 x)) (/ -1/2 2))

series505.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
165.0ms
(pow (+ (+ 2 (* F F)) (* 2 x)) (/ -1/2 2))
141.0ms
(* (* (pow (+ (+ 2 (* F F)) (* 2 x)) (/ -1/2 2)) (pow (+ (+ 2 (* F F)) (* 2 x)) (/ -1/2 2))) F)
110.0ms
(pow (+ (+ 2 (* F F)) (* 2 x)) (/ -1/2 2))
89.0ms
(* (pow (+ (+ 2 (* F F)) (* 2 x)) (/ -1/2 2)) (pow (+ (+ 2 (* F F)) (* 2 x)) (/ -1/2 2)))

simplify745.0ms

Counts
148 → 148

prune2.3s

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 0.0b

regimes225.0ms

Accuracy

97.8% (0.2b remaining)

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

bsearch515.0ms

end0.0ms

sample14.6s

Algorithm
intervals
Results
5.1s1652×body1280valid
3.9s1337×body640valid
2.8s4818×body80valid
1.1s718×body320valid
879.0ms1640×body80nan
356.0ms348×body160valid