Details

Time bar (total: 4.5m)

sample951.0ms

Algorithm
intervals
Results
548.0ms472×body80nan
72.0ms294×body80valid

simplify228.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
228.0ms
(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*)))))

prune19.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 32.4b

localize48.0ms

Local error

Found 4 expressions with local error:

20.4b
(sqrt (* 2 (* (* U n) (- (- t (* (/ (* l l) Om) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))))
9.9b
(* (* U n) (- (- t (* (/ (* l l) Om) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))
7.7b
(/ (* l l) Om)
5.6b
(* (* n (* (/ l Om) (/ l Om))) (- U U*))

rewrite403.0ms

Algorithm
rewrite-expression-head
Rules
142×associate-*r/
45×frac-times
44×flip3-- frac-sub flip--
39×add-cbrt-cube add-exp-log
30×associate-*l/
28×pow1
24×sqrt-div
19×prod-exp cbrt-unprod
15×pow-prod-down
10×add-sqr-sqrt *-un-lft-identity
8×associate-*r* add-cube-cbrt
6×distribute-rgt-in cbrt-undiv sub-neg distribute-lft-in div-exp
4×sqrt-pow1 associate--l+ insert-posit16 add-log-exp
3×associate-/r* times-frac
2×associate-*l* *-commutative
1×clear-num frac-2neg pow1/2 sqrt-prod div-inv associate-/l* distribute-lft-out-- difference-of-squares
Counts
4 → 156
Calls
4 calls:
Slowest
183.0ms
(sqrt (* 2 (* (* U n) (- (- t (* (/ (* l l) Om) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))))
108.0ms
(* (* n (* (/ l Om) (/ l Om))) (- U U*))
98.0ms
(* (* U n) (- (- t (* (/ (* l l) Om) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))
9.0ms
(/ (* l l) Om)

series2.9s

Counts
4 → 12
Calls
4 calls:
Slowest
2.2s
(sqrt (* 2 (* (* U n) (- (- t (* (/ (* l l) Om) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))))
454.0ms
(* (* U n) (- (- t (* (/ (* l l) Om) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))
166.0ms
(* (* n (* (/ l Om) (/ l Om))) (- U U*))
25.0ms
(/ (* l l) Om)

simplify27.5s

Counts
135 → 168
Calls
135 calls:
Slowest
850.0ms
(sqrt (* 2 (* (* U n) (- (* (- (* t t) (* (* (/ (* l l) Om) 2) (* (/ (* l l) Om) 2))) (+ (* U U) (+ (* U* U*) (* U U*)))) (* (+ t (* (/ (* l l) Om) 2)) (* (* n (* (/ l Om) (/ l Om))) (- (pow U 3) (pow U* 3))))))))
800.0ms
(sqrt (* 2 (* (* U n) (- (* (- (* t t) (* (* (/ (* l l) Om) 2) (* (/ (* l l) Om) 2))) (* Om (+ U U*))) (* (+ t (* (/ (* l l) Om) 2)) (* (* n (* (/ l Om) l)) (- (* U U) (* U* U*))))))))
661.0ms
(sqrt (* 2 (* (* U n) (- (* (- (pow t 3) (pow (* (/ (* l l) Om) 2) 3)) (* Om Om)) (* (+ (* t t) (+ (* (* (/ (* l l) Om) 2) (* (/ (* l l) Om) 2)) (* t (* (/ (* l l) Om) 2)))) (* (* n (* l l)) (- U U*)))))))
640.0ms
(sqrt (* 2 (* (* U n) (- (* (- (* t t) (* (* (/ (* l l) Om) 2) (* (/ (* l l) Om) 2))) (* Om (+ U U*))) (* (+ t (* (/ (* l l) Om) 2)) (* (* n (* l (/ l Om))) (- (* U U) (* U* U*))))))))
629.0ms
(sqrt (* 2 (* (* U n) (- (* (- (* t t) (* (* (/ (* l l) Om) 2) (* (/ (* l l) Om) 2))) (* (* Om Om) (+ U U*))) (* (+ t (* (/ (* l l) Om) 2)) (* (* n (* l l)) (- (* U U) (* U* U*))))))))

prune2.7s

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 25.8b

localize47.0ms

Local error

Found 4 expressions with local error:

20.4b
(sqrt (* 2 (* (* U n) (- (- t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))))
9.9b
(* (* U n) (- (- t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))
5.6b
(* (* n (* (/ l Om) (/ l Om))) (- U U*))
4.0b
(- (- t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))

rewrite322.0ms

Algorithm
rewrite-expression-head
Rules
170×associate-*r/
66×frac-sub
64×flip3-- flip--
63×frac-times
42×associate-*l/
34×add-cbrt-cube add-exp-log
28×pow1
24×sqrt-div
18×prod-exp cbrt-unprod
15×pow-prod-down
10×sub-neg
9×add-log-exp
8×distribute-rgt-in add-sqr-sqrt *-un-lft-identity distribute-lft-in associate-*r*
6×associate--l+ add-cube-cbrt
4×cbrt-undiv sqrt-pow1 div-exp insert-posit16 associate--r+
3×diff-log
2×associate-*l* *-commutative
1×associate--l- pow1/2 sqrt-prod distribute-lft-out-- difference-of-squares
Counts
4 → 177
Calls
4 calls:
Slowest
109.0ms
(sqrt (* 2 (* (* U n) (- (- t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))))
92.0ms
(* (* U n) (- (- t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))
82.0ms
(* (* n (* (/ l Om) (/ l Om))) (- U U*))
33.0ms
(- (- t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))

series2.2s

Counts
4 → 12
Calls
4 calls:
Slowest
1.5s
(sqrt (* 2 (* (* U n) (- (- t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))))
341.0ms
(* (* U n) (- (- t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))
260.0ms
(- (- t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))
107.0ms
(* (* n (* (/ l Om) (/ l Om))) (- U U*))

simplify29.9s

Counts
173 → 189
Calls
173 calls:
Slowest
571.0ms
(sqrt (* 2 (* (* U n) (- (* (- (* t t) (* (* (/ l (/ Om l)) 2) (* (/ l (/ Om l)) 2))) Om) (* (+ t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) l)) (- U U*)))))))
484.0ms
(sqrt (* 2 (* (* U n) (- (* (- (* t t) (* (* (/ l (/ Om l)) 2) (* (/ l (/ Om l)) 2))) (+ (* U U) (+ (* U* U*) (* U U*)))) (* (+ t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- (pow U 3) (pow U* 3))))))))
481.0ms
(- (* (- (pow t 3) (pow (* (/ l (/ Om l)) 2) 3)) (+ U U*)) (* (+ (* t t) (+ (* (* (/ l (/ Om l)) 2) (* (/ l (/ Om l)) 2)) (* t (* (/ l (/ Om l)) 2)))) (* (* n (* (/ l Om) (/ l Om))) (- (* U U) (* U* U*)))))
473.0ms
(- (* (- (pow t 3) (pow (* (/ l (/ Om l)) 2) 3)) (* (* Om Om) (+ U U*))) (* (+ (* t t) (+ (* (* (/ l (/ Om l)) 2) (* (/ l (/ Om l)) 2)) (* t (* (/ l (/ Om l)) 2)))) (* (* n (* l l)) (- (* U U) (* U* U*)))))
451.0ms
(- (* (- (* t t) (* (* (/ l (/ Om l)) 2) (* (/ l (/ Om l)) 2))) (* Om (+ (* U U) (+ (* U* U*) (* U U*))))) (* (+ t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) l)) (- (pow U 3) (pow U* 3)))))

prune2.4s

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 23.9b

localize51.0ms

Local error

Found 4 expressions with local error:

20.4b
(sqrt (* 2 (* (sqrt (* (* U n) (- (- t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))) (sqrt (* (* U n) (- (- t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))))))
20.4b
(sqrt (* (* U n) (- (- t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))
20.4b
(sqrt (* (* U n) (- (- t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))
9.9b
(* (* U n) (- (- t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))

rewrite816.0ms

Algorithm
rewrite-expression-head
Rules
3404×associate-*r/
1872×sqrt-div
1530×frac-times
1166×frac-sub
1060×flip3-- flip--
660×associate-*l/
27×pow1
12×pow-prod-down
9×sqrt-pow1 add-cbrt-cube add-exp-log
5×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×distribute-rgt-in sub-neg distribute-lft-in associate--l+ insert-posit16 add-log-exp
3×pow1/2 associate-*r* prod-exp sqrt-prod cbrt-unprod
1×associate-*l* *-commutative
Counts
4 → 762
Calls
4 calls:
Slowest
589.0ms
(sqrt (* 2 (* (sqrt (* (* U n) (- (- t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))) (sqrt (* (* U n) (- (- t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))))))
78.0ms
(* (* U n) (- (- t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))
44.0ms
(sqrt (* (* U n) (- (- t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))
44.0ms
(sqrt (* (* U n) (- (- t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))

series4.0s

Counts
4 → 12
Calls
4 calls:
Slowest
1.6s
(sqrt (* 2 (* (sqrt (* (* U n) (- (- t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))) (sqrt (* (* U n) (- (- t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))))))
1.0s
(sqrt (* (* U n) (- (- t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))
1.0s
(sqrt (* (* U n) (- (- t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))
319.0ms
(* (* U n) (- (- t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))

simplify2.3m

Counts
737 → 774
Calls
737 calls:
Slowest
669.0ms
(sqrt (* (* U n) (- (* (- (* t t) (* (* (/ l (/ Om l)) 2) (* (/ l (/ Om l)) 2))) (* Om (+ U U*))) (* (+ t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) l)) (- (* U U) (* U* U*)))))))
665.0ms
(sqrt (* 2 (* (sqrt (* (* U n) (- (* (- t (* (/ l (/ Om l)) 2)) (- t (* (/ l (/ Om l)) 2))) (* (* (* n (* (/ l Om) (/ l Om))) (- U U*)) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))) (sqrt (* (* U n) (- (pow (- t (* (/ l (/ Om l)) 2)) 3) (pow (* (* n (* (/ l Om) (/ l Om))) (- U U*)) 3)))))))
652.0ms
(sqrt (* 2 (* (sqrt (* (* U n) (- (- t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))) (sqrt (* (* U n) (- (* (- (* t t) (* (* (/ l (/ Om l)) 2) (* (/ l (/ Om l)) 2))) Om) (* (+ t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) l)) (- U U*)))))))))
614.0ms
(sqrt (* 2 (* (sqrt (* (* U n) (- (pow (- t (* (/ l (/ Om l)) 2)) 3) (pow (* (* n (* (/ l Om) (/ l Om))) (- U U*)) 3)))) (sqrt (* (* U n) (- (* (- t (* (/ l (/ Om l)) 2)) (- t (* (/ l (/ Om l)) 2))) (* (* (* n (* (/ l Om) (/ l Om))) (- U U*)) (* (* n (* (/ l Om) (/ l Om))) (- U U*)))))))))
531.0ms
(sqrt (* (* U n) (- (* (- (pow t 3) (pow (* (/ l (/ Om l)) 2) 3)) (+ U U*)) (* (+ (* t t) (+ (* (* (/ l (/ Om l)) 2) (* (/ l (/ Om l)) 2)) (* t (* (/ l (/ Om l)) 2)))) (* (* n (* (/ l Om) (/ l Om))) (- (* U U) (* U* U*)))))))

prune20.5s

Pruning

18 alts after pruning (17 fresh and 1 done)

Merged error: 23.7b

localize50.0ms

Local error

Found 4 expressions with local error:

20.4b
(sqrt (* 2 (* (* U n) (- (- t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))))
20.4b
(sqrt (* 2 (* (* U n) (- (- t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))))
9.9b
(* (* U n) (- (- t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))
9.9b
(* (* U n) (- (- t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))

rewrite370.0ms

Algorithm
rewrite-expression-head
Rules
256×associate-*r/
88×frac-sub
80×flip3-- flip--
72×frac-times
48×sqrt-div associate-*l/
34×pow1
18×pow-prod-down
14×add-cbrt-cube add-exp-log
8×distribute-rgt-in sub-neg distribute-lft-in sqrt-pow1 associate--l+
6×add-sqr-sqrt *-un-lft-identity associate-*r* prod-exp add-cube-cbrt cbrt-unprod
4×insert-posit16 add-log-exp
2×pow1/2 associate-*l* *-commutative sqrt-prod
Counts
4 → 178
Calls
4 calls:
Slowest
107.0ms
(sqrt (* 2 (* (* U n) (- (- t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))))
102.0ms
(sqrt (* 2 (* (* U n) (- (- t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))))
78.0ms
(* (* U n) (- (- t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))
78.0ms
(* (* U n) (- (- t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))

series3.4s

Counts
4 → 12
Calls
4 calls:
Slowest
1.4s
(sqrt (* 2 (* (* U n) (- (- t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))))
1.4s
(sqrt (* 2 (* (* U n) (- (- t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))))
327.0ms
(* (* U n) (- (- t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))
322.0ms
(* (* U n) (- (- t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- U U*))))

simplify25.0s

Counts
152 → 190
Calls
152 calls:
Slowest
541.0ms
(sqrt (* 2 (* (* U n) (- (* (- (* t t) (* (* (/ l (/ Om l)) 2) (* (/ l (/ Om l)) 2))) Om) (* (+ t (* (/ l (/ Om l)) 2)) (* (* n (* l (/ l Om))) (- U U*)))))))
474.0ms
(sqrt (* 2 (* (* U n) (- (* (- (* t t) (* (* (/ l (/ Om l)) 2) (* (/ l (/ Om l)) 2))) (+ (* U U) (+ (* U* U*) (* U U*)))) (* (+ t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- (pow U 3) (pow U* 3))))))))
472.0ms
(sqrt (* 2 (* (* U n) (- (* (- (* t t) (* (* (/ l (/ Om l)) 2) (* (/ l (/ Om l)) 2))) (+ (* U U) (+ (* U* U*) (* U U*)))) (* (+ t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) (/ l Om))) (- (pow U 3) (pow U* 3))))))))
433.0ms
(sqrt (* 2 (* (* U n) (- (* (- (* t t) (* (* (/ l (/ Om l)) 2) (* (/ l (/ Om l)) 2))) (* Om (+ U U*))) (* (+ t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) l)) (- (* U U) (* U* U*))))))))
432.0ms
(sqrt (* 2 (* (* U n) (- (* (- (* t t) (* (* (/ l (/ Om l)) 2) (* (/ l (/ Om l)) 2))) (* Om (+ U U*))) (* (+ t (* (/ l (/ Om l)) 2)) (* (* n (* (/ l Om) l)) (- (* U U) (* U* U*))))))))

prune3.5s

Pruning

17 alts after pruning (16 fresh and 1 done)

Merged error: 23.7b

regimes886.0ms

Accuracy

28.9% (6.2b remaining)

Error of 28.7b against oracle of 22.6b and baseline of 31.2b

bsearch240.0ms

end0.0ms

sample5.4s

Algorithm
intervals
Results
2.6s14657×body80nan
2.1s9159×body80valid