Details

Time bar (total: 2.0m)

sample246.0ms

Algorithm
intervals
Results
141.0ms973×body80nan
41.0ms294×body80valid

simplify233.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
233.0ms
(* (- a (/ 1.0 3.0)) (+ 1 (* (/ 1 (sqrt (* 9 (- a (/ 1.0 3.0))))) rand)))

prune17.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize18.0ms

Local error

Found 4 expressions with local error:

0.3b
(* rand (/ (- a (/ 1.0 3.0)) (sqrt (* 9 (- a (/ 1.0 3.0))))))
0.3b
(/ (- a (/ 1.0 3.0)) (sqrt (* 9 (- a (/ 1.0 3.0)))))
0.1b
(sqrt (* 9 (- a (/ 1.0 3.0))))
0.0b
(* 9 (- a (/ 1.0 3.0)))

rewrite119.0ms

Algorithm
rewrite-expression-head
Rules
87×add-sqr-sqrt
59×times-frac
50×*-un-lft-identity
36×associate-*r*
30×add-cube-cbrt
20×difference-of-squares
14×sqrt-prod
13×add-cbrt-cube add-exp-log
11×pow1
10×distribute-lft-out--
9×associate-*r/
6×sqrt-div associate-*l* associate-/l*
5×flip3-- flip--
4×associate-/r* associate-/r/ insert-posit16 add-log-exp
3×pow-prod-down prod-exp cbrt-unprod unswap-sqr
2×distribute-rgt-in cbrt-undiv sub-neg distribute-lft-in sqrt-pow1 div-exp *-commutative div-inv associate-/l/
1×clear-num frac-2neg pow1/2 div-sub
Counts
4 → 144
Calls
4 calls:
Slowest
60.0ms
(* rand (/ (- a (/ 1.0 3.0)) (sqrt (* 9 (- a (/ 1.0 3.0))))))
29.0ms
(/ (- a (/ 1.0 3.0)) (sqrt (* 9 (- a (/ 1.0 3.0)))))
20.0ms
(* 9 (- a (/ 1.0 3.0)))
6.0ms
(sqrt (* 9 (- a (/ 1.0 3.0))))

series357.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
119.0ms
(* rand (/ (- a (/ 1.0 3.0)) (sqrt (* 9 (- a (/ 1.0 3.0))))))
94.0ms
(sqrt (* 9 (- a (/ 1.0 3.0))))
81.0ms
(/ (- a (/ 1.0 3.0)) (sqrt (* 9 (- a (/ 1.0 3.0)))))
62.0ms
(* 9 (- a (/ 1.0 3.0)))

simplify12.8s

Counts
141 → 156
Calls
141 calls:
Slowest
505.0ms
(* (* (* 9 9) 9) (* (* (- a (/ 1.0 3.0)) (- a (/ 1.0 3.0))) (- a (/ 1.0 3.0))))
384.0ms
(sqrt (* 9 (- (* a a) (* (/ 1.0 3.0) (/ 1.0 3.0)))))
373.0ms
(* (* (* rand rand) rand) (/ (* (* (- a (/ 1.0 3.0)) (- a (/ 1.0 3.0))) (- a (/ 1.0 3.0))) (* (* (sqrt (* 9 (- a (/ 1.0 3.0)))) (sqrt (* 9 (- a (/ 1.0 3.0))))) (sqrt (* 9 (- a (/ 1.0 3.0)))))))
343.0ms
(- (+ (* 3 (sqrt (- 0.3333333333333333))) (* 3/2 (/ a (sqrt (- 0.3333333333333333))))) (* 3/8 (/ (pow a 2) (pow (sqrt (- 0.3333333333333333)) 3))))
337.0ms
(- (+ (* 1/3 (sqrt (- 0.3333333333333333))) (* 1/6 (/ a (sqrt (- 0.3333333333333333))))) (* 1/24 (/ (pow a 2) (pow (sqrt (- 0.3333333333333333)) 3))))

prune2.0s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize18.0ms

Local error

Found 4 expressions with local error:

0.3b
(* rand (/ (- a (/ 1.0 3.0)) (* 3 (sqrt (- a (/ 1.0 3.0))))))
0.3b
(* 3 (sqrt (- a (/ 1.0 3.0))))
0.3b
(/ (- a (/ 1.0 3.0)) (* 3 (sqrt (- a (/ 1.0 3.0)))))
0.0b
(+ (* rand (/ (- a (/ 1.0 3.0)) (* 3 (sqrt (- a (/ 1.0 3.0)))))) (- a (/ 1.0 3.0)))

rewrite235.0ms

Algorithm
rewrite-expression-head
Rules
38×add-sqr-sqrt
21×associate-*r*
20×*-un-lft-identity add-cbrt-cube add-exp-log
16×times-frac
12×add-cube-cbrt
9×associate-*r/ add-log-exp
8×pow1 difference-of-squares
7×sqrt-prod
6×sqrt-div associate-*l* prod-exp cbrt-unprod associate-/l*
5×flip3-- flip--
4×cbrt-undiv div-exp associate-/r/ insert-posit16 distribute-lft-out--
3×unswap-sqr
2×associate-+r+ sum-log pow-prod-down frac-add *-commutative div-inv associate-/l/
1×+-commutative clear-num associate-+r- associate-/r* sub-neg frac-2neg flip3-+ diff-log div-sub flip-+
Counts
4 → 112
Calls
4 calls:
Slowest
86.0ms
(* rand (/ (- a (/ 1.0 3.0)) (* 3 (sqrt (- a (/ 1.0 3.0))))))
55.0ms
(+ (* rand (/ (- a (/ 1.0 3.0)) (* 3 (sqrt (- a (/ 1.0 3.0)))))) (- a (/ 1.0 3.0)))
48.0ms
(/ (- a (/ 1.0 3.0)) (* 3 (sqrt (- a (/ 1.0 3.0)))))
45.0ms
(* 3 (sqrt (- a (/ 1.0 3.0))))

series448.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
166.0ms
(* rand (/ (- a (/ 1.0 3.0)) (* 3 (sqrt (- a (/ 1.0 3.0))))))
104.0ms
(+ (* rand (/ (- a (/ 1.0 3.0)) (* 3 (sqrt (- a (/ 1.0 3.0)))))) (- a (/ 1.0 3.0)))
94.0ms
(* 3 (sqrt (- a (/ 1.0 3.0))))
84.0ms
(/ (- a (/ 1.0 3.0)) (* 3 (sqrt (- a (/ 1.0 3.0)))))

simplify8.9s

Counts
91 → 124
Calls
91 calls:
Slowest
569.0ms
(* (* (* rand rand) rand) (/ (* (* (- a (/ 1.0 3.0)) (- a (/ 1.0 3.0))) (- a (/ 1.0 3.0))) (* (* (* 3 3) 3) (* (* (sqrt (- a (/ 1.0 3.0))) (sqrt (- a (/ 1.0 3.0)))) (sqrt (- a (/ 1.0 3.0)))))))
434.0ms
(* (* (* rand rand) rand) (/ (* (* (- a (/ 1.0 3.0)) (- a (/ 1.0 3.0))) (- a (/ 1.0 3.0))) (* (* (* 3 (sqrt (- a (/ 1.0 3.0)))) (* 3 (sqrt (- a (/ 1.0 3.0))))) (* 3 (sqrt (- a (/ 1.0 3.0)))))))
392.0ms
(- (+ (* 3 (sqrt (- 0.3333333333333333))) (* 3/2 (/ a (sqrt (- 0.3333333333333333))))) (* 3/8 (/ (pow a 2) (pow (sqrt (- 0.3333333333333333)) 3))))
375.0ms
(* (* 3 (sqrt (- a (/ 1.0 3.0)))) (+ (* a a) (+ (* (/ 1.0 3.0) (/ 1.0 3.0)) (* a (/ 1.0 3.0)))))
361.0ms
(- (+ (* 1/3 (sqrt (- 0.3333333333333333))) (* 1/6 (/ a (sqrt (- 0.3333333333333333))))) (* 1/24 (/ (pow a 2) (pow (sqrt (- 0.3333333333333333)) 3))))

prune1.1s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize35.0ms

Local error

Found 4 expressions with local error:

0.4b
(/ (/ (- a (/ 1.0 3.0)) 3) (sqrt (- a (/ 1.0 3.0))))
0.3b
(* rand (/ (/ (- a (/ 1.0 3.0)) 3) (sqrt (- a (/ 1.0 3.0)))))
0.0b
(/ (- a (/ 1.0 3.0)) 3)
0.0b
(+ (* rand (/ (/ (- a (/ 1.0 3.0)) 3) (sqrt (- a (/ 1.0 3.0))))) (- a (/ 1.0 3.0)))

rewrite172.0ms

Algorithm
rewrite-expression-head
Rules
868×times-frac
843×add-sqr-sqrt
509×*-un-lft-identity
297×add-cube-cbrt
272×sqrt-prod
212×difference-of-squares
204×associate-*r*
106×distribute-lft-out--
28×associate-/l*
22×div-inv
20×add-cbrt-cube add-exp-log
12×associate-/r*
9×add-log-exp
7×cbrt-undiv div-exp
6×pow1
5×unswap-sqr
4×flip3-- sqrt-div associate-/r/ insert-posit16 flip--
3×div-sub associate-*l* prod-exp associate-*r/ cbrt-unprod associate-/l/
2×associate-+r+ clear-num sum-log frac-2neg frac-add
1×+-commutative associate-+r- sub-neg flip3-+ diff-log pow-prod-down *-commutative flip-+
Counts
4 → 538
Calls
4 calls:
Slowest
64.0ms
(* rand (/ (/ (- a (/ 1.0 3.0)) 3) (sqrt (- a (/ 1.0 3.0)))))
37.0ms
(/ (/ (- a (/ 1.0 3.0)) 3) (sqrt (- a (/ 1.0 3.0))))
28.0ms
(+ (* rand (/ (/ (- a (/ 1.0 3.0)) 3) (sqrt (- a (/ 1.0 3.0))))) (- a (/ 1.0 3.0)))
15.0ms
(/ (- a (/ 1.0 3.0)) 3)

series499.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
157.0ms
(* rand (/ (/ (- a (/ 1.0 3.0)) 3) (sqrt (- a (/ 1.0 3.0)))))
137.0ms
(/ (/ (- a (/ 1.0 3.0)) 3) (sqrt (- a (/ 1.0 3.0))))
132.0ms
(+ (* rand (/ (/ (- a (/ 1.0 3.0)) 3) (sqrt (- a (/ 1.0 3.0))))) (- a (/ 1.0 3.0)))
73.0ms
(/ (- a (/ 1.0 3.0)) 3)

simplify1.1m

Counts
726 → 550
Calls
726 calls:
Slowest
567.0ms
(/ (/ (- (sqrt a) (/ (sqrt 1.0) (sqrt 3.0))) 3) (sqrt (- a (/ 1.0 3.0))))
369.0ms
(/ (/ (* (cbrt (- a (/ 1.0 3.0))) (cbrt (- a (/ 1.0 3.0)))) (* (cbrt 3) (cbrt 3))) (* (cbrt (sqrt (- a (/ 1.0 3.0)))) (cbrt (sqrt (- a (/ 1.0 3.0))))))
362.0ms
(* (sqrt (- a (/ 1.0 3.0))) (+ (* a a) (+ (* (/ 1.0 3.0) (/ 1.0 3.0)) (* a (/ 1.0 3.0)))))
348.0ms
(- (+ (* 1/3 (sqrt (- 0.3333333333333333))) (* 1/6 (/ a (sqrt (- 0.3333333333333333))))) (* 1/24 (/ (pow a 2) (pow (sqrt (- 0.3333333333333333)) 3))))
330.0ms
(+ (* (* rand (/ (- a (/ 1.0 3.0)) 3)) (+ (* a a) (+ (* (/ 1.0 3.0) (/ 1.0 3.0)) (* a (/ 1.0 3.0))))) (* (sqrt (- a (/ 1.0 3.0))) (- (pow a 3) (pow (/ 1.0 3.0) 3))))

prune6.5s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize43.0ms

Local error

Found 3 expressions with local error:

0.4b
(* (* rand (/ (/ (sqrt (- a (/ 1.0 3.0))) 1) 1)) 1/3)
0.3b
(* rand (/ (/ (sqrt (- a (/ 1.0 3.0))) 1) 1))
0.0b
(+ (* (* rand (/ (/ (sqrt (- a (/ 1.0 3.0))) 1) 1)) 1/3) (- a (/ 1.0 3.0)))

rewrite202.0ms

Algorithm
rewrite-expression-head
Rules
201×times-frac
161×add-sqr-sqrt
112×*-un-lft-identity
100×associate-*r*
85×add-cube-cbrt
58×sqrt-prod
50×add-exp-log
26×add-cbrt-cube
22×prod-exp
20×div-exp
18×difference-of-squares
11×unswap-sqr
10×pow1 1-exp cbrt-unprod
9×distribute-lft-out--
8×add-log-exp
6×cbrt-undiv
4×associate-*l* pow-prod-down associate-*r/ div-inv
3×associate-*l/ insert-posit16
2×associate-+r+ sum-log frac-add *-commutative
1×+-commutative associate-+r- sub-neg flip3-+ flip3-- diff-log flip-+ flip--
Counts
3 → 178
Calls
3 calls:
Slowest
102.0ms
(+ (* (* rand (/ (/ (sqrt (- a (/ 1.0 3.0))) 1) 1)) 1/3) (- a (/ 1.0 3.0)))
65.0ms
(* (* rand (/ (/ (sqrt (- a (/ 1.0 3.0))) 1) 1)) 1/3)
27.0ms
(* rand (/ (/ (sqrt (- a (/ 1.0 3.0))) 1) 1))

series296.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
125.0ms
(* (* rand (/ (/ (sqrt (- a (/ 1.0 3.0))) 1) 1)) 1/3)
94.0ms
(* rand (/ (/ (sqrt (- a (/ 1.0 3.0))) 1) 1))
76.0ms
(+ (* (* rand (/ (/ (sqrt (- a (/ 1.0 3.0))) 1) 1)) 1/3) (- a (/ 1.0 3.0)))

simplify12.9s

Counts
167 → 187
Calls
167 calls:
Slowest
1.2s
(* (* (* (* rand rand) rand) (/ (/ (* (* (sqrt (- a (/ 1.0 3.0))) (sqrt (- a (/ 1.0 3.0)))) (sqrt (- a (/ 1.0 3.0)))) (* (* 1 1) 1)) (* (* 1 1) 1))) (* (* 1/3 1/3) 1/3))
832.0ms
(* (* (* (* rand rand) rand) (/ (* (* (/ (sqrt (- a (/ 1.0 3.0))) 1) (/ (sqrt (- a (/ 1.0 3.0))) 1)) (/ (sqrt (- a (/ 1.0 3.0))) 1)) (* (* 1 1) 1))) (* (* 1/3 1/3) 1/3))
566.0ms
(* (* (* (* rand (/ (/ (sqrt (- a (/ 1.0 3.0))) 1) 1)) (* rand (/ (/ (sqrt (- a (/ 1.0 3.0))) 1) 1))) (* rand (/ (/ (sqrt (- a (/ 1.0 3.0))) 1) 1))) (* (* 1/3 1/3) 1/3))
334.0ms
(* (exp (* (* rand (/ (/ (sqrt (- a (/ 1.0 3.0))) 1) 1)) 1/3)) (/ (exp a) (exp (/ 1.0 3.0))))
312.0ms
(+ (* (* (* rand (/ (sqrt (- a (/ 1.0 3.0))) 1)) 1/3) (+ (* a a) (+ (* (/ 1.0 3.0) (/ 1.0 3.0)) (* a (/ 1.0 3.0))))) (* 1 (- (pow a 3) (pow (/ 1.0 3.0) 3))))

prune1.9s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

regimes107.0ms

Accuracy

0% (0.1b remaining)

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

bsearch5.0ms

end0.0ms

sample6.2s

Algorithm
intervals
Results
4.3s27973×body80nan
1.3s9122×body80valid