Details

Time bar (total: 22.0s)

sample151.0ms

Algorithm
intervals
Results
77.0ms915×body80nan
22.0ms294×body80valid

simplify3.4s

Counts
1 → 1
Iterations
IterNodes
done5000
73827
61760
5891
4462
3190
272
127
013

prune20.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize41.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (+ 1.0 (/ 1.0 (/ (sqrt (* (- a (/ 1.0 3.0)) 9.0)) rand))) (- a (/ 1.0 3.0)))
0.1b
(sqrt (* (- a (/ 1.0 3.0)) 9.0))
0.2b
(/ (sqrt (* (- a (/ 1.0 3.0)) 9.0)) rand)
1.1b
(/ 1.0 (/ (sqrt (* (- a (/ 1.0 3.0)) 9.0)) rand))

rewrite271.0ms

Algorithm
rewrite-expression-head
Rules
109×times-frac
71×add-sqr-sqrt
68×*-un-lft-identity
64×add-cube-cbrt
19×associate-/r*
17×sqrt-prod
13×add-cbrt-cube add-exp-log
9×pow1
7×associate-/l*
6×associate-*r* associate-*l/ div-inv
5×flip3-- flip--
4×frac-times cbrt-undiv sqrt-div div-exp associate-*l* add-log-exp
3×flip3-+ flip-+
2×distribute-rgt-in clear-num sub-neg frac-2neg distribute-lft-in sqrt-pow1 pow-prod-down associate-*r/ difference-of-squares associate-/l/
1×pow1/2 prod-exp associate-/r/ *-commutative cbrt-unprod distribute-lft-out distribute-lft-out-- unswap-sqr
Counts
4 → 162
Calls
4 calls:
184.0ms
(* (+ 1.0 (/ 1.0 (/ (sqrt (* (- a (/ 1.0 3.0)) 9.0)) rand))) (- a (/ 1.0 3.0)))
19.0ms
(sqrt (* (- a (/ 1.0 3.0)) 9.0))
27.0ms
(/ (sqrt (* (- a (/ 1.0 3.0)) 9.0)) rand)
29.0ms
(/ 1.0 (/ (sqrt (* (- a (/ 1.0 3.0)) 9.0)) rand))

series785.0ms

Counts
4 → 12
Calls
4 calls:
188.0ms
(* (+ 1.0 (/ 1.0 (/ (sqrt (* (- a (/ 1.0 3.0)) 9.0)) rand))) (- a (/ 1.0 3.0)))
103.0ms
(sqrt (* (- a (/ 1.0 3.0)) 9.0))
236.0ms
(/ (sqrt (* (- a (/ 1.0 3.0)) 9.0)) rand)
257.0ms
(/ 1.0 (/ (sqrt (* (- a (/ 1.0 3.0)) 9.0)) rand))

simplify488.0ms

Counts
174 → 174
Iterations
IterNodes
done5000
11096
0395

prune1.1s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0b

localize20.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (+ 1.0 (/ (sqrt 1.0) (/ (sqrt (* (- a (/ 1.0 3.0)) 9.0)) (* (sqrt 1.0) rand)))) (- a (/ 1.0 3.0)))
0.1b
(sqrt (* (- a (/ 1.0 3.0)) 9.0))
0.2b
(/ (sqrt (* (- a (/ 1.0 3.0)) 9.0)) (* (sqrt 1.0) rand))
1.1b
(/ (sqrt 1.0) (/ (sqrt (* (- a (/ 1.0 3.0)) 9.0)) (* (sqrt 1.0) rand)))

rewrite243.0ms

Algorithm
rewrite-expression-head
Rules
81×times-frac
48×add-sqr-sqrt
44×*-un-lft-identity
40×add-cube-cbrt
37×sqrt-prod
20×add-cbrt-cube add-exp-log
10×div-inv associate-/l*
9×pow1 associate-/r*
7×cbrt-undiv div-exp
6×associate-*r* associate-*l/
5×flip3-- associate-*l* flip--
4×frac-times sqrt-div add-log-exp
3×flip3-+ prod-exp cbrt-unprod flip-+
2×distribute-rgt-in clear-num sub-neg frac-2neg distribute-lft-in sqrt-pow1 pow-prod-down associate-*r/ distribute-lft-out difference-of-squares associate-/l/
1×pow1/2 associate-/r/ *-commutative distribute-lft-out-- unswap-sqr
Counts
4 → 152
Calls
4 calls:
162.0ms
(* (+ 1.0 (/ (sqrt 1.0) (/ (sqrt (* (- a (/ 1.0 3.0)) 9.0)) (* (sqrt 1.0) rand)))) (- a (/ 1.0 3.0)))
26.0ms
(sqrt (* (- a (/ 1.0 3.0)) 9.0))
25.0ms
(/ (sqrt (* (- a (/ 1.0 3.0)) 9.0)) (* (sqrt 1.0) rand))
21.0ms
(/ (sqrt 1.0) (/ (sqrt (* (- a (/ 1.0 3.0)) 9.0)) (* (sqrt 1.0) rand)))

series1.1s

Counts
4 → 12
Calls
4 calls:
314.0ms
(* (+ 1.0 (/ (sqrt 1.0) (/ (sqrt (* (- a (/ 1.0 3.0)) 9.0)) (* (sqrt 1.0) rand)))) (- a (/ 1.0 3.0)))
105.0ms
(sqrt (* (- a (/ 1.0 3.0)) 9.0))
293.0ms
(/ (sqrt (* (- a (/ 1.0 3.0)) 9.0)) (* (sqrt 1.0) rand))
430.0ms
(/ (sqrt 1.0) (/ (sqrt (* (- a (/ 1.0 3.0)) 9.0)) (* (sqrt 1.0) rand)))

simplify579.0ms

Counts
164 → 164
Iterations
IterNodes
done5001
11082
0379

prune972.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

localize28.0ms

Local error

Found 4 expressions with local error:

0.0b
(sqrt (- a (/ 1.0 3.0)))
0.1b
(* (+ 1.0 (* (/ (* (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (sqrt 1.0)) (sqrt (- a (/ 1.0 3.0)))) (/ (* (cbrt (sqrt 1.0)) rand) (sqrt 9.0)))) (- a (/ 1.0 3.0)))
0.2b
(/ (* (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (sqrt 1.0)) (sqrt (- a (/ 1.0 3.0))))
0.3b
(* (/ (* (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (sqrt 1.0)) (sqrt (- a (/ 1.0 3.0)))) (/ (* (cbrt (sqrt 1.0)) rand) (sqrt 9.0)))

rewrite283.0ms

Algorithm
rewrite-expression-head
Rules
69×add-exp-log
57×add-cbrt-cube
47×add-sqr-sqrt
29×times-frac prod-exp cbrt-unprod
27×*-un-lft-identity sqrt-prod
20×cbrt-undiv div-exp
18×associate-*l*
17×add-cube-cbrt
16×associate-*r*
10×difference-of-squares
9×pow1 associate-/r*
6×flip3-- sqrt-div flip--
5×frac-times distribute-lft-out--
4×associate-/r/ add-log-exp
3×flip3-+ associate-*l/ associate-*r/ flip-+ div-inv
2×distribute-rgt-in sub-neg distribute-lft-in pow-prod-down *-commutative unswap-sqr
1×rem-sqrt-square clear-num frac-2neg sqrt-pow1 pow1/2 associate-/l*
Counts
4 → 150
Calls
4 calls:
12.0ms
(sqrt (- a (/ 1.0 3.0)))
47.0ms
(* (+ 1.0 (* (/ (* (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (sqrt 1.0)) (sqrt (- a (/ 1.0 3.0)))) (/ (* (cbrt (sqrt 1.0)) rand) (sqrt 9.0)))) (- a (/ 1.0 3.0)))
71.0ms
(/ (* (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (sqrt 1.0)) (sqrt (- a (/ 1.0 3.0))))
147.0ms
(* (/ (* (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (sqrt 1.0)) (sqrt (- a (/ 1.0 3.0)))) (/ (* (cbrt (sqrt 1.0)) rand) (sqrt 9.0)))

series1.4s

Counts
4 → 12
Calls
4 calls:
57.0ms
(sqrt (- a (/ 1.0 3.0)))
390.0ms
(* (+ 1.0 (* (/ (* (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (sqrt 1.0)) (sqrt (- a (/ 1.0 3.0)))) (/ (* (cbrt (sqrt 1.0)) rand) (sqrt 9.0)))) (- a (/ 1.0 3.0)))
372.0ms
(/ (* (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (sqrt 1.0)) (sqrt (- a (/ 1.0 3.0))))
536.0ms
(* (/ (* (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (sqrt 1.0)) (sqrt (- a (/ 1.0 3.0)))) (/ (* (cbrt (sqrt 1.0)) rand) (sqrt 9.0)))

simplify415.0ms

Counts
162 → 162
Iterations
IterNodes
done5001
11171
0362

prune1.2s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

localize48.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (+ 1.0 (/ (* (/ (* (cbrt (sqrt 1.0)) (* (cbrt (sqrt 1.0)) (sqrt 1.0))) (sqrt (- a (/ 1.0 3.0)))) (* rand (cbrt (sqrt 1.0)))) (sqrt 9.0))) (- a (/ 1.0 3.0)))
0.2b
(* (/ (* (cbrt (sqrt 1.0)) (* (cbrt (sqrt 1.0)) (sqrt 1.0))) (sqrt (- a (/ 1.0 3.0)))) (* rand (cbrt (sqrt 1.0))))
0.2b
(/ (* (cbrt (sqrt 1.0)) (* (cbrt (sqrt 1.0)) (sqrt 1.0))) (sqrt (- a (/ 1.0 3.0))))
0.3b
(/ (* (/ (* (cbrt (sqrt 1.0)) (* (cbrt (sqrt 1.0)) (sqrt 1.0))) (sqrt (- a (/ 1.0 3.0)))) (* rand (cbrt (sqrt 1.0)))) (sqrt 9.0))

rewrite476.0ms

Algorithm
rewrite-expression-head
Rules
89×add-exp-log
66×add-cbrt-cube
40×prod-exp cbrt-unprod
39×add-sqr-sqrt
28×times-frac
27×*-un-lft-identity
24×cbrt-undiv div-exp sqrt-prod
19×associate-*l*
17×add-cube-cbrt
15×associate-/r*
11×pow1
8×difference-of-squares
7×associate-*r*
5×flip3-- flip--
4×frac-times sqrt-div pow-prod-down associate-*l/ associate-/r/ distribute-lft-out-- add-log-exp
3×flip3-+ flip-+ div-inv
2×distribute-rgt-in clear-num sub-neg frac-2neg distribute-lft-in associate-*r/ *-commutative associate-/l*
1×distribute-lft-out unswap-sqr associate-/l/
Counts
4 → 156
Calls
4 calls:
71.0ms
(* (+ 1.0 (/ (* (/ (* (cbrt (sqrt 1.0)) (* (cbrt (sqrt 1.0)) (sqrt 1.0))) (sqrt (- a (/ 1.0 3.0)))) (* rand (cbrt (sqrt 1.0)))) (sqrt 9.0))) (- a (/ 1.0 3.0)))
215.0ms
(* (/ (* (cbrt (sqrt 1.0)) (* (cbrt (sqrt 1.0)) (sqrt 1.0))) (sqrt (- a (/ 1.0 3.0)))) (* rand (cbrt (sqrt 1.0))))
69.0ms
(/ (* (cbrt (sqrt 1.0)) (* (cbrt (sqrt 1.0)) (sqrt 1.0))) (sqrt (- a (/ 1.0 3.0))))
115.0ms
(/ (* (/ (* (cbrt (sqrt 1.0)) (* (cbrt (sqrt 1.0)) (sqrt 1.0))) (sqrt (- a (/ 1.0 3.0)))) (* rand (cbrt (sqrt 1.0)))) (sqrt 9.0))

series1.8s

Counts
4 → 12
Calls
4 calls:
396.0ms
(* (+ 1.0 (/ (* (/ (* (cbrt (sqrt 1.0)) (* (cbrt (sqrt 1.0)) (sqrt 1.0))) (sqrt (- a (/ 1.0 3.0)))) (* rand (cbrt (sqrt 1.0)))) (sqrt 9.0))) (- a (/ 1.0 3.0)))
471.0ms
(* (/ (* (cbrt (sqrt 1.0)) (* (cbrt (sqrt 1.0)) (sqrt 1.0))) (sqrt (- a (/ 1.0 3.0)))) (* rand (cbrt (sqrt 1.0))))
352.0ms
(/ (* (cbrt (sqrt 1.0)) (* (cbrt (sqrt 1.0)) (sqrt 1.0))) (sqrt (- a (/ 1.0 3.0))))
552.0ms
(/ (* (/ (* (cbrt (sqrt 1.0)) (* (cbrt (sqrt 1.0)) (sqrt 1.0))) (sqrt (- a (/ 1.0 3.0)))) (* rand (cbrt (sqrt 1.0)))) (sqrt 9.0))

simplify696.0ms

Counts
168 → 168
Iterations
IterNodes
done5000
11197
0378

prune1.2s

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0b

regimes278.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations
IterNodes
done19
119
015

end0.0ms

sample5.1s

Algorithm
intervals
Results
3.0s26426×body80nan
815.0ms9076×body80valid