Details

Time bar (total: 50.3s)

sample103.0ms

Algorithm
intervals
Results
37.0ms264×body80nan
19.0ms166×body160valid
14.0ms520×pre80true
7.0ms38×body320valid
3.0ms52×body80valid

simplify123.0ms

Counts
1 → 1
Iterations
IterNodes
done94
794
693
591
483
368
239
121
012

prune31.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 43.2b

localize22.0ms

Local error

Found 4 expressions with local error:

0.2b
(- (* b b) (* (* 3.0 a) c))
0.3b
(* (* 3.0 a) c)
0.4b
(/ (- (sqrt (- (* b b) (* (* 3.0 a) c))) b) (* 3.0 a))
39.2b
(- (sqrt (- (* b b) (* (* 3.0 a) c))) b)

rewrite163.0ms

Algorithm
rewrite-expression-head
Rules
19×add-sqr-sqrt
14×add-cbrt-cube add-exp-log
13×*-un-lft-identity
9×pow1
8×add-log-exp
7×add-cube-cbrt
6×times-frac associate-/l* difference-of-squares
4×prod-exp cbrt-unprod
3×flip3-- associate-*r* pow-prod-down sqrt-prod flip-- distribute-lft-out--
2×cbrt-undiv sub-neg diff-log div-exp associate-/l/
1×clear-num associate-/r* frac-2neg div-sub associate-*l* *-commutative div-inv
Counts
4 → 75
Calls
4 calls:
12.0ms
(- (* b b) (* (* 3.0 a) c))
18.0ms
(* (* 3.0 a) c)
76.0ms
(/ (- (sqrt (- (* b b) (* (* 3.0 a) c))) b) (* 3.0 a))
54.0ms
(- (sqrt (- (* b b) (* (* 3.0 a) c))) b)

series385.0ms

Counts
4 → 12
Calls
4 calls:
65.0ms
(- (* b b) (* (* 3.0 a) c))
35.0ms
(* (* 3.0 a) c)
162.0ms
(/ (- (sqrt (- (* b b) (* (* 3.0 a) c))) b) (* 3.0 a))
122.0ms
(- (sqrt (- (* b b) (* (* 3.0 a) c))) b)

simplify1.9s

Counts
87 → 87
Iterations
IterNodes
done5001
21454
1419
0155

prune995.0ms

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 6.2b

localize14.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify0.0ms

Counts
0 → 0
Iterations
IterNodes
done0
00

prune124.0ms

Pruning

17 alts after pruning (16 fresh and 1 done)

Merged error: 6.2b

localize19.0ms

Local error

Found 3 expressions with local error:

0.2b
(/ (* a c) b)
0.3b
(* -1.5 (/ (* a c) b))
0.4b
(/ (* -1.5 (/ (* a c) b)) (* 3.0 a))

rewrite54.0ms

Algorithm
rewrite-expression-head
Rules
49×add-cbrt-cube add-exp-log
17×prod-exp cbrt-unprod
16×cbrt-undiv div-exp
10×add-sqr-sqrt
8×*-un-lft-identity add-cube-cbrt
7×times-frac associate-*r*
5×pow1
4×associate-/r*
3×associate-*l* div-inv add-log-exp
2×clear-num frac-2neg associate-*r/ associate-/l*
1×pow-prod-down *-commutative unswap-sqr associate-/l/
Counts
3 → 78
Calls
3 calls:
14.0ms
(/ (* a c) b)
16.0ms
(* -1.5 (/ (* a c) b))
18.0ms
(/ (* -1.5 (/ (* a c) b)) (* 3.0 a))

series134.0ms

Counts
3 → 9
Calls
3 calls:
37.0ms
(/ (* a c) b)
52.0ms
(* -1.5 (/ (* a c) b))
45.0ms
(/ (* -1.5 (/ (* a c) b)) (* 3.0 a))

simplify1.5s

Counts
87 → 87
Iterations
IterNodes
done5010
22219
1371
0123

prune564.0ms

Pruning

27 alts after pruning (26 fresh and 1 done)

Merged error: 6.2b

localize42.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (* (/ (* (* (* -1.5 -1.5) -1.5) (/ (* a c) b)) (* (* 3.0 (* 3.0 3.0)) a)) (/ (/ (* a c) b) a)) (/ (/ (* a c) b) a))
0.3b
(/ (* (* (* -1.5 -1.5) -1.5) (/ (* a c) b)) (* (* 3.0 (* 3.0 3.0)) a))
0.5b
(* (/ (* (* (* -1.5 -1.5) -1.5) (/ (* a c) b)) (* (* 3.0 (* 3.0 3.0)) a)) (/ (/ (* a c) b) a))
0.7b
(cbrt (* (* (/ (* (* (* -1.5 -1.5) -1.5) (/ (* a c) b)) (* (* 3.0 (* 3.0 3.0)) a)) (/ (/ (* a c) b) a)) (/ (/ (* a c) b) a)))

rewrite4.8s

Algorithm
rewrite-expression-head
Rules
8936×add-cbrt-cube add-exp-log
4874×prod-exp cbrt-unprod
3194×cbrt-undiv div-exp
63×times-frac
50×associate-*r*
38×add-sqr-sqrt
33×*-un-lft-identity add-cube-cbrt
11×frac-times pow1 associate-*l/
10×div-inv
8×associate-*r/
7×cbrt-div
6×associate-*l*
4×pow-prod-down add-log-exp
2×*-commutative unswap-sqr
1×cbrt-prod clear-num associate-/r* frac-2neg pow1/3 associate-/l* associate-/l/
Counts
4 → 1845
Calls
4 calls:
1.9s
(* (* (/ (* (* (* -1.5 -1.5) -1.5) (/ (* a c) b)) (* (* 3.0 (* 3.0 3.0)) a)) (/ (/ (* a c) b) a)) (/ (/ (* a c) b) a))
117.0ms
(/ (* (* (* -1.5 -1.5) -1.5) (/ (* a c) b)) (* (* 3.0 (* 3.0 3.0)) a))
447.0ms
(* (/ (* (* (* -1.5 -1.5) -1.5) (/ (* a c) b)) (* (* 3.0 (* 3.0 3.0)) a)) (/ (/ (* a c) b) a))
1.8s
(cbrt (* (* (/ (* (* (* -1.5 -1.5) -1.5) (/ (* a c) b)) (* (* 3.0 (* 3.0 3.0)) a)) (/ (/ (* a c) b) a)) (/ (/ (* a c) b) a)))

series405.0ms

Counts
4 → 12
Calls
4 calls:
119.0ms
(* (* (/ (* (* (* -1.5 -1.5) -1.5) (/ (* a c) b)) (* (* 3.0 (* 3.0 3.0)) a)) (/ (/ (* a c) b) a)) (/ (/ (* a c) b) a))
53.0ms
(/ (* (* (* -1.5 -1.5) -1.5) (/ (* a c) b)) (* (* 3.0 (* 3.0 3.0)) a))
91.0ms
(* (/ (* (* (* -1.5 -1.5) -1.5) (/ (* a c) b)) (* (* 3.0 (* 3.0 3.0)) a)) (/ (/ (* a c) b) a))
142.0ms
(cbrt (* (* (/ (* (* (* -1.5 -1.5) -1.5) (/ (* a c) b)) (* (* 3.0 (* 3.0 3.0)) a)) (/ (/ (* a c) b) a)) (/ (/ (* a c) b) a)))

simplify26.6s

Counts
1857 → 1857
Iterations
IterNodes
done5015
14353
01739

prune7.6s

Pruning

29 alts after pruning (28 fresh and 1 done)

Merged error: 6.2b

regimes935.0ms

Accuracy

0% (6.7b remaining)

Error of 11.8b against oracle of 5.0b and baseline of 11.8b

bsearch0.0ms

simplify1.0ms

Iterations
IterNodes
done6
16
05

end0.0ms

sample3.7s

Algorithm
intervals
Results
1.1s8347×body80nan
753.0ms1403×body320valid
659.0ms4849×body160valid
623.0ms16347×pre80true
106.0ms1748×body80valid