Details

Time bar (total: 3.2m)

sample182.0ms

Algorithm
intervals
Results
95.0ms888×body80nan
51.0ms301×body80valid

simplify210.0ms

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

prune11.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize20.0ms

Local error

Found 4 expressions with local error:

0.6b
(sqrt (* 9 (- a (/ 1.0 3.0))))
0.3b
(/ 1 (sqrt (* 9 (- a (/ 1.0 3.0)))))
0.2b
(* (/ 1 (sqrt (* 9 (- a (/ 1.0 3.0))))) rand)
0.1b
(* (- a (/ 1.0 3.0)) (+ 1 (* (/ 1 (sqrt (* 9 (- a (/ 1.0 3.0))))) rand)))

rewrite167.0ms

Algorithm
rewrite-expression-head
Rules
38×add-sqr-sqrt
27×*-un-lft-identity times-frac
24×associate-*l* add-cube-cbrt
19×add-exp-log
15×pow1
13×add-cbrt-cube
8×associate-*r/ sqrt-prod
6×flip3-- sqrt-div associate-*r* flip--
5×prod-exp
4×expm1-log1p-u frac-times associate-/r* sqrt-pow1 div-exp pow-prod-down associate-/r/ insert-posit16 log1p-expm1-u pow-flip add-log-exp unswap-sqr
3×flip3-+ associate-*l/ cbrt-unprod flip-+ associate-/l*
2×cbrt-undiv rec-exp pow1/2 1-exp *-commutative div-inv difference-of-squares
1×distribute-rgt-in clear-num frac-2neg distribute-lft-in distribute-lft-out-- inv-pow
Counts
4 → 136
Calls
4 calls:
Slowest
68.0ms
(* (/ 1 (sqrt (* 9 (- a (/ 1.0 3.0))))) rand)
52.0ms
(* (- a (/ 1.0 3.0)) (+ 1 (* (/ 1 (sqrt (* 9 (- a (/ 1.0 3.0))))) rand)))
24.0ms
(sqrt (* 9 (- a (/ 1.0 3.0))))
20.0ms
(/ 1 (sqrt (* 9 (- a (/ 1.0 3.0)))))

series563.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
234.0ms
(* (/ 1 (sqrt (* 9 (- a (/ 1.0 3.0))))) rand)
122.0ms
(/ 1 (sqrt (* 9 (- a (/ 1.0 3.0)))))
112.0ms
(* (- a (/ 1.0 3.0)) (+ 1 (* (/ 1 (sqrt (* 9 (- a (/ 1.0 3.0))))) rand)))
94.0ms
(sqrt (* 9 (- a (/ 1.0 3.0))))

simplify14.0s

Counts
114 → 148
Calls
114 calls:
Slowest
613.0ms
(* (* (* (/ 1 (sqrt (* 9 (- a (/ 1.0 3.0))))) (/ 1 (sqrt (* 9 (- a (/ 1.0 3.0)))))) (/ 1 (sqrt (* 9 (- a (/ 1.0 3.0)))))) (* (* rand rand) rand))
454.0ms
(* (+ a (/ 1.0 3.0)) (- 1 (* (/ 1 (sqrt (* 9 (- a (/ 1.0 3.0))))) rand)))
394.0ms
(- (* 1/3 (sqrt -3.0)) (+ (* 1.5 (/ a (sqrt -3.0))) (+ (* 4.5 (/ (pow a 2) (sqrt -3.0))) (* 3.375 (/ (pow a 2) (pow (sqrt -3.0) 3))))))
393.0ms
(sqrt (* 9 (- (* a a) (* (/ 1.0 3.0) (/ 1.0 3.0)))))
362.0ms
(/ 1 (sqrt (* 9 (- (* a a) (* (/ 1.0 3.0) (/ 1.0 3.0))))))

prune1.4s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize53.0ms

Local error

Found 4 expressions with local error:

0.4b
(/ (/ 1 (sqrt 9)) (sqrt (- a (/ 1.0 3.0))))
0.2b
(* (/ (/ 1 (sqrt 9)) (sqrt (- a (/ 1.0 3.0)))) rand)
0.1b
(* (- a (/ 1.0 3.0)) (+ 1 (* (/ (/ 1 (sqrt 9)) (sqrt (- a (/ 1.0 3.0)))) rand)))
0.0b
(sqrt (- a (/ 1.0 3.0)))

rewrite136.0ms

Algorithm
rewrite-expression-head
Rules
803×times-frac
620×add-sqr-sqrt
456×sqrt-prod
444×*-un-lft-identity
346×add-cube-cbrt
210×associate-*l*
94×difference-of-squares
47×distribute-lft-out--
30×add-exp-log
22×associate-/l*
21×div-inv
20×add-cbrt-cube
12×div-exp unswap-sqr
9×pow1 associate-/r*
6×cbrt-undiv flip3-- sqrt-div associate-*r* prod-exp flip--
4×expm1-log1p-u frac-times associate-/r/ cbrt-unprod insert-posit16 log1p-expm1-u add-log-exp
3×flip3-+ associate-*l/ flip-+
2×rec-exp 1-exp pow-prod-down associate-*r/ *-commutative
1×distribute-rgt-in rem-sqrt-square clear-num frac-2neg distribute-lft-in sqrt-pow1 pow1/2 associate-/l/
Counts
4 → 545
Calls
4 calls:
Slowest
52.0ms
(* (/ (/ 1 (sqrt 9)) (sqrt (- a (/ 1.0 3.0)))) rand)
25.0ms
(* (- a (/ 1.0 3.0)) (+ 1 (* (/ (/ 1 (sqrt 9)) (sqrt (- a (/ 1.0 3.0)))) rand)))
16.0ms
(/ (/ 1 (sqrt 9)) (sqrt (- a (/ 1.0 3.0))))
10.0ms
(sqrt (- a (/ 1.0 3.0)))

series503.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
209.0ms
(* (/ (/ 1 (sqrt 9)) (sqrt (- a (/ 1.0 3.0)))) rand)
118.0ms
(* (- a (/ 1.0 3.0)) (+ 1 (* (/ (/ 1 (sqrt 9)) (sqrt (- a (/ 1.0 3.0)))) rand)))
109.0ms
(/ (/ 1 (sqrt 9)) (sqrt (- a (/ 1.0 3.0))))
65.0ms
(sqrt (- a (/ 1.0 3.0)))

simplify47.5s

Counts
718 → 557
Calls
718 calls:
Slowest
882.0ms
(* (* (* (/ (/ 1 (sqrt 9)) (sqrt (- a (/ 1.0 3.0)))) (/ (/ 1 (sqrt 9)) (sqrt (- a (/ 1.0 3.0))))) (/ (/ 1 (sqrt 9)) (sqrt (- a (/ 1.0 3.0))))) (* (* rand rand) rand))
653.0ms
(* (/ (/ (* (* 1 1) 1) (* (* (sqrt 9) (sqrt 9)) (sqrt 9))) (* (* (sqrt (- a (/ 1.0 3.0))) (sqrt (- a (/ 1.0 3.0)))) (sqrt (- a (/ 1.0 3.0))))) (* (* rand rand) rand))
436.0ms
(/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sqrt 9)) (cbrt (sqrt 9)))) (* (cbrt (sqrt (- a (/ 1.0 3.0)))) (cbrt (sqrt (- a (/ 1.0 3.0))))))
433.0ms
(* (- (pow a 3) (pow (/ 1.0 3.0) 3)) (+ (pow 1 3) (pow (* (/ (/ 1 (sqrt 9)) (sqrt (- a (/ 1.0 3.0)))) rand) 3)))
431.0ms
(* (- (* a a) (* (/ 1.0 3.0) (/ 1.0 3.0))) (+ (pow 1 3) (pow (* (/ (/ 1 (sqrt 9)) (sqrt (- a (/ 1.0 3.0)))) rand) 3)))

prune7.2s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize39.0ms

Local error

Found 3 expressions with local error:

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

rewrite301.0ms

Algorithm
rewrite-expression-head
Rules
223×times-frac
187×add-sqr-sqrt
138×*-un-lft-identity
104×add-cube-cbrt
90×sqrt-prod
32×difference-of-squares
16×distribute-lft-out--
13×associate-/l*
11×div-inv
10×add-cbrt-cube add-exp-log
9×associate-/r*
6×pow1 associate-*l*
5×flip3-- flip--
4×frac-times sqrt-div associate-*r*
3×expm1-log1p-u cbrt-undiv flip3-+ div-exp flip-+ insert-posit16 log1p-expm1-u add-log-exp
2×associate-*l/ associate-*r/ associate-/r/
1×distribute-rgt-in rem-sqrt-square clear-num frac-2neg distribute-lft-in sqrt-pow1 pow1/2 pow-prod-down prod-exp *-commutative cbrt-unprod distribute-lft-out unswap-sqr associate-/l/
Counts
3 → 215
Calls
3 calls:
Slowest
247.0ms
(* (- a (/ 1.0 3.0)) (+ 1 (pow (/ (/ rand 3) (sqrt (- a (/ 1.0 3.0)))) 1)))
23.0ms
(sqrt (- a (/ 1.0 3.0)))
22.0ms
(/ (/ rand 3) (sqrt (- a (/ 1.0 3.0))))

series345.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
174.0ms
(/ (/ rand 3) (sqrt (- a (/ 1.0 3.0))))
117.0ms
(* (- a (/ 1.0 3.0)) (+ 1 (pow (/ (/ rand 3) (sqrt (- a (/ 1.0 3.0)))) 1)))
54.0ms
(sqrt (- a (/ 1.0 3.0)))

simplify22.6s

Counts
306 → 224
Calls
306 calls:
Slowest
498.0ms
(/ (/ (* (* rand rand) rand) (* (* 3 3) 3)) (* (* (sqrt (- a (/ 1.0 3.0))) (sqrt (- a (/ 1.0 3.0)))) (sqrt (- a (/ 1.0 3.0)))))
489.0ms
(- 1 (pow (/ (/ rand 3) (sqrt (- a (/ 1.0 3.0)))) 1))
462.0ms
(+ (* 1 1) (- (* (pow (/ (/ rand 3) (sqrt (- a (/ 1.0 3.0)))) 1) (pow (/ (/ rand 3) (sqrt (- a (/ 1.0 3.0)))) 1)) (* 1 (pow (/ (/ rand 3) (sqrt (- a (/ 1.0 3.0)))) 1))))
441.0ms
(/ (/ (cbrt rand) (cbrt 3)) (sqrt (sqrt (- a (/ 1.0 3.0)))))
421.0ms
(* (+ (* a a) (+ (* (/ 1.0 3.0) (/ 1.0 3.0)) (* a (/ 1.0 3.0)))) (+ (* 1 1) (- (* (pow (/ (/ rand 3) (sqrt (- a (/ 1.0 3.0)))) 1) (pow (/ (/ rand 3) (sqrt (- a (/ 1.0 3.0)))) 1)) (* 1 (pow (/ (/ rand 3) (sqrt (- a (/ 1.0 3.0)))) 1)))))

prune2.5s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize45.0ms

Local error

Found 4 expressions with local error:

0.3b
(/ (/ 1 (sqrt 9)) (sqrt (sqrt (- a (/ 1.0 3.0)))))
0.3b
(* (/ 1 (sqrt (sqrt (- a (/ 1.0 3.0))))) (* (/ (/ 1 (sqrt 9)) (sqrt (sqrt (- a (/ 1.0 3.0))))) rand))
0.3b
(* (/ (/ 1 (sqrt 9)) (sqrt (sqrt (- a (/ 1.0 3.0))))) rand)
0.2b
(/ 1 (sqrt (sqrt (- a (/ 1.0 3.0)))))

rewrite281.0ms

Algorithm
rewrite-expression-head
Rules
1129×times-frac
1026×sqrt-prod
826×add-sqr-sqrt
623×*-un-lft-identity
513×add-cube-cbrt
312×associate-*l*
126×add-exp-log
104×difference-of-squares
52×add-cbrt-cube distribute-lft-out--
50×div-exp
49×prod-exp
29×div-inv
25×associate-/l*
24×associate-/r*
17×cbrt-undiv cbrt-unprod
16×sqrt-div unswap-sqr
14×pow1
13×rec-exp 1-exp
8×associate-/r/
5×pow-flip
4×expm1-log1p-u sqrt-pow1 flip3-- associate-*r* pow-prod-down associate-*l/ insert-posit16 log1p-expm1-u flip-- add-log-exp
2×clear-num frac-2neg pow1/2 *-commutative
1×frac-times associate-*r/ inv-pow associate-/l/
Counts
4 → 797
Calls
4 calls:
Slowest
108.0ms
(* (/ 1 (sqrt (sqrt (- a (/ 1.0 3.0))))) (* (/ (/ 1 (sqrt 9)) (sqrt (sqrt (- a (/ 1.0 3.0))))) rand))
79.0ms
(* (/ (/ 1 (sqrt 9)) (sqrt (sqrt (- a (/ 1.0 3.0))))) rand)
27.0ms
(/ 1 (sqrt (sqrt (- a (/ 1.0 3.0)))))
27.0ms
(/ (/ 1 (sqrt 9)) (sqrt (sqrt (- a (/ 1.0 3.0)))))

series1.1s

Counts
4 → 12
Calls
4 calls:
Slowest
473.0ms
(* (/ (/ 1 (sqrt 9)) (sqrt (sqrt (- a (/ 1.0 3.0))))) rand)
216.0ms
(* (/ 1 (sqrt (sqrt (- a (/ 1.0 3.0))))) (* (/ (/ 1 (sqrt 9)) (sqrt (sqrt (- a (/ 1.0 3.0))))) rand))
211.0ms
(/ (/ 1 (sqrt 9)) (sqrt (sqrt (- a (/ 1.0 3.0)))))
175.0ms
(/ 1 (sqrt (sqrt (- a (/ 1.0 3.0)))))

simplify1.3m

Counts
1067 → 809
Calls
1067 calls:
Slowest
653.0ms
(* (/ (* (* 1 1) 1) (* (* (sqrt (sqrt (- a (/ 1.0 3.0)))) (sqrt (sqrt (- a (/ 1.0 3.0))))) (sqrt (sqrt (- a (/ 1.0 3.0)))))) (* (/ (* (* (/ 1 (sqrt 9)) (/ 1 (sqrt 9))) (/ 1 (sqrt 9))) (* (* (sqrt (sqrt (- a (/ 1.0 3.0)))) (sqrt (sqrt (- a (/ 1.0 3.0))))) (sqrt (sqrt (- a (/ 1.0 3.0)))))) (* (* rand rand) rand)))
614.0ms
(+ (- (log 1) (log (sqrt (sqrt (- a (/ 1.0 3.0)))))) (+ (- (- (log 1) (log (sqrt 9))) (log (sqrt (sqrt (- a (/ 1.0 3.0)))))) (log rand)))
601.0ms
(* (/ (/ (* (* 1 1) 1) (* (* (sqrt 9) (sqrt 9)) (sqrt 9))) (* (* (sqrt (sqrt (- a (/ 1.0 3.0)))) (sqrt (sqrt (- a (/ 1.0 3.0))))) (sqrt (sqrt (- a (/ 1.0 3.0)))))) (* (* rand rand) rand))
591.0ms
(* (/ (* (* 1 1) 1) (* (* (sqrt (sqrt (- a (/ 1.0 3.0)))) (sqrt (sqrt (- a (/ 1.0 3.0))))) (sqrt (sqrt (- a (/ 1.0 3.0)))))) (* (* (* (/ (/ 1 (sqrt 9)) (sqrt (sqrt (- a (/ 1.0 3.0))))) rand) (* (/ (/ 1 (sqrt 9)) (sqrt (sqrt (- a (/ 1.0 3.0))))) rand)) (* (/ (/ 1 (sqrt 9)) (sqrt (sqrt (- a (/ 1.0 3.0))))) rand)))
579.0ms
(* (/ 1 (sqrt (sqrt (- a (/ 1.0 3.0))))) (* (/ (/ 1 (sqrt 9)) (sqrt (sqrt (- a (/ 1.0 3.0))))) rand))

prune11.9s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

regimes127.0ms

Accuracy

0% (0.2b remaining)

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

bsearch5.0ms

end0.0ms

sample6.7s

Algorithm
intervals
Results
4.2s27717×body80nan
1.3s9149×body80valid