Details

Time bar (total: 4.2m)

sample174.0ms

Algorithm
intervals
Results
104.0ms859×body80nan
33.0ms290×body80valid

simplify266.0ms

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

prune24.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize19.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)))

rewrite170.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
72.0ms
(* rand (/ (- a (/ 1.0 3.0)) (sqrt (* 9 (- a (/ 1.0 3.0))))))
43.0ms
(/ (- a (/ 1.0 3.0)) (sqrt (* 9 (- a (/ 1.0 3.0)))))
38.0ms
(* 9 (- a (/ 1.0 3.0)))
12.0ms
(sqrt (* 9 (- a (/ 1.0 3.0))))

series408.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
144.0ms
(* rand (/ (- a (/ 1.0 3.0)) (sqrt (* 9 (- a (/ 1.0 3.0))))))
117.0ms
(/ (- a (/ 1.0 3.0)) (sqrt (* 9 (- a (/ 1.0 3.0)))))
86.0ms
(sqrt (* 9 (- a (/ 1.0 3.0))))
61.0ms
(* 9 (- a (/ 1.0 3.0)))

simplify20.4s

Counts
189 → 156
Calls
189 calls:
Slowest
526.0ms
(* (* (* 9 9) 9) (* (* (- a (/ 1.0 3.0)) (- a (/ 1.0 3.0))) (- a (/ 1.0 3.0))))
494.0ms
(* (* (* 9 (- a (/ 1.0 3.0))) (* 9 (- a (/ 1.0 3.0)))) (* 9 (- a (/ 1.0 3.0))))
414.0ms
(/ (- a (/ 1.0 3.0)) (sqrt (* 9 (- (pow a 3) (pow (/ 1.0 3.0) 3)))))
372.0ms
(* 9 (* (cbrt (- a (/ 1.0 3.0))) (cbrt (- a (/ 1.0 3.0)))))
357.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)))))))

prune1.6s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize37.0ms

Local error

Found 4 expressions with local error:

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

rewrite177.0ms

Algorithm
rewrite-expression-head
Rules
464×add-sqr-sqrt
313×sqrt-prod
269×times-frac
208×*-un-lft-identity
160×difference-of-squares
110×associate-*r*
78×add-cube-cbrt
61×distribute-lft-out--
32×add-cbrt-cube add-exp-log
14×associate-*l*
12×prod-exp cbrt-unprod
11×frac-times pow1 associate-/l*
9×associate-/r*
8×associate-*l/
7×cbrt-undiv flip3-+ div-exp associate-*r/ flip-+
6×add-log-exp
4×sqrt-div pow-prod-down associate-/r/ insert-posit16 distribute-lft-out
3×flip3-- div-inv flip--
2×*-commutative unswap-sqr associate-/l/
1×distribute-rgt-in +-commutative clear-num sum-log frac-2neg distribute-lft-in div-sub
Counts
4 → 332
Calls
4 calls:
Slowest
94.0ms
(* (* (/ rand 3) (+ (sqrt a) (sqrt (/ 1.0 3.0)))) (/ (- (sqrt a) (sqrt (/ 1.0 3.0))) (sqrt (- a (/ 1.0 3.0)))))
35.0ms
(* (/ rand 3) (+ (sqrt a) (sqrt (/ 1.0 3.0))))
32.0ms
(/ (- (sqrt a) (sqrt (/ 1.0 3.0))) (sqrt (- a (/ 1.0 3.0))))
7.0ms
(+ (sqrt a) (sqrt (/ 1.0 3.0)))

series1.2s

Counts
4 → 12
Calls
4 calls:
Slowest
851.0ms
(* (* (/ rand 3) (+ (sqrt a) (sqrt (/ 1.0 3.0)))) (/ (- (sqrt a) (sqrt (/ 1.0 3.0))) (sqrt (- a (/ 1.0 3.0)))))
233.0ms
(/ (- (sqrt a) (sqrt (/ 1.0 3.0))) (sqrt (- a (/ 1.0 3.0))))
112.0ms
(* (/ rand 3) (+ (sqrt a) (sqrt (/ 1.0 3.0))))
48.0ms
(+ (sqrt a) (sqrt (/ 1.0 3.0)))

simplify1.0m

Counts
455 → 344
Calls
455 calls:
Slowest
991.0ms
(* (* (* (* (/ rand 3) (+ (sqrt a) (sqrt (/ 1.0 3.0)))) (* (/ rand 3) (+ (sqrt a) (sqrt (/ 1.0 3.0))))) (* (/ rand 3) (+ (sqrt a) (sqrt (/ 1.0 3.0))))) (/ (* (* (- (sqrt a) (sqrt (/ 1.0 3.0))) (- (sqrt a) (sqrt (/ 1.0 3.0)))) (- (sqrt a) (sqrt (/ 1.0 3.0)))) (* (* (sqrt (- a (/ 1.0 3.0))) (sqrt (- a (/ 1.0 3.0)))) (sqrt (- a (/ 1.0 3.0))))))
985.0ms
(* (* (* (* (/ rand 3) (/ rand 3)) (/ rand 3)) (* (* (+ (sqrt a) (sqrt (/ 1.0 3.0))) (+ (sqrt a) (sqrt (/ 1.0 3.0)))) (+ (sqrt a) (sqrt (/ 1.0 3.0))))) (/ (* (* (- (sqrt a) (sqrt (/ 1.0 3.0))) (- (sqrt a) (sqrt (/ 1.0 3.0)))) (- (sqrt a) (sqrt (/ 1.0 3.0)))) (* (* (sqrt (- a (/ 1.0 3.0))) (sqrt (- a (/ 1.0 3.0)))) (sqrt (- a (/ 1.0 3.0))))))
971.0ms
(* (* (* (* (/ rand 3) (+ (sqrt a) (sqrt (/ 1.0 3.0)))) (/ (- (sqrt a) (sqrt (/ 1.0 3.0))) (sqrt (- a (/ 1.0 3.0))))) (* (* (/ rand 3) (+ (sqrt a) (sqrt (/ 1.0 3.0)))) (/ (- (sqrt a) (sqrt (/ 1.0 3.0))) (sqrt (- a (/ 1.0 3.0)))))) (* (* (/ rand 3) (+ (sqrt a) (sqrt (/ 1.0 3.0)))) (/ (- (sqrt a) (sqrt (/ 1.0 3.0))) (sqrt (- a (/ 1.0 3.0))))))
875.0ms
(* (* (/ (* (* rand rand) rand) (* (* 3 3) 3)) (* (* (+ (sqrt a) (sqrt (/ 1.0 3.0))) (+ (sqrt a) (sqrt (/ 1.0 3.0)))) (+ (sqrt a) (sqrt (/ 1.0 3.0))))) (/ (* (* (- (sqrt a) (sqrt (/ 1.0 3.0))) (- (sqrt a) (sqrt (/ 1.0 3.0)))) (- (sqrt a) (sqrt (/ 1.0 3.0)))) (* (* (sqrt (- a (/ 1.0 3.0))) (sqrt (- a (/ 1.0 3.0)))) (sqrt (- a (/ 1.0 3.0))))))
832.0ms
(* (* (/ (* (* rand rand) rand) (* (* 3 3) 3)) (* (* (+ (sqrt a) (sqrt (/ 1.0 3.0))) (+ (sqrt a) (sqrt (/ 1.0 3.0)))) (+ (sqrt a) (sqrt (/ 1.0 3.0))))) (* (* (/ (- (sqrt a) (sqrt (/ 1.0 3.0))) (sqrt (- a (/ 1.0 3.0)))) (/ (- (sqrt a) (sqrt (/ 1.0 3.0))) (sqrt (- a (/ 1.0 3.0))))) (/ (- (sqrt a) (sqrt (/ 1.0 3.0))) (sqrt (- a (/ 1.0 3.0))))))

prune4.8s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize54.0ms

Local error

Found 4 expressions with local error:

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

rewrite196.0ms

Algorithm
rewrite-expression-head
Rules
467×add-sqr-sqrt
312×sqrt-prod
267×times-frac
202×*-un-lft-identity
160×difference-of-squares
110×associate-*r*
76×add-cube-cbrt
61×distribute-lft-out--
34×add-cbrt-cube add-exp-log
12×associate-/r* associate-/l*
10×cbrt-undiv div-exp associate-*l* prod-exp cbrt-unprod
8×pow1
5×associate-*r/
4×sqrt-div associate-/r/ insert-posit16 div-inv add-log-exp unswap-sqr associate-/l/
3×flip3-- flip--
2×clear-num frac-2neg flip3-+ pow-prod-down *-commutative flip-+ distribute-lft-out
1×distribute-rgt-in frac-times distribute-lft-in div-sub associate-*l/
Counts
4 → 326
Calls
4 calls:
Slowest
91.0ms
(* (/ (* rand (+ (sqrt a) (sqrt (/ 1.0 3.0)))) 3) (/ (- (sqrt a) (sqrt (/ 1.0 3.0))) (sqrt (- a (/ 1.0 3.0)))))
52.0ms
(* rand (+ (sqrt a) (sqrt (/ 1.0 3.0))))
26.0ms
(/ (- (sqrt a) (sqrt (/ 1.0 3.0))) (sqrt (- a (/ 1.0 3.0))))
16.0ms
(/ (* rand (+ (sqrt a) (sqrt (/ 1.0 3.0)))) 3)

series1.5s

Counts
4 → 12
Calls
4 calls:
Slowest
956.0ms
(* (/ (* rand (+ (sqrt a) (sqrt (/ 1.0 3.0)))) 3) (/ (- (sqrt a) (sqrt (/ 1.0 3.0))) (sqrt (- a (/ 1.0 3.0)))))
272.0ms
(/ (- (sqrt a) (sqrt (/ 1.0 3.0))) (sqrt (- a (/ 1.0 3.0))))
154.0ms
(/ (* rand (+ (sqrt a) (sqrt (/ 1.0 3.0)))) 3)
95.0ms
(* rand (+ (sqrt a) (sqrt (/ 1.0 3.0))))

simplify55.7s

Counts
448 → 338
Calls
448 calls:
Slowest
1.3s
(* (/ (* (* (* rand rand) rand) (* (* (+ (sqrt a) (sqrt (/ 1.0 3.0))) (+ (sqrt a) (sqrt (/ 1.0 3.0)))) (+ (sqrt a) (sqrt (/ 1.0 3.0))))) (* (* 3 3) 3)) (/ (* (* (- (sqrt a) (sqrt (/ 1.0 3.0))) (- (sqrt a) (sqrt (/ 1.0 3.0)))) (- (sqrt a) (sqrt (/ 1.0 3.0)))) (* (* (sqrt (- a (/ 1.0 3.0))) (sqrt (- a (/ 1.0 3.0)))) (sqrt (- a (/ 1.0 3.0))))))
917.0ms
(* (/ (* (* (* rand (+ (sqrt a) (sqrt (/ 1.0 3.0)))) (* rand (+ (sqrt a) (sqrt (/ 1.0 3.0))))) (* rand (+ (sqrt a) (sqrt (/ 1.0 3.0))))) (* (* 3 3) 3)) (/ (* (* (- (sqrt a) (sqrt (/ 1.0 3.0))) (- (sqrt a) (sqrt (/ 1.0 3.0)))) (- (sqrt a) (sqrt (/ 1.0 3.0)))) (* (* (sqrt (- a (/ 1.0 3.0))) (sqrt (- a (/ 1.0 3.0)))) (sqrt (- a (/ 1.0 3.0))))))
746.0ms
(* (/ (* (* (* rand (+ (sqrt a) (sqrt (/ 1.0 3.0)))) (* rand (+ (sqrt a) (sqrt (/ 1.0 3.0))))) (* rand (+ (sqrt a) (sqrt (/ 1.0 3.0))))) (* (* 3 3) 3)) (* (* (/ (- (sqrt a) (sqrt (/ 1.0 3.0))) (sqrt (- a (/ 1.0 3.0)))) (/ (- (sqrt a) (sqrt (/ 1.0 3.0))) (sqrt (- a (/ 1.0 3.0))))) (/ (- (sqrt a) (sqrt (/ 1.0 3.0))) (sqrt (- a (/ 1.0 3.0))))))
732.0ms
(* (/ (* rand (+ (sqrt a) (sqrt (/ 1.0 3.0)))) 3) (/ (sqrt 1) (sqrt (+ (sqrt a) (sqrt (/ 1.0 3.0))))))
702.0ms
(* (/ (* (* (* rand rand) rand) (* (* (+ (sqrt a) (sqrt (/ 1.0 3.0))) (+ (sqrt a) (sqrt (/ 1.0 3.0)))) (+ (sqrt a) (sqrt (/ 1.0 3.0))))) (* (* 3 3) 3)) (* (* (/ (- (sqrt a) (sqrt (/ 1.0 3.0))) (sqrt (- a (/ 1.0 3.0)))) (/ (- (sqrt a) (sqrt (/ 1.0 3.0))) (sqrt (- a (/ 1.0 3.0))))) (/ (- (sqrt a) (sqrt (/ 1.0 3.0))) (sqrt (- a (/ 1.0 3.0))))))

prune4.7s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 4 expressions with local error:

0.3b
(/ (/ (- 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
(sqrt (- a (/ 1.0 3.0)))
0.0b
(/ (- a (/ 1.0 3.0)) 3)

rewrite140.0ms

Algorithm
rewrite-expression-head
Rules
869×times-frac
850×add-sqr-sqrt
512×*-un-lft-identity
298×add-cube-cbrt
278×sqrt-prod
214×difference-of-squares
204×associate-*r*
107×distribute-lft-out--
28×associate-/l*
22×div-inv
20×add-cbrt-cube add-exp-log
12×associate-/r*
7×pow1 cbrt-undiv div-exp
6×sqrt-div
5×unswap-sqr
4×flip3-- associate-/r/ insert-posit16 flip-- add-log-exp
3×div-sub associate-*l* prod-exp cbrt-unprod associate-/l/
2×clear-num frac-2neg
1×rem-sqrt-square sqrt-pow1 pow1/2 pow-prod-down associate-*r/ *-commutative
Counts
4 → 539
Calls
4 calls:
Slowest
55.0ms
(* rand (/ (/ (- a (/ 1.0 3.0)) 3) (sqrt (- a (/ 1.0 3.0)))))
32.0ms
(/ (- a (/ 1.0 3.0)) 3)
31.0ms
(/ (/ (- a (/ 1.0 3.0)) 3) (sqrt (- a (/ 1.0 3.0))))
7.0ms
(sqrt (- a (/ 1.0 3.0)))

series406.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
166.0ms
(* rand (/ (/ (- a (/ 1.0 3.0)) 3) (sqrt (- a (/ 1.0 3.0)))))
115.0ms
(/ (/ (- a (/ 1.0 3.0)) 3) (sqrt (- a (/ 1.0 3.0))))
71.0ms
(/ (- a (/ 1.0 3.0)) 3)
53.0ms
(sqrt (- a (/ 1.0 3.0)))

simplify1.4m

Counts
781 → 551
Calls
781 calls:
Slowest
618.0ms
(* rand (/ (/ (+ (sqrt a) (sqrt (/ 1.0 3.0))) (* (cbrt 3) (cbrt 3))) (sqrt (* (cbrt (- a (/ 1.0 3.0))) (cbrt (- a (/ 1.0 3.0)))))))
561.0ms
(* (* (/ (/ (- a (/ 1.0 3.0)) 3) (sqrt (- a (/ 1.0 3.0)))) (/ (/ (- a (/ 1.0 3.0)) 3) (sqrt (- a (/ 1.0 3.0))))) (/ (/ (- a (/ 1.0 3.0)) 3) (sqrt (- a (/ 1.0 3.0)))))
439.0ms
(* rand (/ (/ (* (cbrt (- a (/ 1.0 3.0))) (cbrt (- a (/ 1.0 3.0)))) (* (cbrt 3) (cbrt 3))) (sqrt 1)))
439.0ms
(* rand (/ (/ (* (cbrt (- a (/ 1.0 3.0))) (cbrt (- a (/ 1.0 3.0)))) (* (cbrt 3) (cbrt 3))) (sqrt 1)))
427.0ms
(* rand (/ (/ (+ (sqrt a) (/ (sqrt 1.0) (sqrt 3.0))) (* (cbrt 3) (cbrt 3))) (* (cbrt (sqrt (- a (/ 1.0 3.0)))) (cbrt (sqrt (- a (/ 1.0 3.0)))))))

prune6.6s

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0.0b

regimes136.0ms

Accuracy

0% (0.2b remaining)

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

bsearch6.0ms

end0.0ms

sample6.5s

Algorithm
intervals
Results
4.0s27167×body80nan
1.6s9124×body80valid